515.753 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (- (atan (+ N 1.0)) (atan N)) 0.030 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.030 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.031 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.032 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.032 * [simplify]: Simplified to: (- (atan (+ N 1.0)) (atan N)) 0.032 * * [progress]: iteration 1 / 4 0.032 * * * [progress]: picking best candidate 0.035 * * * * [pick]: Picked # 0.035 * * * [progress]: localizing error 0.040 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.044 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.046 * * * [progress]: generating series expansions 0.046 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.046 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0 0.046 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.046 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.046 * [taylor]: Taking taylor expansion of (atan N) in N 0.046 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.046 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.046 * [taylor]: Taking taylor expansion of (atan N) in N 0.047 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0 0.047 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.047 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.047 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.047 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.047 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.047 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.048 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 0.048 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.048 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.048 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.048 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.048 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.048 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.048 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.048 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0 0.048 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.048 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.049 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0 0.049 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.049 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.049 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0 0.049 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.049 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.049 * * * [progress]: simplifying candidates 0.050 * [simplify]: Simplifying using # : (- (+ N 1.0) N) (+ 1 (* (+ N 1.0) N)) (/ (exp (atan (+ N 1.0))) (exp (atan N))) (log (- (atan (+ N 1.0)) (atan N))) (exp (- (atan (+ N 1.0)) (atan N))) (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N)))) (cbrt (- (atan (+ N 1.0)) (atan N))) (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3)) (+ (* (atan (+ N 1.0)) (atan (+ N 1.0))) (+ (* (atan N) (atan N)) (* (atan (+ N 1.0)) (atan N)))) (neg (atan N)) (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N))) (+ (atan (+ N 1.0)) (atan N)) (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (atan (+ N 1.0)) (atan N)) (neg (atan N)) (log (atan (+ N 1.0))) (exp (atan (+ N 1.0))) (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (atan (+ N 1.0)) (atan (+ N 1.0)) (atan (+ N 1.0)) 0.050 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.051 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.052 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.054 * * [simplify]: iteration 3 : 22 enodes (cost 3 ) 0.057 * * [simplify]: iteration 4 : 24 enodes (cost 1 ) 0.058 * * [simplify]: iteration done : 24 enodes (cost 1 ) 0.059 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.066 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.067 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 0.070 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.073 * * [simplify]: iteration done : 26 enodes (cost 7 ) 0.074 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.075 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 0.076 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 0.077 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 0.079 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 0.081 * * [simplify]: iteration 5 : 25 enodes (cost 8 ) 0.084 * * [simplify]: iteration 6 : 29 enodes (cost 8 ) 0.087 * * [simplify]: iteration 7 : 45 enodes (cost 8 ) 0.093 * * [simplify]: iteration 8 : 49 enodes (cost 8 ) 0.098 * * [simplify]: iteration 9 : 54 enodes (cost 8 ) 0.103 * * [simplify]: iteration 10 : 61 enodes (cost 8 ) 0.112 * * [simplify]: iteration 11 : 80 enodes (cost 8 ) 0.122 * * [simplify]: iteration 12 : 101 enodes (cost 8 ) 0.139 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 0.153 * * [simplify]: iteration 14 : 116 enodes (cost 8 ) 0.167 * * [simplify]: iteration done : 116 enodes (cost 8 ) 0.168 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.168 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.170 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 0.171 * * [simplify]: iteration done : 11 enodes (cost 8 ) 0.172 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.173 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.174 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.175 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 0.177 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 0.180 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 0.186 * * [simplify]: iteration 6 : 45 enodes (cost 8 ) 0.192 * * [simplify]: iteration 7 : 49 enodes (cost 8 ) 0.197 * * [simplify]: iteration 8 : 54 enodes (cost 8 ) 0.203 * * [simplify]: iteration 9 : 61 enodes (cost 8 ) 0.211 * * [simplify]: iteration 10 : 79 enodes (cost 8 ) 0.222 * * [simplify]: iteration 11 : 100 enodes (cost 8 ) 0.236 * * [simplify]: iteration 12 : 113 enodes (cost 8 ) 0.254 * * [simplify]: iteration 13 : 116 enodes (cost 8 ) 0.267 * * [simplify]: iteration done : 116 enodes (cost 8 ) 0.268 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 0.269 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 0.270 * * [simplify]: iteration 2 : 12 enodes (cost 17 ) 0.271 * * [simplify]: iteration done : 12 enodes (cost 17 ) 0.272 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.272 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.273 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 0.274 * * [simplify]: iteration done : 11 enodes (cost 8 ) 0.275 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 0.276 * * [simplify]: iteration 1 : 12 enodes (cost 23 ) 0.277 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.282 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 0.299 * * [simplify]: iteration 4 : 179 enodes (cost 9 ) 0.369 * * [simplify]: iteration 5 : 507 enodes (cost 9 ) 0.828 * * [simplify]: iteration 6 : 1717 enodes (cost 9 ) 3.857 * * [simplify]: iteration 7 : 4952 enodes (cost 9 ) 5.073 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 5.074 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 5.075 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 5.076 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 5.077 * * [simplify]: iteration done : 11 enodes (cost 8 ) 5.077 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 5.078 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 5.079 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 5.080 * * [simplify]: iteration done : 11 enodes (cost 8 ) 5.081 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 5.082 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 5.085 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 5.092 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 5.110 * * [simplify]: iteration 4 : 165 enodes (cost 11 ) 5.158 * * [simplify]: iteration 5 : 497 enodes (cost 11 ) 5.501 * * [simplify]: iteration 6 : 2238 enodes (cost 11 ) 6.622 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 6.623 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 6.624 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 6.626 * * [simplify]: iteration 2 : 26 enodes (cost 20 ) 6.630 * * [simplify]: iteration 3 : 29 enodes (cost 18 ) 6.634 * * [simplify]: iteration 4 : 30 enodes (cost 18 ) 6.638 * * [simplify]: iteration done : 30 enodes (cost 18 ) 6.638 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 6.638 * * [simplify]: iteration done : 3 enodes (cost 3 ) 6.639 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 6.640 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 6.646 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 6.649 * * [simplify]: iteration 3 : 36 enodes (cost 15 ) 6.655 * * [simplify]: iteration 4 : 61 enodes (cost 15 ) 6.666 * * [simplify]: iteration 5 : 102 enodes (cost 15 ) 6.690 * * [simplify]: iteration 6 : 166 enodes (cost 15 ) 6.744 * * [simplify]: iteration 7 : 334 enodes (cost 15 ) 7.498 * * [simplify]: iteration 8 : 1644 enodes (cost 15 ) 13.523 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 13.524 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.524 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 13.525 * * [simplify]: iteration done : 8 enodes (cost 7 ) 13.526 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.526 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 13.527 * * [simplify]: iteration done : 10 enodes (cost 9 ) 13.528 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.529 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 13.530 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 13.531 * * [simplify]: iteration done : 12 enodes (cost 9 ) 13.531 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.532 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.533 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 13.533 * * [simplify]: iteration done : 10 enodes (cost 7 ) 13.534 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.534 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.535 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.535 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 13.536 * * [simplify]: iteration done : 6 enodes (cost 5 ) 13.536 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.537 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 13.538 * * [simplify]: iteration done : 6 enodes (cost 5 ) 13.538 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 13.539 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 13.539 * * [simplify]: iteration done : 7 enodes (cost 11 ) 13.540 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.541 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 13.541 * * [simplify]: iteration done : 6 enodes (cost 5 ) 13.542 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 13.542 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 13.543 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 13.544 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 13.546 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 13.551 * * [simplify]: iteration 5 : 31 enodes (cost 6 ) 13.555 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 13.564 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 13.610 * * [simplify]: iteration 8 : 319 enodes (cost 6 ) 14.063 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 16.361 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 16.361 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.362 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.363 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.363 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.364 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.364 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.365 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.365 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 16.366 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 16.367 * * [simplify]: iteration done : 10 enodes (cost 7 ) 16.368 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.368 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 16.369 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 16.370 * * [simplify]: iteration done : 10 enodes (cost 7 ) 16.371 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.374 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 16.375 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 16.376 * * [simplify]: iteration done : 10 enodes (cost 7 ) 16.377 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.377 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 16.378 * * [simplify]: iteration done : 5 enodes (cost 4 ) 16.378 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.379 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 16.379 * * [simplify]: iteration done : 5 enodes (cost 4 ) 16.380 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.380 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 16.381 * * [simplify]: iteration done : 5 enodes (cost 4 ) 16.381 * [simplify]: Simplified to: 1.0 (+ 1 (* (+ N 1.0) N)) (exp (- (atan (+ N 1.0)) (atan N))) (log (- (atan (+ N 1.0)) (atan N))) (exp (- (atan (+ N 1.0)) (atan N))) (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N)))) (cbrt (- (atan (+ N 1.0)) (atan N))) (pow (- (atan (+ N 1.0)) (atan N)) 3) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3)) (+ (* (atan (+ N 1.0)) (+ (atan N) (atan (+ N 1.0)))) (* (atan N) (atan N))) (neg (atan N)) (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N))) (+ (atan (+ N 1.0)) (atan N)) (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (atan (+ N 1.0)) (atan N)) (neg (atan N)) (log (atan (+ N 1.0))) (exp (atan (+ N 1.0))) (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (pow (atan (+ N 1.0)) 3) (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (atan (+ N 1.0)) (atan (+ N 1.0)) (atan (+ N 1.0)) 16.381 * * * [progress]: adding candidates to table 16.418 * * [progress]: iteration 2 / 4 16.418 * * * [progress]: picking best candidate 16.424 * * * * [pick]: Picked # 16.424 * * * [progress]: localizing error 16.430 * * * [progress]: generating rewritten candidates 16.430 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 16.431 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 16.439 * * * [progress]: generating series expansions 16.439 * * * * [progress]: [ 1 / 2 ] generating series at (2) 16.439 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0 16.439 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 16.439 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 16.440 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0 16.440 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 16.440 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 16.441 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 16.441 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 16.441 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 16.441 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 16.441 * [approximate]: Taking taylor expansion of (* (+ N 1.0) N) in (N) around 0 16.441 * [taylor]: Taking taylor expansion of (* (+ N 1.0) N) in N 16.441 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 16.441 * [taylor]: Taking taylor expansion of N in N 16.441 * [taylor]: Taking taylor expansion of 1.0 in N 16.441 * [taylor]: Taking taylor expansion of N in N 16.442 * [taylor]: Taking taylor expansion of (* (+ N 1.0) N) in N 16.442 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 16.442 * [taylor]: Taking taylor expansion of N in N 16.442 * [taylor]: Taking taylor expansion of 1.0 in N 16.442 * [taylor]: Taking taylor expansion of N in N 16.443 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in (N) around 0 16.443 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N 16.443 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 16.443 * [taylor]: Taking taylor expansion of (/ 1 N) in N 16.443 * [taylor]: Taking taylor expansion of N in N 16.443 * [taylor]: Taking taylor expansion of 1.0 in N 16.443 * [taylor]: Taking taylor expansion of N in N 16.443 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N 16.443 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 16.443 * [taylor]: Taking taylor expansion of (/ 1 N) in N 16.443 * [taylor]: Taking taylor expansion of N in N 16.443 * [taylor]: Taking taylor expansion of 1.0 in N 16.443 * [taylor]: Taking taylor expansion of N in N 16.444 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in (N) around 0 16.445 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N 16.445 * [taylor]: Taking taylor expansion of -1 in N 16.445 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N 16.445 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 16.445 * [taylor]: Taking taylor expansion of 1.0 in N 16.445 * [taylor]: Taking taylor expansion of (/ 1 N) in N 16.445 * [taylor]: Taking taylor expansion of N in N 16.445 * [taylor]: Taking taylor expansion of N in N 16.445 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N 16.445 * [taylor]: Taking taylor expansion of -1 in N 16.445 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N 16.445 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 16.445 * [taylor]: Taking taylor expansion of 1.0 in N 16.445 * [taylor]: Taking taylor expansion of (/ 1 N) in N 16.445 * [taylor]: Taking taylor expansion of N in N 16.445 * [taylor]: Taking taylor expansion of N in N 16.447 * * * [progress]: simplifying candidates 16.447 * [simplify]: Simplifying using # : (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (+ N 1.0) N) (+ (log (+ N 1.0)) (log N)) (log (* (+ N 1.0) N)) (exp (* (+ N 1.0) N)) (* (* (* (+ N 1.0) (+ N 1.0)) (+ N 1.0)) (* (* N N) N)) (* (cbrt (* (+ N 1.0) N)) (cbrt (* (+ N 1.0) N))) (cbrt (* (+ N 1.0) N)) (* (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* (+ N 1.0) N)) (sqrt (* (+ N 1.0) N)) (sqrt (* (+ N 1.0) N)) (* (sqrt (+ N 1.0)) (sqrt N)) (* (sqrt (+ N 1.0)) (sqrt N)) (* (+ N 1.0) (* (cbrt N) (cbrt N))) (* (+ N 1.0) (sqrt N)) (* (+ N 1.0) 1) (* (cbrt (+ N 1.0)) N) (* (sqrt (+ N 1.0)) N) (* (+ N 1.0) N) (* (+ N 1.0) N) (* (+ (pow N 3) (pow 1.0 3)) N) (* (- (* N N) (* 1.0 1.0)) N) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (+ (* 1.0 N) (pow N 2)) (+ (* 1.0 N) (pow N 2)) (+ (* 1.0 N) (pow N 2)) 16.448 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 16.449 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 16.450 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 16.456 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 16.459 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 16.463 * * [simplify]: iteration done : 30 enodes (cost 10 ) 16.463 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 16.464 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 16.466 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 16.468 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 16.471 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 16.475 * * [simplify]: iteration done : 30 enodes (cost 10 ) 16.476 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 16.477 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 16.478 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 16.481 * * [simplify]: iteration 3 : 29 enodes (cost 21 ) 16.484 * * [simplify]: iteration 4 : 33 enodes (cost 21 ) 16.487 * * [simplify]: iteration done : 33 enodes (cost 21 ) 16.488 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 16.489 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 16.491 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 16.493 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 16.496 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 16.500 * * [simplify]: iteration done : 30 enodes (cost 10 ) 16.500 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 16.501 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 16.503 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 16.506 * * [simplify]: iteration 3 : 37 enodes (cost 11 ) 16.511 * * [simplify]: iteration 4 : 43 enodes (cost 11 ) 16.518 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 16.525 * * [simplify]: iteration 6 : 74 enodes (cost 11 ) 16.537 * * [simplify]: iteration 7 : 136 enodes (cost 11 ) 16.588 * * [simplify]: iteration 8 : 352 enodes (cost 11 ) 17.055 * * [simplify]: iteration 9 : 1295 enodes (cost 11 ) 19.369 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 19.370 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 19.370 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 19.372 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 19.374 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 19.378 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 19.381 * * [simplify]: iteration done : 30 enodes (cost 10 ) 19.381 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 19.382 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 19.384 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 19.386 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 19.389 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 19.393 * * [simplify]: iteration done : 30 enodes (cost 10 ) 19.393 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.394 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.395 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 19.396 * * [simplify]: iteration done : 13 enodes (cost 5 ) 19.397 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.397 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 19.398 * * [simplify]: iteration done : 8 enodes (cost 7 ) 19.399 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 19.399 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 19.401 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 19.403 * * [simplify]: iteration done : 18 enodes (cost 6 ) 19.403 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 19.404 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 19.405 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 19.409 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 19.415 * * [simplify]: iteration 4 : 63 enodes (cost 6 ) 19.426 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 19.469 * * [simplify]: iteration 6 : 309 enodes (cost 6 ) 19.653 * * [simplify]: iteration 7 : 879 enodes (cost 6 ) 20.754 * * [simplify]: iteration 8 : 3024 enodes (cost 6 ) 22.486 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 22.487 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 22.488 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 22.494 * * [simplify]: iteration 2 : 87 enodes (cost 9 ) 22.517 * * [simplify]: iteration 3 : 237 enodes (cost 9 ) 22.644 * * [simplify]: iteration 4 : 862 enodes (cost 7 ) 23.619 * * [simplify]: iteration 5 : 3172 enodes (cost 7 ) 25.375 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 25.375 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 25.376 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 25.378 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 25.380 * * [simplify]: iteration done : 15 enodes (cost 13 ) 25.380 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 25.381 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 25.382 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 25.384 * * [simplify]: iteration done : 14 enodes (cost 6 ) 25.384 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 25.385 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 25.389 * * [simplify]: iteration 2 : 71 enodes (cost 7 ) 25.417 * * [simplify]: iteration 3 : 231 enodes (cost 7 ) 25.548 * * [simplify]: iteration 4 : 622 enodes (cost 7 ) 26.137 * * [simplify]: iteration 5 : 1853 enodes (cost 7 ) 28.265 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 28.265 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.266 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.267 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 28.269 * * [simplify]: iteration done : 14 enodes (cost 6 ) 28.269 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.270 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.271 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 28.273 * * [simplify]: iteration done : 14 enodes (cost 6 ) 28.273 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.274 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 28.275 * * [simplify]: iteration done : 8 enodes (cost 7 ) 28.275 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.276 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 28.277 * * [simplify]: iteration done : 8 enodes (cost 7 ) 28.277 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 28.278 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 28.279 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 28.287 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 28.292 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 28.296 * * [simplify]: iteration done : 34 enodes (cost 9 ) 28.297 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.298 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.298 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 28.300 * * [simplify]: iteration done : 15 enodes (cost 6 ) 28.301 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 28.302 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 28.303 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 28.306 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 28.307 * * [simplify]: iteration done : 28 enodes (cost 3 ) 28.307 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.308 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.309 * * [simplify]: iteration done : 7 enodes (cost 6 ) 28.309 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.310 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.310 * * [simplify]: iteration done : 7 enodes (cost 6 ) 28.311 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 28.311 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 28.312 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 28.314 * * [simplify]: iteration done : 13 enodes (cost 5 ) 28.314 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 28.315 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 28.316 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 28.317 * * [simplify]: iteration done : 13 enodes (cost 5 ) 28.318 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 28.319 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 28.322 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 28.328 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 28.341 * * [simplify]: iteration 4 : 156 enodes (cost 9 ) 28.386 * * [simplify]: iteration 5 : 392 enodes (cost 9 ) 28.660 * * [simplify]: iteration 6 : 1343 enodes (cost 9 ) 30.934 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 30.935 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 30.935 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 30.937 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 30.942 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 30.960 * * [simplify]: iteration 4 : 143 enodes (cost 9 ) 30.994 * * [simplify]: iteration 5 : 238 enodes (cost 9 ) 31.078 * * [simplify]: iteration 6 : 436 enodes (cost 9 ) 31.355 * * [simplify]: iteration 7 : 1135 enodes (cost 9 ) 34.676 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 34.677 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 34.678 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 34.680 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 34.685 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 34.691 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 34.701 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 34.752 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 35.182 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 37.494 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 37.494 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 37.496 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 37.498 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 37.502 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 37.509 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 37.519 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 37.564 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 37.993 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 40.305 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 40.306 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 40.308 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 40.310 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 40.315 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 40.322 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 40.332 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 40.377 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 40.799 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 43.125 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 43.126 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.127 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 43.128 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 43.130 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 43.133 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 43.136 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 43.140 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 43.156 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 43.200 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 43.650 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 46.255 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 46.256 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 46.257 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 46.264 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 46.266 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 46.268 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 46.271 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 46.276 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 46.285 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 46.332 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 46.794 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 49.173 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 49.174 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 49.175 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 49.177 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 49.179 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 49.182 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 49.185 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 49.189 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 49.198 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 49.247 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 49.702 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 52.077 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 52.077 * [simplify]: Simplified to: (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (+ N 1.0) N) (+ (log (+ N 1.0)) (log N)) (log (* (+ N 1.0) N)) (exp (* (+ N 1.0) N)) (pow (* N (+ N 1.0)) 3) (* (cbrt (* (+ N 1.0) N)) (cbrt (* (+ N 1.0) N))) (cbrt (* (+ N 1.0) N)) (pow (* (+ N 1.0) N) 3) (sqrt (* (+ N 1.0) N)) (sqrt (* (+ N 1.0) N)) (* (sqrt (+ N 1.0)) (sqrt N)) (* (sqrt (+ N 1.0)) (sqrt N)) (* (+ N 1.0) (* (cbrt N) (cbrt N))) (* (+ N 1.0) (sqrt N)) (+ N 1.0) (* (cbrt (+ N 1.0)) N) (* (sqrt (+ N 1.0)) N) (* (+ N 1.0) N) (* (+ N 1.0) N) (* (+ (pow N 3) (pow 1.0 3)) N) (* (- (* N N) (* 1.0 1.0)) N) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (* N (+ N 1.0)) (* N (+ N 1.0)) (* N (+ N 1.0)) 52.077 * * * [progress]: adding candidates to table 52.133 * * [progress]: iteration 3 / 4 52.133 * * * [progress]: picking best candidate 52.150 * * * * [pick]: Picked # 52.150 * * * [progress]: localizing error 52.160 * * * [progress]: generating rewritten candidates 52.160 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 52.161 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 52.163 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 52.170 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 52.177 * * * [progress]: generating series expansions 52.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 52.177 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0 52.177 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 52.177 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.177 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 52.178 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.179 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0 52.179 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 52.179 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.180 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 52.180 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.182 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 52.182 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 52.182 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.182 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 52.182 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.184 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 52.184 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0 52.184 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 52.184 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.185 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 52.185 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.187 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0 52.187 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 52.187 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.187 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 52.187 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.189 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 52.189 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 52.189 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.190 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 52.190 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.192 * * * * [progress]: [ 3 / 4 ] generating series at (2) 52.192 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0 52.192 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.192 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.193 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0 52.193 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.193 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.194 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 52.194 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.194 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.195 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 52.195 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0 52.195 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.195 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 52.196 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0 52.196 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.196 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 52.197 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 52.197 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.197 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 52.197 * * * [progress]: simplifying candidates 52.199 * [simplify]: Simplifying using # : (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (+ 1 1) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (exp (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* 1 1) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) 52.200 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.201 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 52.202 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 52.205 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 52.208 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 52.212 * * [simplify]: iteration done : 33 enodes (cost 11 ) 52.212 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.213 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 52.215 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 52.217 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 52.221 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 52.224 * * [simplify]: iteration done : 33 enodes (cost 11 ) 52.225 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 52.226 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 52.227 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 52.230 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 52.233 * * [simplify]: iteration done : 30 enodes (cost 23 ) 52.234 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.235 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 52.236 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 52.239 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 52.246 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 52.249 * * [simplify]: iteration done : 33 enodes (cost 11 ) 52.250 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 52.251 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 52.253 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 52.256 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 52.261 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 52.266 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 52.273 * * [simplify]: iteration 6 : 76 enodes (cost 12 ) 52.285 * * [simplify]: iteration 7 : 136 enodes (cost 12 ) 52.336 * * [simplify]: iteration 8 : 346 enodes (cost 12 ) 52.807 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 55.128 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 55.129 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 55.130 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 55.132 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 55.135 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 55.138 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 55.142 * * [simplify]: iteration done : 35 enodes (cost 11 ) 55.142 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.143 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.144 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.147 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.150 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.153 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.154 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.155 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.156 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.159 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.162 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.166 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.166 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.167 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.169 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.171 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.175 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.178 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.178 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 55.179 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 55.179 * * [simplify]: iteration done : 4 enodes (cost 1 ) 55.180 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 55.180 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 55.184 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 55.186 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 55.190 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 55.193 * * [simplify]: iteration done : 30 enodes (cost 10 ) 55.193 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.194 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 55.194 * * [simplify]: iteration done : 6 enodes (cost 1 ) 55.195 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.196 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.197 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.200 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.203 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.206 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.207 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.208 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.209 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.212 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.215 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.218 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.219 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.220 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.222 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.224 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.228 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.231 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.231 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.232 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.234 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.236 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.240 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.247 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.247 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 55.249 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 55.250 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 55.253 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 55.257 * * [simplify]: iteration done : 30 enodes (cost 23 ) 55.257 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 55.258 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 55.260 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 55.262 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 55.266 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 55.269 * * [simplify]: iteration done : 33 enodes (cost 11 ) 55.270 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 55.271 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 55.273 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 55.276 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 55.281 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 55.286 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 55.292 * * [simplify]: iteration 6 : 76 enodes (cost 12 ) 55.307 * * [simplify]: iteration 7 : 136 enodes (cost 12 ) 55.359 * * [simplify]: iteration 8 : 346 enodes (cost 12 ) 55.833 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 58.166 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 58.167 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 58.168 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 58.170 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 58.173 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 58.176 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 58.180 * * [simplify]: iteration done : 35 enodes (cost 11 ) 58.180 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 58.181 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 58.183 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 58.185 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 58.189 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 58.192 * * [simplify]: iteration done : 33 enodes (cost 11 ) 58.193 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 58.194 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 58.195 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 58.198 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 58.205 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 58.209 * * [simplify]: iteration done : 33 enodes (cost 11 ) 58.209 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 58.210 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 58.212 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 58.214 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 58.218 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 58.221 * * [simplify]: iteration done : 33 enodes (cost 11 ) 58.222 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 58.222 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 58.222 * * [simplify]: iteration done : 4 enodes (cost 1 ) 58.223 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 58.224 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 58.225 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 58.227 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 58.231 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 58.234 * * [simplify]: iteration done : 30 enodes (cost 10 ) 58.234 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.235 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.235 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.236 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 58.237 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 58.238 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 58.240 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 58.244 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 58.247 * * [simplify]: iteration done : 33 enodes (cost 11 ) 58.248 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 58.249 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 58.250 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 58.253 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 58.257 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 58.260 * * [simplify]: iteration done : 33 enodes (cost 11 ) 58.261 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.265 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 58.265 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 58.265 * * [simplify]: iteration done : 7 enodes (cost 1 ) 58.266 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.267 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 58.267 * * [simplify]: iteration done : 8 enodes (cost 1 ) 58.267 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.268 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.268 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.269 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.269 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 58.270 * * [simplify]: iteration done : 8 enodes (cost 1 ) 58.270 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 58.271 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 58.272 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 58.272 * * [simplify]: iteration done : 9 enodes (cost 1 ) 58.273 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 58.274 * * [simplify]: iteration 1 : 13 enodes (cost 19 ) 58.275 * * [simplify]: iteration 2 : 20 enodes (cost 19 ) 58.278 * * [simplify]: iteration 3 : 28 enodes (cost 19 ) 58.281 * * [simplify]: iteration 4 : 30 enodes (cost 19 ) 58.284 * * [simplify]: iteration done : 30 enodes (cost 19 ) 58.285 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 58.286 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 58.287 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 58.290 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 58.293 * * [simplify]: iteration done : 30 enodes (cost 9 ) 58.294 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 58.295 * * [simplify]: iteration 1 : 13 enodes (cost 19 ) 58.296 * * [simplify]: iteration 2 : 20 enodes (cost 19 ) 58.299 * * [simplify]: iteration 3 : 28 enodes (cost 19 ) 58.302 * * [simplify]: iteration 4 : 30 enodes (cost 19 ) 58.306 * * [simplify]: iteration done : 30 enodes (cost 19 ) 58.307 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.307 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.307 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.308 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 58.309 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 58.311 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 58.314 * * [simplify]: iteration 3 : 33 enodes (cost 13 ) 58.318 * * [simplify]: iteration 4 : 37 enodes (cost 13 ) 58.321 * * [simplify]: iteration done : 37 enodes (cost 13 ) 58.322 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 58.323 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 58.325 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 58.333 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 58.337 * * [simplify]: iteration done : 36 enodes (cost 10 ) 58.337 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 58.338 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 58.340 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 58.344 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 58.349 * * [simplify]: iteration 4 : 64 enodes (cost 10 ) 58.358 * * [simplify]: iteration 5 : 105 enodes (cost 10 ) 58.383 * * [simplify]: iteration 6 : 214 enodes (cost 10 ) 58.487 * * [simplify]: iteration 7 : 587 enodes (cost 10 ) 59.382 * * [simplify]: iteration 8 : 2270 enodes (cost 10 ) 61.488 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 61.489 * * [simplify]: iteration 0 : 11 enodes (cost 65 ) 61.491 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 61.494 * * [simplify]: iteration 2 : 42 enodes (cost 25 ) 61.500 * * [simplify]: iteration 3 : 62 enodes (cost 11 ) 61.509 * * [simplify]: iteration 4 : 93 enodes (cost 11 ) 61.527 * * [simplify]: iteration 5 : 172 enodes (cost 11 ) 61.581 * * [simplify]: iteration 6 : 391 enodes (cost 11 ) 61.945 * * [simplify]: iteration 7 : 1348 enodes (cost 11 ) 64.047 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 64.048 * * [simplify]: iteration 0 : 11 enodes (cost 45 ) 64.050 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 64.051 * * [simplify]: iteration 2 : 24 enodes (cost 21 ) 64.054 * * [simplify]: iteration 3 : 32 enodes (cost 21 ) 64.058 * * [simplify]: iteration done : 32 enodes (cost 21 ) 64.059 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 64.060 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 64.066 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 64.068 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 64.072 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 64.075 * * [simplify]: iteration done : 35 enodes (cost 10 ) 64.076 * * [simplify]: iteration 0 : 11 enodes (cost 65 ) 64.078 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 64.081 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 64.088 * * [simplify]: iteration 3 : 60 enodes (cost 11 ) 64.097 * * [simplify]: iteration 4 : 92 enodes (cost 11 ) 64.116 * * [simplify]: iteration 5 : 176 enodes (cost 11 ) 64.173 * * [simplify]: iteration 6 : 406 enodes (cost 11 ) 64.558 * * [simplify]: iteration 7 : 1397 enodes (cost 11 ) 66.687 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 66.687 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 66.694 * * [simplify]: iteration 1 : 13 enodes (cost 19 ) 66.695 * * [simplify]: iteration 2 : 20 enodes (cost 19 ) 66.697 * * [simplify]: iteration 3 : 28 enodes (cost 19 ) 66.701 * * [simplify]: iteration 4 : 30 enodes (cost 19 ) 66.704 * * [simplify]: iteration done : 30 enodes (cost 19 ) 66.705 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 66.706 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 66.707 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 66.710 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 66.714 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 66.718 * * [simplify]: iteration done : 35 enodes (cost 10 ) 66.719 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 66.720 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 66.721 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 66.724 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 66.727 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 66.731 * * [simplify]: iteration done : 35 enodes (cost 10 ) 66.732 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 66.733 * * [simplify]: iteration 1 : 20 enodes (cost 47 ) 66.735 * * [simplify]: iteration 2 : 29 enodes (cost 25 ) 66.739 * * [simplify]: iteration 3 : 45 enodes (cost 13 ) 66.745 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 66.756 * * [simplify]: iteration 5 : 88 enodes (cost 13 ) 66.769 * * [simplify]: iteration 6 : 161 enodes (cost 13 ) 66.818 * * [simplify]: iteration 7 : 379 enodes (cost 13 ) 67.170 * * [simplify]: iteration 8 : 1282 enodes (cost 13 ) 68.875 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 68.876 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.877 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 68.879 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 68.881 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 68.885 * * [simplify]: iteration done : 30 enodes (cost 23 ) 68.886 * * [simplify]: iteration 0 : 11 enodes (cost 45 ) 68.888 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 68.889 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 68.893 * * [simplify]: iteration 3 : 33 enodes (cost 21 ) 68.897 * * [simplify]: iteration 4 : 37 enodes (cost 21 ) 68.900 * * [simplify]: iteration done : 37 enodes (cost 21 ) 68.901 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.902 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.904 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.909 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.913 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.917 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.917 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.918 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.920 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.923 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.926 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.929 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.930 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.931 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.933 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.936 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.939 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.943 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.944 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.945 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.946 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.949 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.953 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.957 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.957 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.959 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.960 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.963 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.969 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.973 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.973 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 68.974 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 68.974 * * [simplify]: iteration done : 5 enodes (cost 1 ) 68.975 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 68.976 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 68.977 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 68.980 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 68.983 * * [simplify]: iteration done : 30 enodes (cost 9 ) 68.984 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.985 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.987 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 68.989 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 68.993 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 68.996 * * [simplify]: iteration done : 35 enodes (cost 10 ) 68.997 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 68.998 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.000 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.003 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.007 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.010 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.011 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.012 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.013 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.017 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.020 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.024 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.025 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.026 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.027 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.034 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.037 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.041 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.041 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 69.042 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 69.042 * * [simplify]: iteration done : 4 enodes (cost 1 ) 69.043 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 69.044 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 69.045 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 69.048 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 69.051 * * [simplify]: iteration done : 30 enodes (cost 9 ) 69.052 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.053 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.055 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.057 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.061 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.065 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.065 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.066 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.068 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.070 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.075 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.079 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.079 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.080 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.082 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.085 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.088 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.095 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.096 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.097 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.099 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.101 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.105 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.108 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.109 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.110 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.112 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.114 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.118 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.121 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.122 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.123 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.125 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.128 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.131 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.135 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.137 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.138 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.139 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.142 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.146 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.149 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.150 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 69.151 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.152 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 69.158 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.161 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 69.165 * * [simplify]: iteration done : 35 enodes (cost 10 ) 69.165 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 69.166 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 69.166 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 69.167 * * [simplify]: iteration done : 7 enodes (cost 1 ) 69.167 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 69.168 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 69.168 * * [simplify]: iteration done : 6 enodes (cost 1 ) 69.168 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 69.169 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 69.169 * * [simplify]: iteration done : 10 enodes (cost 1 ) 69.170 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 69.171 * * [simplify]: iteration 1 : 19 enodes (cost 34 ) 69.173 * * [simplify]: iteration 2 : 28 enodes (cost 34 ) 69.177 * * [simplify]: iteration 3 : 36 enodes (cost 34 ) 69.181 * * [simplify]: iteration done : 36 enodes (cost 34 ) 69.182 * * [simplify]: iteration 0 : 12 enodes (cost 33 ) 69.183 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 69.185 * * [simplify]: iteration 2 : 26 enodes (cost 22 ) 69.188 * * [simplify]: iteration 3 : 34 enodes (cost 22 ) 69.192 * * [simplify]: iteration done : 34 enodes (cost 22 ) 69.193 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 69.194 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 69.196 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 69.199 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 69.203 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 69.207 * * [simplify]: iteration done : 35 enodes (cost 22 ) 69.207 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 69.209 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 69.210 * * [simplify]: iteration 2 : 23 enodes (cost 12 ) 69.213 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 69.220 * * [simplify]: iteration 4 : 38 enodes (cost 10 ) 69.224 * * [simplify]: iteration done : 38 enodes (cost 10 ) 69.225 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 69.226 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 69.227 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 69.230 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 69.234 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 69.237 * * [simplify]: iteration done : 35 enodes (cost 22 ) 69.238 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 69.239 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 69.241 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 69.244 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 69.247 * * [simplify]: iteration 4 : 37 enodes (cost 10 ) 69.251 * * [simplify]: iteration done : 37 enodes (cost 10 ) 69.252 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 69.253 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 69.254 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 69.257 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 69.261 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 69.265 * * [simplify]: iteration done : 35 enodes (cost 22 ) 69.266 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 69.267 * * [simplify]: iteration 1 : 17 enodes (cost 22 ) 69.269 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 69.272 * * [simplify]: iteration 3 : 32 enodes (cost 22 ) 69.275 * * [simplify]: iteration done : 32 enodes (cost 22 ) 69.276 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 69.277 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 69.281 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 69.284 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 69.287 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 69.291 * * [simplify]: iteration done : 35 enodes (cost 22 ) 69.292 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 69.293 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 69.295 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 69.298 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 69.301 * * [simplify]: iteration done : 30 enodes (cost 9 ) 69.302 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 69.303 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 69.305 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 69.308 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 69.311 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 69.315 * * [simplify]: iteration done : 35 enodes (cost 22 ) 69.315 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 69.316 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 69.318 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 69.320 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 69.324 * * [simplify]: iteration done : 30 enodes (cost 9 ) 69.325 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 69.326 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 69.327 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 69.330 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 69.333 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 69.336 * * [simplify]: iteration done : 30 enodes (cost 10 ) 69.337 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 69.338 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 69.339 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 69.344 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 69.348 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 69.351 * * [simplify]: iteration done : 30 enodes (cost 10 ) 69.352 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 69.353 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 69.355 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 69.358 * * [simplify]: iteration 3 : 29 enodes (cost 21 ) 69.361 * * [simplify]: iteration 4 : 33 enodes (cost 21 ) 69.364 * * [simplify]: iteration done : 33 enodes (cost 21 ) 69.365 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 69.366 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 69.367 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 69.370 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 69.373 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 69.376 * * [simplify]: iteration done : 30 enodes (cost 10 ) 69.377 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 69.378 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 69.380 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 69.383 * * [simplify]: iteration 3 : 37 enodes (cost 11 ) 69.388 * * [simplify]: iteration 4 : 43 enodes (cost 11 ) 69.393 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 69.399 * * [simplify]: iteration 6 : 74 enodes (cost 11 ) 69.416 * * [simplify]: iteration 7 : 136 enodes (cost 11 ) 69.468 * * [simplify]: iteration 8 : 352 enodes (cost 11 ) 70.150 * * [simplify]: iteration 9 : 1295 enodes (cost 11 ) 72.553 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 72.553 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 72.554 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 72.556 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 72.558 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 72.562 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 72.565 * * [simplify]: iteration done : 30 enodes (cost 10 ) 72.565 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 72.566 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 72.568 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 72.571 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 72.574 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 72.577 * * [simplify]: iteration done : 30 enodes (cost 10 ) 72.578 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 72.579 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 72.582 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 72.586 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 72.593 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 72.608 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 72.650 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 73.117 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 75.522 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 75.522 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 75.524 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 75.526 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 75.536 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 75.543 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 75.553 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 75.600 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 76.057 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 78.438 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 78.440 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 78.441 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 78.444 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 78.448 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 78.455 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 78.465 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 78.512 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 78.981 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 81.353 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 81.354 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 81.356 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 81.358 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 81.362 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 81.370 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 81.380 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 81.427 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 81.895 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 84.235 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 84.236 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 84.237 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 84.240 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 84.244 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 84.251 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 84.267 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 84.309 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 84.763 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 87.127 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 87.128 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 87.129 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 87.131 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 87.136 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 87.147 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 87.158 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 87.203 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 87.661 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 90.029 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 90.030 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 90.031 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 90.034 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 90.038 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 90.045 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 90.055 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 90.099 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 90.529 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 92.889 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 92.889 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 92.891 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 92.893 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 92.897 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 92.904 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 92.914 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 92.961 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 93.392 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 95.982 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 95.983 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 95.984 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 95.987 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 95.991 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 95.998 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 96.008 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 96.054 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 96.491 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 98.855 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 98.856 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 98.857 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 98.859 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 98.864 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 98.871 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 98.888 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 98.930 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 99.365 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 101.710 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 101.711 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 101.712 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 101.715 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 101.727 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 101.734 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 101.744 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 101.788 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 102.217 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 104.577 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 104.578 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 104.579 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 104.582 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 104.586 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 104.593 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 104.603 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 104.648 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 105.090 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 107.460 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 107.461 * [simplify]: Simplified to: (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 3) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1/2 (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 3) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1/2 (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 1 2 1 1 (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 2 (* 2 (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 4) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1 (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1 (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1 2 1 (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) 107.461 * * * [progress]: adding candidates to table 107.612 * * [progress]: iteration 4 / 4 107.612 * * * [progress]: picking best candidate 107.641 * * * * [pick]: Picked # 107.641 * * * [progress]: localizing error 107.653 * * * [progress]: generating rewritten candidates 107.653 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 107.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 107.657 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 107.659 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 107.680 * * * [progress]: generating series expansions 107.680 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 107.680 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0 107.680 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.680 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.680 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.680 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.682 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0 107.682 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.682 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.683 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.683 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.685 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 107.685 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.685 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.686 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.686 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.688 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 107.688 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0 107.688 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.688 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.688 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.688 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.690 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0 107.690 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.690 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.691 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.691 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.693 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 107.693 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.693 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.693 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.693 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.695 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 107.695 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0 107.695 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.695 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.696 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N 107.696 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.698 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0 107.698 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.698 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.698 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N 107.698 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.700 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 107.700 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.700 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.701 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 107.701 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.703 * * * * [progress]: [ 4 / 4 ] generating series at (2) 107.703 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0 107.703 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.703 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N 107.704 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0 107.704 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.704 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N 107.705 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 107.705 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.706 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 107.706 * * * [progress]: simplifying candidates 107.708 * [simplify]: Simplifying using # : (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (+ 1/2 (+ (/ 1/2 2) (/ 1/2 2))) (+ 1/2 (+ (/ 1/2 2) (/ (/ 1 2) 2))) (+ 1/2 (+ (/ (/ 1 2) 2) (/ 1/2 2))) (+ 1/2 (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))) (+ 1/2 (* 2 (/ 1/2 2))) (+ 1/2 (* 2 (/ (/ 1 2) 2))) (+ 1 (+ 1/2 1/2)) (+ 1 (+ 1/2 (/ 1 2))) (+ 1 (+ (/ 1 2) 1/2)) (+ 1 (+ (/ 1 2) (/ 1 2))) (+ 1 (* 2 1/2)) (+ 1 (* 2 (/ 1 2))) (+ (/ 1 2) (+ (/ 1/2 2) (/ 1/2 2))) (+ (/ 1 2) (+ (/ 1/2 2) (/ (/ 1 2) 2))) (+ (/ 1 2) (+ (/ (/ 1 2) 2) (/ 1/2 2))) (+ (/ 1 2) (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))) (+ (/ 1 2) (* 2 (/ 1/2 2))) (+ (/ 1 2) (* 2 (/ (/ 1 2) 2))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (+ (log (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (log (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (exp (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) 107.708 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 107.709 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 107.711 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 107.713 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 107.717 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 107.720 * * [simplify]: iteration done : 33 enodes (cost 11 ) 107.721 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 107.726 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 107.728 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 107.731 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 107.734 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 107.738 * * [simplify]: iteration done : 33 enodes (cost 11 ) 107.738 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 107.740 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 107.741 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 107.744 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 107.747 * * [simplify]: iteration done : 30 enodes (cost 23 ) 107.748 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 107.749 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 107.750 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 107.753 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 107.756 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 107.760 * * [simplify]: iteration done : 33 enodes (cost 11 ) 107.760 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 107.761 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 107.763 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 107.766 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 107.771 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 107.777 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 107.783 * * [simplify]: iteration 6 : 76 enodes (cost 12 ) 107.799 * * [simplify]: iteration 7 : 136 enodes (cost 12 ) 107.851 * * [simplify]: iteration 8 : 346 enodes (cost 12 ) 108.320 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 110.659 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 110.660 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 110.661 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 110.663 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 110.665 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 110.669 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 110.672 * * [simplify]: iteration done : 35 enodes (cost 11 ) 110.673 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.674 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.675 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.678 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.681 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.689 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.689 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.691 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.692 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.695 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.698 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.702 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.702 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.703 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.705 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.707 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.710 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.714 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.714 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 110.714 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 110.715 * * [simplify]: iteration done : 4 enodes (cost 1 ) 110.715 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 110.716 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 110.717 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 110.720 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 110.723 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 110.726 * * [simplify]: iteration done : 30 enodes (cost 10 ) 110.727 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.727 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 110.727 * * [simplify]: iteration done : 6 enodes (cost 1 ) 110.728 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.729 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.730 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.733 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.737 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.740 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.741 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.742 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.743 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.749 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.753 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.756 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.757 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.758 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.759 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.762 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.765 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.768 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.769 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.770 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.771 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.774 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.777 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.781 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.781 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 110.783 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 110.784 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 110.787 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 110.791 * * [simplify]: iteration done : 30 enodes (cost 23 ) 110.791 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.792 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 110.794 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 110.796 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 110.799 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 110.803 * * [simplify]: iteration done : 33 enodes (cost 11 ) 110.804 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 110.805 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 110.809 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 110.812 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 110.817 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 110.822 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 110.828 * * [simplify]: iteration 6 : 76 enodes (cost 12 ) 110.841 * * [simplify]: iteration 7 : 136 enodes (cost 12 ) 110.892 * * [simplify]: iteration 8 : 346 enodes (cost 12 ) 111.365 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 113.697 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 113.703 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 113.704 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 113.710 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 113.712 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 113.716 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 113.719 * * [simplify]: iteration done : 35 enodes (cost 11 ) 113.720 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.721 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.722 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.725 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.728 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.731 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.732 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.733 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.734 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.737 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.741 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.744 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.745 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.746 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.747 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.750 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.754 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.757 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.758 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 113.758 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 113.759 * * [simplify]: iteration done : 4 enodes (cost 1 ) 113.759 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 113.760 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 113.761 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 113.764 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 113.770 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 113.773 * * [simplify]: iteration done : 30 enodes (cost 10 ) 113.773 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.774 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 113.774 * * [simplify]: iteration done : 6 enodes (cost 1 ) 113.775 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.776 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.777 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.780 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.783 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.786 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.787 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.788 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.789 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.792 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.795 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.799 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.799 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.800 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.802 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.804 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.808 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.812 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.812 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.813 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.815 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.817 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.821 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.824 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.825 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 113.826 * * [simplify]: iteration 1 : 15 enodes (cost 23 ) 113.827 * * [simplify]: iteration 2 : 22 enodes (cost 23 ) 113.834 * * [simplify]: iteration 3 : 30 enodes (cost 23 ) 113.837 * * [simplify]: iteration done : 30 enodes (cost 23 ) 113.838 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 113.838 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 113.840 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 113.842 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 113.846 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 113.849 * * [simplify]: iteration done : 33 enodes (cost 11 ) 113.850 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 113.851 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 113.853 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 113.856 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 113.861 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 113.866 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 113.872 * * [simplify]: iteration 6 : 76 enodes (cost 12 ) 113.884 * * [simplify]: iteration 7 : 136 enodes (cost 12 ) 113.934 * * [simplify]: iteration 8 : 346 enodes (cost 12 ) 114.402 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 116.738 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 116.739 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 116.740 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 116.742 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 116.745 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 116.748 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 116.751 * * [simplify]: iteration done : 35 enodes (cost 11 ) 116.752 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.753 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 116.755 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 116.758 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 116.761 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 116.764 * * [simplify]: iteration done : 33 enodes (cost 11 ) 116.765 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.766 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 116.767 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 116.770 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 116.774 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 116.780 * * [simplify]: iteration done : 33 enodes (cost 11 ) 116.780 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.781 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 116.783 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 116.785 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 116.789 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 116.792 * * [simplify]: iteration done : 33 enodes (cost 11 ) 116.792 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 116.793 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 116.793 * * [simplify]: iteration done : 4 enodes (cost 1 ) 116.794 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 116.794 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 116.796 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 116.798 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 116.801 * * [simplify]: iteration 4 : 30 enodes (cost 10 ) 116.805 * * [simplify]: iteration done : 30 enodes (cost 10 ) 116.805 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.806 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 116.806 * * [simplify]: iteration done : 6 enodes (cost 1 ) 116.807 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.808 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 116.809 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 116.812 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 116.815 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 116.818 * * [simplify]: iteration done : 33 enodes (cost 11 ) 116.819 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.820 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 116.821 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 116.824 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 116.828 * * [simplify]: iteration 4 : 33 enodes (cost 11 ) 116.831 * * [simplify]: iteration done : 33 enodes (cost 11 ) 116.832 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 116.832 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 116.834 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 116.834 * * [simplify]: iteration 3 : 17 enodes (cost 1 ) 116.835 * * [simplify]: iteration done : 17 enodes (cost 1 ) 116.835 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 116.836 * * [simplify]: iteration 1 : 18 enodes (cost 5 ) 116.838 * * [simplify]: iteration 2 : 21 enodes (cost 1 ) 116.838 * * [simplify]: iteration done : 21 enodes (cost 1 ) 116.839 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 116.844 * * [simplify]: iteration 1 : 18 enodes (cost 5 ) 116.845 * * [simplify]: iteration 2 : 21 enodes (cost 1 ) 116.845 * * [simplify]: iteration done : 21 enodes (cost 1 ) 116.846 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 116.847 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 116.849 * * [simplify]: iteration 2 : 25 enodes (cost 1 ) 116.850 * * [simplify]: iteration done : 25 enodes (cost 1 ) 116.850 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 116.851 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 116.852 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 116.853 * * [simplify]: iteration done : 13 enodes (cost 1 ) 116.853 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 116.854 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 116.855 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 116.855 * * [simplify]: iteration done : 17 enodes (cost 1 ) 116.856 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 116.857 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 116.858 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 116.858 * * [simplify]: iteration done : 13 enodes (cost 1 ) 116.859 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 116.860 * * [simplify]: iteration 1 : 13 enodes (cost 1 ) 116.860 * * [simplify]: iteration done : 13 enodes (cost 1 ) 116.861 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 116.862 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 116.863 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 116.863 * * [simplify]: iteration done : 15 enodes (cost 1 ) 116.864 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 116.865 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 116.866 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 116.867 * * [simplify]: iteration done : 16 enodes (cost 1 ) 116.867 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 116.868 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 116.868 * * [simplify]: iteration done : 9 enodes (cost 1 ) 116.869 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 116.870 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 116.870 * * [simplify]: iteration done : 12 enodes (cost 1 ) 116.871 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 116.872 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 116.873 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 116.873 * * [simplify]: iteration done : 17 enodes (cost 1 ) 116.874 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 116.875 * * [simplify]: iteration 1 : 18 enodes (cost 5 ) 116.877 * * [simplify]: iteration 2 : 21 enodes (cost 1 ) 116.878 * * [simplify]: iteration done : 21 enodes (cost 1 ) 116.878 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 116.879 * * [simplify]: iteration 1 : 18 enodes (cost 5 ) 116.881 * * [simplify]: iteration 2 : 21 enodes (cost 1 ) 116.881 * * [simplify]: iteration done : 21 enodes (cost 1 ) 116.882 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 116.883 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 116.885 * * [simplify]: iteration 2 : 25 enodes (cost 1 ) 116.886 * * [simplify]: iteration done : 25 enodes (cost 1 ) 116.886 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 116.887 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 116.888 * * [simplify]: iteration done : 14 enodes (cost 1 ) 116.889 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 116.889 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 116.891 * * [simplify]: iteration 2 : 20 enodes (cost 1 ) 116.891 * * [simplify]: iteration done : 20 enodes (cost 1 ) 116.892 * * [simplify]: iteration 0 : 10 enodes (cost 31 ) 116.893 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 116.896 * * [simplify]: iteration 2 : 28 enodes (cost 19 ) 116.899 * * [simplify]: iteration 3 : 38 enodes (cost 19 ) 116.903 * * [simplify]: iteration 4 : 46 enodes (cost 12 ) 116.909 * * [simplify]: iteration 5 : 59 enodes (cost 12 ) 116.921 * * [simplify]: iteration 6 : 87 enodes (cost 12 ) 116.935 * * [simplify]: iteration 7 : 160 enodes (cost 12 ) 116.984 * * [simplify]: iteration 8 : 375 enodes (cost 12 ) 117.343 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 119.026 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 119.027 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 119.028 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 119.032 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 119.035 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 119.040 * * [simplify]: iteration 4 : 52 enodes (cost 9 ) 119.046 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 119.054 * * [simplify]: iteration 6 : 92 enodes (cost 9 ) 119.072 * * [simplify]: iteration 7 : 164 enodes (cost 9 ) 119.120 * * [simplify]: iteration 8 : 377 enodes (cost 9 ) 119.460 * * [simplify]: iteration 9 : 1269 enodes (cost 9 ) 121.020 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 121.021 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 121.022 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 121.024 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 121.028 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 121.033 * * [simplify]: iteration 4 : 52 enodes (cost 9 ) 121.046 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 121.053 * * [simplify]: iteration 6 : 92 enodes (cost 9 ) 121.067 * * [simplify]: iteration 7 : 164 enodes (cost 9 ) 121.113 * * [simplify]: iteration 8 : 377 enodes (cost 9 ) 121.455 * * [simplify]: iteration 9 : 1269 enodes (cost 9 ) 123.284 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 123.285 * * [simplify]: iteration 0 : 10 enodes (cost 31 ) 123.286 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 123.288 * * [simplify]: iteration 2 : 28 enodes (cost 19 ) 123.292 * * [simplify]: iteration 3 : 38 enodes (cost 19 ) 123.297 * * [simplify]: iteration 4 : 46 enodes (cost 12 ) 123.302 * * [simplify]: iteration 5 : 59 enodes (cost 12 ) 123.309 * * [simplify]: iteration 6 : 87 enodes (cost 12 ) 123.323 * * [simplify]: iteration 7 : 160 enodes (cost 12 ) 123.371 * * [simplify]: iteration 8 : 375 enodes (cost 12 ) 123.732 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 125.439 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 125.440 * * [simplify]: iteration 0 : 13 enodes (cost 37 ) 125.441 * * [simplify]: iteration 1 : 23 enodes (cost 26 ) 125.444 * * [simplify]: iteration 2 : 33 enodes (cost 26 ) 125.447 * * [simplify]: iteration 3 : 41 enodes (cost 26 ) 125.455 * * [simplify]: iteration 4 : 43 enodes (cost 26 ) 125.460 * * [simplify]: iteration done : 43 enodes (cost 26 ) 125.461 * * [simplify]: iteration 0 : 13 enodes (cost 36 ) 125.462 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 125.464 * * [simplify]: iteration 2 : 35 enodes (cost 23 ) 125.468 * * [simplify]: iteration 3 : 53 enodes (cost 13 ) 125.474 * * [simplify]: iteration 4 : 64 enodes (cost 13 ) 125.480 * * [simplify]: iteration done : 64 enodes (cost 13 ) 125.481 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 125.482 * * [simplify]: iteration 1 : 22 enodes (cost 22 ) 125.485 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 125.490 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 125.497 * * [simplify]: iteration 4 : 74 enodes (cost 10 ) 125.506 * * [simplify]: iteration 5 : 90 enodes (cost 10 ) 125.520 * * [simplify]: iteration 6 : 126 enodes (cost 10 ) 125.542 * * [simplify]: iteration 7 : 236 enodes (cost 10 ) 125.616 * * [simplify]: iteration 8 : 586 enodes (cost 10 ) 126.155 * * [simplify]: iteration 9 : 2016 enodes (cost 10 ) 127.456 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 127.457 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 127.458 * * [simplify]: iteration 1 : 22 enodes (cost 22 ) 127.461 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 127.471 * * [simplify]: iteration 3 : 66 enodes (cost 10 ) 127.479 * * [simplify]: iteration 4 : 110 enodes (cost 10 ) 127.499 * * [simplify]: iteration 5 : 216 enodes (cost 10 ) 127.566 * * [simplify]: iteration 6 : 481 enodes (cost 10 ) 127.940 * * [simplify]: iteration 7 : 1496 enodes (cost 10 ) 129.535 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 129.537 * * [simplify]: iteration 0 : 15 enodes (cost 104 ) 129.539 * * [simplify]: iteration 1 : 33 enodes (cost 41 ) 129.551 * * [simplify]: iteration 2 : 87 enodes (cost 25 ) 129.573 * * [simplify]: iteration 3 : 141 enodes (cost 11 ) 129.617 * * [simplify]: iteration 4 : 258 enodes (cost 11 ) 129.848 * * [simplify]: iteration 5 : 940 enodes (cost 11 ) 131.926 * * [simplify]: iteration 6 : 3870 enodes (cost 11 ) 134.342 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 134.343 * * [simplify]: iteration 0 : 15 enodes (cost 104 ) 134.346 * * [simplify]: iteration 1 : 34 enodes (cost 41 ) 134.353 * * [simplify]: iteration 2 : 84 enodes (cost 25 ) 134.375 * * [simplify]: iteration 3 : 139 enodes (cost 11 ) 134.420 * * [simplify]: iteration 4 : 256 enodes (cost 11 ) 134.665 * * [simplify]: iteration 5 : 946 enodes (cost 11 ) 136.752 * * [simplify]: iteration 6 : 3899 enodes (cost 11 ) 138.697 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 138.698 * * [simplify]: iteration 0 : 13 enodes (cost 71 ) 138.700 * * [simplify]: iteration 1 : 21 enodes (cost 45 ) 138.702 * * [simplify]: iteration 2 : 31 enodes (cost 21 ) 138.706 * * [simplify]: iteration 3 : 42 enodes (cost 21 ) 138.711 * * [simplify]: iteration 4 : 54 enodes (cost 21 ) 138.717 * * [simplify]: iteration 5 : 67 enodes (cost 21 ) 138.725 * * [simplify]: iteration 6 : 94 enodes (cost 21 ) 138.741 * * [simplify]: iteration 7 : 166 enodes (cost 21 ) 138.784 * * [simplify]: iteration 8 : 379 enodes (cost 21 ) 139.126 * * [simplify]: iteration 9 : 1277 enodes (cost 21 ) 140.615 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 140.616 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 140.617 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 140.620 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 140.623 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 140.628 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 140.640 * * [simplify]: iteration 5 : 64 enodes (cost 10 ) 140.647 * * [simplify]: iteration 6 : 91 enodes (cost 10 ) 140.660 * * [simplify]: iteration 7 : 165 enodes (cost 10 ) 140.707 * * [simplify]: iteration 8 : 384 enodes (cost 10 ) 141.048 * * [simplify]: iteration 9 : 1287 enodes (cost 10 ) 142.786 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 142.787 * * [simplify]: iteration 0 : 13 enodes (cost 104 ) 142.789 * * [simplify]: iteration 1 : 31 enodes (cost 65 ) 142.793 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 142.813 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 142.855 * * [simplify]: iteration 4 : 208 enodes (cost 11 ) 142.956 * * [simplify]: iteration 5 : 481 enodes (cost 11 ) 143.566 * * [simplify]: iteration 6 : 1728 enodes (cost 11 ) 145.116 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 145.117 * * [simplify]: iteration 0 : 10 enodes (cost 31 ) 145.118 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 145.120 * * [simplify]: iteration 2 : 28 enodes (cost 19 ) 145.124 * * [simplify]: iteration 3 : 38 enodes (cost 19 ) 145.128 * * [simplify]: iteration 4 : 46 enodes (cost 12 ) 145.138 * * [simplify]: iteration 5 : 59 enodes (cost 12 ) 145.145 * * [simplify]: iteration 6 : 87 enodes (cost 12 ) 145.158 * * [simplify]: iteration 7 : 160 enodes (cost 12 ) 145.203 * * [simplify]: iteration 8 : 375 enodes (cost 12 ) 145.550 * * [simplify]: iteration 9 : 1279 enodes (cost 12 ) 147.136 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 147.137 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 147.138 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 147.141 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 147.144 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 147.149 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 147.154 * * [simplify]: iteration 5 : 64 enodes (cost 10 ) 147.162 * * [simplify]: iteration 6 : 91 enodes (cost 10 ) 147.178 * * [simplify]: iteration 7 : 165 enodes (cost 10 ) 147.221 * * [simplify]: iteration 8 : 376 enodes (cost 10 ) 147.549 * * [simplify]: iteration 9 : 1281 enodes (cost 10 ) 149.151 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 149.151 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 149.153 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 149.155 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 149.159 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 149.163 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 149.169 * * [simplify]: iteration 5 : 64 enodes (cost 10 ) 149.179 * * [simplify]: iteration 6 : 91 enodes (cost 10 ) 149.192 * * [simplify]: iteration 7 : 165 enodes (cost 10 ) 149.235 * * [simplify]: iteration 8 : 376 enodes (cost 10 ) 149.557 * * [simplify]: iteration 9 : 1281 enodes (cost 10 ) 151.156 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 151.157 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.158 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.159 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.162 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.165 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.168 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.169 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.170 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.171 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.176 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.179 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.183 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.183 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.184 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.186 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.188 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.192 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.195 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.196 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.197 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.199 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.202 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.205 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.209 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.209 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.210 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.212 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.214 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.218 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.221 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.222 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.223 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.224 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.227 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.230 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.234 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.235 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.236 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.238 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.240 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.244 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.247 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.248 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 151.249 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 151.251 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 151.254 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 151.257 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 151.260 * * [simplify]: iteration done : 35 enodes (cost 10 ) 151.261 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 151.262 * * [simplify]: iteration 1 : 16 enodes (cost 22 ) 151.264 * * [simplify]: iteration 2 : 23 enodes (cost 22 ) 151.266 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 151.270 * * [simplify]: iteration 4 : 35 enodes (cost 22 ) 151.273 * * [simplify]: iteration done : 35 enodes (cost 22 ) 151.274 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 151.275 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 151.277 * * [simplify]: iteration 2 : 30 enodes (cost 22 ) 151.281 * * [simplify]: iteration 3 : 38 enodes (cost 22 ) 151.285 * * [simplify]: iteration 4 : 40 enodes (cost 22 ) 151.291 * * [simplify]: iteration done : 40 enodes (cost 22 ) 151.291 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 151.293 * * [simplify]: iteration 1 : 21 enodes (cost 22 ) 151.295 * * [simplify]: iteration 2 : 31 enodes (cost 22 ) 151.299 * * [simplify]: iteration 3 : 39 enodes (cost 22 ) 151.304 * * [simplify]: iteration 4 : 43 enodes (cost 22 ) 151.308 * * [simplify]: iteration done : 43 enodes (cost 22 ) 151.309 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 151.310 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 151.312 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 151.316 * * [simplify]: iteration 3 : 46 enodes (cost 13 ) 151.321 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 151.327 * * [simplify]: iteration 5 : 79 enodes (cost 13 ) 151.338 * * [simplify]: iteration 6 : 138 enodes (cost 13 ) 151.386 * * [simplify]: iteration 7 : 350 enodes (cost 13 ) 151.805 * * [simplify]: iteration 8 : 1268 enodes (cost 13 ) 154.027 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 154.028 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 154.030 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 154.032 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 154.035 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 154.040 * * [simplify]: iteration 4 : 52 enodes (cost 9 ) 154.046 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 154.054 * * [simplify]: iteration 6 : 92 enodes (cost 9 ) 154.067 * * [simplify]: iteration 7 : 164 enodes (cost 9 ) 154.111 * * [simplify]: iteration 8 : 377 enodes (cost 9 ) 154.434 * * [simplify]: iteration 9 : 1269 enodes (cost 9 ) 155.932 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 155.933 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 155.939 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 155.941 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 155.945 * * [simplify]: iteration 3 : 46 enodes (cost 13 ) 155.950 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 155.956 * * [simplify]: iteration 5 : 79 enodes (cost 13 ) 155.972 * * [simplify]: iteration 6 : 138 enodes (cost 13 ) 156.019 * * [simplify]: iteration 7 : 350 enodes (cost 13 ) 156.429 * * [simplify]: iteration 8 : 1268 enodes (cost 13 ) 158.662 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 158.662 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 158.664 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 158.666 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 158.670 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 158.674 * * [simplify]: iteration 4 : 52 enodes (cost 9 ) 158.680 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 158.687 * * [simplify]: iteration 6 : 92 enodes (cost 9 ) 158.704 * * [simplify]: iteration 7 : 164 enodes (cost 9 ) 158.745 * * [simplify]: iteration 8 : 377 enodes (cost 9 ) 159.070 * * [simplify]: iteration 9 : 1269 enodes (cost 9 ) 160.571 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 160.572 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 160.573 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 160.576 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 160.580 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 160.587 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 160.602 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 160.644 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 161.091 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 163.367 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 163.368 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 163.369 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 163.376 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 163.380 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 163.387 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 163.396 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 163.440 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 163.879 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 166.377 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 166.378 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 166.379 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 166.382 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 166.386 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 166.393 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 166.403 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 166.446 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 166.895 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 169.214 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 169.215 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 169.216 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 169.219 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 169.223 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 169.230 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 169.240 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 169.284 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 169.739 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 172.061 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 172.061 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 172.062 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 172.065 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 172.069 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 172.076 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 172.090 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 172.131 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 172.580 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 174.857 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 174.858 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 174.859 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 174.862 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 174.871 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 174.878 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 174.888 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 174.932 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 175.374 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 177.655 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 177.655 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 177.657 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 177.659 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 177.664 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 177.671 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 177.681 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 177.725 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 178.174 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 180.462 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 180.463 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 180.464 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 180.467 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 180.471 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 180.478 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 180.489 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 180.532 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 180.979 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 183.265 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 183.266 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 183.267 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 183.269 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 183.273 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 183.280 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 183.295 * * [simplify]: iteration 5 : 129 enodes (cost 10 ) 183.335 * * [simplify]: iteration 6 : 349 enodes (cost 10 ) 183.779 * * [simplify]: iteration 7 : 1389 enodes (cost 10 ) 186.066 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 186.066 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 186.068 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 186.070 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 186.074 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 186.086 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 186.096 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 186.139 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 186.557 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 188.827 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 188.828 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 188.834 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 188.837 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 188.840 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 188.848 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 188.858 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 188.901 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 189.316 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 191.814 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 191.815 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 191.816 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 191.819 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 191.823 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 191.829 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 191.839 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 191.883 * * [simplify]: iteration 6 : 340 enodes (cost 9 ) 192.312 * * [simplify]: iteration 7 : 1306 enodes (cost 9 ) 194.629 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 194.630 * [simplify]: Simplified to: (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 3) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1/2 (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 3) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1/2 (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 3) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1/2 (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 4) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 4) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* 2 (log (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))) (* 2 (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (pow (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 4) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 3) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (pow (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 3) (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (sqrt (atan2 1.0 (+ (* N (+ 1.0 N)) 1))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) 194.635 * * * [progress]: adding candidates to table 194.824 * [progress]: [Phase 3 of 3] Extracting. 194.824 * * [regime]: Finding splitpoints for: (# # # # # # # #) 194.825 * * * [regime-changes]: Trying 2 branch expressions: ((- (atan (+ N 1.0)) (atan N)) N) 194.825 * * * * [regimes]: Trying to branch on (- (atan (+ N 1.0)) (atan N)) from (# # # # # # # #) 194.882 * * * * [regimes]: Trying to branch on N from (# # # # # # # #) 194.937 * * * [regime]: Found split indices: #