964.703 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (* (+ a b) (+ a b)) 0.029 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.029 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.031 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.036 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 0.043 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.053 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 0.066 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 0.084 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 0.097 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.097 * [simplify]: Simplified to: (* (+ a b) (+ a b)) 0.098 * * [progress]: iteration 1 / 4 0.098 * * * [progress]: picking best candidate 0.100 * * * * [pick]: Picked # 0.100 * * * [progress]: localizing error 0.104 * * * [progress]: generating rewritten candidates 0.104 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.114 * * * [progress]: generating series expansions 0.114 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.115 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.115 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.115 * [taylor]: Taking taylor expansion of (+ a b) in b 0.115 * [taylor]: Taking taylor expansion of a in b 0.115 * [taylor]: Taking taylor expansion of b in b 0.115 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.115 * [taylor]: Taking taylor expansion of (+ a b) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [taylor]: Taking taylor expansion of b in a 0.115 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.115 * [taylor]: Taking taylor expansion of (+ a b) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [taylor]: Taking taylor expansion of b in a 0.115 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.115 * [taylor]: Taking taylor expansion of b in b 0.115 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.115 * [taylor]: Taking taylor expansion of 2 in b 0.115 * [taylor]: Taking taylor expansion of b in b 0.115 * [taylor]: Taking taylor expansion of 1 in b 0.116 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.116 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.116 * [taylor]: Taking taylor expansion of b in b 0.116 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.116 * [taylor]: Taking taylor expansion of a in b 0.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.116 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.116 * [taylor]: Taking taylor expansion of b in a 0.116 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.116 * [taylor]: Taking taylor expansion of a in a 0.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.116 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.116 * [taylor]: Taking taylor expansion of b in a 0.116 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.116 * [taylor]: Taking taylor expansion of a in a 0.116 * [taylor]: Taking taylor expansion of 1 in b 0.116 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.116 * [taylor]: Taking taylor expansion of 2 in b 0.116 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.116 * [taylor]: Taking taylor expansion of b in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.117 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.117 * [taylor]: Taking taylor expansion of b in b 0.117 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.117 * [taylor]: Taking taylor expansion of b in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.117 * [taylor]: Taking taylor expansion of a in b 0.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.117 * [taylor]: Taking taylor expansion of b in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.117 * [taylor]: Taking taylor expansion of a in a 0.118 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.118 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.118 * [taylor]: Taking taylor expansion of b in a 0.118 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.118 * [taylor]: Taking taylor expansion of a in a 0.118 * [taylor]: Taking taylor expansion of 1 in b 0.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.118 * [taylor]: Taking taylor expansion of 2 in b 0.118 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.118 * [taylor]: Taking taylor expansion of b in b 0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.118 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.118 * [taylor]: Taking taylor expansion of b in b 0.119 * * * [progress]: simplifying candidates 0.119 * [simplify]: Simplifying using # : (+ 1 1) (* (+ a b) (+ a b)) (+ 1 1) (+ (log (+ a b)) (log (+ a b))) (log (* (+ a b) (+ a b))) (exp (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 2 1) (* (+ a b) a) (* (+ a b) b) (* a (+ a b)) (* b (+ a b)) (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (+ a b) (sqrt (+ a b))) (* (+ a b) 1) (* (+ a b) 1) (* (cbrt (+ a b)) (+ a b)) (* (sqrt (+ a b)) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) 0.120 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 0.120 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 0.121 * * [simplify]: iteration done : 6 enodes (cost 1 ) 0.122 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.122 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.124 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.129 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 0.136 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.151 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 0.164 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 0.177 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 0.191 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.192 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 0.193 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 0.193 * * [simplify]: iteration done : 6 enodes (cost 1 ) 0.194 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 0.195 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.195 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 0.196 * * [simplify]: iteration done : 9 enodes (cost 6 ) 0.197 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 0.198 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.200 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 0.204 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 0.216 * * [simplify]: iteration 4 : 65 enodes (cost 6 ) 0.227 * * [simplify]: iteration 5 : 80 enodes (cost 6 ) 0.241 * * [simplify]: iteration 6 : 87 enodes (cost 6 ) 0.256 * * [simplify]: iteration 7 : 89 enodes (cost 6 ) 0.273 * * [simplify]: iteration done : 89 enodes (cost 6 ) 0.274 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 0.275 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.277 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 0.284 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.297 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.337 * * [simplify]: iteration 5 : 323 enodes (cost 8 ) 0.483 * * [simplify]: iteration 6 : 988 enodes (cost 8 ) 1.895 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.895 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 1.897 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 1.904 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 1.941 * * [simplify]: iteration 3 : 362 enodes (cost 5 ) 2.166 * * [simplify]: iteration 4 : 1483 enodes (cost 5 ) 4.469 * * [simplify]: iteration done : 5002 enodes (cost 5 ) 4.470 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 4.471 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 4.473 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 4.477 * * [simplify]: iteration 3 : 42 enodes (cost 17 ) 4.485 * * [simplify]: iteration 4 : 61 enodes (cost 17 ) 4.497 * * [simplify]: iteration 5 : 77 enodes (cost 17 ) 4.512 * * [simplify]: iteration 6 : 84 enodes (cost 17 ) 4.527 * * [simplify]: iteration 7 : 86 enodes (cost 17 ) 4.542 * * [simplify]: iteration done : 86 enodes (cost 17 ) 4.542 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 4.543 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 4.545 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 4.549 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 4.557 * * [simplify]: iteration 4 : 62 enodes (cost 8 ) 4.570 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 4.585 * * [simplify]: iteration 6 : 85 enodes (cost 8 ) 4.599 * * [simplify]: iteration 7 : 87 enodes (cost 8 ) 4.613 * * [simplify]: iteration done : 87 enodes (cost 8 ) 4.614 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 4.615 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 4.620 * * [simplify]: iteration 2 : 92 enodes (cost 9 ) 4.655 * * [simplify]: iteration 3 : 297 enodes (cost 5 ) 4.828 * * [simplify]: iteration 4 : 1027 enodes (cost 5 ) 6.412 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 6.413 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 6.414 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 6.416 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 6.420 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 6.428 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 6.439 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 6.452 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 6.468 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 6.483 * * [simplify]: iteration done : 86 enodes (cost 4 ) 6.483 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 6.484 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 6.487 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 6.491 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 6.498 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 6.509 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 6.525 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 6.538 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 6.553 * * [simplify]: iteration done : 86 enodes (cost 4 ) 6.553 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 6.555 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 6.559 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 6.577 * * [simplify]: iteration 3 : 224 enodes (cost 15 ) 6.658 * * [simplify]: iteration 4 : 665 enodes (cost 15 ) 7.300 * * [simplify]: iteration 5 : 2459 enodes (cost 15 ) 9.080 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 9.080 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 9.082 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 9.086 * * [simplify]: iteration 2 : 64 enodes (cost 19 ) 9.101 * * [simplify]: iteration 3 : 247 enodes (cost 19 ) 9.226 * * [simplify]: iteration 4 : 913 enodes (cost 19 ) 10.468 * * [simplify]: iteration 5 : 3506 enodes (cost 19 ) 12.043 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 12.043 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 12.045 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 12.049 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 12.061 * * [simplify]: iteration 3 : 193 enodes (cost 15 ) 12.127 * * [simplify]: iteration 4 : 793 enodes (cost 15 ) 12.652 * * [simplify]: iteration 5 : 3088 enodes (cost 15 ) 14.341 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 14.341 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 14.343 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 14.346 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 14.356 * * [simplify]: iteration 3 : 140 enodes (cost 13 ) 14.399 * * [simplify]: iteration 4 : 361 enodes (cost 13 ) 14.609 * * [simplify]: iteration 5 : 892 enodes (cost 13 ) 15.533 * * [simplify]: iteration 6 : 2193 enodes (cost 13 ) 17.801 * * [simplify]: iteration 7 : 3882 enodes (cost 13 ) 22.222 * * [simplify]: iteration 8 : 4648 enodes (cost 13 ) 26.482 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 26.482 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 26.484 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 26.491 * * [simplify]: iteration 2 : 105 enodes (cost 15 ) 26.523 * * [simplify]: iteration 3 : 413 enodes (cost 15 ) 26.703 * * [simplify]: iteration 4 : 1430 enodes (cost 15 ) 28.122 * * [simplify]: iteration 5 : 4883 enodes (cost 15 ) 30.199 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 30.200 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 30.201 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 30.206 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 30.222 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 30.306 * * [simplify]: iteration 4 : 494 enodes (cost 13 ) 30.662 * * [simplify]: iteration 5 : 1263 enodes (cost 13 ) 32.298 * * [simplify]: iteration 6 : 3143 enodes (cost 13 ) 35.550 * * [simplify]: iteration 7 : 4779 enodes (cost 13 ) 36.725 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 36.726 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 36.727 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 36.729 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 36.742 * * [simplify]: iteration 3 : 126 enodes (cost 15 ) 36.784 * * [simplify]: iteration 4 : 505 enodes (cost 15 ) 37.103 * * [simplify]: iteration 5 : 1516 enodes (cost 15 ) 38.448 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 38.448 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 38.449 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 38.450 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 38.452 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 38.457 * * [simplify]: iteration 4 : 63 enodes (cost 7 ) 38.473 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 38.503 * * [simplify]: iteration 6 : 186 enodes (cost 7 ) 38.559 * * [simplify]: iteration 7 : 296 enodes (cost 7 ) 38.662 * * [simplify]: iteration 8 : 455 enodes (cost 7 ) 38.824 * * [simplify]: iteration 9 : 628 enodes (cost 7 ) 38.980 * * [simplify]: iteration 10 : 671 enodes (cost 7 ) 39.125 * * [simplify]: iteration 11 : 672 enodes (cost 7 ) 39.272 * * [simplify]: iteration done : 672 enodes (cost 7 ) 39.273 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 39.274 * * [simplify]: iteration 1 : 11 enodes (cost 19 ) 39.275 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 39.277 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 39.281 * * [simplify]: iteration 4 : 45 enodes (cost 6 ) 39.287 * * [simplify]: iteration 5 : 71 enodes (cost 6 ) 39.300 * * [simplify]: iteration 6 : 143 enodes (cost 6 ) 39.349 * * [simplify]: iteration 7 : 358 enodes (cost 6 ) 39.718 * * [simplify]: iteration 8 : 1286 enodes (cost 6 ) 41.343 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 41.343 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.344 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 41.344 * * [simplify]: iteration done : 6 enodes (cost 9 ) 41.345 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.346 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 41.346 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 41.347 * * [simplify]: iteration done : 7 enodes (cost 3 ) 41.348 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.348 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 41.349 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 41.349 * * [simplify]: iteration done : 7 enodes (cost 3 ) 41.350 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.351 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.351 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.351 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.352 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.354 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.358 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.365 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.381 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.393 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.407 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.421 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.422 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.422 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.422 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.423 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.424 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.425 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.433 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.441 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.452 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.465 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.479 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.496 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.496 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.497 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.497 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.498 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.498 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.500 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.505 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.512 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.523 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.535 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.553 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.567 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.567 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.568 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.568 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.569 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.569 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.571 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.576 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.583 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.594 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.610 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.624 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.638 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.639 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.639 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 41.640 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 41.641 * * [simplify]: iteration done : 7 enodes (cost 3 ) 41.641 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.642 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 41.643 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 41.643 * * [simplify]: iteration done : 7 enodes (cost 3 ) 41.644 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 41.645 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 41.645 * * [simplify]: iteration done : 6 enodes (cost 1 ) 41.645 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.646 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 41.647 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 41.649 * * [simplify]: iteration done : 13 enodes (cost 5 ) 41.650 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.650 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 41.651 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 41.653 * * [simplify]: iteration done : 13 enodes (cost 5 ) 41.653 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.654 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 41.655 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 41.657 * * [simplify]: iteration done : 12 enodes (cost 5 ) 41.657 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.658 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 41.659 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 41.661 * * [simplify]: iteration done : 12 enodes (cost 5 ) 41.661 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 41.662 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 41.664 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 41.667 * * [simplify]: iteration 3 : 32 enodes (cost 13 ) 41.676 * * [simplify]: iteration 4 : 34 enodes (cost 13 ) 41.682 * * [simplify]: iteration done : 34 enodes (cost 13 ) 41.682 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 41.683 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 41.684 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 41.686 * * [simplify]: iteration done : 15 enodes (cost 8 ) 41.687 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.688 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 41.689 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 41.692 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 41.693 * * [simplify]: iteration done : 28 enodes (cost 3 ) 41.694 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.694 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 41.696 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 41.699 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 41.700 * * [simplify]: iteration done : 28 enodes (cost 3 ) 41.701 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 41.701 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 41.703 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 41.705 * * [simplify]: iteration done : 14 enodes (cost 8 ) 41.705 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 41.706 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 41.708 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 41.709 * * [simplify]: iteration done : 14 enodes (cost 8 ) 41.710 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.711 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.712 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.717 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.724 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.734 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.753 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.766 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.780 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.781 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 41.781 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 41.783 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 41.787 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 41.794 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 41.809 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 41.822 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 41.835 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 41.849 * * [simplify]: iteration done : 84 enodes (cost 7 ) 41.849 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 41.851 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 41.860 * * [simplify]: iteration 2 : 88 enodes (cost 11 ) 41.880 * * [simplify]: iteration 3 : 207 enodes (cost 11 ) 41.942 * * [simplify]: iteration 4 : 433 enodes (cost 11 ) 42.122 * * [simplify]: iteration 5 : 1016 enodes (cost 11 ) 43.155 * * [simplify]: iteration 6 : 3242 enodes (cost 11 ) 45.226 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 45.227 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 45.228 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 45.230 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 45.237 * * [simplify]: iteration 3 : 106 enodes (cost 11 ) 45.268 * * [simplify]: iteration 4 : 259 enodes (cost 11 ) 45.374 * * [simplify]: iteration 5 : 562 enodes (cost 11 ) 45.821 * * [simplify]: iteration 6 : 1875 enodes (cost 11 ) 47.123 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 47.123 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.125 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 47.129 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 47.148 * * [simplify]: iteration 3 : 162 enodes (cost 11 ) 47.190 * * [simplify]: iteration 4 : 382 enodes (cost 11 ) 47.345 * * [simplify]: iteration 5 : 901 enodes (cost 11 ) 48.197 * * [simplify]: iteration 6 : 2996 enodes (cost 11 ) 50.252 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 50.252 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 50.254 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 50.257 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 50.268 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 50.315 * * [simplify]: iteration 4 : 330 enodes (cost 11 ) 50.493 * * [simplify]: iteration 5 : 921 enodes (cost 11 ) 52.302 * * [simplify]: iteration 6 : 4155 enodes (cost 11 ) 54.115 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 54.116 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 54.118 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 54.122 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 54.128 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 54.134 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 54.143 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 54.155 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 54.182 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 54.281 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 55.225 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 57.772 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 57.772 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 57.774 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 57.779 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 57.785 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 57.791 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 57.800 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 57.812 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 57.839 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 57.945 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 58.859 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 61.311 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 61.312 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 61.313 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 61.319 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 61.324 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 61.331 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 61.340 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 61.351 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 61.378 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 61.475 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 62.386 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 64.860 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 64.861 * [simplify]: Simplified to: 2 (* (+ a b) (+ a b)) 2 (* 2 (log (+ a b))) (* 2 (log (+ a b))) (exp (* (+ a b) (+ a b))) (pow (+ a b) 6) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (pow (+ a b) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* b (- b a)) (* a a)) (+ (* b (- b a)) (* a a))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- a b) (+ (* b (- b a)) (* a a))) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (* b (- b a)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)) (pow (cbrt (+ a b)) 4) (* (cbrt (+ a b)) (cbrt (+ a b))) (+ a b) (+ a b) 1 (* (+ a b) (+ a b)) 1 (* (+ a b) (+ a b)) 1 (* (+ a b) (+ a b)) 1 (* (+ a b) (+ a b)) (+ a b) (+ a b) 2 (* (+ a b) a) (* (+ a b) b) (* a (+ a b)) (* b (+ a b)) (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (+ a b) (sqrt (+ a b))) (+ a b) (+ a b) (* (cbrt (+ a b)) (+ a b)) (* (sqrt (+ a b)) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (+ (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b (+ (* 2 a) b)) (pow a 2)) 64.861 * * * [progress]: adding candidates to table 64.896 * * [progress]: iteration 2 / 4 64.896 * * * [progress]: picking best candidate 64.899 * * * * [pick]: Picked # 64.899 * * * [progress]: localizing error 64.906 * * * [progress]: generating rewritten candidates 64.906 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 64.917 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 64.919 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 64.931 * * * [progress]: generating series expansions 64.931 * * * * [progress]: [ 1 / 3 ] generating series at (2) 64.931 * [approximate]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in (b a) around 0 64.931 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in a 64.931 * [taylor]: Taking taylor expansion of (pow b 2) in a 64.931 * [taylor]: Taking taylor expansion of b in a 64.931 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in a 64.931 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.931 * [taylor]: Taking taylor expansion of a in a 64.932 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 64.932 * [taylor]: Taking taylor expansion of 2 in a 64.932 * [taylor]: Taking taylor expansion of (* a b) in a 64.932 * [taylor]: Taking taylor expansion of a in a 64.932 * [taylor]: Taking taylor expansion of b in a 64.932 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in b 64.932 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.932 * [taylor]: Taking taylor expansion of b in b 64.932 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in b 64.932 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.932 * [taylor]: Taking taylor expansion of a in b 64.932 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 64.932 * [taylor]: Taking taylor expansion of 2 in b 64.932 * [taylor]: Taking taylor expansion of (* a b) in b 64.932 * [taylor]: Taking taylor expansion of a in b 64.932 * [taylor]: Taking taylor expansion of b in b 64.932 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in b 64.932 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.932 * [taylor]: Taking taylor expansion of b in b 64.932 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in b 64.932 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.932 * [taylor]: Taking taylor expansion of a in b 64.932 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 64.932 * [taylor]: Taking taylor expansion of 2 in b 64.932 * [taylor]: Taking taylor expansion of (* a b) in b 64.932 * [taylor]: Taking taylor expansion of a in b 64.932 * [taylor]: Taking taylor expansion of b in b 64.932 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.932 * [taylor]: Taking taylor expansion of a in a 64.932 * [taylor]: Taking taylor expansion of (* 2 a) in a 64.932 * [taylor]: Taking taylor expansion of 2 in a 64.932 * [taylor]: Taking taylor expansion of a in a 64.933 * [taylor]: Taking taylor expansion of 1 in a 64.933 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 64.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 64.933 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 64.933 * [taylor]: Taking taylor expansion of (pow b 2) in a 64.933 * [taylor]: Taking taylor expansion of b in a 64.933 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 64.933 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 64.933 * [taylor]: Taking taylor expansion of 2 in a 64.933 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 64.933 * [taylor]: Taking taylor expansion of (* a b) in a 64.933 * [taylor]: Taking taylor expansion of a in a 64.933 * [taylor]: Taking taylor expansion of b in a 64.934 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 64.934 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.934 * [taylor]: Taking taylor expansion of a in a 64.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 64.934 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.934 * [taylor]: Taking taylor expansion of b in b 64.934 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 64.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 64.934 * [taylor]: Taking taylor expansion of 2 in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 64.934 * [taylor]: Taking taylor expansion of (* a b) in b 64.934 * [taylor]: Taking taylor expansion of a in b 64.934 * [taylor]: Taking taylor expansion of b in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 64.934 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.934 * [taylor]: Taking taylor expansion of a in b 64.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 64.934 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.934 * [taylor]: Taking taylor expansion of b in b 64.934 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 64.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 64.934 * [taylor]: Taking taylor expansion of 2 in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 64.934 * [taylor]: Taking taylor expansion of (* a b) in b 64.934 * [taylor]: Taking taylor expansion of a in b 64.934 * [taylor]: Taking taylor expansion of b in b 64.934 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 64.934 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.934 * [taylor]: Taking taylor expansion of a in b 64.935 * [taylor]: Taking taylor expansion of 1 in a 64.935 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.935 * [taylor]: Taking taylor expansion of 2 in a 64.935 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.935 * [taylor]: Taking taylor expansion of a in a 64.935 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 64.935 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.935 * [taylor]: Taking taylor expansion of a in a 64.936 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 64.936 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 64.936 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 64.936 * [taylor]: Taking taylor expansion of (pow b 2) in a 64.936 * [taylor]: Taking taylor expansion of b in a 64.936 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 64.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 64.936 * [taylor]: Taking taylor expansion of 2 in a 64.936 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 64.936 * [taylor]: Taking taylor expansion of (* a b) in a 64.936 * [taylor]: Taking taylor expansion of a in a 64.936 * [taylor]: Taking taylor expansion of b in a 64.936 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 64.936 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.936 * [taylor]: Taking taylor expansion of a in a 64.936 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 64.936 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 64.936 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.936 * [taylor]: Taking taylor expansion of b in b 64.936 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 64.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 64.936 * [taylor]: Taking taylor expansion of 2 in b 64.936 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 64.936 * [taylor]: Taking taylor expansion of (* a b) in b 64.936 * [taylor]: Taking taylor expansion of a in b 64.936 * [taylor]: Taking taylor expansion of b in b 64.937 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 64.937 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.937 * [taylor]: Taking taylor expansion of a in b 64.937 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 64.937 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 64.937 * [taylor]: Taking taylor expansion of (pow b 2) in b 64.937 * [taylor]: Taking taylor expansion of b in b 64.937 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 64.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 64.937 * [taylor]: Taking taylor expansion of 2 in b 64.937 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 64.937 * [taylor]: Taking taylor expansion of (* a b) in b 64.937 * [taylor]: Taking taylor expansion of a in b 64.937 * [taylor]: Taking taylor expansion of b in b 64.937 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 64.937 * [taylor]: Taking taylor expansion of (pow a 2) in b 64.937 * [taylor]: Taking taylor expansion of a in b 64.937 * [taylor]: Taking taylor expansion of 1 in a 64.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.937 * [taylor]: Taking taylor expansion of 2 in a 64.937 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.937 * [taylor]: Taking taylor expansion of a in a 64.938 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 64.938 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.938 * [taylor]: Taking taylor expansion of a in a 64.938 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 64.938 * [approximate]: Taking taylor expansion of (pow a 2) in (a) around 0 64.938 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.938 * [taylor]: Taking taylor expansion of a in a 64.938 * [taylor]: Taking taylor expansion of (pow a 2) in a 64.938 * [taylor]: Taking taylor expansion of a in a 64.939 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 2) in (a) around 0 64.939 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 2) in a 64.939 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.939 * [taylor]: Taking taylor expansion of a in a 64.939 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 2) in a 64.939 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.939 * [taylor]: Taking taylor expansion of a in a 64.940 * [approximate]: Taking taylor expansion of (pow (/ -1 a) 2) in (a) around 0 64.940 * [taylor]: Taking taylor expansion of (pow (/ -1 a) 2) in a 64.940 * [taylor]: Taking taylor expansion of (/ -1 a) in a 64.940 * [taylor]: Taking taylor expansion of -1 in a 64.940 * [taylor]: Taking taylor expansion of a in a 64.940 * [taylor]: Taking taylor expansion of (pow (/ -1 a) 2) in a 64.940 * [taylor]: Taking taylor expansion of (/ -1 a) in a 64.940 * [taylor]: Taking taylor expansion of -1 in a 64.940 * [taylor]: Taking taylor expansion of a in a 64.941 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 64.941 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0 64.941 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a 64.941 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 64.941 * [taylor]: Taking taylor expansion of (* 2 a) in a 64.941 * [taylor]: Taking taylor expansion of 2 in a 64.941 * [taylor]: Taking taylor expansion of a in a 64.941 * [taylor]: Taking taylor expansion of b in a 64.941 * [taylor]: Taking taylor expansion of b in a 64.941 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 64.941 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 64.941 * [taylor]: Taking taylor expansion of (* 2 a) in b 64.941 * [taylor]: Taking taylor expansion of 2 in b 64.941 * [taylor]: Taking taylor expansion of a in b 64.941 * [taylor]: Taking taylor expansion of b in b 64.941 * [taylor]: Taking taylor expansion of b in b 64.941 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 64.941 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 64.941 * [taylor]: Taking taylor expansion of (* 2 a) in b 64.941 * [taylor]: Taking taylor expansion of 2 in b 64.941 * [taylor]: Taking taylor expansion of a in b 64.942 * [taylor]: Taking taylor expansion of b in b 64.942 * [taylor]: Taking taylor expansion of b in b 64.942 * [taylor]: Taking taylor expansion of 0 in a 64.942 * [taylor]: Taking taylor expansion of (* 2 a) in a 64.942 * [taylor]: Taking taylor expansion of 2 in a 64.942 * [taylor]: Taking taylor expansion of a in a 64.942 * [taylor]: Taking taylor expansion of 1 in a 64.942 * [taylor]: Taking taylor expansion of 0 in a 64.942 * [taylor]: Taking taylor expansion of 0 in a 64.943 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 64.943 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 64.943 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 64.943 * [taylor]: Taking taylor expansion of (/ 1 b) in a 64.943 * [taylor]: Taking taylor expansion of b in a 64.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.943 * [taylor]: Taking taylor expansion of 2 in a 64.943 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.943 * [taylor]: Taking taylor expansion of a in a 64.943 * [taylor]: Taking taylor expansion of b in a 64.943 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 64.943 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 64.943 * [taylor]: Taking taylor expansion of (/ 1 b) in b 64.943 * [taylor]: Taking taylor expansion of b in b 64.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 64.943 * [taylor]: Taking taylor expansion of 2 in b 64.943 * [taylor]: Taking taylor expansion of (/ 1 a) in b 64.943 * [taylor]: Taking taylor expansion of a in b 64.943 * [taylor]: Taking taylor expansion of b in b 64.943 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 64.943 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 64.943 * [taylor]: Taking taylor expansion of (/ 1 b) in b 64.943 * [taylor]: Taking taylor expansion of b in b 64.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 64.943 * [taylor]: Taking taylor expansion of 2 in b 64.943 * [taylor]: Taking taylor expansion of (/ 1 a) in b 64.943 * [taylor]: Taking taylor expansion of a in b 64.943 * [taylor]: Taking taylor expansion of b in b 64.943 * [taylor]: Taking taylor expansion of 1 in a 64.944 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.944 * [taylor]: Taking taylor expansion of 2 in a 64.944 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.944 * [taylor]: Taking taylor expansion of a in a 64.944 * [taylor]: Taking taylor expansion of 0 in a 64.944 * [taylor]: Taking taylor expansion of 0 in a 64.945 * [taylor]: Taking taylor expansion of 0 in a 64.945 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 64.945 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 64.945 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 64.945 * [taylor]: Taking taylor expansion of (/ 1 b) in a 64.945 * [taylor]: Taking taylor expansion of b in a 64.945 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.945 * [taylor]: Taking taylor expansion of 2 in a 64.945 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.945 * [taylor]: Taking taylor expansion of a in a 64.945 * [taylor]: Taking taylor expansion of b in a 64.945 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 64.945 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 64.945 * [taylor]: Taking taylor expansion of (/ 1 b) in b 64.945 * [taylor]: Taking taylor expansion of b in b 64.945 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 64.945 * [taylor]: Taking taylor expansion of 2 in b 64.945 * [taylor]: Taking taylor expansion of (/ 1 a) in b 64.945 * [taylor]: Taking taylor expansion of a in b 64.945 * [taylor]: Taking taylor expansion of b in b 64.945 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 64.945 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 64.946 * [taylor]: Taking taylor expansion of (/ 1 b) in b 64.946 * [taylor]: Taking taylor expansion of b in b 64.946 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 64.946 * [taylor]: Taking taylor expansion of 2 in b 64.946 * [taylor]: Taking taylor expansion of (/ 1 a) in b 64.946 * [taylor]: Taking taylor expansion of a in b 64.946 * [taylor]: Taking taylor expansion of b in b 64.946 * [taylor]: Taking taylor expansion of 1 in a 64.946 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 64.946 * [taylor]: Taking taylor expansion of 2 in a 64.946 * [taylor]: Taking taylor expansion of (/ 1 a) in a 64.946 * [taylor]: Taking taylor expansion of a in a 64.946 * [taylor]: Taking taylor expansion of 0 in a 64.947 * [taylor]: Taking taylor expansion of 0 in a 64.947 * [taylor]: Taking taylor expansion of 0 in a 64.947 * * * [progress]: simplifying candidates 64.948 * [simplify]: Simplifying using # : (* (exp (* b (+ (* 2 a) b))) (exp (pow a 2))) (log (+ (* b (+ (* 2 a) b)) (pow a 2))) (exp (+ (* b (+ (* 2 a) b)) (pow a 2))) (* (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2)))) (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (* (* (+ (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b (+ (* 2 a) b)) (pow a 2))) (+ (* b (+ (* 2 a) b)) (pow a 2))) (sqrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (sqrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (+ (pow (* b (+ (* 2 a) b)) 3) (pow (pow a 2) 3)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (- (* (pow a 2) (pow a 2)) (* (* b (+ (* 2 a) b)) (pow a 2)))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (pow a 2) (pow a 2))) (- (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b b) (pow a 2)) (+ (* b b) (pow a 2)) (* (log a) 2) (* (log a) 2) (* 1 2) (pow a (* (cbrt 2) (cbrt 2))) (pow a (sqrt 2)) (pow a 1) (pow (* (cbrt a) (cbrt a)) 2) (pow (cbrt a) 2) (pow (sqrt a) 2) (pow (sqrt a) 2) (pow 1 2) (pow a 2) (log (pow a 2)) (exp (pow a 2)) (* (cbrt (pow a 2)) (cbrt (pow a 2))) (cbrt (pow a 2)) (* (* (pow a 2) (pow a 2)) (pow a 2)) (sqrt (pow a 2)) (sqrt (pow a 2)) (pow a (/ 2 2)) (pow a (/ 2 2)) (* b (+ (* 2 a) b)) (+ (log b) (log (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b))) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* b (* 2 a)) (* b b) (* (* 2 a) b) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) (* b 1) (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (- (* (* 2 a) (* 2 a)) (* b b))) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) (pow a 2) (pow a 2) (pow a 2) (+ (pow b 2) (* 2 (* a b))) (+ (pow b 2) (* 2 (* a b))) (+ (pow b 2) (* 2 (* a b))) 64.949 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 64.950 * * [simplify]: iteration 1 : 28 enodes (cost 12 ) 64.956 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 64.964 * * [simplify]: iteration 3 : 109 enodes (cost 12 ) 64.982 * * [simplify]: iteration 4 : 232 enodes (cost 12 ) 65.058 * * [simplify]: iteration 5 : 732 enodes (cost 12 ) 65.778 * * [simplify]: iteration 6 : 2787 enodes (cost 12 ) 67.026 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 67.027 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 67.028 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 67.032 * * [simplify]: iteration 2 : 44 enodes (cost 12 ) 67.038 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 67.049 * * [simplify]: iteration 4 : 67 enodes (cost 12 ) 67.057 * * [simplify]: iteration 5 : 79 enodes (cost 12 ) 67.066 * * [simplify]: iteration 6 : 103 enodes (cost 12 ) 67.081 * * [simplify]: iteration 7 : 169 enodes (cost 12 ) 67.135 * * [simplify]: iteration 8 : 381 enodes (cost 12 ) 67.608 * * [simplify]: iteration 9 : 1328 enodes (cost 12 ) 70.198 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 70.199 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 70.206 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 70.211 * * [simplify]: iteration 2 : 59 enodes (cost 12 ) 70.219 * * [simplify]: iteration 3 : 100 enodes (cost 12 ) 70.235 * * [simplify]: iteration 4 : 194 enodes (cost 12 ) 70.292 * * [simplify]: iteration 5 : 610 enodes (cost 12 ) 70.831 * * [simplify]: iteration 6 : 2328 enodes (cost 12 ) 72.071 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 72.072 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 72.074 * * [simplify]: iteration 1 : 24 enodes (cost 25 ) 72.078 * * [simplify]: iteration 2 : 45 enodes (cost 25 ) 72.084 * * [simplify]: iteration 3 : 54 enodes (cost 25 ) 72.091 * * [simplify]: iteration 4 : 64 enodes (cost 25 ) 72.099 * * [simplify]: iteration 5 : 76 enodes (cost 25 ) 72.108 * * [simplify]: iteration 6 : 98 enodes (cost 25 ) 72.123 * * [simplify]: iteration 7 : 157 enodes (cost 25 ) 72.175 * * [simplify]: iteration 8 : 371 enodes (cost 25 ) 72.608 * * [simplify]: iteration 9 : 1290 enodes (cost 25 ) 74.956 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 74.956 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 74.958 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 74.962 * * [simplify]: iteration 2 : 44 enodes (cost 12 ) 74.967 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 74.974 * * [simplify]: iteration 4 : 67 enodes (cost 12 ) 74.982 * * [simplify]: iteration 5 : 79 enodes (cost 12 ) 74.991 * * [simplify]: iteration 6 : 103 enodes (cost 12 ) 75.009 * * [simplify]: iteration 7 : 169 enodes (cost 12 ) 75.064 * * [simplify]: iteration 8 : 381 enodes (cost 12 ) 75.525 * * [simplify]: iteration 9 : 1328 enodes (cost 12 ) 77.881 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 77.882 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 77.884 * * [simplify]: iteration 1 : 37 enodes (cost 35 ) 77.894 * * [simplify]: iteration 2 : 138 enodes (cost 13 ) 77.940 * * [simplify]: iteration 3 : 574 enodes (cost 13 ) 78.433 * * [simplify]: iteration 4 : 3088 enodes (cost 13 ) 79.880 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 79.880 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 79.882 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 79.892 * * [simplify]: iteration 2 : 44 enodes (cost 12 ) 79.897 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 79.904 * * [simplify]: iteration 4 : 67 enodes (cost 12 ) 79.912 * * [simplify]: iteration 5 : 79 enodes (cost 12 ) 79.921 * * [simplify]: iteration 6 : 103 enodes (cost 12 ) 79.937 * * [simplify]: iteration 7 : 169 enodes (cost 12 ) 79.993 * * [simplify]: iteration 8 : 381 enodes (cost 12 ) 80.451 * * [simplify]: iteration 9 : 1328 enodes (cost 12 ) 82.819 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 82.820 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 82.821 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 82.825 * * [simplify]: iteration 2 : 44 enodes (cost 12 ) 82.831 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 82.837 * * [simplify]: iteration 4 : 67 enodes (cost 12 ) 82.846 * * [simplify]: iteration 5 : 79 enodes (cost 12 ) 82.855 * * [simplify]: iteration 6 : 103 enodes (cost 12 ) 82.875 * * [simplify]: iteration 7 : 169 enodes (cost 12 ) 82.929 * * [simplify]: iteration 8 : 381 enodes (cost 12 ) 83.387 * * [simplify]: iteration 9 : 1328 enodes (cost 12 ) 85.756 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 85.756 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 85.758 * * [simplify]: iteration 1 : 40 enodes (cost 15 ) 85.769 * * [simplify]: iteration 2 : 137 enodes (cost 15 ) 85.811 * * [simplify]: iteration 3 : 396 enodes (cost 13 ) 86.059 * * [simplify]: iteration 4 : 1277 enodes (cost 13 ) 87.649 * * [simplify]: iteration 5 : 4439 enodes (cost 13 ) 89.905 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 89.906 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 89.909 * * [simplify]: iteration 1 : 44 enodes (cost 31 ) 89.921 * * [simplify]: iteration 2 : 160 enodes (cost 31 ) 89.965 * * [simplify]: iteration 3 : 438 enodes (cost 23 ) 90.185 * * [simplify]: iteration 4 : 1317 enodes (cost 23 ) 91.326 * * [simplify]: iteration 5 : 3934 enodes (cost 23 ) 93.065 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 93.066 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 93.068 * * [simplify]: iteration 1 : 37 enodes (cost 19 ) 93.076 * * [simplify]: iteration 2 : 115 enodes (cost 19 ) 93.106 * * [simplify]: iteration 3 : 300 enodes (cost 19 ) 93.229 * * [simplify]: iteration 4 : 923 enodes (cost 19 ) 93.790 * * [simplify]: iteration 5 : 2448 enodes (cost 19 ) 95.250 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 95.250 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 95.252 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 95.256 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 95.263 * * [simplify]: iteration 3 : 72 enodes (cost 11 ) 95.271 * * [simplify]: iteration 4 : 90 enodes (cost 11 ) 95.283 * * [simplify]: iteration 5 : 126 enodes (cost 11 ) 95.305 * * [simplify]: iteration 6 : 215 enodes (cost 11 ) 95.361 * * [simplify]: iteration 7 : 455 enodes (cost 11 ) 95.620 * * [simplify]: iteration 8 : 1092 enodes (cost 11 ) 96.671 * * [simplify]: iteration 9 : 2933 enodes (cost 11 ) 98.466 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 98.466 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 98.467 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 98.469 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 98.470 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 98.472 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 98.474 * * [simplify]: iteration 5 : 41 enodes (cost 7 ) 98.478 * * [simplify]: iteration 6 : 65 enodes (cost 7 ) 98.487 * * [simplify]: iteration 7 : 123 enodes (cost 7 ) 98.536 * * [simplify]: iteration 8 : 337 enodes (cost 7 ) 98.986 * * [simplify]: iteration 9 : 1263 enodes (cost 7 ) 101.372 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 101.373 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 101.373 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 101.375 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 101.376 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 101.378 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 101.381 * * [simplify]: iteration 5 : 41 enodes (cost 7 ) 101.385 * * [simplify]: iteration 6 : 65 enodes (cost 7 ) 101.400 * * [simplify]: iteration 7 : 123 enodes (cost 7 ) 101.445 * * [simplify]: iteration 8 : 337 enodes (cost 7 ) 101.902 * * [simplify]: iteration 9 : 1263 enodes (cost 7 ) 104.299 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 104.300 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 104.300 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 104.301 * * [simplify]: iteration done : 5 enodes (cost 4 ) 104.301 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 104.302 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 104.302 * * [simplify]: iteration done : 5 enodes (cost 4 ) 104.303 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.303 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 104.304 * * [simplify]: iteration done : 6 enodes (cost 1 ) 104.304 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.305 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 104.306 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 104.308 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 104.315 * * [simplify]: iteration 4 : 96 enodes (cost 7 ) 104.355 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 104.586 * * [simplify]: iteration 6 : 871 enodes (cost 7 ) 106.355 * * [simplify]: iteration 7 : 3332 enodes (cost 7 ) 107.691 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 107.692 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 107.693 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 107.694 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 107.696 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 107.701 * * [simplify]: iteration 4 : 70 enodes (cost 4 ) 107.722 * * [simplify]: iteration 5 : 176 enodes (cost 4 ) 107.821 * * [simplify]: iteration 6 : 553 enodes (cost 4 ) 108.660 * * [simplify]: iteration 7 : 2168 enodes (cost 4 ) 110.941 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 110.942 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.942 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 110.943 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 110.944 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 110.946 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 110.949 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 110.958 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 111.005 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 111.458 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 113.826 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 113.826 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 113.827 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 113.829 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 113.831 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 113.838 * * [simplify]: iteration 4 : 88 enodes (cost 4 ) 113.861 * * [simplify]: iteration 5 : 188 enodes (cost 4 ) 114.188 * * [simplify]: iteration 6 : 526 enodes (cost 4 ) 115.198 * * [simplify]: iteration 7 : 2067 enodes (cost 4 ) 117.493 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 117.493 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.494 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 117.495 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 117.496 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 117.500 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 117.509 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 117.559 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 118.053 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 120.173 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 120.174 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.174 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 120.175 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 120.176 * * [simplify]: iteration 3 : 24 enodes (cost 1 ) 120.178 * * [simplify]: iteration 4 : 35 enodes (cost 1 ) 120.181 * * [simplify]: iteration 5 : 57 enodes (cost 1 ) 120.190 * * [simplify]: iteration 6 : 117 enodes (cost 1 ) 120.240 * * [simplify]: iteration 7 : 325 enodes (cost 1 ) 120.714 * * [simplify]: iteration 8 : 1251 enodes (cost 1 ) 123.134 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 123.135 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 123.136 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 123.137 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 123.138 * * [simplify]: iteration 3 : 24 enodes (cost 1 ) 123.139 * * [simplify]: iteration 4 : 35 enodes (cost 1 ) 123.142 * * [simplify]: iteration 5 : 57 enodes (cost 1 ) 123.152 * * [simplify]: iteration 6 : 117 enodes (cost 1 ) 123.200 * * [simplify]: iteration 7 : 325 enodes (cost 1 ) 123.664 * * [simplify]: iteration 8 : 1251 enodes (cost 1 ) 126.094 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 126.095 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.095 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 126.096 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 126.096 * * [simplify]: iteration done : 13 enodes (cost 1 ) 126.097 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.097 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 126.098 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 126.099 * * [simplify]: iteration 3 : 21 enodes (cost 3 ) 126.100 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 126.102 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 126.106 * * [simplify]: iteration 6 : 59 enodes (cost 3 ) 126.115 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 126.161 * * [simplify]: iteration 8 : 332 enodes (cost 3 ) 126.596 * * [simplify]: iteration 9 : 1245 enodes (cost 3 ) 128.985 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 128.986 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 128.986 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 128.988 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 128.989 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 128.991 * * [simplify]: iteration 4 : 32 enodes (cost 4 ) 128.994 * * [simplify]: iteration 5 : 42 enodes (cost 4 ) 128.999 * * [simplify]: iteration 6 : 64 enodes (cost 4 ) 129.008 * * [simplify]: iteration 7 : 128 enodes (cost 4 ) 129.062 * * [simplify]: iteration 8 : 352 enodes (cost 4 ) 129.510 * * [simplify]: iteration 9 : 1277 enodes (cost 4 ) 131.825 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 131.826 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 131.827 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 131.828 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 131.829 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 131.831 * * [simplify]: iteration 4 : 40 enodes (cost 4 ) 131.835 * * [simplify]: iteration 5 : 68 enodes (cost 4 ) 131.843 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 131.877 * * [simplify]: iteration 7 : 280 enodes (cost 4 ) 132.028 * * [simplify]: iteration 8 : 871 enodes (cost 4 ) 133.208 * * [simplify]: iteration 9 : 3198 enodes (cost 4 ) 135.137 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 135.138 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 135.139 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 135.140 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 135.141 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 135.143 * * [simplify]: iteration 4 : 29 enodes (cost 9 ) 135.145 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 135.148 * * [simplify]: iteration 6 : 63 enodes (cost 9 ) 135.157 * * [simplify]: iteration 7 : 120 enodes (cost 9 ) 135.215 * * [simplify]: iteration 8 : 331 enodes (cost 9 ) 135.649 * * [simplify]: iteration 9 : 1244 enodes (cost 9 ) 138.021 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.022 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 138.022 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 138.023 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 138.024 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 138.026 * * [simplify]: iteration 4 : 28 enodes (cost 4 ) 138.027 * * [simplify]: iteration 5 : 38 enodes (cost 4 ) 138.030 * * [simplify]: iteration 6 : 60 enodes (cost 4 ) 138.045 * * [simplify]: iteration 7 : 125 enodes (cost 4 ) 138.087 * * [simplify]: iteration 8 : 333 enodes (cost 4 ) 138.526 * * [simplify]: iteration 9 : 1260 enodes (cost 4 ) 141.097 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 141.098 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 141.099 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 141.103 * * [simplify]: iteration 2 : 51 enodes (cost 5 ) 141.108 * * [simplify]: iteration 3 : 73 enodes (cost 5 ) 141.115 * * [simplify]: iteration 4 : 98 enodes (cost 3 ) 141.124 * * [simplify]: iteration 5 : 147 enodes (cost 3 ) 141.148 * * [simplify]: iteration 6 : 260 enodes (cost 3 ) 141.236 * * [simplify]: iteration 7 : 642 enodes (cost 3 ) 141.796 * * [simplify]: iteration 8 : 2177 enodes (cost 3 ) 143.249 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 143.249 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 143.250 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 143.252 * * [simplify]: iteration 2 : 19 enodes (cost 2 ) 143.253 * * [simplify]: iteration 3 : 24 enodes (cost 2 ) 143.254 * * [simplify]: iteration 4 : 30 enodes (cost 2 ) 143.256 * * [simplify]: iteration 5 : 40 enodes (cost 2 ) 143.260 * * [simplify]: iteration 6 : 62 enodes (cost 2 ) 143.269 * * [simplify]: iteration 7 : 125 enodes (cost 2 ) 143.317 * * [simplify]: iteration 8 : 342 enodes (cost 2 ) 143.759 * * [simplify]: iteration 9 : 1270 enodes (cost 2 ) 146.171 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 146.172 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 146.172 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 146.173 * * [simplify]: iteration 2 : 19 enodes (cost 2 ) 146.174 * * [simplify]: iteration 3 : 24 enodes (cost 2 ) 146.182 * * [simplify]: iteration 4 : 30 enodes (cost 2 ) 146.184 * * [simplify]: iteration 5 : 40 enodes (cost 2 ) 146.188 * * [simplify]: iteration 6 : 62 enodes (cost 2 ) 146.197 * * [simplify]: iteration 7 : 125 enodes (cost 2 ) 146.244 * * [simplify]: iteration 8 : 342 enodes (cost 2 ) 146.694 * * [simplify]: iteration 9 : 1270 enodes (cost 2 ) 149.094 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 149.095 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 149.096 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 149.097 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 149.098 * * [simplify]: iteration 3 : 24 enodes (cost 1 ) 149.099 * * [simplify]: iteration 4 : 34 enodes (cost 1 ) 149.109 * * [simplify]: iteration 5 : 56 enodes (cost 1 ) 149.118 * * [simplify]: iteration 6 : 124 enodes (cost 1 ) 149.167 * * [simplify]: iteration 7 : 338 enodes (cost 1 ) 149.623 * * [simplify]: iteration 8 : 1261 enodes (cost 1 ) 152.007 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 152.007 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 152.008 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 152.009 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 152.010 * * [simplify]: iteration 3 : 24 enodes (cost 1 ) 152.012 * * [simplify]: iteration 4 : 34 enodes (cost 1 ) 152.015 * * [simplify]: iteration 5 : 56 enodes (cost 1 ) 152.024 * * [simplify]: iteration 6 : 124 enodes (cost 1 ) 152.073 * * [simplify]: iteration 7 : 338 enodes (cost 1 ) 152.524 * * [simplify]: iteration 8 : 1261 enodes (cost 1 ) 154.897 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 154.897 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 154.898 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 154.900 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 154.904 * * [simplify]: iteration done : 23 enodes (cost 7 ) 154.905 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 154.906 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 154.907 * * [simplify]: iteration done : 11 enodes (cost 9 ) 154.907 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 154.908 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 154.911 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 154.915 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 154.922 * * [simplify]: iteration done : 32 enodes (cost 8 ) 154.923 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 154.924 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 154.927 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 154.932 * * [simplify]: iteration 3 : 62 enodes (cost 8 ) 154.941 * * [simplify]: iteration 4 : 119 enodes (cost 8 ) 154.974 * * [simplify]: iteration 5 : 302 enodes (cost 8 ) 155.120 * * [simplify]: iteration 6 : 721 enodes (cost 8 ) 155.751 * * [simplify]: iteration 7 : 2679 enodes (cost 8 ) 157.063 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 157.064 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 157.066 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 157.073 * * [simplify]: iteration 2 : 125 enodes (cost 11 ) 157.119 * * [simplify]: iteration 3 : 476 enodes (cost 11 ) 157.514 * * [simplify]: iteration 4 : 1854 enodes (cost 9 ) 159.515 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 159.515 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 159.516 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 159.519 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 159.523 * * [simplify]: iteration 3 : 27 enodes (cost 17 ) 159.526 * * [simplify]: iteration done : 27 enodes (cost 17 ) 159.527 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 159.528 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 159.530 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 159.534 * * [simplify]: iteration 3 : 28 enodes (cost 8 ) 159.537 * * [simplify]: iteration done : 28 enodes (cost 8 ) 159.538 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 159.539 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 159.545 * * [simplify]: iteration 2 : 100 enodes (cost 9 ) 159.585 * * [simplify]: iteration 3 : 366 enodes (cost 9 ) 159.909 * * [simplify]: iteration 4 : 1348 enodes (cost 9 ) 162.236 * * [simplify]: iteration 5 : 4653 enodes (cost 9 ) 164.748 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 164.748 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.749 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 164.751 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 164.761 * * [simplify]: iteration 3 : 28 enodes (cost 8 ) 164.765 * * [simplify]: iteration done : 28 enodes (cost 8 ) 164.766 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.767 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 164.769 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 164.772 * * [simplify]: iteration 3 : 28 enodes (cost 8 ) 164.776 * * [simplify]: iteration done : 28 enodes (cost 8 ) 164.776 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.777 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 164.778 * * [simplify]: iteration done : 11 enodes (cost 9 ) 164.779 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.780 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 164.781 * * [simplify]: iteration done : 11 enodes (cost 9 ) 164.782 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.783 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 164.784 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 164.786 * * [simplify]: iteration done : 15 enodes (cost 5 ) 164.786 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 164.787 * * [simplify]: iteration done : 2 enodes (cost 3 ) 164.787 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.788 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 164.789 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 164.791 * * [simplify]: iteration done : 15 enodes (cost 5 ) 164.792 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 164.792 * * [simplify]: iteration done : 2 enodes (cost 3 ) 164.793 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 164.794 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 164.795 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 164.797 * * [simplify]: iteration done : 15 enodes (cost 15 ) 164.798 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.798 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 164.799 * * [simplify]: iteration done : 10 enodes (cost 8 ) 164.800 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 164.800 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 164.801 * * [simplify]: iteration done : 6 enodes (cost 1 ) 164.801 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.802 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 164.805 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 164.808 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 164.811 * * [simplify]: iteration done : 27 enodes (cost 8 ) 164.812 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.813 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 164.815 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 164.819 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 164.823 * * [simplify]: iteration done : 27 enodes (cost 8 ) 164.823 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 164.828 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 164.831 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 164.834 * * [simplify]: iteration done : 23 enodes (cost 7 ) 164.834 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 164.836 * * [simplify]: iteration 1 : 34 enodes (cost 11 ) 164.842 * * [simplify]: iteration 2 : 94 enodes (cost 11 ) 164.872 * * [simplify]: iteration 3 : 283 enodes (cost 11 ) 165.017 * * [simplify]: iteration 4 : 559 enodes (cost 11 ) 165.406 * * [simplify]: iteration 5 : 1085 enodes (cost 11 ) 166.714 * * [simplify]: iteration 6 : 3210 enodes (cost 11 ) 168.305 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 168.306 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 168.307 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 168.311 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 168.326 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 168.352 * * [simplify]: iteration 4 : 234 enodes (cost 11 ) 168.425 * * [simplify]: iteration 5 : 412 enodes (cost 11 ) 168.582 * * [simplify]: iteration 6 : 641 enodes (cost 11 ) 168.906 * * [simplify]: iteration 7 : 1124 enodes (cost 11 ) 170.978 * * [simplify]: iteration 8 : 4061 enodes (cost 11 ) 173.414 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 173.415 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 173.417 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 173.422 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 173.428 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 173.434 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 173.447 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 173.458 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 173.482 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 173.578 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 174.483 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 176.930 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 176.931 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 176.933 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 176.937 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 176.943 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 176.950 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 176.962 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 176.973 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 176.996 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 177.091 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 178.003 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 180.446 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 180.447 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 180.448 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 180.453 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 180.459 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 180.466 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 180.478 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 180.490 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 180.513 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 180.610 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 181.523 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 183.989 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 183.990 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 183.991 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 183.992 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 183.993 * * [simplify]: iteration 3 : 21 enodes (cost 3 ) 183.994 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 183.996 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 183.999 * * [simplify]: iteration 6 : 59 enodes (cost 3 ) 184.008 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 184.054 * * [simplify]: iteration 8 : 332 enodes (cost 3 ) 184.486 * * [simplify]: iteration 9 : 1245 enodes (cost 3 ) 187.067 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 187.068 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 187.068 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 187.069 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 187.070 * * [simplify]: iteration 3 : 21 enodes (cost 3 ) 187.071 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 187.073 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 187.076 * * [simplify]: iteration 6 : 59 enodes (cost 3 ) 187.085 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 187.134 * * [simplify]: iteration 8 : 332 enodes (cost 3 ) 187.580 * * [simplify]: iteration 9 : 1245 enodes (cost 3 ) 190.010 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 190.010 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 190.011 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 190.012 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 190.013 * * [simplify]: iteration 3 : 21 enodes (cost 3 ) 190.014 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 190.016 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 190.019 * * [simplify]: iteration 6 : 59 enodes (cost 3 ) 190.028 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 190.076 * * [simplify]: iteration 8 : 332 enodes (cost 3 ) 190.517 * * [simplify]: iteration 9 : 1245 enodes (cost 3 ) 192.923 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 192.924 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 192.925 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 192.928 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 192.932 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 192.942 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 192.947 * * [simplify]: iteration 5 : 60 enodes (cost 7 ) 192.953 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 192.966 * * [simplify]: iteration 7 : 147 enodes (cost 7 ) 193.017 * * [simplify]: iteration 8 : 363 enodes (cost 7 ) 193.453 * * [simplify]: iteration 9 : 1270 enodes (cost 7 ) 195.847 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 195.848 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 195.849 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 195.853 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 195.857 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 195.861 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 195.865 * * [simplify]: iteration 5 : 60 enodes (cost 7 ) 195.872 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 195.889 * * [simplify]: iteration 7 : 147 enodes (cost 7 ) 195.940 * * [simplify]: iteration 8 : 363 enodes (cost 7 ) 196.380 * * [simplify]: iteration 9 : 1270 enodes (cost 7 ) 198.789 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 198.790 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 198.791 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 198.794 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 198.798 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 198.802 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 198.807 * * [simplify]: iteration 5 : 60 enodes (cost 7 ) 198.813 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 198.825 * * [simplify]: iteration 7 : 147 enodes (cost 7 ) 198.877 * * [simplify]: iteration 8 : 363 enodes (cost 7 ) 199.325 * * [simplify]: iteration 9 : 1270 enodes (cost 7 ) 201.721 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 201.722 * [simplify]: Simplified to: (exp (+ (* b (+ (* 2 a) b)) (pow a 2))) (log (+ (* b (+ (* 2 a) b)) (pow a 2))) (exp (+ (* b (+ (* 2 a) b)) (pow a 2))) (* (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2)))) (cbrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (pow (+ (* b (+ (* 2 a) b)) (pow a 2)) 3) (sqrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (sqrt (+ (* b (+ (* 2 a) b)) (pow a 2))) (+ (pow a 6) (pow (* b (+ (* 2 a) b)) 3)) (- (pow a 4) (* (* b (+ (* 2 a) b)) (- (pow a 2) (* b (+ (* 2 a) b))))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b b) (pow a 2)) (+ (* b b) (pow a 2)) (* (log a) 2) (* (log a) 2) 2 (pow a (* (cbrt 2) (cbrt 2))) (pow a (sqrt 2)) a (* a (cbrt a)) (pow (cbrt a) 2) a a 1 (pow a 2) (log (pow a 2)) (exp (pow a 2)) (* (cbrt (pow a 2)) (cbrt (pow a 2))) (cbrt (pow a 2)) (pow a 6) (fabs a) (fabs a) a a (* b (+ (* 2 a) b)) (+ (log b) (log (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* b (* 2 a)) (* b b) (* (* 2 a) b) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) b (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* (- (* 4 (* a a)) (* b b)) b) (+ (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b (+ (* 2 a) b)) (pow a 2)) (+ (* b (+ (* 2 a) b)) (pow a 2)) (pow a 2) (pow a 2) (pow a 2) (* b (+ b (* 2 a))) (* b (+ b (* 2 a))) (* b (+ b (* 2 a))) 201.722 * * * [progress]: adding candidates to table 201.806 * [progress]: [Phase 3 of 3] Extracting. 201.806 * * [regime]: Finding splitpoints for: (# #) 201.807 * * * [regime-changes]: Trying 4 branch expressions: ((+ a b) (* (+ a b) (+ a b)) b a) 201.807 * * * * [regimes]: Trying to branch on (+ a b) from (# #) 201.839 * * * * [regimes]: Trying to branch on (* (+ a b) (+ a b)) from (# #) 201.874 * * * * [regimes]: Trying to branch on b from (# #) 201.907 * * * * [regimes]: Trying to branch on a from (# #) 201.942 * * * [regime]: Found split indices: #