1554044329.479 * [progress]: [Phase 1 of 3] Setting up. 1554044329.479 * * * [progress]: [1/2] Preparing points 1554044329.535 * * * [progress]: [2/2] Setting up program. 1554044329.539 * [progress]: [Phase 2 of 3] Improving. 1554044329.539 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554044329.539 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1554044329.540 * * [simplify]: iters left: 5 (6 enodes) 1554044329.543 * * [simplify]: iters left: 4 (23 enodes) 1554044329.551 * * [simplify]: iters left: 3 (28 enodes) 1554044329.559 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044329.559 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044329.559 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044329.559 * * [simplify]: Extracting #3: cost 11 inf + 1 1554044329.559 * * [simplify]: Extracting #4: cost 6 inf + 298 1554044329.559 * * [simplify]: Extracting #5: cost 1 inf + 1176 1554044329.560 * * [simplify]: Extracting #6: cost 0 inf + 1468 1554044329.560 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044329.560 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044329.565 * * [progress]: iteration 1 / 4 1554044329.565 * * * [progress]: picking best candidate 1554044329.568 * * * * [pick]: Picked # 1554044329.569 * * * [progress]: localizing error 1554044329.589 * * * [progress]: generating rewritten candidates 1554044329.589 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554044329.599 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1554044329.602 * * * [progress]: generating series expansions 1554044329.602 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554044329.602 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1554044329.602 * [approximate]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1554044329.602 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1554044329.602 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1554044329.602 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.603 * [taylor]: Taking taylor expansion of (atan N) in N 1554044329.603 * [backup-simplify]: Simplify (atan N) into (atan N) 1554044329.603 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1554044329.603 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1554044329.603 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.603 * [taylor]: Taking taylor expansion of (atan N) in N 1554044329.603 * [backup-simplify]: Simplify (atan N) into (atan N) 1554044329.603 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 1554044329.603 * [backup-simplify]: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1554044329.603 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1554044329.604 * [backup-simplify]: Simplify (- 0) into 0 1554044329.604 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.604 * [backup-simplify]: Simplify 0 into 0 1554044329.605 * [backup-simplify]: Simplify (- 0) into 0 1554044329.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.605 * [backup-simplify]: Simplify 0 into 0 1554044329.606 * [backup-simplify]: Simplify (- 0) into 0 1554044329.606 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.606 * [backup-simplify]: Simplify 0 into 0 1554044329.607 * [backup-simplify]: Simplify (- 0) into 0 1554044329.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.607 * [backup-simplify]: Simplify 0 into 0 1554044329.608 * [backup-simplify]: Simplify (- 0) into 0 1554044329.608 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.608 * [backup-simplify]: Simplify 0 into 0 1554044329.608 * [backup-simplify]: Simplify (- 0) into 0 1554044329.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.609 * [backup-simplify]: Simplify 0 into 0 1554044329.609 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1554044329.609 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1554044329.609 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1554044329.609 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1554044329.609 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1554044329.609 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.609 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1554044329.610 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1554044329.610 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1554044329.610 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1554044329.610 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.610 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1554044329.610 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1554044329.610 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1554044329.610 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1554044329.611 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1554044329.611 * [backup-simplify]: Simplify (- 0) into 0 1554044329.611 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.611 * [backup-simplify]: Simplify 0 into 0 1554044329.612 * [backup-simplify]: Simplify (- 0) into 0 1554044329.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.612 * [backup-simplify]: Simplify 0 into 0 1554044329.613 * [backup-simplify]: Simplify (- 0) into 0 1554044329.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.613 * [backup-simplify]: Simplify 0 into 0 1554044329.614 * [backup-simplify]: Simplify (- 0) into 0 1554044329.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.614 * [backup-simplify]: Simplify 0 into 0 1554044329.614 * [backup-simplify]: Simplify (- 0) into 0 1554044329.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.615 * [backup-simplify]: Simplify 0 into 0 1554044329.615 * [backup-simplify]: Simplify (- 0) into 0 1554044329.616 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.616 * [backup-simplify]: Simplify 0 into 0 1554044329.616 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1554044329.616 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1554044329.616 * [approximate]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1554044329.616 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1554044329.616 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1554044329.616 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1554044329.617 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1554044329.617 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1554044329.617 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1554044329.617 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1554044329.617 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1554044329.617 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1554044329.617 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1554044329.617 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1554044329.617 * [backup-simplify]: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1554044329.617 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1554044329.618 * [backup-simplify]: Simplify (- 0) into 0 1554044329.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.618 * [backup-simplify]: Simplify 0 into 0 1554044329.619 * [backup-simplify]: Simplify (- 0) into 0 1554044329.619 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.619 * [backup-simplify]: Simplify 0 into 0 1554044329.619 * [backup-simplify]: Simplify (- 0) into 0 1554044329.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.620 * [backup-simplify]: Simplify 0 into 0 1554044329.620 * [backup-simplify]: Simplify (- 0) into 0 1554044329.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.620 * [backup-simplify]: Simplify 0 into 0 1554044329.621 * [backup-simplify]: Simplify (- 0) into 0 1554044329.621 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.621 * [backup-simplify]: Simplify 0 into 0 1554044329.622 * [backup-simplify]: Simplify (- 0) into 0 1554044329.622 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044329.622 * [backup-simplify]: Simplify 0 into 0 1554044329.622 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1554044329.622 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1554044329.623 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.623 * [approximate]: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1554044329.623 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1554044329.623 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.623 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1554044329.623 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.623 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify 0 into 0 1554044329.623 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1554044329.623 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.623 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1554044329.624 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1554044329.624 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.624 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1554044329.624 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.624 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.624 * [backup-simplify]: Simplify 0 into 0 1554044329.625 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1554044329.625 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1554044329.625 * [approximate]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1554044329.625 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1554044329.625 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1554044329.625 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1554044329.625 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1554044329.625 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1554044329.625 * [backup-simplify]: Simplify 0 into 0 1554044329.625 * [backup-simplify]: Simplify 0 into 0 1554044329.625 * [backup-simplify]: Simplify 0 into 0 1554044329.625 * [backup-simplify]: Simplify 0 into 0 1554044329.626 * [backup-simplify]: Simplify 0 into 0 1554044329.626 * [backup-simplify]: Simplify 0 into 0 1554044329.626 * [backup-simplify]: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1554044329.626 * * * [progress]: simplifying candidates 1554044329.626 * * * * [progress]: [ 1 / 46 ] simplifiying candidate # 1554044329.626 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1554044329.626 * * [simplify]: iters left: 6 (12 enodes) 1554044329.633 * * [simplify]: iters left: 5 (48 enodes) 1554044329.666 * * [simplify]: iters left: 4 (70 enodes) 1554044329.688 * * [simplify]: iters left: 3 (92 enodes) 1554044329.718 * * [simplify]: iters left: 2 (133 enodes) 1554044329.763 * * [simplify]: iters left: 1 (224 enodes) 1554044329.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044329.809 * * [simplify]: Extracting #1: cost 20 inf + 0 1554044329.810 * * [simplify]: Extracting #2: cost 73 inf + 0 1554044329.810 * * [simplify]: Extracting #3: cost 91 inf + 111 1554044329.810 * * [simplify]: Extracting #4: cost 80 inf + 1802 1554044329.812 * * [simplify]: Extracting #5: cost 31 inf + 28492 1554044329.815 * * [simplify]: Extracting #6: cost 2 inf + 46521 1554044329.819 * * [simplify]: Extracting #7: cost 0 inf + 48267 1554044329.822 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044329.822 * [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))))))) 1554044329.823 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1554044329.823 * * [simplify]: iters left: 6 (7 enodes) 1554044329.824 * * [simplify]: iters left: 5 (26 enodes) 1554044329.833 * * [simplify]: iters left: 4 (42 enodes) 1554044329.849 * * [simplify]: iters left: 3 (83 enodes) 1554044329.881 * * [simplify]: iters left: 2 (133 enodes) 1554044329.921 * * [simplify]: iters left: 1 (202 enodes) 1554044329.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044329.994 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044329.994 * [simplify]: Simplified to 0 1554044329.994 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1554044329.994 * * * * [progress]: [ 2 / 46 ] simplifiying candidate # 1554044329.994 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1554044329.994 * * [simplify]: iters left: 6 (11 enodes) 1554044330.000 * * [simplify]: iters left: 5 (39 enodes) 1554044330.011 * * [simplify]: iters left: 4 (49 enodes) 1554044330.029 * * [simplify]: iters left: 3 (54 enodes) 1554044330.044 * * [simplify]: iters left: 2 (61 enodes) 1554044330.063 * * [simplify]: iters left: 1 (78 enodes) 1554044330.082 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.082 * * [simplify]: Extracting #1: cost 12 inf + 0 1554044330.082 * * [simplify]: Extracting #2: cost 28 inf + 0 1554044330.082 * * [simplify]: Extracting #3: cost 27 inf + 401 1554044330.082 * * [simplify]: Extracting #4: cost 22 inf + 987 1554044330.083 * * [simplify]: Extracting #5: cost 12 inf + 2711 1554044330.083 * * [simplify]: Extracting #6: cost 4 inf + 5977 1554044330.084 * * [simplify]: Extracting #7: cost 1 inf + 7661 1554044330.085 * * [simplify]: Extracting #8: cost 0 inf + 8284 1554044330.086 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044330.086 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1554044330.086 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1554044330.086 * * [simplify]: iters left: 5 (6 enodes) 1554044330.087 * * [simplify]: iters left: 4 (18 enodes) 1554044330.090 * * [simplify]: iters left: 3 (26 enodes) 1554044330.093 * * [simplify]: iters left: 2 (34 enodes) 1554044330.098 * * [simplify]: iters left: 1 (36 enodes) 1554044330.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.102 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044330.102 * [simplify]: Simplified to 0 1554044330.102 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1554044330.102 * * * * [progress]: [ 3 / 46 ] simplifiying candidate # 1554044330.103 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1554044330.103 * * [simplify]: iters left: 6 (10 enodes) 1554044330.108 * * [simplify]: iters left: 5 (39 enodes) 1554044330.121 * * [simplify]: iters left: 4 (52 enodes) 1554044330.139 * * [simplify]: iters left: 3 (63 enodes) 1554044330.159 * * [simplify]: iters left: 2 (70 enodes) 1554044330.178 * * [simplify]: iters left: 1 (84 enodes) 1554044330.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.192 * * [simplify]: Extracting #1: cost 9 inf + 0 1554044330.192 * * [simplify]: Extracting #2: cost 17 inf + 2 1554044330.192 * * [simplify]: Extracting #3: cost 19 inf + 4 1554044330.192 * * [simplify]: Extracting #4: cost 14 inf + 887 1554044330.192 * * [simplify]: Extracting #5: cost 7 inf + 2842 1554044330.193 * * [simplify]: Extracting #6: cost 1 inf + 4691 1554044330.194 * * [simplify]: Extracting #7: cost 0 inf + 5129 1554044330.194 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044330.194 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1554044330.194 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1554044330.194 * * [simplify]: iters left: 4 (6 enodes) 1554044330.196 * * [simplify]: iters left: 3 (21 enodes) 1554044330.200 * * [simplify]: iters left: 2 (31 enodes) 1554044330.205 * * [simplify]: iters left: 1 (35 enodes) 1554044330.216 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.216 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044330.216 * * [simplify]: Extracting #2: cost 7 inf + 3 1554044330.216 * * [simplify]: Extracting #3: cost 2 inf + 510 1554044330.216 * * [simplify]: Extracting #4: cost 0 inf + 802 1554044330.217 * [simplify]: Simplified to (* (atan N) 0) 1554044330.217 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1554044330.217 * * * * [progress]: [ 4 / 46 ] simplifiying candidate # 1554044330.217 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1554044330.217 * * [simplify]: iters left: 6 (11 enodes) 1554044330.222 * * [simplify]: iters left: 5 (45 enodes) 1554044330.237 * * [simplify]: iters left: 4 (63 enodes) 1554044330.247 * * [simplify]: iters left: 3 (83 enodes) 1554044330.264 * * [simplify]: iters left: 2 (129 enodes) 1554044330.309 * * [simplify]: iters left: 1 (221 enodes) 1554044330.381 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.381 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044330.382 * * [simplify]: Extracting #2: cost 93 inf + 0 1554044330.383 * * [simplify]: Extracting #3: cost 108 inf + 257 1554044330.383 * * [simplify]: Extracting #4: cost 99 inf + 1300 1554044330.387 * * [simplify]: Extracting #5: cost 57 inf + 22253 1554044330.396 * * [simplify]: Extracting #6: cost 5 inf + 60513 1554044330.407 * * [simplify]: Extracting #7: cost 0 inf + 64154 1554044330.418 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044330.418 * [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))))))) 1554044330.418 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1554044330.418 * * [simplify]: iters left: 6 (7 enodes) 1554044330.421 * * [simplify]: iters left: 5 (26 enodes) 1554044330.432 * * [simplify]: iters left: 4 (42 enodes) 1554044330.449 * * [simplify]: iters left: 3 (83 enodes) 1554044330.479 * * [simplify]: iters left: 2 (133 enodes) 1554044330.520 * * [simplify]: iters left: 1 (202 enodes) 1554044330.573 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.573 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044330.573 * [simplify]: Simplified to 0 1554044330.573 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1554044330.573 * * * * [progress]: [ 5 / 46 ] simplifiying candidate # 1554044330.573 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1554044330.574 * * [simplify]: iters left: 6 (10 enodes) 1554044330.578 * * [simplify]: iters left: 5 (36 enodes) 1554044330.587 * * [simplify]: iters left: 4 (42 enodes) 1554044330.594 * * [simplify]: iters left: 3 (46 enodes) 1554044330.601 * * [simplify]: iters left: 2 (54 enodes) 1554044330.609 * * [simplify]: iters left: 1 (71 enodes) 1554044330.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.624 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044330.624 * * [simplify]: Extracting #2: cost 34 inf + 0 1554044330.624 * * [simplify]: Extracting #3: cost 35 inf + 1 1554044330.624 * * [simplify]: Extracting #4: cost 31 inf + 400 1554044330.625 * * [simplify]: Extracting #5: cost 17 inf + 3183 1554044330.626 * * [simplify]: Extracting #6: cost 3 inf + 8526 1554044330.627 * * [simplify]: Extracting #7: cost 0 inf + 9762 1554044330.629 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044330.629 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1554044330.629 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1554044330.629 * * [simplify]: iters left: 5 (6 enodes) 1554044330.630 * * [simplify]: iters left: 4 (18 enodes) 1554044330.633 * * [simplify]: iters left: 3 (26 enodes) 1554044330.637 * * [simplify]: iters left: 2 (34 enodes) 1554044330.641 * * [simplify]: iters left: 1 (36 enodes) 1554044330.646 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.646 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044330.646 * [simplify]: Simplified to 0 1554044330.646 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1554044330.646 * * * * [progress]: [ 6 / 46 ] simplifiying candidate # 1554044330.646 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1554044330.646 * * [simplify]: iters left: 6 (9 enodes) 1554044330.649 * * [simplify]: iters left: 5 (36 enodes) 1554044330.655 * * [simplify]: iters left: 4 (45 enodes) 1554044330.664 * * [simplify]: iters left: 3 (50 enodes) 1554044330.678 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.678 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044330.678 * * [simplify]: Extracting #2: cost 14 inf + 0 1554044330.678 * * [simplify]: Extracting #3: cost 12 inf + 3 1554044330.678 * * [simplify]: Extracting #4: cost 6 inf + 592 1554044330.679 * * [simplify]: Extracting #5: cost 0 inf + 1843 1554044330.679 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044330.679 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1554044330.679 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1554044330.680 * * [simplify]: iters left: 4 (6 enodes) 1554044330.683 * * [simplify]: iters left: 3 (21 enodes) 1554044330.691 * * [simplify]: iters left: 2 (31 enodes) 1554044330.700 * * [simplify]: iters left: 1 (35 enodes) 1554044330.711 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.711 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044330.711 * * [simplify]: Extracting #2: cost 7 inf + 3 1554044330.711 * * [simplify]: Extracting #3: cost 2 inf + 510 1554044330.711 * * [simplify]: Extracting #4: cost 0 inf + 802 1554044330.712 * [simplify]: Simplified to (* (atan N) 0) 1554044330.712 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1554044330.712 * * * * [progress]: [ 7 / 46 ] simplifiying candidate # 1554044330.712 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1554044330.712 * * [simplify]: iters left: 6 (10 enodes) 1554044330.717 * * [simplify]: iters left: 5 (42 enodes) 1554044330.724 * * [simplify]: iters left: 4 (61 enodes) 1554044330.737 * * [simplify]: iters left: 3 (81 enodes) 1554044330.752 * * [simplify]: iters left: 2 (121 enodes) 1554044330.795 * * [simplify]: iters left: 1 (204 enodes) 1554044330.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044330.857 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044330.857 * * [simplify]: Extracting #2: cost 52 inf + 1 1554044330.858 * * [simplify]: Extracting #3: cost 74 inf + 6 1554044330.858 * * [simplify]: Extracting #4: cost 65 inf + 1076 1554044330.859 * * [simplify]: Extracting #5: cost 47 inf + 8292 1554044330.861 * * [simplify]: Extracting #6: cost 8 inf + 31632 1554044330.864 * * [simplify]: Extracting #7: cost 0 inf + 37569 1554044330.870 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1554044330.870 * [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))))))) 1554044330.871 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1554044330.871 * * [simplify]: iters left: 6 (7 enodes) 1554044330.875 * * [simplify]: iters left: 5 (26 enodes) 1554044330.885 * * [simplify]: iters left: 4 (42 enodes) 1554044330.901 * * [simplify]: iters left: 3 (83 enodes) 1554044330.931 * * [simplify]: iters left: 2 (133 enodes) 1554044330.962 * * [simplify]: iters left: 1 (202 enodes) 1554044331.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.018 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044331.018 * [simplify]: Simplified to 0 1554044331.018 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1554044331.018 * * * * [progress]: [ 8 / 46 ] simplifiying candidate # 1554044331.018 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1554044331.018 * * [simplify]: iters left: 6 (9 enodes) 1554044331.023 * * [simplify]: iters left: 5 (33 enodes) 1554044331.032 * * [simplify]: iters left: 4 (40 enodes) 1554044331.044 * * [simplify]: iters left: 3 (44 enodes) 1554044331.055 * * [simplify]: iters left: 2 (45 enodes) 1554044331.066 * * [simplify]: iters left: 1 (47 enodes) 1554044331.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.077 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044331.077 * * [simplify]: Extracting #2: cost 14 inf + 1 1554044331.077 * * [simplify]: Extracting #3: cost 14 inf + 2 1554044331.078 * * [simplify]: Extracting #4: cost 2 inf + 1548 1554044331.078 * * [simplify]: Extracting #5: cost 0 inf + 2132 1554044331.079 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1554044331.079 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1554044331.079 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1554044331.079 * * [simplify]: iters left: 5 (6 enodes) 1554044331.082 * * [simplify]: iters left: 4 (18 enodes) 1554044331.091 * * [simplify]: iters left: 3 (26 enodes) 1554044331.098 * * [simplify]: iters left: 2 (34 enodes) 1554044331.107 * * [simplify]: iters left: 1 (36 enodes) 1554044331.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.115 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044331.115 * [simplify]: Simplified to 0 1554044331.115 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1554044331.115 * * * * [progress]: [ 9 / 46 ] simplifiying candidate # 1554044331.116 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1554044331.116 * * [simplify]: iters left: 6 (8 enodes) 1554044331.120 * * [simplify]: iters left: 5 (33 enodes) 1554044331.131 * * [simplify]: iters left: 4 (43 enodes) 1554044331.140 * * [simplify]: iters left: 3 (49 enodes) 1554044331.146 * * [simplify]: iters left: 2 (51 enodes) 1554044331.153 * * [simplify]: iters left: 1 (55 enodes) 1554044331.158 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.158 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044331.159 * * [simplify]: Extracting #2: cost 10 inf + 2 1554044331.159 * * [simplify]: Extracting #3: cost 10 inf + 3 1554044331.159 * * [simplify]: Extracting #4: cost 2 inf + 1177 1554044331.159 * * [simplify]: Extracting #5: cost 0 inf + 1469 1554044331.159 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1554044331.160 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1554044331.160 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1554044331.160 * * [simplify]: iters left: 4 (6 enodes) 1554044331.161 * * [simplify]: iters left: 3 (21 enodes) 1554044331.165 * * [simplify]: iters left: 2 (31 enodes) 1554044331.170 * * [simplify]: iters left: 1 (35 enodes) 1554044331.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.175 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044331.175 * * [simplify]: Extracting #2: cost 7 inf + 3 1554044331.175 * * [simplify]: Extracting #3: cost 2 inf + 510 1554044331.175 * * [simplify]: Extracting #4: cost 0 inf + 802 1554044331.176 * [simplify]: Simplified to (* (atan N) 0) 1554044331.176 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (* (atan N) 0))) 1554044331.176 * * * * [progress]: [ 10 / 46 ] simplifiying candidate # 1554044331.176 * * * * [progress]: [ 11 / 46 ] simplifiying candidate # 1554044331.176 * * * * [progress]: [ 12 / 46 ] simplifiying candidate # 1554044331.176 * [simplify]: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1554044331.176 * * [simplify]: iters left: 6 (6 enodes) 1554044331.178 * * [simplify]: iters left: 5 (21 enodes) 1554044331.181 * * [simplify]: iters left: 4 (23 enodes) 1554044331.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.185 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044331.185 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044331.185 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044331.185 * * [simplify]: Extracting #4: cost 10 inf + 0 1554044331.185 * * [simplify]: Extracting #5: cost 8 inf + 2 1554044331.185 * * [simplify]: Extracting #6: cost 0 inf + 1368 1554044331.185 * [simplify]: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1554044331.185 * [simplify]: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1554044331.185 * * * * [progress]: [ 13 / 46 ] simplifiying candidate # 1554044331.186 * [simplify]: Simplifying (sqrt (atan (+ N 1))) 1554044331.186 * * [simplify]: iters left: 4 (5 enodes) 1554044331.187 * * [simplify]: iters left: 3 (18 enodes) 1554044331.191 * * [simplify]: iters left: 2 (20 enodes) 1554044331.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.194 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044331.194 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044331.194 * * [simplify]: Extracting #3: cost 8 inf + 0 1554044331.194 * * [simplify]: Extracting #4: cost 6 inf + 2 1554044331.194 * * [simplify]: Extracting #5: cost 0 inf + 754 1554044331.195 * [simplify]: Simplified to (sqrt (atan (+ 1 N))) 1554044331.195 * [simplify]: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1554044331.195 * * * * [progress]: [ 14 / 46 ] simplifiying candidate # 1554044331.195 * * * * [progress]: [ 15 / 46 ] simplifiying candidate # 1554044331.195 * [simplify]: Simplifying (- (+ N 1) N) 1554044331.195 * * [simplify]: iters left: 4 (4 enodes) 1554044331.196 * * [simplify]: iters left: 3 (19 enodes) 1554044331.199 * * [simplify]: iters left: 2 (33 enodes) 1554044331.205 * * [simplify]: iters left: 1 (39 enodes) 1554044331.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.213 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044331.213 * [simplify]: Simplified to 1 1554044331.213 * [simplify]: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1554044331.214 * [simplify]: Simplifying (+ 1 (* (+ N 1) N)) 1554044331.214 * * [simplify]: iters left: 6 (5 enodes) 1554044331.217 * * [simplify]: iters left: 5 (20 enodes) 1554044331.223 * * [simplify]: iters left: 4 (31 enodes) 1554044331.232 * * [simplify]: iters left: 3 (37 enodes) 1554044331.241 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.241 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044331.241 * * [simplify]: Extracting #2: cost 6 inf + 58 1554044331.241 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044331.241 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044331.242 * [simplify]: Simplified to (fma N (+ N 1) 1) 1554044331.242 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044331.242 * * * * [progress]: [ 16 / 46 ] simplifiying candidate # 1554044331.242 * [simplify]: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1554044331.242 * * [simplify]: iters left: 6 (8 enodes) 1554044331.246 * * [simplify]: iters left: 5 (29 enodes) 1554044331.254 * * [simplify]: iters left: 4 (35 enodes) 1554044331.265 * * [simplify]: iters left: 3 (40 enodes) 1554044331.276 * * [simplify]: iters left: 2 (44 enodes) 1554044331.289 * * [simplify]: iters left: 1 (48 enodes) 1554044331.301 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.301 * * [simplify]: Extracting #1: cost 9 inf + 0 1554044331.301 * * [simplify]: Extracting #2: cost 15 inf + 1 1554044331.302 * * [simplify]: Extracting #3: cost 20 inf + 1 1554044331.302 * * [simplify]: Extracting #4: cost 20 inf + 2 1554044331.302 * * [simplify]: Extracting #5: cost 16 inf + 339 1554044331.303 * * [simplify]: Extracting #6: cost 0 inf + 4059 1554044331.303 * [simplify]: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1554044331.303 * [simplify]: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1554044331.303 * * * * [progress]: [ 17 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 18 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 19 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 20 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 21 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 22 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 23 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 24 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 25 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 26 / 46 ] simplifiying candidate # 1554044331.304 * * * * [progress]: [ 27 / 46 ] simplifiying candidate # 1554044331.304 * [simplify]: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1554044331.304 * * [simplify]: iters left: 6 (8 enodes) 1554044331.308 * * [simplify]: iters left: 5 (28 enodes) 1554044331.316 * * [simplify]: iters left: 4 (30 enodes) 1554044331.325 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.325 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044331.325 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044331.325 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044331.325 * * [simplify]: Extracting #4: cost 10 inf + 359 1554044331.325 * * [simplify]: Extracting #5: cost 8 inf + 506 1554044331.325 * * [simplify]: Extracting #6: cost 5 inf + 737 1554044331.326 * * [simplify]: Extracting #7: cost 1 inf + 1630 1554044331.326 * * [simplify]: Extracting #8: cost 0 inf + 2002 1554044331.326 * [simplify]: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1554044331.326 * [simplify]: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1554044331.327 * [simplify]: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1554044331.327 * * [simplify]: iters left: 6 (8 enodes) 1554044331.333 * * [simplify]: iters left: 5 (29 enodes) 1554044331.341 * * [simplify]: iters left: 4 (34 enodes) 1554044331.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.346 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044331.346 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044331.346 * * [simplify]: Extracting #3: cost 14 inf + 0 1554044331.346 * * [simplify]: Extracting #4: cost 15 inf + 1 1554044331.346 * * [simplify]: Extracting #5: cost 13 inf + 108 1554044331.346 * * [simplify]: Extracting #6: cost 5 inf + 1109 1554044331.346 * * [simplify]: Extracting #7: cost 0 inf + 2374 1554044331.347 * [simplify]: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1554044331.347 * [simplify]: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1554044331.347 * * * * [progress]: [ 28 / 46 ] simplifiying candidate # 1554044331.347 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1554044331.347 * * [simplify]: iters left: 5 (6 enodes) 1554044331.349 * * [simplify]: iters left: 4 (23 enodes) 1554044331.352 * * [simplify]: iters left: 3 (28 enodes) 1554044331.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.356 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044331.356 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044331.357 * * [simplify]: Extracting #3: cost 11 inf + 1 1554044331.357 * * [simplify]: Extracting #4: cost 6 inf + 298 1554044331.357 * * [simplify]: Extracting #5: cost 1 inf + 1176 1554044331.357 * * [simplify]: Extracting #6: cost 0 inf + 1468 1554044331.357 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044331.357 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1554044331.357 * * * * [progress]: [ 29 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #real (real->posit16 (- (atan (+ N 1)) (atan N)))))> 1554044331.357 * * * * [progress]: [ 31 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 32 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 33 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 34 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 35 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 36 / 46 ] simplifiying candidate # 1554044331.357 * * * * [progress]: [ 37 / 46 ] simplifiying candidate # 1554044331.358 * * * * [progress]: [ 38 / 46 ] simplifiying candidate # 1554044331.358 * * * * [progress]: [ 39 / 46 ] simplifiying candidate # 1554044331.358 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #real (real->posit16 (atan (+ N 1)))) (atan N)))> 1554044331.358 * * * * [progress]: [ 41 / 46 ] simplifiying candidate # 1554044331.358 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1554044331.358 * * [simplify]: iters left: 5 (6 enodes) 1554044331.359 * * [simplify]: iters left: 4 (23 enodes) 1554044331.363 * * [simplify]: iters left: 3 (28 enodes) 1554044331.367 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.367 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044331.367 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044331.367 * * [simplify]: Extracting #3: cost 11 inf + 1 1554044331.367 * * [simplify]: Extracting #4: cost 6 inf + 298 1554044331.367 * * [simplify]: Extracting #5: cost 1 inf + 1176 1554044331.368 * * [simplify]: Extracting #6: cost 0 inf + 1468 1554044331.368 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044331.368 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.368 * * * * [progress]: [ 42 / 46 ] simplifiying candidate # 1554044331.368 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1554044331.368 * * [simplify]: iters left: 5 (6 enodes) 1554044331.370 * * [simplify]: iters left: 4 (23 enodes) 1554044331.373 * * [simplify]: iters left: 3 (28 enodes) 1554044331.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.377 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044331.377 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044331.377 * * [simplify]: Extracting #3: cost 11 inf + 1 1554044331.378 * * [simplify]: Extracting #4: cost 6 inf + 298 1554044331.378 * * [simplify]: Extracting #5: cost 1 inf + 1176 1554044331.378 * * [simplify]: Extracting #6: cost 0 inf + 1468 1554044331.378 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044331.378 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.378 * * * * [progress]: [ 43 / 46 ] simplifiying candidate # 1554044331.378 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1554044331.378 * * [simplify]: iters left: 5 (6 enodes) 1554044331.380 * * [simplify]: iters left: 4 (23 enodes) 1554044331.384 * * [simplify]: iters left: 3 (28 enodes) 1554044331.390 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.390 * * [simplify]: Extracting #1: cost 5 inf + 0 1554044331.390 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044331.390 * * [simplify]: Extracting #3: cost 11 inf + 1 1554044331.390 * * [simplify]: Extracting #4: cost 6 inf + 298 1554044331.390 * * [simplify]: Extracting #5: cost 1 inf + 1176 1554044331.391 * * [simplify]: Extracting #6: cost 0 inf + 1468 1554044331.391 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1554044331.391 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.391 * * * * [progress]: [ 44 / 46 ] simplifiying candidate # 1554044331.391 * [simplify]: Simplifying (atan (+ N 1)) 1554044331.391 * * [simplify]: iters left: 3 (4 enodes) 1554044331.393 * * [simplify]: iters left: 2 (15 enodes) 1554044331.397 * * [simplify]: iters left: 1 (17 enodes) 1554044331.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.402 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044331.402 * * [simplify]: Extracting #2: cost 6 inf + 0 1554044331.402 * * [simplify]: Extracting #3: cost 2 inf + 86 1554044331.402 * * [simplify]: Extracting #4: cost 1 inf + 233 1554044331.402 * * [simplify]: Extracting #5: cost 0 inf + 380 1554044331.402 * [simplify]: Simplified to (atan (+ 1 N)) 1554044331.402 * [simplify]: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.402 * * * * [progress]: [ 45 / 46 ] simplifiying candidate # 1554044331.403 * [simplify]: Simplifying (atan (+ N 1)) 1554044331.403 * * [simplify]: iters left: 3 (4 enodes) 1554044331.405 * * [simplify]: iters left: 2 (15 enodes) 1554044331.409 * * [simplify]: iters left: 1 (17 enodes) 1554044331.411 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.411 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044331.411 * * [simplify]: Extracting #2: cost 6 inf + 0 1554044331.412 * * [simplify]: Extracting #3: cost 2 inf + 86 1554044331.412 * * [simplify]: Extracting #4: cost 1 inf + 233 1554044331.412 * * [simplify]: Extracting #5: cost 0 inf + 380 1554044331.412 * [simplify]: Simplified to (atan (+ 1 N)) 1554044331.412 * [simplify]: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.412 * * * * [progress]: [ 46 / 46 ] simplifiying candidate # 1554044331.412 * [simplify]: Simplifying (atan (+ N 1)) 1554044331.412 * * [simplify]: iters left: 3 (4 enodes) 1554044331.413 * * [simplify]: iters left: 2 (15 enodes) 1554044331.415 * * [simplify]: iters left: 1 (17 enodes) 1554044331.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.418 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044331.418 * * [simplify]: Extracting #2: cost 6 inf + 0 1554044331.418 * * [simplify]: Extracting #3: cost 2 inf + 86 1554044331.418 * * [simplify]: Extracting #4: cost 1 inf + 233 1554044331.418 * * [simplify]: Extracting #5: cost 0 inf + 380 1554044331.418 * [simplify]: Simplified to (atan (+ 1 N)) 1554044331.418 * [simplify]: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1554044331.418 * * * [progress]: adding candidates to table 1554044331.752 * * [progress]: iteration 2 / 4 1554044331.752 * * * [progress]: picking best candidate 1554044331.757 * * * * [pick]: Picked # 1554044331.757 * * * [progress]: localizing error 1554044331.766 * * * [progress]: generating rewritten candidates 1554044331.766 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554044331.766 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1554044331.766 * * * [progress]: generating series expansions 1554044331.766 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554044331.766 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.766 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1554044331.766 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044331.766 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.767 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044331.767 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1554044331.767 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044331.767 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044331.767 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.767 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044331.768 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1554044331.768 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044331.768 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044331.768 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1554044331.768 * [backup-simplify]: Simplify (fma N (+ N 1) 1) into (fma N (+ N 1) 1) 1554044331.768 * [approximate]: Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0 1554044331.768 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044331.768 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044331.768 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044331.768 * [taylor]: Taking taylor expansion of N in N 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.768 * [backup-simplify]: Simplify 1 into 1 1554044331.768 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044331.768 * [taylor]: Taking taylor expansion of N in N 1554044331.768 * [backup-simplify]: Simplify 0 into 0 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of 1 in N 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of 1 in N 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044331.769 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044331.769 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044331.769 * [taylor]: Taking taylor expansion of N in N 1554044331.769 * [backup-simplify]: Simplify 0 into 0 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044331.769 * [taylor]: Taking taylor expansion of N in N 1554044331.769 * [backup-simplify]: Simplify 0 into 0 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of 1 in N 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [taylor]: Taking taylor expansion of 1 in N 1554044331.769 * [backup-simplify]: Simplify 1 into 1 1554044331.769 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044331.770 * [backup-simplify]: Simplify (* 0 1) into 0 1554044331.770 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044331.770 * [backup-simplify]: Simplify 1 into 1 1554044331.770 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.771 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044331.771 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.771 * [backup-simplify]: Simplify 1 into 1 1554044331.771 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044331.772 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1554044331.772 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.772 * [backup-simplify]: Simplify 1 into 1 1554044331.772 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1)) 1554044331.772 * [backup-simplify]: Simplify (fma (/ 1 N) (+ (/ 1 N) 1) 1) into (fma (/ 1 N) (+ (/ 1 N) 1) 1) 1554044331.772 * [approximate]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0 1554044331.772 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044331.772 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044331.772 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044331.772 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.772 * [taylor]: Taking taylor expansion of N in N 1554044331.772 * [backup-simplify]: Simplify 0 into 0 1554044331.773 * [backup-simplify]: Simplify 1 into 1 1554044331.773 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.773 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044331.773 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.773 * [taylor]: Taking taylor expansion of N in N 1554044331.773 * [backup-simplify]: Simplify 0 into 0 1554044331.773 * [backup-simplify]: Simplify 1 into 1 1554044331.773 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.773 * [taylor]: Taking taylor expansion of 1 in N 1554044331.773 * [backup-simplify]: Simplify 1 into 1 1554044331.773 * [taylor]: Taking taylor expansion of 1 in N 1554044331.773 * [backup-simplify]: Simplify 1 into 1 1554044331.773 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044331.773 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044331.773 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044331.773 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.773 * [taylor]: Taking taylor expansion of N in N 1554044331.773 * [backup-simplify]: Simplify 0 into 0 1554044331.773 * [backup-simplify]: Simplify 1 into 1 1554044331.774 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.774 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044331.774 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.774 * [taylor]: Taking taylor expansion of N in N 1554044331.774 * [backup-simplify]: Simplify 0 into 0 1554044331.774 * [backup-simplify]: Simplify 1 into 1 1554044331.774 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.774 * [taylor]: Taking taylor expansion of 1 in N 1554044331.774 * [backup-simplify]: Simplify 1 into 1 1554044331.774 * [taylor]: Taking taylor expansion of 1 in N 1554044331.774 * [backup-simplify]: Simplify 1 into 1 1554044331.774 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.774 * [backup-simplify]: Simplify (* 1 1) into 1 1554044331.775 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.775 * [backup-simplify]: Simplify 1 into 1 1554044331.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044331.775 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044331.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044331.776 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044331.777 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.777 * [backup-simplify]: Simplify 1 into 1 1554044331.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044331.777 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044331.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044331.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0 1554044331.779 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044331.779 * [backup-simplify]: Simplify 1 into 1 1554044331.779 * [backup-simplify]: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1)) 1554044331.779 * [backup-simplify]: Simplify (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1) into (fma (/ -1 N) (- 1 (/ 1 N)) 1) 1554044331.779 * [approximate]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0 1554044331.779 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044331.779 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044331.779 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044331.779 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044331.779 * [taylor]: Taking taylor expansion of -1 in N 1554044331.779 * [backup-simplify]: Simplify -1 into -1 1554044331.779 * [taylor]: Taking taylor expansion of N in N 1554044331.779 * [backup-simplify]: Simplify 0 into 0 1554044331.779 * [backup-simplify]: Simplify 1 into 1 1554044331.779 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044331.779 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044331.779 * [taylor]: Taking taylor expansion of 1 in N 1554044331.779 * [backup-simplify]: Simplify 1 into 1 1554044331.780 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.780 * [taylor]: Taking taylor expansion of N in N 1554044331.780 * [backup-simplify]: Simplify 0 into 0 1554044331.780 * [backup-simplify]: Simplify 1 into 1 1554044331.780 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.780 * [taylor]: Taking taylor expansion of 1 in N 1554044331.780 * [backup-simplify]: Simplify 1 into 1 1554044331.780 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044331.780 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044331.780 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044331.780 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044331.780 * [taylor]: Taking taylor expansion of -1 in N 1554044331.780 * [backup-simplify]: Simplify -1 into -1 1554044331.780 * [taylor]: Taking taylor expansion of N in N 1554044331.780 * [backup-simplify]: Simplify 0 into 0 1554044331.780 * [backup-simplify]: Simplify 1 into 1 1554044331.780 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044331.780 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044331.780 * [taylor]: Taking taylor expansion of 1 in N 1554044331.780 * [backup-simplify]: Simplify 1 into 1 1554044331.780 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044331.780 * [taylor]: Taking taylor expansion of N in N 1554044331.780 * [backup-simplify]: Simplify 0 into 0 1554044331.780 * [backup-simplify]: Simplify 1 into 1 1554044331.781 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044331.781 * [taylor]: Taking taylor expansion of 1 in N 1554044331.781 * [backup-simplify]: Simplify 1 into 1 1554044331.781 * [backup-simplify]: Simplify (- 1) into -1 1554044331.781 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044331.781 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044331.782 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.782 * [backup-simplify]: Simplify 1 into 1 1554044331.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044331.782 * [backup-simplify]: Simplify (- 0) into 0 1554044331.783 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044331.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044331.784 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044331.784 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044331.784 * [backup-simplify]: Simplify -1 into -1 1554044331.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044331.785 * [backup-simplify]: Simplify (- 0) into 0 1554044331.785 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044331.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044331.786 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1554044331.786 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044331.786 * [backup-simplify]: Simplify 1 into 1 1554044331.787 * [backup-simplify]: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1)) 1554044331.787 * * * [progress]: simplifying candidates 1554044331.787 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))> 1554044331.787 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1554044331.787 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (fma N (+ N 1) 1)))))> 1554044331.787 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1554044331.788 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044331.788 * * [simplify]: iters left: 4 (5 enodes) 1554044331.789 * * [simplify]: iters left: 3 (20 enodes) 1554044331.796 * * [simplify]: iters left: 2 (33 enodes) 1554044331.807 * * [simplify]: iters left: 1 (40 enodes) 1554044331.812 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.812 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044331.812 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044331.813 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044331.813 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044331.813 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044331.813 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044331.813 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044331.813 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 1554044331.813 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044331.813 * * [simplify]: iters left: 4 (5 enodes) 1554044331.815 * * [simplify]: iters left: 3 (20 enodes) 1554044331.818 * * [simplify]: iters left: 2 (33 enodes) 1554044331.827 * * [simplify]: iters left: 1 (40 enodes) 1554044331.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.831 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044331.831 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044331.831 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044331.831 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044331.832 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044331.832 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044331.832 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044331.832 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 1554044331.832 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044331.832 * * [simplify]: iters left: 4 (5 enodes) 1554044331.834 * * [simplify]: iters left: 3 (20 enodes) 1554044331.837 * * [simplify]: iters left: 2 (33 enodes) 1554044331.843 * * [simplify]: iters left: 1 (40 enodes) 1554044331.852 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.852 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044331.852 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044331.852 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044331.853 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044331.853 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044331.854 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044331.854 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044331.854 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1554044331.854 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044331.854 * * [simplify]: iters left: 5 (6 enodes) 1554044331.858 * * [simplify]: iters left: 4 (28 enodes) 1554044331.867 * * [simplify]: iters left: 3 (41 enodes) 1554044331.879 * * [simplify]: iters left: 2 (50 enodes) 1554044331.891 * * [simplify]: iters left: 1 (57 enodes) 1554044331.906 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.906 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044331.906 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044331.906 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044331.907 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044331.907 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044331.907 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1554044331.907 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044331.907 * * [simplify]: iters left: 5 (6 enodes) 1554044331.911 * * [simplify]: iters left: 4 (28 enodes) 1554044331.920 * * [simplify]: iters left: 3 (41 enodes) 1554044331.931 * * [simplify]: iters left: 2 (50 enodes) 1554044331.943 * * [simplify]: iters left: 1 (57 enodes) 1554044331.960 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044331.960 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044331.960 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044331.961 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044331.961 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044331.961 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044331.961 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1554044331.961 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044331.961 * * [simplify]: iters left: 5 (6 enodes) 1554044331.965 * * [simplify]: iters left: 4 (28 enodes) 1554044331.974 * * [simplify]: iters left: 3 (41 enodes) 1554044331.986 * * [simplify]: iters left: 2 (50 enodes) 1554044331.999 * * [simplify]: iters left: 1 (57 enodes) 1554044332.014 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.014 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044332.014 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044332.014 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044332.015 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044332.015 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044332.015 * * * [progress]: adding candidates to table 1554044332.249 * * [progress]: iteration 3 / 4 1554044332.249 * * * [progress]: picking best candidate 1554044332.257 * * * * [pick]: Picked # 1554044332.257 * * * [progress]: localizing error 1554044332.271 * * * [progress]: generating rewritten candidates 1554044332.271 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1554044332.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1554044332.274 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1554044332.274 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1554044332.290 * * * [progress]: generating series expansions 1554044332.290 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1554044332.290 * [backup-simplify]: Simplify (sqrt (fma N (+ N 1) 1)) into (sqrt (fma N (+ N 1) 1)) 1554044332.290 * [approximate]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in (N) around 0 1554044332.290 * [taylor]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N 1554044332.290 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.290 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.291 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.291 * [taylor]: Taking taylor expansion of N in N 1554044332.291 * [backup-simplify]: Simplify 0 into 0 1554044332.291 * [backup-simplify]: Simplify 1 into 1 1554044332.291 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.291 * [taylor]: Taking taylor expansion of N in N 1554044332.291 * [backup-simplify]: Simplify 0 into 0 1554044332.291 * [backup-simplify]: Simplify 1 into 1 1554044332.291 * [taylor]: Taking taylor expansion of 1 in N 1554044332.291 * [backup-simplify]: Simplify 1 into 1 1554044332.291 * [taylor]: Taking taylor expansion of 1 in N 1554044332.291 * [backup-simplify]: Simplify 1 into 1 1554044332.292 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.292 * [backup-simplify]: Simplify (* 0 1) into 0 1554044332.293 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.293 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.293 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.294 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044332.294 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.294 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.294 * [taylor]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N 1554044332.294 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.294 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.294 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.294 * [taylor]: Taking taylor expansion of N in N 1554044332.294 * [backup-simplify]: Simplify 0 into 0 1554044332.294 * [backup-simplify]: Simplify 1 into 1 1554044332.295 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.295 * [taylor]: Taking taylor expansion of N in N 1554044332.295 * [backup-simplify]: Simplify 0 into 0 1554044332.295 * [backup-simplify]: Simplify 1 into 1 1554044332.295 * [taylor]: Taking taylor expansion of 1 in N 1554044332.295 * [backup-simplify]: Simplify 1 into 1 1554044332.295 * [taylor]: Taking taylor expansion of 1 in N 1554044332.295 * [backup-simplify]: Simplify 1 into 1 1554044332.295 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.295 * [backup-simplify]: Simplify (* 0 1) into 0 1554044332.295 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.296 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.296 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.296 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044332.297 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.297 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.297 * [backup-simplify]: Simplify 1 into 1 1554044332.297 * [backup-simplify]: Simplify 1/2 into 1/2 1554044332.298 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.298 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1554044332.298 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.299 * [backup-simplify]: Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8 1554044332.299 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.299 * [backup-simplify]: Simplify (+ (* 3/8 (pow N 2)) (+ (* 1/2 N) 1)) into (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)) 1554044332.299 * [backup-simplify]: Simplify (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.299 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1554044332.299 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.299 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.299 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.299 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.299 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.299 * [taylor]: Taking taylor expansion of N in N 1554044332.299 * [backup-simplify]: Simplify 0 into 0 1554044332.299 * [backup-simplify]: Simplify 1 into 1 1554044332.300 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.300 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.300 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.300 * [taylor]: Taking taylor expansion of N in N 1554044332.300 * [backup-simplify]: Simplify 0 into 0 1554044332.300 * [backup-simplify]: Simplify 1 into 1 1554044332.300 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.300 * [taylor]: Taking taylor expansion of 1 in N 1554044332.300 * [backup-simplify]: Simplify 1 into 1 1554044332.300 * [taylor]: Taking taylor expansion of 1 in N 1554044332.300 * [backup-simplify]: Simplify 1 into 1 1554044332.300 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.301 * [backup-simplify]: Simplify (* 1 1) into 1 1554044332.301 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.301 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.302 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.303 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044332.303 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.303 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.303 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.303 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.303 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.303 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.303 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.303 * [taylor]: Taking taylor expansion of N in N 1554044332.304 * [backup-simplify]: Simplify 0 into 0 1554044332.304 * [backup-simplify]: Simplify 1 into 1 1554044332.304 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.304 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.304 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.304 * [taylor]: Taking taylor expansion of N in N 1554044332.304 * [backup-simplify]: Simplify 0 into 0 1554044332.304 * [backup-simplify]: Simplify 1 into 1 1554044332.304 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.304 * [taylor]: Taking taylor expansion of 1 in N 1554044332.304 * [backup-simplify]: Simplify 1 into 1 1554044332.304 * [taylor]: Taking taylor expansion of 1 in N 1554044332.304 * [backup-simplify]: Simplify 1 into 1 1554044332.304 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.305 * [backup-simplify]: Simplify (* 1 1) into 1 1554044332.305 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.305 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.306 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.307 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044332.307 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.308 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.308 * [backup-simplify]: Simplify 1 into 1 1554044332.308 * [backup-simplify]: Simplify 1/2 into 1/2 1554044332.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.309 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0 1554044332.310 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.311 * [backup-simplify]: Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8 1554044332.311 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.311 * [backup-simplify]: Simplify (+ (* 3/8 (/ 1 N)) (+ 1/2 (* 1 (/ 1 (/ 1 N))))) into (+ (* 3/8 (/ 1 N)) (+ N 1/2)) 1554044332.311 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.311 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1554044332.311 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.311 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.311 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.311 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.311 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.311 * [taylor]: Taking taylor expansion of -1 in N 1554044332.311 * [backup-simplify]: Simplify -1 into -1 1554044332.311 * [taylor]: Taking taylor expansion of N in N 1554044332.311 * [backup-simplify]: Simplify 0 into 0 1554044332.311 * [backup-simplify]: Simplify 1 into 1 1554044332.311 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.311 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.311 * [taylor]: Taking taylor expansion of 1 in N 1554044332.311 * [backup-simplify]: Simplify 1 into 1 1554044332.311 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.311 * [taylor]: Taking taylor expansion of N in N 1554044332.311 * [backup-simplify]: Simplify 0 into 0 1554044332.312 * [backup-simplify]: Simplify 1 into 1 1554044332.312 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.312 * [taylor]: Taking taylor expansion of 1 in N 1554044332.312 * [backup-simplify]: Simplify 1 into 1 1554044332.312 * [backup-simplify]: Simplify (- 1) into -1 1554044332.312 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044332.313 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044332.313 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.313 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.314 * [backup-simplify]: Simplify (- 0) into 0 1554044332.314 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044332.315 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044332.315 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044332.316 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1554044332.316 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.316 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.316 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.316 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.316 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.316 * [taylor]: Taking taylor expansion of -1 in N 1554044332.316 * [backup-simplify]: Simplify -1 into -1 1554044332.316 * [taylor]: Taking taylor expansion of N in N 1554044332.316 * [backup-simplify]: Simplify 0 into 0 1554044332.316 * [backup-simplify]: Simplify 1 into 1 1554044332.316 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.316 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.316 * [taylor]: Taking taylor expansion of 1 in N 1554044332.316 * [backup-simplify]: Simplify 1 into 1 1554044332.316 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.316 * [taylor]: Taking taylor expansion of N in N 1554044332.316 * [backup-simplify]: Simplify 0 into 0 1554044332.316 * [backup-simplify]: Simplify 1 into 1 1554044332.316 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.316 * [taylor]: Taking taylor expansion of 1 in N 1554044332.316 * [backup-simplify]: Simplify 1 into 1 1554044332.317 * [backup-simplify]: Simplify (- 1) into -1 1554044332.317 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044332.317 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044332.317 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.318 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.318 * [backup-simplify]: Simplify (- 0) into 0 1554044332.319 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044332.319 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044332.320 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044332.320 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1554044332.320 * [backup-simplify]: Simplify 1 into 1 1554044332.320 * [backup-simplify]: Simplify -1/2 into -1/2 1554044332.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.321 * [backup-simplify]: Simplify (- 0) into 0 1554044332.322 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.324 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1554044332.324 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.331 * [backup-simplify]: Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8 1554044332.331 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.331 * [backup-simplify]: Simplify (+ (* 3/8 (/ 1 (- N))) (+ -1/2 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))) 1554044332.331 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1554044332.331 * [backup-simplify]: Simplify (sqrt (fma N (+ N 1) 1)) into (sqrt (fma N (+ N 1) 1)) 1554044332.331 * [approximate]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in (N) around 0 1554044332.331 * [taylor]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N 1554044332.331 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.331 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.331 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.331 * [taylor]: Taking taylor expansion of N in N 1554044332.331 * [backup-simplify]: Simplify 0 into 0 1554044332.331 * [backup-simplify]: Simplify 1 into 1 1554044332.332 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.332 * [taylor]: Taking taylor expansion of N in N 1554044332.332 * [backup-simplify]: Simplify 0 into 0 1554044332.332 * [backup-simplify]: Simplify 1 into 1 1554044332.332 * [taylor]: Taking taylor expansion of 1 in N 1554044332.332 * [backup-simplify]: Simplify 1 into 1 1554044332.332 * [taylor]: Taking taylor expansion of 1 in N 1554044332.332 * [backup-simplify]: Simplify 1 into 1 1554044332.332 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.332 * [backup-simplify]: Simplify (* 0 1) into 0 1554044332.333 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.333 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.333 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.334 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044332.334 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.334 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.334 * [taylor]: Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N 1554044332.334 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.334 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.334 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.334 * [taylor]: Taking taylor expansion of N in N 1554044332.335 * [backup-simplify]: Simplify 0 into 0 1554044332.335 * [backup-simplify]: Simplify 1 into 1 1554044332.335 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.335 * [taylor]: Taking taylor expansion of N in N 1554044332.335 * [backup-simplify]: Simplify 0 into 0 1554044332.335 * [backup-simplify]: Simplify 1 into 1 1554044332.335 * [taylor]: Taking taylor expansion of 1 in N 1554044332.335 * [backup-simplify]: Simplify 1 into 1 1554044332.335 * [taylor]: Taking taylor expansion of 1 in N 1554044332.335 * [backup-simplify]: Simplify 1 into 1 1554044332.335 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.335 * [backup-simplify]: Simplify (* 0 1) into 0 1554044332.335 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.336 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.336 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.337 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044332.337 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.337 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.337 * [backup-simplify]: Simplify 1 into 1 1554044332.337 * [backup-simplify]: Simplify 1/2 into 1/2 1554044332.338 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1554044332.339 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.339 * [backup-simplify]: Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8 1554044332.339 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.339 * [backup-simplify]: Simplify (+ (* 3/8 (pow N 2)) (+ (* 1/2 N) 1)) into (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)) 1554044332.339 * [backup-simplify]: Simplify (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.339 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1554044332.339 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.340 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.340 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.340 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.340 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.340 * [taylor]: Taking taylor expansion of N in N 1554044332.340 * [backup-simplify]: Simplify 0 into 0 1554044332.340 * [backup-simplify]: Simplify 1 into 1 1554044332.340 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.340 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.340 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.340 * [taylor]: Taking taylor expansion of N in N 1554044332.340 * [backup-simplify]: Simplify 0 into 0 1554044332.340 * [backup-simplify]: Simplify 1 into 1 1554044332.340 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.340 * [taylor]: Taking taylor expansion of 1 in N 1554044332.340 * [backup-simplify]: Simplify 1 into 1 1554044332.340 * [taylor]: Taking taylor expansion of 1 in N 1554044332.340 * [backup-simplify]: Simplify 1 into 1 1554044332.341 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.341 * [backup-simplify]: Simplify (* 1 1) into 1 1554044332.341 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.341 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.342 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.343 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044332.343 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.344 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.344 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.344 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.344 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.344 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.344 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.344 * [taylor]: Taking taylor expansion of N in N 1554044332.344 * [backup-simplify]: Simplify 0 into 0 1554044332.344 * [backup-simplify]: Simplify 1 into 1 1554044332.344 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.344 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.344 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.344 * [taylor]: Taking taylor expansion of N in N 1554044332.344 * [backup-simplify]: Simplify 0 into 0 1554044332.344 * [backup-simplify]: Simplify 1 into 1 1554044332.344 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.344 * [taylor]: Taking taylor expansion of 1 in N 1554044332.344 * [backup-simplify]: Simplify 1 into 1 1554044332.344 * [taylor]: Taking taylor expansion of 1 in N 1554044332.344 * [backup-simplify]: Simplify 1 into 1 1554044332.345 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.345 * [backup-simplify]: Simplify (* 1 1) into 1 1554044332.345 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.345 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.346 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.347 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044332.347 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.348 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1554044332.348 * [backup-simplify]: Simplify 1 into 1 1554044332.348 * [backup-simplify]: Simplify 1/2 into 1/2 1554044332.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.349 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0 1554044332.350 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.350 * [backup-simplify]: Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8 1554044332.350 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.351 * [backup-simplify]: Simplify (+ (* 3/8 (/ 1 N)) (+ 1/2 (* 1 (/ 1 (/ 1 N))))) into (+ (* 3/8 (/ 1 N)) (+ N 1/2)) 1554044332.351 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.351 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1554044332.351 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.351 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.351 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.351 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.351 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.351 * [taylor]: Taking taylor expansion of -1 in N 1554044332.351 * [backup-simplify]: Simplify -1 into -1 1554044332.351 * [taylor]: Taking taylor expansion of N in N 1554044332.351 * [backup-simplify]: Simplify 0 into 0 1554044332.351 * [backup-simplify]: Simplify 1 into 1 1554044332.351 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.351 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.351 * [taylor]: Taking taylor expansion of 1 in N 1554044332.351 * [backup-simplify]: Simplify 1 into 1 1554044332.351 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.351 * [taylor]: Taking taylor expansion of N in N 1554044332.351 * [backup-simplify]: Simplify 0 into 0 1554044332.351 * [backup-simplify]: Simplify 1 into 1 1554044332.352 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.352 * [taylor]: Taking taylor expansion of 1 in N 1554044332.352 * [backup-simplify]: Simplify 1 into 1 1554044332.352 * [backup-simplify]: Simplify (- 1) into -1 1554044332.352 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044332.352 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044332.353 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.353 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.354 * [backup-simplify]: Simplify (- 0) into 0 1554044332.354 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044332.355 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044332.355 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044332.357 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1554044332.357 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.357 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.357 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.357 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.357 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.357 * [taylor]: Taking taylor expansion of -1 in N 1554044332.357 * [backup-simplify]: Simplify -1 into -1 1554044332.357 * [taylor]: Taking taylor expansion of N in N 1554044332.357 * [backup-simplify]: Simplify 0 into 0 1554044332.357 * [backup-simplify]: Simplify 1 into 1 1554044332.357 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.357 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.357 * [taylor]: Taking taylor expansion of 1 in N 1554044332.357 * [backup-simplify]: Simplify 1 into 1 1554044332.357 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.357 * [taylor]: Taking taylor expansion of N in N 1554044332.358 * [backup-simplify]: Simplify 0 into 0 1554044332.358 * [backup-simplify]: Simplify 1 into 1 1554044332.358 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.358 * [taylor]: Taking taylor expansion of 1 in N 1554044332.358 * [backup-simplify]: Simplify 1 into 1 1554044332.358 * [backup-simplify]: Simplify (- 1) into -1 1554044332.359 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044332.359 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044332.360 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.360 * [backup-simplify]: Simplify (sqrt 1) into 1 1554044332.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.361 * [backup-simplify]: Simplify (- 0) into 0 1554044332.362 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044332.364 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044332.364 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044332.365 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1554044332.365 * [backup-simplify]: Simplify 1 into 1 1554044332.365 * [backup-simplify]: Simplify -1/2 into -1/2 1554044332.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.366 * [backup-simplify]: Simplify (- 0) into 0 1554044332.367 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.369 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1554044332.369 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.370 * [backup-simplify]: Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8 1554044332.370 * [backup-simplify]: Simplify 3/8 into 3/8 1554044332.370 * [backup-simplify]: Simplify (+ (* 3/8 (/ 1 (- N))) (+ -1/2 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))) 1554044332.371 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1554044332.371 * [backup-simplify]: Simplify (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.371 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1554044332.371 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044332.371 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.371 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044332.371 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.371 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.371 * [backup-simplify]: Simplify 0 into 0 1554044332.372 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.372 * [backup-simplify]: Simplify (atan2 1 (* (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.372 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1554044332.372 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.372 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.372 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044332.372 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.372 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044332.372 * [backup-simplify]: Simplify 0 into 0 1554044332.372 * [backup-simplify]: Simplify 0 into 0 1554044332.372 * [backup-simplify]: Simplify 0 into 0 1554044332.372 * [backup-simplify]: Simplify 0 into 0 1554044332.373 * [backup-simplify]: Simplify 0 into 0 1554044332.373 * [backup-simplify]: Simplify 0 into 0 1554044332.373 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.373 * [backup-simplify]: Simplify (atan2 1 (* (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.373 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1554044332.373 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.373 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.373 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044332.373 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.374 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044332.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1554044332.374 * [backup-simplify]: Simplify (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) into (fma N (+ N 1) 1) 1554044332.374 * [approximate]: Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0 1554044332.374 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.374 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.374 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.374 * [taylor]: Taking taylor expansion of N in N 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 1 into 1 1554044332.374 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.374 * [taylor]: Taking taylor expansion of N in N 1554044332.374 * [backup-simplify]: Simplify 0 into 0 1554044332.374 * [backup-simplify]: Simplify 1 into 1 1554044332.374 * [taylor]: Taking taylor expansion of 1 in N 1554044332.374 * [backup-simplify]: Simplify 1 into 1 1554044332.375 * [taylor]: Taking taylor expansion of 1 in N 1554044332.375 * [backup-simplify]: Simplify 1 into 1 1554044332.375 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044332.375 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044332.375 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044332.375 * [taylor]: Taking taylor expansion of N in N 1554044332.375 * [backup-simplify]: Simplify 0 into 0 1554044332.375 * [backup-simplify]: Simplify 1 into 1 1554044332.375 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044332.375 * [taylor]: Taking taylor expansion of N in N 1554044332.375 * [backup-simplify]: Simplify 0 into 0 1554044332.375 * [backup-simplify]: Simplify 1 into 1 1554044332.375 * [taylor]: Taking taylor expansion of 1 in N 1554044332.375 * [backup-simplify]: Simplify 1 into 1 1554044332.375 * [taylor]: Taking taylor expansion of 1 in N 1554044332.375 * [backup-simplify]: Simplify 1 into 1 1554044332.376 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.376 * [backup-simplify]: Simplify (* 0 1) into 0 1554044332.376 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.376 * [backup-simplify]: Simplify 1 into 1 1554044332.377 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.378 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044332.378 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.378 * [backup-simplify]: Simplify 1 into 1 1554044332.378 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1554044332.380 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.380 * [backup-simplify]: Simplify 1 into 1 1554044332.380 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1)) 1554044332.380 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (fma (/ 1 N) (+ (/ 1 N) 1) 1) 1554044332.380 * [approximate]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0 1554044332.381 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.381 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.381 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.381 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.381 * [taylor]: Taking taylor expansion of N in N 1554044332.381 * [backup-simplify]: Simplify 0 into 0 1554044332.381 * [backup-simplify]: Simplify 1 into 1 1554044332.381 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.381 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.381 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.381 * [taylor]: Taking taylor expansion of N in N 1554044332.381 * [backup-simplify]: Simplify 0 into 0 1554044332.381 * [backup-simplify]: Simplify 1 into 1 1554044332.382 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.382 * [taylor]: Taking taylor expansion of 1 in N 1554044332.382 * [backup-simplify]: Simplify 1 into 1 1554044332.382 * [taylor]: Taking taylor expansion of 1 in N 1554044332.382 * [backup-simplify]: Simplify 1 into 1 1554044332.382 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044332.382 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044332.382 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044332.382 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.382 * [taylor]: Taking taylor expansion of N in N 1554044332.382 * [backup-simplify]: Simplify 0 into 0 1554044332.382 * [backup-simplify]: Simplify 1 into 1 1554044332.382 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.382 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044332.382 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.382 * [taylor]: Taking taylor expansion of N in N 1554044332.382 * [backup-simplify]: Simplify 0 into 0 1554044332.382 * [backup-simplify]: Simplify 1 into 1 1554044332.383 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.383 * [taylor]: Taking taylor expansion of 1 in N 1554044332.383 * [backup-simplify]: Simplify 1 into 1 1554044332.383 * [taylor]: Taking taylor expansion of 1 in N 1554044332.383 * [backup-simplify]: Simplify 1 into 1 1554044332.384 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.384 * [backup-simplify]: Simplify (* 1 1) into 1 1554044332.385 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.385 * [backup-simplify]: Simplify 1 into 1 1554044332.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.386 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.387 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044332.388 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.388 * [backup-simplify]: Simplify 1 into 1 1554044332.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.389 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0 1554044332.391 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.391 * [backup-simplify]: Simplify 1 into 1 1554044332.392 * [backup-simplify]: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1)) 1554044332.392 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (fma (/ -1 N) (- 1 (/ 1 N)) 1) 1554044332.392 * [approximate]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0 1554044332.392 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.392 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.392 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.392 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.392 * [taylor]: Taking taylor expansion of -1 in N 1554044332.392 * [backup-simplify]: Simplify -1 into -1 1554044332.392 * [taylor]: Taking taylor expansion of N in N 1554044332.392 * [backup-simplify]: Simplify 0 into 0 1554044332.392 * [backup-simplify]: Simplify 1 into 1 1554044332.393 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.393 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.393 * [taylor]: Taking taylor expansion of 1 in N 1554044332.393 * [backup-simplify]: Simplify 1 into 1 1554044332.393 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.393 * [taylor]: Taking taylor expansion of N in N 1554044332.393 * [backup-simplify]: Simplify 0 into 0 1554044332.393 * [backup-simplify]: Simplify 1 into 1 1554044332.393 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.393 * [taylor]: Taking taylor expansion of 1 in N 1554044332.394 * [backup-simplify]: Simplify 1 into 1 1554044332.394 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044332.394 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044332.394 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044332.394 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044332.394 * [taylor]: Taking taylor expansion of -1 in N 1554044332.394 * [backup-simplify]: Simplify -1 into -1 1554044332.394 * [taylor]: Taking taylor expansion of N in N 1554044332.394 * [backup-simplify]: Simplify 0 into 0 1554044332.394 * [backup-simplify]: Simplify 1 into 1 1554044332.395 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044332.395 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044332.395 * [taylor]: Taking taylor expansion of 1 in N 1554044332.395 * [backup-simplify]: Simplify 1 into 1 1554044332.395 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044332.395 * [taylor]: Taking taylor expansion of N in N 1554044332.395 * [backup-simplify]: Simplify 0 into 0 1554044332.395 * [backup-simplify]: Simplify 1 into 1 1554044332.395 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044332.395 * [taylor]: Taking taylor expansion of 1 in N 1554044332.395 * [backup-simplify]: Simplify 1 into 1 1554044332.396 * [backup-simplify]: Simplify (- 1) into -1 1554044332.396 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044332.397 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044332.397 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.397 * [backup-simplify]: Simplify 1 into 1 1554044332.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044332.398 * [backup-simplify]: Simplify (- 0) into 0 1554044332.399 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044332.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044332.400 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044332.401 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044332.401 * [backup-simplify]: Simplify -1 into -1 1554044332.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.402 * [backup-simplify]: Simplify (- 0) into 0 1554044332.403 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044332.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044332.405 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1554044332.405 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044332.405 * [backup-simplify]: Simplify 1 into 1 1554044332.405 * [backup-simplify]: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1)) 1554044332.406 * * * [progress]: simplifying candidates 1554044332.406 * * * * [progress]: [ 1 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 2 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 3 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 4 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 5 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 6 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 7 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 8 / 106 ] simplifiying candidate # 1554044332.406 * * * * [progress]: [ 9 / 106 ] simplifiying candidate # 1554044332.406 * [simplify]: Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) 1554044332.407 * * [simplify]: iters left: 6 (7 enodes) 1554044332.410 * * [simplify]: iters left: 5 (27 enodes) 1554044332.419 * * [simplify]: iters left: 4 (40 enodes) 1554044332.428 * * [simplify]: iters left: 3 (47 enodes) 1554044332.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.434 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044332.434 * * [simplify]: Extracting #2: cost 7 inf + 0 1554044332.434 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044332.434 * * [simplify]: Extracting #4: cost 13 inf + 2 1554044332.435 * * [simplify]: Extracting #5: cost 9 inf + 280 1554044332.435 * * [simplify]: Extracting #6: cost 1 inf + 1479 1554044332.435 * * [simplify]: Extracting #7: cost 0 inf + 1696 1554044332.435 * [simplify]: Simplified to (fabs (cbrt (fma N (+ 1 N) 1))) 1554044332.435 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (fabs (cbrt (fma N (+ 1 N) 1))) (sqrt (cbrt (fma N (+ N 1) 1))))))) 1554044332.435 * * * * [progress]: [ 10 / 106 ] simplifiying candidate # 1554044332.436 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044332.436 * * [simplify]: iters left: 5 (6 enodes) 1554044332.437 * * [simplify]: iters left: 4 (23 enodes) 1554044332.441 * * [simplify]: iters left: 3 (36 enodes) 1554044332.449 * * [simplify]: iters left: 2 (43 enodes) 1554044332.455 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.455 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044332.455 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044332.456 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044332.456 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044332.456 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044332.456 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044332.456 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044332.456 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044332.456 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt (sqrt (+ 1 (fma N N N)))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044332.456 * * * * [progress]: [ 11 / 106 ] simplifiying candidate # 1554044332.457 * [simplify]: Simplifying (sqrt 1) 1554044332.457 * * [simplify]: iters left: 1 (2 enodes) 1554044332.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.459 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.459 * [simplify]: Simplified to 1 1554044332.459 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* 1 (sqrt (fma N (+ N 1) 1)))))) 1554044332.459 * * * * [progress]: [ 12 / 106 ] simplifiying candidate # 1554044332.459 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.459 * * [simplify]: iters left: 3 (4 enodes) 1554044332.460 * * [simplify]: iters left: 2 (17 enodes) 1554044332.463 * * [simplify]: iters left: 1 (30 enodes) 1554044332.468 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.468 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.468 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.468 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.469 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.469 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.469 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (pow (fma N (+ 1 N) 1) (/ 1 2))))) 1554044332.469 * * * * [progress]: [ 13 / 106 ] simplifiying candidate # 1554044332.469 * * * * [progress]: [ 14 / 106 ] simplifiying candidate # 1554044332.469 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044332.469 * * [simplify]: iters left: 4 (5 enodes) 1554044332.470 * * [simplify]: iters left: 3 (20 enodes) 1554044332.474 * * [simplify]: iters left: 2 (33 enodes) 1554044332.479 * * [simplify]: iters left: 1 (40 enodes) 1554044332.487 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.488 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044332.488 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044332.488 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044332.488 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044332.488 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044332.489 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044332.489 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (fabs (sqrt (fma N (+ 1 N) 1)))))) 1554044332.489 * * * * [progress]: [ 15 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 16 / 106 ] simplifiying candidate #real (real->posit16 (sqrt (fma N (+ N 1) 1)))))))> 1554044332.489 * * * * [progress]: [ 17 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 18 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 19 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 20 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 21 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 22 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 23 / 106 ] simplifiying candidate # 1554044332.489 * * * * [progress]: [ 24 / 106 ] simplifiying candidate # 1554044332.490 * * * * [progress]: [ 25 / 106 ] simplifiying candidate # 1554044332.490 * [simplify]: Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) 1554044332.490 * * [simplify]: iters left: 6 (7 enodes) 1554044332.493 * * [simplify]: iters left: 5 (27 enodes) 1554044332.502 * * [simplify]: iters left: 4 (40 enodes) 1554044332.510 * * [simplify]: iters left: 3 (47 enodes) 1554044332.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.515 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044332.515 * * [simplify]: Extracting #2: cost 7 inf + 0 1554044332.515 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044332.515 * * [simplify]: Extracting #4: cost 13 inf + 2 1554044332.515 * * [simplify]: Extracting #5: cost 9 inf + 280 1554044332.516 * * [simplify]: Extracting #6: cost 1 inf + 1479 1554044332.516 * * [simplify]: Extracting #7: cost 0 inf + 1696 1554044332.516 * [simplify]: Simplified to (fabs (cbrt (fma N (+ 1 N) 1))) 1554044332.516 * [simplify]: Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* (fabs (cbrt (fma N (+ 1 N) 1))) (sqrt (cbrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1))))) 1554044332.516 * * * * [progress]: [ 26 / 106 ] simplifiying candidate # 1554044332.517 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044332.517 * * [simplify]: iters left: 5 (6 enodes) 1554044332.518 * * [simplify]: iters left: 4 (23 enodes) 1554044332.522 * * [simplify]: iters left: 3 (36 enodes) 1554044332.528 * * [simplify]: iters left: 2 (43 enodes) 1554044332.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.534 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044332.534 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044332.534 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044332.534 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044332.535 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044332.535 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044332.536 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044332.536 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044332.536 * [simplify]: Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (+ 1 (fma N N N)))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1))))) 1554044332.536 * * * * [progress]: [ 27 / 106 ] simplifiying candidate # 1554044332.537 * [simplify]: Simplifying (sqrt 1) 1554044332.537 * * [simplify]: iters left: 1 (2 enodes) 1554044332.540 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.540 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.540 * [simplify]: Simplified to 1 1554044332.540 * [simplify]: Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* 1 (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))) 1554044332.540 * * * * [progress]: [ 28 / 106 ] simplifiying candidate # 1554044332.540 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.540 * * [simplify]: iters left: 3 (4 enodes) 1554044332.542 * * [simplify]: iters left: 2 (17 enodes) 1554044332.550 * * [simplify]: iters left: 1 (30 enodes) 1554044332.559 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.559 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.560 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.560 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.560 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.560 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.560 * [simplify]: Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (pow (fma N (+ 1 N) 1) (/ 1 2)) (sqrt (fma N (+ N 1) 1))))) 1554044332.560 * * * * [progress]: [ 29 / 106 ] simplifiying candidate # 1554044332.561 * * * * [progress]: [ 30 / 106 ] simplifiying candidate # 1554044332.561 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044332.561 * * [simplify]: iters left: 4 (5 enodes) 1554044332.564 * * [simplify]: iters left: 3 (20 enodes) 1554044332.570 * * [simplify]: iters left: 2 (33 enodes) 1554044332.581 * * [simplify]: iters left: 1 (40 enodes) 1554044332.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.590 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044332.590 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044332.591 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044332.591 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044332.591 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044332.592 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044332.592 * [simplify]: Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (fabs (sqrt (fma N (+ 1 N) 1))) (sqrt (fma N (+ N 1) 1))))) 1554044332.592 * * * * [progress]: [ 31 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 32 / 106 ] simplifiying candidate #real (real->posit16 (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))> 1554044332.592 * * * * [progress]: [ 33 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 34 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 35 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 36 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 37 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 38 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 39 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 40 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 41 / 106 ] simplifiying candidate # 1554044332.592 * * * * [progress]: [ 42 / 106 ] simplifiying candidate #real (real->posit16 (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> 1554044332.593 * * * * [progress]: [ 43 / 106 ] simplifiying candidate # 1554044332.593 * * * * [progress]: [ 44 / 106 ] simplifiying candidate # 1554044332.593 * * * * [progress]: [ 45 / 106 ] simplifiying candidate # 1554044332.593 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.593 * * [simplify]: iters left: 3 (4 enodes) 1554044332.595 * * [simplify]: iters left: 2 (17 enodes) 1554044332.601 * * [simplify]: iters left: 1 (30 enodes) 1554044332.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.611 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.611 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.612 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.612 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.612 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.612 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (+ 1/2 1/2)))) 1554044332.612 * [simplify]: Simplifying (+ 1/2 1/2) 1554044332.613 * * [simplify]: iters left: 2 (2 enodes) 1554044332.614 * * [simplify]: iters left: 1 (7 enodes) 1554044332.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.615 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.615 * [simplify]: Simplified to 1 1554044332.615 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044332.615 * * * * [progress]: [ 46 / 106 ] simplifiying candidate # 1554044332.615 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.615 * * [simplify]: iters left: 3 (4 enodes) 1554044332.617 * * [simplify]: iters left: 2 (17 enodes) 1554044332.620 * * [simplify]: iters left: 1 (30 enodes) 1554044332.625 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.625 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.625 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.625 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.625 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.625 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.625 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (+ 1/2 (/ 1 2))))) 1554044332.625 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 1554044332.625 * * [simplify]: iters left: 4 (5 enodes) 1554044332.628 * * [simplify]: iters left: 3 (18 enodes) 1554044332.632 * * [simplify]: iters left: 2 (20 enodes) 1554044332.635 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.635 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.635 * [simplify]: Simplified to 1 1554044332.635 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044332.635 * * * * [progress]: [ 47 / 106 ] simplifiying candidate # 1554044332.635 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044332.636 * * [simplify]: iters left: 4 (5 enodes) 1554044332.637 * * [simplify]: iters left: 3 (20 enodes) 1554044332.640 * * [simplify]: iters left: 2 (33 enodes) 1554044332.646 * * [simplify]: iters left: 1 (40 enodes) 1554044332.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.650 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044332.650 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044332.650 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044332.650 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044332.651 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044332.651 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044332.651 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ 1 N) 1)) (+ 1 1)))) 1554044332.651 * [simplify]: Simplifying (+ 1 1) 1554044332.651 * * [simplify]: iters left: 2 (2 enodes) 1554044332.652 * * [simplify]: iters left: 1 (9 enodes) 1554044332.654 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.654 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.654 * [simplify]: Simplified to 2 1554044332.654 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) 2))) 1554044332.654 * * * * [progress]: [ 48 / 106 ] simplifiying candidate # 1554044332.654 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.654 * * [simplify]: iters left: 3 (4 enodes) 1554044332.655 * * [simplify]: iters left: 2 (17 enodes) 1554044332.659 * * [simplify]: iters left: 1 (30 enodes) 1554044332.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.664 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.664 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.664 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.665 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.665 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.665 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (+ (/ 1 2) 1/2)))) 1554044332.665 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 1554044332.665 * * [simplify]: iters left: 4 (5 enodes) 1554044332.669 * * [simplify]: iters left: 3 (18 enodes) 1554044332.672 * * [simplify]: iters left: 2 (20 enodes) 1554044332.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.675 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.675 * [simplify]: Simplified to 1 1554044332.675 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044332.675 * * * * [progress]: [ 49 / 106 ] simplifiying candidate # 1554044332.675 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044332.675 * * [simplify]: iters left: 3 (4 enodes) 1554044332.676 * * [simplify]: iters left: 2 (17 enodes) 1554044332.679 * * [simplify]: iters left: 1 (30 enodes) 1554044332.688 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.688 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044332.688 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044332.688 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044332.688 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044332.689 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.689 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (+ (/ 1 2) (/ 1 2))))) 1554044332.689 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 1554044332.689 * * [simplify]: iters left: 4 (4 enodes) 1554044332.693 * * [simplify]: iters left: 3 (15 enodes) 1554044332.699 * * [simplify]: iters left: 2 (17 enodes) 1554044332.705 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.706 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044332.706 * [simplify]: Simplified to 1 1554044332.706 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044332.706 * * * * [progress]: [ 50 / 106 ] simplifiying candidate # 1554044332.706 * [simplify]: Simplifying (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) 1554044332.706 * * [simplify]: iters left: 5 (5 enodes) 1554044332.709 * * [simplify]: iters left: 4 (20 enodes) 1554044332.716 * * [simplify]: iters left: 3 (39 enodes) 1554044332.732 * * [simplify]: iters left: 2 (73 enodes) 1554044332.762 * * [simplify]: iters left: 1 (165 enodes) 1554044332.890 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.890 * * [simplify]: Extracting #1: cost 21 inf + 0 1554044332.891 * * [simplify]: Extracting #2: cost 71 inf + 2 1554044332.892 * * [simplify]: Extracting #3: cost 51 inf + 3570 1554044332.897 * * [simplify]: Extracting #4: cost 5 inf + 10191 1554044332.900 * * [simplify]: Extracting #5: cost 0 inf + 10910 1554044332.904 * [simplify]: Simplified to (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) 1554044332.904 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) 1/2))) 1554044332.904 * * * * [progress]: [ 51 / 106 ] simplifiying candidate # 1554044332.904 * [simplify]: Simplifying (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) 1554044332.904 * * [simplify]: iters left: 6 (6 enodes) 1554044332.906 * * [simplify]: iters left: 5 (21 enodes) 1554044332.910 * * [simplify]: iters left: 4 (35 enodes) 1554044332.916 * * [simplify]: iters left: 3 (42 enodes) 1554044332.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044332.921 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044332.921 * * [simplify]: Extracting #2: cost 9 inf + 2 1554044332.921 * * [simplify]: Extracting #3: cost 1 inf + 707 1554044332.921 * * [simplify]: Extracting #4: cost 0 inf + 748 1554044332.921 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044332.921 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) 1))) 1554044332.921 * * * * [progress]: [ 52 / 106 ] simplifiying candidate # 1554044332.922 * [simplify]: Simplifying (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) 1554044332.922 * * [simplify]: iters left: 5 (5 enodes) 1554044332.923 * * [simplify]: iters left: 4 (20 enodes) 1554044332.928 * * [simplify]: iters left: 3 (39 enodes) 1554044332.947 * * [simplify]: iters left: 2 (73 enodes) 1554044332.975 * * [simplify]: iters left: 1 (165 enodes) 1554044333.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.096 * * [simplify]: Extracting #1: cost 21 inf + 0 1554044333.097 * * [simplify]: Extracting #2: cost 71 inf + 2 1554044333.098 * * [simplify]: Extracting #3: cost 51 inf + 3570 1554044333.102 * * [simplify]: Extracting #4: cost 5 inf + 10191 1554044333.105 * * [simplify]: Extracting #5: cost 0 inf + 10910 1554044333.109 * [simplify]: Simplified to (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) 1554044333.109 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) (/ 1 2)))) 1554044333.109 * [simplify]: Simplifying (/ 1 2) 1554044333.109 * * [simplify]: iters left: 2 (3 enodes) 1554044333.111 * * [simplify]: iters left: 1 (12 enodes) 1554044333.113 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.113 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044333.114 * [simplify]: Simplified to 1/2 1554044333.114 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) 1/2))) 1554044333.114 * * * * [progress]: [ 53 / 106 ] simplifiying candidate # 1554044333.114 * * * * [progress]: [ 54 / 106 ] simplifiying candidate # 1554044333.114 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044333.114 * * [simplify]: iters left: 4 (5 enodes) 1554044333.115 * * [simplify]: iters left: 3 (20 enodes) 1554044333.119 * * [simplify]: iters left: 2 (33 enodes) 1554044333.125 * * [simplify]: iters left: 1 (40 enodes) 1554044333.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.130 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044333.130 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044333.130 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044333.130 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044333.130 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044333.131 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.131 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ 1 N) 1)) (+ 1 1)))) 1554044333.131 * * * * [progress]: [ 55 / 106 ] simplifiying candidate # 1554044333.131 * * * * [progress]: [ 56 / 106 ] simplifiying candidate # 1554044333.131 * [simplify]: Simplifying (+ (log (sqrt (fma N (+ N 1) 1))) (log (sqrt (fma N (+ N 1) 1)))) 1554044333.131 * * [simplify]: iters left: 6 (7 enodes) 1554044333.133 * * [simplify]: iters left: 5 (26 enodes) 1554044333.137 * * [simplify]: iters left: 4 (39 enodes) 1554044333.150 * * [simplify]: iters left: 3 (46 enodes) 1554044333.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.157 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044333.157 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044333.157 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044333.157 * * [simplify]: Extracting #4: cost 12 inf + 0 1554044333.157 * * [simplify]: Extracting #5: cost 13 inf + 2 1554044333.157 * * [simplify]: Extracting #6: cost 8 inf + 377 1554044333.157 * * [simplify]: Extracting #7: cost 4 inf + 818 1554044333.158 * * [simplify]: Extracting #8: cost 1 inf + 1409 1554044333.158 * * [simplify]: Extracting #9: cost 0 inf + 1656 1554044333.158 * [simplify]: Simplified to (+ (log (sqrt (fma N (+ 1 N) 1))) (log (sqrt (fma N (+ 1 N) 1)))) 1554044333.158 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (exp (+ (log (sqrt (fma N (+ 1 N) 1))) (log (sqrt (fma N (+ 1 N) 1))))))) 1554044333.158 * * * * [progress]: [ 57 / 106 ] simplifiying candidate # 1554044333.158 * * * * [progress]: [ 58 / 106 ] simplifiying candidate # 1554044333.158 * * * * [progress]: [ 59 / 106 ] simplifiying candidate # 1554044333.159 * [simplify]: Simplifying (* (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))) (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))) 1554044333.159 * * [simplify]: iters left: 6 (8 enodes) 1554044333.161 * * [simplify]: iters left: 5 (35 enodes) 1554044333.168 * * [simplify]: iters left: 4 (90 enodes) 1554044333.202 * * [simplify]: iters left: 3 (203 enodes) 1554044333.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.334 * * [simplify]: Extracting #1: cost 27 inf + 0 1554044333.335 * * [simplify]: Extracting #2: cost 89 inf + 171 1554044333.336 * * [simplify]: Extracting #3: cost 84 inf + 3572 1554044333.340 * * [simplify]: Extracting #4: cost 10 inf + 20221 1554044333.346 * * [simplify]: Extracting #5: cost 0 inf + 22769 1554044333.353 * [simplify]: Simplified to (* (* (+ 1 (fma N N N)) (+ 1 (fma N N N))) (+ 1 (fma N N N))) 1554044333.353 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (cbrt (* (* (+ 1 (fma N N N)) (+ 1 (fma N N N))) (+ 1 (fma N N N)))))) 1554044333.353 * * * * [progress]: [ 60 / 106 ] simplifiying candidate # 1554044333.353 * * * * [progress]: [ 61 / 106 ] simplifiying candidate # 1554044333.353 * * * * [progress]: [ 62 / 106 ] simplifiying candidate # 1554044333.353 * [simplify]: Simplifying (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) 1554044333.353 * * [simplify]: iters left: 5 (5 enodes) 1554044333.355 * * [simplify]: iters left: 4 (20 enodes) 1554044333.358 * * [simplify]: iters left: 3 (39 enodes) 1554044333.366 * * [simplify]: iters left: 2 (73 enodes) 1554044333.383 * * [simplify]: iters left: 1 (165 enodes) 1554044333.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.554 * * [simplify]: Extracting #1: cost 21 inf + 0 1554044333.554 * * [simplify]: Extracting #2: cost 71 inf + 2 1554044333.556 * * [simplify]: Extracting #3: cost 51 inf + 3570 1554044333.562 * * [simplify]: Extracting #4: cost 5 inf + 10191 1554044333.571 * * [simplify]: Extracting #5: cost 0 inf + 10910 1554044333.577 * [simplify]: Simplified to (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) 1554044333.577 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (sqrt (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1))))) 1554044333.577 * * * * [progress]: [ 63 / 106 ] simplifiying candidate # 1554044333.577 * * * * [progress]: [ 64 / 106 ] simplifiying candidate # 1554044333.577 * [simplify]: Simplifying (+ N 1) 1554044333.578 * * [simplify]: iters left: 2 (3 enodes) 1554044333.579 * * [simplify]: iters left: 1 (12 enodes) 1554044333.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.581 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.581 * * [simplify]: Extracting #2: cost 2 inf + 2 1554044333.581 * * [simplify]: Extracting #3: cost 0 inf + 86 1554044333.581 * [simplify]: Simplified to (+ 1 N) 1554044333.581 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1554044333.581 * * * * [progress]: [ 65 / 106 ] simplifiying candidate # 1554044333.581 * * * * [progress]: [ 66 / 106 ] simplifiying candidate # 1554044333.581 * [simplify]: Simplifying (* (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))) 1554044333.581 * * [simplify]: iters left: 6 (8 enodes) 1554044333.583 * * [simplify]: iters left: 5 (33 enodes) 1554044333.589 * * [simplify]: iters left: 4 (50 enodes) 1554044333.597 * * [simplify]: iters left: 3 (67 enodes) 1554044333.608 * * [simplify]: iters left: 2 (87 enodes) 1554044333.636 * * [simplify]: iters left: 1 (133 enodes) 1554044333.681 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.681 * * [simplify]: Extracting #1: cost 13 inf + 0 1554044333.682 * * [simplify]: Extracting #2: cost 40 inf + 1 1554044333.682 * * [simplify]: Extracting #3: cost 42 inf + 7 1554044333.682 * * [simplify]: Extracting #4: cost 42 inf + 66 1554044333.685 * * [simplify]: Extracting #5: cost 35 inf + 579 1554044333.686 * * [simplify]: Extracting #6: cost 22 inf + 4700 1554044333.689 * * [simplify]: Extracting #7: cost 7 inf + 12786 1554044333.693 * * [simplify]: Extracting #8: cost 0 inf + 17248 1554044333.697 * [simplify]: Simplified to (* (sqrt (+ 1 (fma N N N))) (cbrt (sqrt (+ 1 (fma N N N))))) 1554044333.697 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (* (sqrt (+ 1 (fma N N N))) (cbrt (sqrt (+ 1 (fma N N N))))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))))) 1554044333.698 * [simplify]: Simplifying (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) 1554044333.698 * * [simplify]: iters left: 6 (7 enodes) 1554044333.702 * * [simplify]: iters left: 5 (26 enodes) 1554044333.710 * * [simplify]: iters left: 4 (39 enodes) 1554044333.723 * * [simplify]: iters left: 3 (46 enodes) 1554044333.735 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.735 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044333.735 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044333.735 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044333.735 * * [simplify]: Extracting #4: cost 12 inf + 0 1554044333.735 * * [simplify]: Extracting #5: cost 13 inf + 2 1554044333.735 * * [simplify]: Extracting #6: cost 8 inf + 377 1554044333.736 * * [simplify]: Extracting #7: cost 4 inf + 828 1554044333.736 * * [simplify]: Extracting #8: cost 1 inf + 1439 1554044333.737 * * [simplify]: Extracting #9: cost 0 inf + 1696 1554044333.738 * [simplify]: Simplified to (* (cbrt (sqrt (fma N (+ 1 N) 1))) (cbrt (sqrt (fma N (+ 1 N) 1)))) 1554044333.738 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))) (* (cbrt (sqrt (fma N (+ 1 N) 1))) (cbrt (sqrt (fma N (+ 1 N) 1))))))) 1554044333.738 * * * * [progress]: [ 67 / 106 ] simplifiying candidate # 1554044333.738 * [simplify]: Simplifying (* (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))) 1554044333.738 * * [simplify]: iters left: 6 (8 enodes) 1554044333.743 * * [simplify]: iters left: 5 (28 enodes) 1554044333.752 * * [simplify]: iters left: 4 (42 enodes) 1554044333.759 * * [simplify]: iters left: 3 (49 enodes) 1554044333.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.765 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.765 * * [simplify]: Extracting #2: cost 7 inf + 0 1554044333.765 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044333.765 * * [simplify]: Extracting #4: cost 13 inf + 2 1554044333.765 * * [simplify]: Extracting #5: cost 8 inf + 336 1554044333.765 * * [simplify]: Extracting #6: cost 3 inf + 1085 1554044333.766 * * [simplify]: Extracting #7: cost 0 inf + 1696 1554044333.766 * [simplify]: Simplified to (* (cbrt (+ 1 (fma N N N))) (cbrt (+ 1 (fma N N N)))) 1554044333.766 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (* (cbrt (+ 1 (fma N N N))) (cbrt (+ 1 (fma N N N)))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (cbrt (fma N (+ N 1) 1))))))) 1554044333.766 * [simplify]: Simplifying (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (cbrt (fma N (+ N 1) 1)))) 1554044333.767 * * [simplify]: iters left: 6 (7 enodes) 1554044333.768 * * [simplify]: iters left: 5 (24 enodes) 1554044333.772 * * [simplify]: iters left: 4 (38 enodes) 1554044333.778 * * [simplify]: iters left: 3 (45 enodes) 1554044333.786 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.786 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.786 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.786 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.786 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.787 * * [simplify]: Extracting #5: cost 2 inf + 868 1554044333.787 * * [simplify]: Extracting #6: cost 0 inf + 1262 1554044333.788 * [simplify]: Simplified to (cbrt (fma N (+ 1 N) 1)) 1554044333.788 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))) (cbrt (fma N (+ 1 N) 1))))) 1554044333.788 * * * * [progress]: [ 68 / 106 ] simplifiying candidate # 1554044333.788 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.788 * * [simplify]: iters left: 6 (7 enodes) 1554044333.792 * * [simplify]: iters left: 5 (24 enodes) 1554044333.799 * * [simplify]: iters left: 4 (38 enodes) 1554044333.806 * * [simplify]: iters left: 3 (45 enodes) 1554044333.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.811 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.811 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.811 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.812 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.812 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.812 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.812 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.812 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044333.813 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.813 * * [simplify]: iters left: 6 (7 enodes) 1554044333.814 * * [simplify]: iters left: 5 (24 enodes) 1554044333.818 * * [simplify]: iters left: 4 (38 enodes) 1554044333.824 * * [simplify]: iters left: 3 (45 enodes) 1554044333.834 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.834 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.834 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.834 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.835 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.835 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.836 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.836 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.836 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044333.836 * * * * [progress]: [ 69 / 106 ] simplifiying candidate # 1554044333.837 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.837 * * [simplify]: iters left: 6 (7 enodes) 1554044333.840 * * [simplify]: iters left: 5 (24 enodes) 1554044333.849 * * [simplify]: iters left: 4 (38 enodes) 1554044333.859 * * [simplify]: iters left: 3 (45 enodes) 1554044333.865 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.865 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.865 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.865 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.865 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.865 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.865 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.866 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.866 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044333.866 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.866 * * [simplify]: iters left: 6 (7 enodes) 1554044333.868 * * [simplify]: iters left: 5 (24 enodes) 1554044333.872 * * [simplify]: iters left: 4 (38 enodes) 1554044333.878 * * [simplify]: iters left: 3 (45 enodes) 1554044333.883 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.883 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.883 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.883 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.883 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.884 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.884 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.884 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.884 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044333.884 * * * * [progress]: [ 70 / 106 ] simplifiying candidate # 1554044333.884 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 1554044333.884 * * [simplify]: iters left: 3 (3 enodes) 1554044333.888 * * [simplify]: iters left: 2 (9 enodes) 1554044333.890 * * [simplify]: iters left: 1 (11 enodes) 1554044333.893 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.893 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044333.894 * [simplify]: Simplified to 1 1554044333.894 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) 1554044333.894 * [simplify]: Simplifying (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) 1554044333.894 * * [simplify]: iters left: 6 (6 enodes) 1554044333.897 * * [simplify]: iters left: 5 (21 enodes) 1554044333.904 * * [simplify]: iters left: 4 (35 enodes) 1554044333.916 * * [simplify]: iters left: 3 (42 enodes) 1554044333.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.921 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044333.921 * * [simplify]: Extracting #2: cost 9 inf + 2 1554044333.921 * * [simplify]: Extracting #3: cost 1 inf + 707 1554044333.921 * * [simplify]: Extracting #4: cost 0 inf + 748 1554044333.921 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044333.921 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* 1 (fma N (+ 1 N) 1)))) 1554044333.921 * * * * [progress]: [ 71 / 106 ] simplifiying candidate # 1554044333.921 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.922 * * [simplify]: iters left: 6 (7 enodes) 1554044333.923 * * [simplify]: iters left: 5 (24 enodes) 1554044333.927 * * [simplify]: iters left: 4 (38 enodes) 1554044333.933 * * [simplify]: iters left: 3 (45 enodes) 1554044333.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.939 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.939 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.939 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.939 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.939 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.939 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.939 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.939 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044333.940 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.940 * * [simplify]: iters left: 6 (7 enodes) 1554044333.942 * * [simplify]: iters left: 5 (24 enodes) 1554044333.950 * * [simplify]: iters left: 4 (38 enodes) 1554044333.963 * * [simplify]: iters left: 3 (45 enodes) 1554044333.974 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044333.974 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044333.974 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044333.974 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044333.974 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044333.974 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044333.975 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044333.975 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044333.976 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044333.976 * * * * [progress]: [ 72 / 106 ] simplifiying candidate # 1554044333.976 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044333.976 * * [simplify]: iters left: 6 (7 enodes) 1554044333.980 * * [simplify]: iters left: 5 (24 enodes) 1554044333.987 * * [simplify]: iters left: 4 (38 enodes) 1554044333.999 * * [simplify]: iters left: 3 (45 enodes) 1554044334.009 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.009 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.009 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.009 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.010 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.010 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.010 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.011 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.011 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044334.011 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.011 * * [simplify]: iters left: 6 (7 enodes) 1554044334.015 * * [simplify]: iters left: 5 (24 enodes) 1554044334.023 * * [simplify]: iters left: 4 (38 enodes) 1554044334.035 * * [simplify]: iters left: 3 (45 enodes) 1554044334.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.047 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.047 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.047 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.048 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.048 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.048 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.049 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.049 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044334.049 * * * * [progress]: [ 73 / 106 ] simplifiying candidate # 1554044334.050 * [simplify]: Simplifying (* 1 1) 1554044334.050 * * [simplify]: iters left: 2 (2 enodes) 1554044334.051 * * [simplify]: iters left: 1 (6 enodes) 1554044334.053 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.053 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044334.053 * [simplify]: Simplified to 1 1554044334.053 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) 1554044334.054 * [simplify]: Simplifying (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) 1554044334.054 * * [simplify]: iters left: 6 (6 enodes) 1554044334.057 * * [simplify]: iters left: 5 (21 enodes) 1554044334.063 * * [simplify]: iters left: 4 (35 enodes) 1554044334.075 * * [simplify]: iters left: 3 (42 enodes) 1554044334.084 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.084 * * [simplify]: Extracting #1: cost 7 inf + 0 1554044334.085 * * [simplify]: Extracting #2: cost 9 inf + 2 1554044334.085 * * [simplify]: Extracting #3: cost 1 inf + 707 1554044334.085 * * [simplify]: Extracting #4: cost 0 inf + 748 1554044334.086 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044334.086 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* 1 (fma N (+ 1 N) 1)))) 1554044334.086 * * * * [progress]: [ 74 / 106 ] simplifiying candidate # 1554044334.086 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.086 * * [simplify]: iters left: 6 (7 enodes) 1554044334.090 * * [simplify]: iters left: 5 (24 enodes) 1554044334.097 * * [simplify]: iters left: 4 (38 enodes) 1554044334.107 * * [simplify]: iters left: 3 (45 enodes) 1554044334.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.112 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.112 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.112 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.112 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.113 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.113 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.113 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.113 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044334.113 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.113 * * [simplify]: iters left: 6 (7 enodes) 1554044334.115 * * [simplify]: iters left: 5 (24 enodes) 1554044334.119 * * [simplify]: iters left: 4 (38 enodes) 1554044334.125 * * [simplify]: iters left: 3 (45 enodes) 1554044334.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.130 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.130 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.130 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.130 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.130 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.131 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.131 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.131 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044334.131 * * * * [progress]: [ 75 / 106 ] simplifiying candidate # 1554044334.131 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.131 * * [simplify]: iters left: 6 (7 enodes) 1554044334.133 * * [simplify]: iters left: 5 (24 enodes) 1554044334.141 * * [simplify]: iters left: 4 (38 enodes) 1554044334.153 * * [simplify]: iters left: 3 (45 enodes) 1554044334.163 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.163 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.164 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.164 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.164 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.164 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.165 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.165 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.166 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044334.166 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.166 * * [simplify]: iters left: 6 (7 enodes) 1554044334.171 * * [simplify]: iters left: 5 (24 enodes) 1554044334.179 * * [simplify]: iters left: 4 (38 enodes) 1554044334.190 * * [simplify]: iters left: 3 (45 enodes) 1554044334.195 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.195 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.195 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.195 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.195 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.195 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.196 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.196 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.196 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044334.196 * * * * [progress]: [ 76 / 106 ] simplifiying candidate # 1554044334.196 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.196 * * [simplify]: iters left: 6 (7 enodes) 1554044334.198 * * [simplify]: iters left: 5 (24 enodes) 1554044334.202 * * [simplify]: iters left: 4 (38 enodes) 1554044334.208 * * [simplify]: iters left: 3 (45 enodes) 1554044334.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.213 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.213 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.213 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.213 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.213 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.213 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.214 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.214 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044334.214 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.214 * * [simplify]: iters left: 6 (7 enodes) 1554044334.216 * * [simplify]: iters left: 5 (24 enodes) 1554044334.220 * * [simplify]: iters left: 4 (38 enodes) 1554044334.230 * * [simplify]: iters left: 3 (45 enodes) 1554044334.241 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.241 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.241 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.241 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.241 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.242 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.242 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.243 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.243 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044334.243 * * * * [progress]: [ 77 / 106 ] simplifiying candidate # 1554044334.243 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.243 * * [simplify]: iters left: 6 (7 enodes) 1554044334.247 * * [simplify]: iters left: 5 (24 enodes) 1554044334.255 * * [simplify]: iters left: 4 (38 enodes) 1554044334.267 * * [simplify]: iters left: 3 (45 enodes) 1554044334.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.278 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.278 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.278 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.278 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.278 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.279 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.279 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.279 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1))))))) 1554044334.280 * [simplify]: Simplifying (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) 1554044334.280 * * [simplify]: iters left: 6 (7 enodes) 1554044334.284 * * [simplify]: iters left: 5 (24 enodes) 1554044334.293 * * [simplify]: iters left: 4 (38 enodes) 1554044334.305 * * [simplify]: iters left: 3 (45 enodes) 1554044334.315 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.315 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.315 * * [simplify]: Extracting #2: cost 10 inf + 0 1554044334.315 * * [simplify]: Extracting #3: cost 11 inf + 2 1554044334.316 * * [simplify]: Extracting #4: cost 5 inf + 433 1554044334.316 * * [simplify]: Extracting #5: cost 2 inf + 788 1554044334.317 * * [simplify]: Extracting #6: cost 0 inf + 1102 1554044334.317 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.317 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ 1 N) 1))))) 1554044334.318 * * * * [progress]: [ 78 / 106 ] simplifiying candidate # 1554044334.318 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044334.318 * * [simplify]: iters left: 3 (4 enodes) 1554044334.321 * * [simplify]: iters left: 2 (17 enodes) 1554044334.327 * * [simplify]: iters left: 1 (30 enodes) 1554044334.337 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.337 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044334.337 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044334.337 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044334.338 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044334.338 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044334.338 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (* 2 1/2)))) 1554044334.338 * [simplify]: Simplifying (* 2 1/2) 1554044334.338 * * [simplify]: iters left: 2 (3 enodes) 1554044334.342 * * [simplify]: iters left: 1 (11 enodes) 1554044334.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.346 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044334.346 * [simplify]: Simplified to 1 1554044334.346 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044334.346 * * * * [progress]: [ 79 / 106 ] simplifiying candidate # 1554044334.346 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044334.346 * * [simplify]: iters left: 4 (5 enodes) 1554044334.349 * * [simplify]: iters left: 3 (20 enodes) 1554044334.356 * * [simplify]: iters left: 2 (33 enodes) 1554044334.366 * * [simplify]: iters left: 1 (40 enodes) 1554044334.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.376 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.376 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044334.376 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044334.376 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044334.377 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044334.377 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.377 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ 1 N) 1)) (* 2 1)))) 1554044334.377 * [simplify]: Simplifying (* 2 1) 1554044334.377 * * [simplify]: iters left: 2 (3 enodes) 1554044334.380 * * [simplify]: iters left: 1 (9 enodes) 1554044334.383 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.383 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044334.383 * [simplify]: Simplified to 2 1554044334.383 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) 2))) 1554044334.383 * * * * [progress]: [ 80 / 106 ] simplifiying candidate # 1554044334.384 * [simplify]: Simplifying (fma N (+ N 1) 1) 1554044334.384 * * [simplify]: iters left: 3 (4 enodes) 1554044334.386 * * [simplify]: iters left: 2 (17 enodes) 1554044334.392 * * [simplify]: iters left: 1 (30 enodes) 1554044334.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.402 * * [simplify]: Extracting #1: cost 6 inf + 0 1554044334.402 * * [simplify]: Extracting #2: cost 7 inf + 2 1554044334.402 * * [simplify]: Extracting #3: cost 1 inf + 433 1554044334.403 * * [simplify]: Extracting #4: cost 0 inf + 474 1554044334.403 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1554044334.403 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (* 2 (/ 1 2))))) 1554044334.403 * [simplify]: Simplifying (* 2 (/ 1 2)) 1554044334.403 * * [simplify]: iters left: 4 (4 enodes) 1554044334.407 * * [simplify]: iters left: 3 (13 enodes) 1554044334.410 * * [simplify]: iters left: 2 (15 enodes) 1554044334.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.413 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044334.413 * [simplify]: Simplified to 1 1554044334.413 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1))) 1554044334.413 * * * * [progress]: [ 81 / 106 ] simplifiying candidate # 1554044334.413 * [simplify]: Simplifying (cbrt (sqrt (fma N (+ N 1) 1))) 1554044334.413 * * [simplify]: iters left: 5 (6 enodes) 1554044334.415 * * [simplify]: iters left: 4 (23 enodes) 1554044334.418 * * [simplify]: iters left: 3 (36 enodes) 1554044334.424 * * [simplify]: iters left: 2 (43 enodes) 1554044334.431 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.431 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.432 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.432 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.432 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.432 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.432 * * [simplify]: Extracting #6: cost 1 inf + 965 1554044334.432 * * [simplify]: Extracting #7: cost 0 inf + 1182 1554044334.432 * [simplify]: Simplified to (cbrt (sqrt (+ 1 (fma N N N)))) 1554044334.432 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))) (cbrt (sqrt (+ 1 (fma N N N))))))) 1554044334.433 * * * * [progress]: [ 82 / 106 ] simplifiying candidate # 1554044334.433 * [simplify]: Simplifying (sqrt (cbrt (fma N (+ N 1) 1))) 1554044334.433 * * [simplify]: iters left: 5 (6 enodes) 1554044334.434 * * [simplify]: iters left: 4 (23 enodes) 1554044334.439 * * [simplify]: iters left: 3 (36 enodes) 1554044334.451 * * [simplify]: iters left: 2 (43 enodes) 1554044334.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.461 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.461 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.461 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.461 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.462 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.462 * * [simplify]: Extracting #6: cost 1 inf + 1045 1554044334.462 * * [simplify]: Extracting #7: cost 0 inf + 1262 1554044334.463 * [simplify]: Simplified to (sqrt (cbrt (+ 1 (fma N N N)))) 1554044334.463 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))) (sqrt (cbrt (+ 1 (fma N N N))))))) 1554044334.463 * * * * [progress]: [ 83 / 106 ] simplifiying candidate # 1554044334.463 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044334.463 * * [simplify]: iters left: 5 (6 enodes) 1554044334.467 * * [simplify]: iters left: 4 (23 enodes) 1554044334.474 * * [simplify]: iters left: 3 (36 enodes) 1554044334.487 * * [simplify]: iters left: 2 (43 enodes) 1554044334.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.497 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.497 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.497 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.497 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.498 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.498 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044334.499 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044334.499 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044334.499 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (+ 1 (fma N N N))))))) 1554044334.499 * * * * [progress]: [ 84 / 106 ] simplifiying candidate # 1554044334.500 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044334.500 * * [simplify]: iters left: 4 (5 enodes) 1554044334.503 * * [simplify]: iters left: 3 (20 enodes) 1554044334.510 * * [simplify]: iters left: 2 (33 enodes) 1554044334.520 * * [simplify]: iters left: 1 (40 enodes) 1554044334.530 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.530 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.530 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044334.530 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044334.530 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044334.530 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044334.531 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.531 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt 1)) (sqrt (fma N (+ 1 N) 1))))) 1554044334.531 * * * * [progress]: [ 85 / 106 ] simplifiying candidate # 1554044334.532 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044334.532 * * [simplify]: iters left: 5 (6 enodes) 1554044334.535 * * [simplify]: iters left: 4 (23 enodes) 1554044334.541 * * [simplify]: iters left: 3 (36 enodes) 1554044334.547 * * [simplify]: iters left: 2 (43 enodes) 1554044334.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.552 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.552 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.552 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.552 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.552 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.552 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044334.553 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044334.553 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044334.553 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (+ 1 (fma N N N))))))) 1554044334.553 * * * * [progress]: [ 86 / 106 ] simplifiying candidate # 1554044334.553 * [simplify]: Simplifying (sqrt (fma N (+ N 1) 1)) 1554044334.553 * * [simplify]: iters left: 4 (5 enodes) 1554044334.555 * * [simplify]: iters left: 3 (20 enodes) 1554044334.559 * * [simplify]: iters left: 2 (33 enodes) 1554044334.564 * * [simplify]: iters left: 1 (40 enodes) 1554044334.569 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.569 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.569 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044334.569 * * [simplify]: Extracting #3: cost 9 inf + 2 1554044334.569 * * [simplify]: Extracting #4: cost 1 inf + 707 1554044334.570 * * [simplify]: Extracting #5: cost 0 inf + 748 1554044334.570 * [simplify]: Simplified to (sqrt (fma N (+ 1 N) 1)) 1554044334.570 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) 1) (sqrt (fma N (+ 1 N) 1))))) 1554044334.570 * * * * [progress]: [ 87 / 106 ] simplifiying candidate # 1554044334.571 * [simplify]: Simplifying (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) 1554044334.571 * * [simplify]: iters left: 6 (7 enodes) 1554044334.574 * * [simplify]: iters left: 5 (26 enodes) 1554044334.583 * * [simplify]: iters left: 4 (39 enodes) 1554044334.595 * * [simplify]: iters left: 3 (46 enodes) 1554044334.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.606 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.606 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.606 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044334.606 * * [simplify]: Extracting #4: cost 12 inf + 0 1554044334.607 * * [simplify]: Extracting #5: cost 13 inf + 2 1554044334.607 * * [simplify]: Extracting #6: cost 8 inf + 377 1554044334.607 * * [simplify]: Extracting #7: cost 4 inf + 828 1554044334.608 * * [simplify]: Extracting #8: cost 1 inf + 1439 1554044334.608 * * [simplify]: Extracting #9: cost 0 inf + 1696 1554044334.609 * [simplify]: Simplified to (* (cbrt (sqrt (fma N (+ 1 N) 1))) (cbrt (sqrt (fma N (+ 1 N) 1)))) 1554044334.609 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (* (cbrt (sqrt (fma N (+ 1 N) 1))) (cbrt (sqrt (fma N (+ 1 N) 1)))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))) 1554044334.609 * * * * [progress]: [ 88 / 106 ] simplifiying candidate # 1554044334.609 * [simplify]: Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) 1554044334.609 * * [simplify]: iters left: 6 (7 enodes) 1554044334.613 * * [simplify]: iters left: 5 (27 enodes) 1554044334.621 * * [simplify]: iters left: 4 (40 enodes) 1554044334.634 * * [simplify]: iters left: 3 (47 enodes) 1554044334.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.645 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044334.645 * * [simplify]: Extracting #2: cost 7 inf + 0 1554044334.645 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044334.645 * * [simplify]: Extracting #4: cost 13 inf + 2 1554044334.645 * * [simplify]: Extracting #5: cost 9 inf + 280 1554044334.646 * * [simplify]: Extracting #6: cost 1 inf + 1479 1554044334.646 * * [simplify]: Extracting #7: cost 0 inf + 1696 1554044334.647 * [simplify]: Simplified to (fabs (cbrt (fma N (+ 1 N) 1))) 1554044334.647 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (fabs (cbrt (fma N (+ 1 N) 1))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))) 1554044334.647 * * * * [progress]: [ 89 / 106 ] simplifiying candidate # 1554044334.647 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044334.647 * * [simplify]: iters left: 5 (6 enodes) 1554044334.650 * * [simplify]: iters left: 4 (23 enodes) 1554044334.658 * * [simplify]: iters left: 3 (36 enodes) 1554044334.663 * * [simplify]: iters left: 2 (43 enodes) 1554044334.668 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.668 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.668 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.668 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.668 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.668 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.668 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044334.669 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044334.669 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044334.669 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (sqrt (+ 1 (fma N N N)))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))) 1554044334.669 * * * * [progress]: [ 90 / 106 ] simplifiying candidate # 1554044334.669 * [simplify]: Simplifying (sqrt 1) 1554044334.669 * * [simplify]: iters left: 1 (2 enodes) 1554044334.671 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.671 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044334.671 * [simplify]: Simplified to 1 1554044334.671 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) 1554044334.671 * * * * [progress]: [ 91 / 106 ] simplifiying candidate # 1554044334.671 * [simplify]: Simplifying (sqrt (sqrt (fma N (+ N 1) 1))) 1554044334.671 * * [simplify]: iters left: 5 (6 enodes) 1554044334.673 * * [simplify]: iters left: 4 (23 enodes) 1554044334.676 * * [simplify]: iters left: 3 (36 enodes) 1554044334.684 * * [simplify]: iters left: 2 (43 enodes) 1554044334.689 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.689 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044334.689 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044334.689 * * [simplify]: Extracting #3: cost 10 inf + 0 1554044334.690 * * [simplify]: Extracting #4: cost 10 inf + 44 1554044334.690 * * [simplify]: Extracting #5: cost 6 inf + 336 1554044334.690 * * [simplify]: Extracting #6: cost 1 inf + 925 1554044334.690 * * [simplify]: Extracting #7: cost 0 inf + 1102 1554044334.691 * [simplify]: Simplified to (sqrt (sqrt (+ 1 (fma N N N)))) 1554044334.691 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (sqrt (+ 1 (fma N N N)))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))) 1554044334.691 * * * * [progress]: [ 92 / 106 ] simplifiying candidate # 1554044334.691 * * * * [progress]: [ 93 / 106 ] simplifiying candidate #real (real->posit16 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> 1554044334.691 * * * * [progress]: [ 94 / 106 ] simplifiying candidate # 1554044334.691 * * * * [progress]: [ 95 / 106 ] simplifiying candidate # 1554044334.692 * [simplify]: Simplifying (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)) 1554044334.692 * * [simplify]: iters left: 6 (10 enodes) 1554044334.699 * * [simplify]: iters left: 5 (44 enodes) 1554044334.707 * * [simplify]: iters left: 4 (62 enodes) 1554044334.717 * * [simplify]: iters left: 3 (90 enodes) 1554044334.729 * * [simplify]: iters left: 2 (112 enodes) 1554044334.750 * * [simplify]: iters left: 1 (124 enodes) 1554044334.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.773 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044334.773 * * [simplify]: Extracting #2: cost 17 inf + 87 1554044334.776 * * [simplify]: Extracting #3: cost 4 inf + 943 1554044334.777 * * [simplify]: Extracting #4: cost 0 inf + 1271 1554044334.778 * [simplify]: Simplified to (fma N (fma N 3/8 1/2) 1) 1554044334.778 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (fma N (fma N 3/8 1/2) 1)))) 1554044334.778 * * * * [progress]: [ 96 / 106 ] simplifiying candidate # 1554044334.779 * [simplify]: Simplifying (+ (* 3/8 (/ 1 N)) (+ N 1/2)) 1554044334.779 * * [simplify]: iters left: 6 (8 enodes) 1554044334.785 * * [simplify]: iters left: 5 (34 enodes) 1554044334.797 * * [simplify]: iters left: 4 (49 enodes) 1554044334.811 * * [simplify]: iters left: 3 (56 enodes) 1554044334.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.825 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044334.825 * * [simplify]: Extracting #2: cost 13 inf + 3 1554044334.825 * * [simplify]: Extracting #3: cost 3 inf + 584 1554044334.826 * * [simplify]: Extracting #4: cost 0 inf + 832 1554044334.827 * [simplify]: Simplified to (+ (+ 1/2 (/ 3/8 N)) N) 1554044334.827 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (+ 1/2 (/ 3/8 N)) N)))) 1554044334.827 * * * * [progress]: [ 97 / 106 ] simplifiying candidate # 1554044334.827 * [simplify]: Simplifying (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))) 1554044334.827 * * [simplify]: iters left: 6 (9 enodes) 1554044334.833 * * [simplify]: iters left: 5 (40 enodes) 1554044334.849 * * [simplify]: iters left: 4 (77 enodes) 1554044334.861 * * [simplify]: iters left: 3 (114 enodes) 1554044334.878 * * [simplify]: iters left: 2 (136 enodes) 1554044334.910 * * [simplify]: iters left: 1 (149 enodes) 1554044334.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044334.936 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044334.936 * * [simplify]: Extracting #2: cost 31 inf + 128 1554044334.937 * * [simplify]: Extracting #3: cost 17 inf + 873 1554044334.938 * * [simplify]: Extracting #4: cost 4 inf + 1904 1554044334.940 * * [simplify]: Extracting #5: cost 0 inf + 2234 1554044334.941 * [simplify]: Simplified to (+ (- (/ -3/8 N) N) -1/2) 1554044334.941 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (- (/ -3/8 N) N) -1/2)))) 1554044334.941 * * * * [progress]: [ 98 / 106 ] simplifiying candidate # 1554044334.942 * [simplify]: Simplifying (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)) 1554044334.942 * * [simplify]: iters left: 6 (10 enodes) 1554044334.949 * * [simplify]: iters left: 5 (44 enodes) 1554044334.964 * * [simplify]: iters left: 4 (62 enodes) 1554044334.984 * * [simplify]: iters left: 3 (90 enodes) 1554044335.011 * * [simplify]: iters left: 2 (112 enodes) 1554044335.042 * * [simplify]: iters left: 1 (124 enodes) 1554044335.066 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.066 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044335.067 * * [simplify]: Extracting #2: cost 17 inf + 87 1554044335.067 * * [simplify]: Extracting #3: cost 4 inf + 943 1554044335.068 * * [simplify]: Extracting #4: cost 0 inf + 1271 1554044335.069 * [simplify]: Simplified to (fma N (fma N 3/8 1/2) 1) 1554044335.069 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (fma N (fma N 3/8 1/2) 1) (sqrt (fma N (+ N 1) 1))))) 1554044335.069 * * * * [progress]: [ 99 / 106 ] simplifiying candidate # 1554044335.070 * [simplify]: Simplifying (+ (* 3/8 (/ 1 N)) (+ N 1/2)) 1554044335.070 * * [simplify]: iters left: 6 (8 enodes) 1554044335.075 * * [simplify]: iters left: 5 (34 enodes) 1554044335.087 * * [simplify]: iters left: 4 (49 enodes) 1554044335.101 * * [simplify]: iters left: 3 (56 enodes) 1554044335.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.115 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044335.115 * * [simplify]: Extracting #2: cost 13 inf + 3 1554044335.116 * * [simplify]: Extracting #3: cost 3 inf + 584 1554044335.116 * * [simplify]: Extracting #4: cost 0 inf + 832 1554044335.117 * [simplify]: Simplified to (+ (+ 1/2 (/ 3/8 N)) N) 1554044335.117 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (+ (+ 1/2 (/ 3/8 N)) N) (sqrt (fma N (+ N 1) 1))))) 1554044335.117 * * * * [progress]: [ 100 / 106 ] simplifiying candidate # 1554044335.117 * [simplify]: Simplifying (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))) 1554044335.117 * * [simplify]: iters left: 6 (9 enodes) 1554044335.123 * * [simplify]: iters left: 5 (40 enodes) 1554044335.139 * * [simplify]: iters left: 4 (77 enodes) 1554044335.165 * * [simplify]: iters left: 3 (114 enodes) 1554044335.189 * * [simplify]: iters left: 2 (136 enodes) 1554044335.206 * * [simplify]: iters left: 1 (149 enodes) 1554044335.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.230 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044335.230 * * [simplify]: Extracting #2: cost 31 inf + 128 1554044335.231 * * [simplify]: Extracting #3: cost 17 inf + 873 1554044335.231 * * [simplify]: Extracting #4: cost 4 inf + 1904 1554044335.232 * * [simplify]: Extracting #5: cost 0 inf + 2234 1554044335.233 * [simplify]: Simplified to (+ (- (/ -3/8 N) N) -1/2) 1554044335.233 * [simplify]: Simplified (2 2 1) to (λ (N) (atan2 1 (* (+ (- (/ -3/8 N) N) -1/2) (sqrt (fma N (+ N 1) 1))))) 1554044335.233 * * * * [progress]: [ 101 / 106 ] simplifiying candidate # 1554044335.233 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044335.233 * * [simplify]: iters left: 4 (5 enodes) 1554044335.237 * * [simplify]: iters left: 3 (20 enodes) 1554044335.240 * * [simplify]: iters left: 2 (33 enodes) 1554044335.246 * * [simplify]: iters left: 1 (40 enodes) 1554044335.250 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.250 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044335.250 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044335.251 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044335.251 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044335.251 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044335.251 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044335.251 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044335.251 * * * * [progress]: [ 102 / 106 ] simplifiying candidate # 1554044335.251 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044335.251 * * [simplify]: iters left: 4 (5 enodes) 1554044335.253 * * [simplify]: iters left: 3 (20 enodes) 1554044335.256 * * [simplify]: iters left: 2 (33 enodes) 1554044335.267 * * [simplify]: iters left: 1 (40 enodes) 1554044335.276 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.276 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044335.276 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044335.277 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044335.277 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044335.277 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044335.278 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044335.278 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044335.278 * * * * [progress]: [ 103 / 106 ] simplifiying candidate # 1554044335.278 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044335.278 * * [simplify]: iters left: 4 (5 enodes) 1554044335.281 * * [simplify]: iters left: 3 (20 enodes) 1554044335.287 * * [simplify]: iters left: 2 (33 enodes) 1554044335.298 * * [simplify]: iters left: 1 (40 enodes) 1554044335.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.307 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044335.307 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044335.307 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044335.308 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044335.308 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044335.308 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044335.308 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044335.308 * * * * [progress]: [ 104 / 106 ] simplifiying candidate # 1554044335.309 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044335.309 * * [simplify]: iters left: 5 (6 enodes) 1554044335.313 * * [simplify]: iters left: 4 (28 enodes) 1554044335.322 * * [simplify]: iters left: 3 (41 enodes) 1554044335.333 * * [simplify]: iters left: 2 (50 enodes) 1554044335.345 * * [simplify]: iters left: 1 (57 enodes) 1554044335.360 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.360 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044335.360 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044335.360 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044335.361 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044335.361 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044335.361 * * * * [progress]: [ 105 / 106 ] simplifiying candidate # 1554044335.361 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044335.361 * * [simplify]: iters left: 5 (6 enodes) 1554044335.365 * * [simplify]: iters left: 4 (28 enodes) 1554044335.377 * * [simplify]: iters left: 3 (41 enodes) 1554044335.389 * * [simplify]: iters left: 2 (50 enodes) 1554044335.401 * * [simplify]: iters left: 1 (57 enodes) 1554044335.416 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.416 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044335.416 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044335.416 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044335.417 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044335.417 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044335.417 * * * * [progress]: [ 106 / 106 ] simplifiying candidate # 1554044335.417 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044335.417 * * [simplify]: iters left: 5 (6 enodes) 1554044335.422 * * [simplify]: iters left: 4 (28 enodes) 1554044335.431 * * [simplify]: iters left: 3 (41 enodes) 1554044335.438 * * [simplify]: iters left: 2 (50 enodes) 1554044335.445 * * [simplify]: iters left: 1 (57 enodes) 1554044335.453 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044335.453 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044335.453 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044335.453 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044335.454 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044335.454 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044335.454 * * * [progress]: adding candidates to table 1554044336.362 * * [progress]: iteration 4 / 4 1554044336.362 * * * [progress]: picking best candidate 1554044336.373 * * * * [pick]: Picked # 1554044336.373 * * * [progress]: localizing error 1554044336.382 * * * [progress]: generating rewritten candidates 1554044336.383 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554044336.383 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1554044336.383 * * * [progress]: generating series expansions 1554044336.383 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554044336.383 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.383 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1554044336.383 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.384 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044336.384 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1554044336.384 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044336.384 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044336.384 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.384 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.385 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044336.385 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1554044336.385 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044336.385 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044336.385 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1554044336.385 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044336.385 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.385 * [backup-simplify]: Simplify 0 into 0 1554044336.386 * [backup-simplify]: Simplify 0 into 0 1554044336.386 * [backup-simplify]: Simplify 0 into 0 1554044336.386 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1554044336.386 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1554044336.386 * [backup-simplify]: Simplify (fma N (+ N 1) 1) into (fma N (+ N 1) 1) 1554044336.386 * [approximate]: Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0 1554044336.386 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044336.386 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044336.386 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044336.386 * [taylor]: Taking taylor expansion of N in N 1554044336.386 * [backup-simplify]: Simplify 0 into 0 1554044336.386 * [backup-simplify]: Simplify 1 into 1 1554044336.386 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044336.386 * [taylor]: Taking taylor expansion of N in N 1554044336.386 * [backup-simplify]: Simplify 0 into 0 1554044336.386 * [backup-simplify]: Simplify 1 into 1 1554044336.386 * [taylor]: Taking taylor expansion of 1 in N 1554044336.386 * [backup-simplify]: Simplify 1 into 1 1554044336.386 * [taylor]: Taking taylor expansion of 1 in N 1554044336.386 * [backup-simplify]: Simplify 1 into 1 1554044336.386 * [taylor]: Taking taylor expansion of (fma N (+ N 1) 1) in N 1554044336.386 * [taylor]: Rewrote expression to (+ (* N (+ N 1)) 1) 1554044336.386 * [taylor]: Taking taylor expansion of (* N (+ N 1)) in N 1554044336.386 * [taylor]: Taking taylor expansion of N in N 1554044336.386 * [backup-simplify]: Simplify 0 into 0 1554044336.387 * [backup-simplify]: Simplify 1 into 1 1554044336.387 * [taylor]: Taking taylor expansion of (+ N 1) in N 1554044336.387 * [taylor]: Taking taylor expansion of N in N 1554044336.387 * [backup-simplify]: Simplify 0 into 0 1554044336.387 * [backup-simplify]: Simplify 1 into 1 1554044336.387 * [taylor]: Taking taylor expansion of 1 in N 1554044336.387 * [backup-simplify]: Simplify 1 into 1 1554044336.387 * [taylor]: Taking taylor expansion of 1 in N 1554044336.387 * [backup-simplify]: Simplify 1 into 1 1554044336.387 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044336.388 * [backup-simplify]: Simplify (* 0 1) into 0 1554044336.388 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044336.388 * [backup-simplify]: Simplify 1 into 1 1554044336.389 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.389 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044336.390 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.390 * [backup-simplify]: Simplify 1 into 1 1554044336.390 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044336.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1554044336.392 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.392 * [backup-simplify]: Simplify 1 into 1 1554044336.392 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1)) 1554044336.393 * [backup-simplify]: Simplify (fma (/ 1 N) (+ (/ 1 N) 1) 1) into (fma (/ 1 N) (+ (/ 1 N) 1) 1) 1554044336.393 * [approximate]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0 1554044336.393 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044336.393 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044336.393 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044336.393 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.393 * [taylor]: Taking taylor expansion of N in N 1554044336.393 * [backup-simplify]: Simplify 0 into 0 1554044336.393 * [backup-simplify]: Simplify 1 into 1 1554044336.393 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.393 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044336.393 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.394 * [taylor]: Taking taylor expansion of N in N 1554044336.394 * [backup-simplify]: Simplify 0 into 0 1554044336.394 * [backup-simplify]: Simplify 1 into 1 1554044336.394 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.394 * [taylor]: Taking taylor expansion of 1 in N 1554044336.394 * [backup-simplify]: Simplify 1 into 1 1554044336.394 * [taylor]: Taking taylor expansion of 1 in N 1554044336.394 * [backup-simplify]: Simplify 1 into 1 1554044336.394 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N 1554044336.394 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1) 1554044336.394 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N 1554044336.394 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.394 * [taylor]: Taking taylor expansion of N in N 1554044336.394 * [backup-simplify]: Simplify 0 into 0 1554044336.394 * [backup-simplify]: Simplify 1 into 1 1554044336.395 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.395 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1554044336.395 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.395 * [taylor]: Taking taylor expansion of N in N 1554044336.395 * [backup-simplify]: Simplify 0 into 0 1554044336.395 * [backup-simplify]: Simplify 1 into 1 1554044336.395 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.395 * [taylor]: Taking taylor expansion of 1 in N 1554044336.395 * [backup-simplify]: Simplify 1 into 1 1554044336.395 * [taylor]: Taking taylor expansion of 1 in N 1554044336.395 * [backup-simplify]: Simplify 1 into 1 1554044336.396 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.396 * [backup-simplify]: Simplify (* 1 1) into 1 1554044336.396 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.396 * [backup-simplify]: Simplify 1 into 1 1554044336.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044336.398 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044336.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044336.399 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 1)) into 1 1554044336.399 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.399 * [backup-simplify]: Simplify 1 into 1 1554044336.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044336.401 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044336.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044336.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0 1554044336.403 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044336.403 * [backup-simplify]: Simplify 1 into 1 1554044336.403 * [backup-simplify]: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1)) 1554044336.403 * [backup-simplify]: Simplify (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1) into (fma (/ -1 N) (- 1 (/ 1 N)) 1) 1554044336.404 * [approximate]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0 1554044336.404 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044336.404 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044336.404 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044336.404 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044336.404 * [taylor]: Taking taylor expansion of -1 in N 1554044336.404 * [backup-simplify]: Simplify -1 into -1 1554044336.404 * [taylor]: Taking taylor expansion of N in N 1554044336.404 * [backup-simplify]: Simplify 0 into 0 1554044336.404 * [backup-simplify]: Simplify 1 into 1 1554044336.404 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044336.404 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044336.404 * [taylor]: Taking taylor expansion of 1 in N 1554044336.404 * [backup-simplify]: Simplify 1 into 1 1554044336.404 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.404 * [taylor]: Taking taylor expansion of N in N 1554044336.404 * [backup-simplify]: Simplify 0 into 0 1554044336.404 * [backup-simplify]: Simplify 1 into 1 1554044336.405 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.405 * [taylor]: Taking taylor expansion of 1 in N 1554044336.405 * [backup-simplify]: Simplify 1 into 1 1554044336.405 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N 1554044336.405 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1) 1554044336.405 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N 1554044336.405 * [taylor]: Taking taylor expansion of (/ -1 N) in N 1554044336.405 * [taylor]: Taking taylor expansion of -1 in N 1554044336.405 * [backup-simplify]: Simplify -1 into -1 1554044336.405 * [taylor]: Taking taylor expansion of N in N 1554044336.405 * [backup-simplify]: Simplify 0 into 0 1554044336.405 * [backup-simplify]: Simplify 1 into 1 1554044336.406 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044336.406 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1554044336.406 * [taylor]: Taking taylor expansion of 1 in N 1554044336.406 * [backup-simplify]: Simplify 1 into 1 1554044336.406 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1554044336.406 * [taylor]: Taking taylor expansion of N in N 1554044336.406 * [backup-simplify]: Simplify 0 into 0 1554044336.406 * [backup-simplify]: Simplify 1 into 1 1554044336.406 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044336.406 * [taylor]: Taking taylor expansion of 1 in N 1554044336.406 * [backup-simplify]: Simplify 1 into 1 1554044336.407 * [backup-simplify]: Simplify (- 1) into -1 1554044336.407 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044336.407 * [backup-simplify]: Simplify (* -1 -1) into 1 1554044336.408 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.408 * [backup-simplify]: Simplify 1 into 1 1554044336.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044336.409 * [backup-simplify]: Simplify (- 0) into 0 1554044336.409 * [backup-simplify]: Simplify (+ 1 0) into 1 1554044336.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044336.411 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 -1)) into -1 1554044336.411 * [backup-simplify]: Simplify (+ -1 0) into -1 1554044336.411 * [backup-simplify]: Simplify -1 into -1 1554044336.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044336.412 * [backup-simplify]: Simplify (- 0) into 0 1554044336.412 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044336.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044336.414 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1554044336.415 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044336.415 * [backup-simplify]: Simplify 1 into 1 1554044336.415 * [backup-simplify]: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1)) 1554044336.415 * * * [progress]: simplifying candidates 1554044336.415 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1554044336.415 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))> 1554044336.416 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1554044336.416 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (fma N (+ N 1) 1)))))> 1554044336.416 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1554044336.416 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044336.417 * * [simplify]: iters left: 4 (5 enodes) 1554044336.418 * * [simplify]: iters left: 3 (20 enodes) 1554044336.422 * * [simplify]: iters left: 2 (33 enodes) 1554044336.430 * * [simplify]: iters left: 1 (40 enodes) 1554044336.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.435 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044336.435 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044336.435 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044336.435 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044336.435 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044336.436 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044336.436 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044336.436 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 1554044336.436 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044336.436 * * [simplify]: iters left: 4 (5 enodes) 1554044336.437 * * [simplify]: iters left: 3 (20 enodes) 1554044336.441 * * [simplify]: iters left: 2 (33 enodes) 1554044336.447 * * [simplify]: iters left: 1 (40 enodes) 1554044336.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.457 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044336.457 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044336.457 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044336.457 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044336.458 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044336.458 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044336.458 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044336.458 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 1554044336.458 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1554044336.458 * * [simplify]: iters left: 4 (5 enodes) 1554044336.461 * * [simplify]: iters left: 3 (20 enodes) 1554044336.468 * * [simplify]: iters left: 2 (33 enodes) 1554044336.479 * * [simplify]: iters left: 1 (40 enodes) 1554044336.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.488 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044336.488 * * [simplify]: Extracting #2: cost 7 inf + 1 1554044336.488 * * [simplify]: Extracting #3: cost 3 inf + 768 1554044336.489 * * [simplify]: Extracting #4: cost 1 inf + 907 1554044336.489 * * [simplify]: Extracting #5: cost 0 inf + 948 1554044336.489 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1554044336.490 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1554044336.490 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1554044336.490 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044336.490 * * [simplify]: iters left: 5 (6 enodes) 1554044336.494 * * [simplify]: iters left: 4 (28 enodes) 1554044336.503 * * [simplify]: iters left: 3 (41 enodes) 1554044336.512 * * [simplify]: iters left: 2 (50 enodes) 1554044336.519 * * [simplify]: iters left: 1 (57 enodes) 1554044336.526 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.526 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044336.527 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044336.527 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044336.527 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044336.527 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044336.527 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1554044336.527 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044336.527 * * [simplify]: iters left: 5 (6 enodes) 1554044336.530 * * [simplify]: iters left: 4 (28 enodes) 1554044336.534 * * [simplify]: iters left: 3 (41 enodes) 1554044336.546 * * [simplify]: iters left: 2 (50 enodes) 1554044336.557 * * [simplify]: iters left: 1 (57 enodes) 1554044336.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.571 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044336.571 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044336.571 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044336.571 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044336.571 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044336.571 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1554044336.571 * [simplify]: Simplifying (+ N (+ (pow N 2) 1)) 1554044336.571 * * [simplify]: iters left: 5 (6 enodes) 1554044336.574 * * [simplify]: iters left: 4 (28 enodes) 1554044336.581 * * [simplify]: iters left: 3 (41 enodes) 1554044336.588 * * [simplify]: iters left: 2 (50 enodes) 1554044336.599 * * [simplify]: iters left: 1 (57 enodes) 1554044336.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044336.606 * * [simplify]: Extracting #1: cost 8 inf + 0 1554044336.606 * * [simplify]: Extracting #2: cost 11 inf + 2 1554044336.606 * * [simplify]: Extracting #3: cost 0 inf + 589 1554044336.607 * [simplify]: Simplified to (fma N N (+ 1 N)) 1554044336.607 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N N (+ 1 N)))) 1554044336.607 * * * [progress]: adding candidates to table 1554044336.794 * [progress]: [Phase 3 of 3] Extracting. 1554044336.794 * * [regime]: Finding splitpoints for: (# # # # #) 1554044336.794 * * * [regime-changes]: Trying 1 branch expressions: (N) 1554044336.795 * * * * [regimes]: Trying to branch on N from (# # # # #) 1554044336.845 * * * [regime]: Found split indices: #