271.856 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.016 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.017 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.019 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 0.021 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 0.023 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 0.025 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 0.027 * * [simplify]: iteration done : 21 enodes (cost 9 ) 0.027 * [simplify]: Simplified to: (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.029 * * * * [pick]: Picked # 0.029 * * * [progress]: localizing error 0.041 * * * [progress]: generating rewritten candidates 0.041 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.048 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.058 * * * [progress]: generating series expansions 0.058 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.058 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.060 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.060 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.060 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.060 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.061 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.061 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.061 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.061 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.061 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.061 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.061 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.061 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.062 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in (x) around 0 0.062 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in x 0.062 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.062 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.062 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in x 0.062 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.062 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.063 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.063 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.063 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.063 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.063 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.065 * * * [progress]: simplifying candidates 0.066 * [simplify]: Simplifying using # : (* (/ 841.0 108.0) x) (+ (- (log 841.0) (log 108.0)) (log x)) (+ (log (/ 841.0 108.0)) (log x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (* (/ (* (* 841.0 841.0) 841.0) (* (* 108.0 108.0) 108.0)) (* (* x x) x)) (* (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (/ 841.0 108.0)) (* (* x x) x)) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (* (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (* (/ 841.0 108.0) 1) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (* (/ 1 108.0) x) (* 841.0 x) (* (exp (* (/ 841.0 108.0) x)) (exp (/ 4.0 29.0))) (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (* (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3)) (+ (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 0.066 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.067 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.068 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 0.069 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 0.070 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 0.072 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 0.074 * * [simplify]: iteration done : 16 enodes (cost 5 ) 0.074 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.075 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.076 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 0.079 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 0.084 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 0.089 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 0.094 * * [simplify]: iteration 6 : 55 enodes (cost 8 ) 0.101 * * [simplify]: iteration 7 : 72 enodes (cost 8 ) 0.119 * * [simplify]: iteration 8 : 91 enodes (cost 8 ) 0.129 * * [simplify]: iteration 9 : 99 enodes (cost 8 ) 0.141 * * [simplify]: iteration done : 99 enodes (cost 8 ) 0.142 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.142 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.144 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.145 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.149 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 0.154 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 0.159 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 0.168 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 0.175 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 0.188 * * [simplify]: iteration 9 : 95 enodes (cost 7 ) 0.199 * * [simplify]: iteration 10 : 103 enodes (cost 7 ) 0.211 * * [simplify]: iteration done : 103 enodes (cost 7 ) 0.212 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.213 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.214 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 0.216 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 0.224 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 0.230 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 0.239 * * [simplify]: iteration 6 : 76 enodes (cost 6 ) 0.247 * * [simplify]: iteration 7 : 88 enodes (cost 6 ) 0.259 * * [simplify]: iteration 8 : 111 enodes (cost 6 ) 0.272 * * [simplify]: iteration 9 : 123 enodes (cost 6 ) 0.290 * * [simplify]: iteration 10 : 139 enodes (cost 6 ) 0.305 * * [simplify]: iteration 11 : 141 enodes (cost 6 ) 0.319 * * [simplify]: iteration done : 141 enodes (cost 6 ) 0.320 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.321 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.322 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.324 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 0.328 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 0.340 * * [simplify]: iteration 5 : 123 enodes (cost 6 ) 0.380 * * [simplify]: iteration 6 : 292 enodes (cost 6 ) 0.564 * * [simplify]: iteration 7 : 829 enodes (cost 6 ) 1.856 * * [simplify]: iteration 8 : 3101 enodes (cost 6 ) 3.212 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.212 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 3.214 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 3.219 * * [simplify]: iteration 2 : 103 enodes (cost 11 ) 3.262 * * [simplify]: iteration 3 : 453 enodes (cost 9 ) 3.757 * * [simplify]: iteration 4 : 1796 enodes (cost 9 ) 7.562 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 7.563 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 7.565 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 7.569 * * [simplify]: iteration 2 : 71 enodes (cost 9 ) 7.592 * * [simplify]: iteration 3 : 229 enodes (cost 9 ) 7.743 * * [simplify]: iteration 4 : 802 enodes (cost 7 ) 9.096 * * [simplify]: iteration 5 : 2670 enodes (cost 7 ) 12.363 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 12.364 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 12.365 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 12.366 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 12.367 * * [simplify]: iteration 3 : 15 enodes (cost 13 ) 12.369 * * [simplify]: iteration 4 : 17 enodes (cost 13 ) 12.371 * * [simplify]: iteration 5 : 18 enodes (cost 13 ) 12.373 * * [simplify]: iteration done : 18 enodes (cost 13 ) 12.374 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.374 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 12.375 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 12.377 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 12.378 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 12.380 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 12.382 * * [simplify]: iteration done : 17 enodes (cost 6 ) 12.382 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 12.383 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 12.387 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 12.421 * * [simplify]: iteration 3 : 291 enodes (cost 7 ) 12.655 * * [simplify]: iteration 4 : 843 enodes (cost 7 ) 13.835 * * [simplify]: iteration 5 : 2332 enodes (cost 7 ) 19.708 * * [simplify]: iteration 6 : 4989 enodes (cost 7 ) 20.305 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 20.306 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.306 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.307 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.309 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.310 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.312 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.314 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.314 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.315 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.316 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.317 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.319 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.320 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.322 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.323 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.324 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 20.324 * * [simplify]: iteration done : 8 enodes (cost 7 ) 20.325 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.326 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 20.326 * * [simplify]: iteration done : 8 enodes (cost 7 ) 20.327 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.328 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 20.329 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 20.330 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 20.332 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 20.334 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 20.336 * * [simplify]: iteration done : 19 enodes (cost 8 ) 20.336 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.337 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 20.338 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 20.340 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 20.342 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 20.344 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 20.345 * * [simplify]: iteration done : 19 enodes (cost 8 ) 20.346 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 20.352 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 20.354 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 20.357 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 20.361 * * [simplify]: iteration 4 : 37 enodes (cost 9 ) 20.366 * * [simplify]: iteration 5 : 43 enodes (cost 9 ) 20.372 * * [simplify]: iteration 6 : 48 enodes (cost 9 ) 20.379 * * [simplify]: iteration done : 48 enodes (cost 9 ) 20.380 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.380 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.381 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.382 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.384 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.386 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.388 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.388 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.389 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 20.390 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 20.391 * * [simplify]: iteration done : 20 enodes (cost 3 ) 20.392 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.393 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 20.393 * * [simplify]: iteration done : 7 enodes (cost 6 ) 20.394 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.394 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 20.395 * * [simplify]: iteration done : 7 enodes (cost 6 ) 20.396 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.396 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.397 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 20.399 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 20.400 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 20.402 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 20.404 * * [simplify]: iteration done : 18 enodes (cost 7 ) 20.405 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.406 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.407 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 20.408 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 20.412 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 20.414 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 20.416 * * [simplify]: iteration done : 18 enodes (cost 7 ) 20.417 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.417 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.418 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.420 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.421 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.423 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.425 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.425 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.426 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.427 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 20.428 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 20.430 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 20.432 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 20.434 * * [simplify]: iteration done : 18 enodes (cost 7 ) 20.435 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.435 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.436 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 20.438 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 20.439 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 20.441 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 20.443 * * [simplify]: iteration done : 18 enodes (cost 7 ) 20.444 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.445 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.446 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.447 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.448 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.450 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.452 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.453 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.453 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.454 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.456 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.458 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.460 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.461 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.462 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.463 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.464 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.465 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 20.467 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 20.469 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 20.471 * * [simplify]: iteration done : 17 enodes (cost 6 ) 20.471 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.473 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 20.474 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 20.475 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 20.477 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 20.478 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 20.480 * * [simplify]: iteration done : 16 enodes (cost 5 ) 20.481 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.481 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 20.482 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 20.484 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 20.485 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 20.487 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 20.488 * * [simplify]: iteration done : 16 enodes (cost 5 ) 20.489 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.490 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 20.491 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 20.492 * * [simplify]: iteration done : 13 enodes (cost 3 ) 20.492 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.493 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 20.499 * * [simplify]: iteration done : 4 enodes (cost 3 ) 20.499 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 20.500 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 20.503 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 20.506 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 20.512 * * [simplify]: iteration 4 : 82 enodes (cost 10 ) 20.527 * * [simplify]: iteration 5 : 179 enodes (cost 10 ) 20.599 * * [simplify]: iteration 6 : 453 enodes (cost 10 ) 20.963 * * [simplify]: iteration 7 : 1377 enodes (cost 10 ) 23.221 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 23.221 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 23.223 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 23.224 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 23.226 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 23.228 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 23.231 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 23.233 * * [simplify]: iteration done : 22 enodes (cost 10 ) 23.234 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 23.235 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 23.237 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 23.240 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 23.244 * * [simplify]: iteration 4 : 56 enodes (cost 10 ) 23.253 * * [simplify]: iteration 5 : 120 enodes (cost 10 ) 23.278 * * [simplify]: iteration 6 : 270 enodes (cost 10 ) 23.417 * * [simplify]: iteration 7 : 710 enodes (cost 10 ) 24.364 * * [simplify]: iteration 8 : 2656 enodes (cost 10 ) 25.968 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 25.969 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 25.970 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 25.972 * * [simplify]: iteration 2 : 18 enodes (cost 21 ) 25.974 * * [simplify]: iteration 3 : 20 enodes (cost 21 ) 25.976 * * [simplify]: iteration 4 : 22 enodes (cost 21 ) 25.979 * * [simplify]: iteration 5 : 23 enodes (cost 21 ) 25.981 * * [simplify]: iteration done : 23 enodes (cost 21 ) 25.982 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 25.983 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 25.984 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 25.986 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 25.988 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 25.990 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 25.993 * * [simplify]: iteration done : 22 enodes (cost 10 ) 25.993 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 25.995 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 26.000 * * [simplify]: iteration 2 : 95 enodes (cost 11 ) 26.030 * * [simplify]: iteration 3 : 378 enodes (cost 11 ) 26.223 * * [simplify]: iteration 4 : 1349 enodes (cost 11 ) 27.537 * * [simplify]: iteration 5 : 4272 enodes (cost 11 ) 28.732 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 28.732 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 28.733 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 28.735 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 28.737 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 28.739 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 28.741 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 28.744 * * [simplify]: iteration done : 22 enodes (cost 10 ) 28.744 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 28.745 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 28.747 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 28.749 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 28.751 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 28.753 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 28.755 * * [simplify]: iteration done : 22 enodes (cost 10 ) 28.756 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 28.757 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 28.759 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 28.762 * * [simplify]: iteration done : 21 enodes (cost 9 ) 28.762 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.763 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 28.763 * * [simplify]: iteration done : 4 enodes (cost 3 ) 28.764 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 28.768 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 28.774 * * [simplify]: iteration 2 : 107 enodes (cost 13 ) 28.802 * * [simplify]: iteration 3 : 358 enodes (cost 13 ) 29.015 * * [simplify]: iteration 4 : 1148 enodes (cost 13 ) 30.455 * * [simplify]: iteration 5 : 4096 enodes (cost 13 ) 31.676 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 31.677 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 31.679 * * [simplify]: iteration 1 : 39 enodes (cost 25 ) 31.686 * * [simplify]: iteration 2 : 119 enodes (cost 25 ) 31.714 * * [simplify]: iteration 3 : 320 enodes (cost 23 ) 31.835 * * [simplify]: iteration 4 : 773 enodes (cost 23 ) 32.440 * * [simplify]: iteration 5 : 1697 enodes (cost 23 ) 34.896 * * [simplify]: iteration 6 : 3369 enodes (cost 23 ) 38.839 * * [simplify]: iteration 7 : 4822 enodes (cost 23 ) 39.802 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 39.803 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 39.804 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 39.809 * * [simplify]: iteration 2 : 75 enodes (cost 19 ) 39.824 * * [simplify]: iteration 3 : 166 enodes (cost 19 ) 39.869 * * [simplify]: iteration 4 : 363 enodes (cost 19 ) 39.984 * * [simplify]: iteration 5 : 703 enodes (cost 19 ) 40.247 * * [simplify]: iteration 6 : 1064 enodes (cost 19 ) 40.681 * * [simplify]: iteration 7 : 1647 enodes (cost 19 ) 42.158 * * [simplify]: iteration 8 : 3904 enodes (cost 19 ) 44.294 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 44.295 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 44.296 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 44.297 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 44.299 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 44.305 * * [simplify]: iteration 4 : 24 enodes (cost 9 ) 44.308 * * [simplify]: iteration 5 : 25 enodes (cost 9 ) 44.311 * * [simplify]: iteration done : 25 enodes (cost 9 ) 44.312 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.312 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 44.312 * * [simplify]: iteration done : 4 enodes (cost 3 ) 44.313 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.313 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 44.314 * * [simplify]: iteration done : 4 enodes (cost 3 ) 44.314 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.315 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 44.315 * * [simplify]: iteration done : 4 enodes (cost 3 ) 44.316 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.316 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 44.317 * * [simplify]: iteration done : 7 enodes (cost 5 ) 44.317 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.318 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 44.319 * * [simplify]: iteration done : 7 enodes (cost 5 ) 44.319 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.320 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 44.321 * * [simplify]: iteration done : 7 enodes (cost 5 ) 44.321 * [simplify]: Simplified to: (* (/ 841.0 108.0) x) (+ (- (log 841.0) (log 108.0)) (log x)) (+ (log (/ 841.0 108.0)) (log x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (* (pow x 3) (pow (/ 841.0 108.0) 3)) (pow (* (/ 841.0 108.0) x) 3) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (pow (* (/ 841.0 108.0) x) 3) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (/ 841.0 108.0) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (/ x 108.0) (* 841.0 x) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (pow (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 3) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (- (/ 4.0 29.0) (* (/ 841.0 108.0) x)))) (* (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 44.321 * * * [progress]: adding candidates to table 44.409 * * [progress]: iteration 2 / 4 44.409 * * * [progress]: picking best candidate 44.412 * * * * [pick]: Picked # 44.412 * * * [progress]: localizing error 44.422 * * * [progress]: generating rewritten candidates 44.422 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 44.436 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 44.453 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 44.461 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 44.487 * * * [progress]: generating series expansions 44.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 44.487 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 44.488 * [approximate]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in (x) around 0 44.488 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x 44.488 * [taylor]: Taking taylor expansion of x in x 44.488 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.488 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.488 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.488 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x 44.488 * [taylor]: Taking taylor expansion of x in x 44.488 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.488 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.488 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.492 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in (x) around 0 44.492 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.492 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.492 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.492 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.492 * [taylor]: Taking taylor expansion of x in x 44.492 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.492 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.492 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.492 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.492 * [taylor]: Taking taylor expansion of x in x 44.499 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in (x) around 0 44.499 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in x 44.499 * [taylor]: Taking taylor expansion of -1 in x 44.499 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.499 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.499 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.499 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.499 * [taylor]: Taking taylor expansion of x in x 44.500 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in x 44.500 * [taylor]: Taking taylor expansion of -1 in x 44.500 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.500 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.500 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.500 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.500 * [taylor]: Taking taylor expansion of x in x 44.503 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 44.503 * [approximate]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in (x) around 0 44.503 * [taylor]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in x 44.503 * [taylor]: Taking taylor expansion of x in x 44.503 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.503 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.503 * [taylor]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in x 44.503 * [taylor]: Taking taylor expansion of x in x 44.503 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.503 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.504 * [approximate]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in (x) around 0 44.504 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x 44.504 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.504 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.504 * [taylor]: Taking taylor expansion of x in x 44.504 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x 44.504 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.504 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.504 * [taylor]: Taking taylor expansion of x in x 44.506 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in (x) around 0 44.506 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in x 44.506 * [taylor]: Taking taylor expansion of -1 in x 44.506 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x 44.506 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.506 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.506 * [taylor]: Taking taylor expansion of x in x 44.506 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in x 44.506 * [taylor]: Taking taylor expansion of -1 in x 44.506 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x 44.506 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.506 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.506 * [taylor]: Taking taylor expansion of x in x 44.507 * * * * [progress]: [ 4 / 4 ] generating series at (2) 44.508 * [approximate]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in (x) around 0 44.508 * [taylor]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in x 44.508 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x 44.508 * [taylor]: Taking taylor expansion of x in x 44.508 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.508 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.508 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.508 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.508 * [taylor]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in x 44.508 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x 44.508 * [taylor]: Taking taylor expansion of x in x 44.508 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.508 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.508 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.508 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.512 * [approximate]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in (x) around 0 44.512 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in x 44.512 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.512 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.512 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.512 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.512 * [taylor]: Taking taylor expansion of x in x 44.512 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.512 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in x 44.512 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.512 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.512 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.512 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.512 * [taylor]: Taking taylor expansion of x in x 44.513 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.516 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in (x) around 0 44.516 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in x 44.516 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.516 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.516 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.516 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.516 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.516 * [taylor]: Taking taylor expansion of x in x 44.516 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in x 44.516 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 44.516 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x 44.516 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x 44.516 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x 44.516 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 44.516 * [taylor]: Taking taylor expansion of x in x 44.519 * * * [progress]: simplifying candidates 44.522 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (+ 1 1) (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0)))) (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (exp (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (sqrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (sqrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)) (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ (cbrt 841.0) (cbrt 108.0)))) (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0)))) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ (cbrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1))) (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ (cbrt 841.0) 108.0))) (* (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ (sqrt 841.0) (cbrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) 1)) (cbrt (/ (sqrt 841.0) 1))) (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ (sqrt 841.0) 108.0))) (* (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 (cbrt 108.0)))) (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0)))) (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 (sqrt 108.0)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 1 108.0)) (cbrt (/ 1 108.0))) (* (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* 1 1) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* 2 1/3) (* 2 1) (* (cbrt (/ 841.0 108.0)) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) 1))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (sqrt 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 1))) (* (cbrt (/ 841.0 108.0)) (cbrt 1)) (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))) (* (cbrt (/ 841.0 108.0)) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) 1) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 1 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (+ (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0)))) (+ (log (cbrt (/ 841.0 108.0))) (log x))) (+ (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0)))) (log (* (cbrt (/ 841.0 108.0)) x))) (+ (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (+ (log (cbrt (/ 841.0 108.0))) (log x))) (+ (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (log (* (cbrt (/ 841.0 108.0)) x))) (log (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (exp (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (/ 841.0 108.0) (* (* x x) x))) (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x))) (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (/ 841.0 108.0) (* (* x x) x))) (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x))) (* (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))) (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (sqrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (sqrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 841.0) x)) (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0)) (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x)) (* (cbrt 108.0) (cbrt 108.0)) (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) (* (cbrt 108.0) (cbrt 108.0)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x) (+ (log (cbrt (/ 841.0 108.0))) (log x)) (log (* (cbrt (/ 841.0 108.0)) x)) (exp (* (cbrt (/ 841.0 108.0)) x)) (* (/ 841.0 108.0) (* (* x x) x)) (* (cbrt (* (cbrt (/ 841.0 108.0)) x)) (cbrt (* (cbrt (/ 841.0 108.0)) x))) (cbrt (* (cbrt (/ 841.0 108.0)) x)) (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x)) (sqrt (* (cbrt (/ 841.0 108.0)) x)) (sqrt (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x)) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x)) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x)) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (/ 841.0 108.0)) (* (cbrt x) (cbrt x))) (* (cbrt (/ 841.0 108.0)) (sqrt x)) (* (cbrt (/ 841.0 108.0)) 1) (* (cbrt (cbrt (/ 841.0 108.0))) x) (* (cbrt (sqrt (/ 841.0 108.0))) x) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) x) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) x) (* (cbrt (/ (cbrt 841.0) 108.0)) x) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) x) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) x) (* (cbrt (/ (sqrt 841.0) 108.0)) x) (* (cbrt (/ 841.0 (cbrt 108.0))) x) (* (cbrt (/ 841.0 (sqrt 108.0))) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 1 108.0)) x) (* (cbrt (cbrt (/ 841.0 108.0))) x) (* (sqrt (cbrt (/ 841.0 108.0))) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt 841.0) x) (* (exp (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (exp (/ 4.0 29.0))) (log (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (exp (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (* (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))) (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (* (* (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (sqrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (sqrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (+ (* (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 841.0) x)) 29.0) (* (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0)) 4.0)) (* (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (pow (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 3) (pow (/ 4.0 29.0) 3)) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))) (- (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)) (* (cbrt (/ 841.0 108.0)) x) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (* x (cbrt 7.787037037037037)) (* x (cbrt 7.787037037037037)) (* x (cbrt 7.787037037037037)) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 44.523 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 44.523 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 44.524 * * [simplify]: iteration done : 5 enodes (cost 1 ) 44.524 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 44.524 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 44.525 * * [simplify]: iteration done : 6 enodes (cost 1 ) 44.525 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 44.526 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.527 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 44.528 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 44.531 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 44.534 * * [simplify]: iteration done : 26 enodes (cost 7 ) 44.535 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 44.535 * * [simplify]: iteration done : 5 enodes (cost 9 ) 44.536 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 44.536 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 44.536 * * [simplify]: iteration done : 6 enodes (cost 1 ) 44.537 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 44.537 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 44.538 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 44.539 * * [simplify]: iteration done : 9 enodes (cost 7 ) 44.540 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 44.540 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 44.541 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 44.542 * * [simplify]: iteration 3 : 11 enodes (cost 7 ) 44.543 * * [simplify]: iteration done : 11 enodes (cost 7 ) 44.544 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 44.545 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 44.545 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 44.547 * * [simplify]: iteration 3 : 17 enodes (cost 10 ) 44.549 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 44.554 * * [simplify]: iteration 5 : 75 enodes (cost 10 ) 44.578 * * [simplify]: iteration 6 : 181 enodes (cost 10 ) 44.674 * * [simplify]: iteration 7 : 552 enodes (cost 10 ) 45.581 * * [simplify]: iteration 8 : 2249 enodes (cost 10 ) 47.761 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 47.761 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 47.762 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 47.763 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 47.764 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 47.767 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 47.770 * * [simplify]: iteration done : 26 enodes (cost 7 ) 47.770 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 47.771 * * [simplify]: iteration done : 7 enodes (cost 21 ) 47.772 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 47.772 * * [simplify]: iteration done : 6 enodes (cost 10 ) 47.773 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 47.774 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 47.776 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 47.780 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 47.792 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 47.813 * * [simplify]: iteration 5 : 195 enodes (cost 6 ) 47.883 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 48.397 * * [simplify]: iteration 7 : 1764 enodes (cost 6 ) 50.417 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 50.417 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 50.418 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 50.419 * * [simplify]: iteration done : 7 enodes (cost 5 ) 50.419 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 50.420 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 50.421 * * [simplify]: iteration done : 7 enodes (cost 5 ) 50.421 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 50.422 * * [simplify]: iteration done : 3 enodes (cost 5 ) 50.422 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 50.422 * * [simplify]: iteration done : 3 enodes (cost 5 ) 50.423 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 50.424 * * [simplify]: iteration done : 7 enodes (cost 21 ) 50.424 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.425 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.425 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.426 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.427 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.427 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.428 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 50.429 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 50.431 * * [simplify]: iteration 2 : 24 enodes (cost 25 ) 50.434 * * [simplify]: iteration 3 : 30 enodes (cost 25 ) 50.437 * * [simplify]: iteration done : 30 enodes (cost 25 ) 50.438 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 50.439 * * [simplify]: iteration done : 7 enodes (cost 13 ) 50.444 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 50.445 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 50.447 * * [simplify]: iteration 2 : 12 enodes (cost 19 ) 50.448 * * [simplify]: iteration 3 : 13 enodes (cost 19 ) 50.449 * * [simplify]: iteration done : 13 enodes (cost 19 ) 50.450 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 50.451 * * [simplify]: iteration done : 7 enodes (cost 13 ) 50.451 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 50.452 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 50.453 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 50.455 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 50.457 * * [simplify]: iteration done : 22 enodes (cost 13 ) 50.457 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.458 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.459 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 50.459 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 50.460 * * [simplify]: iteration done : 10 enodes (cost 19 ) 50.461 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 50.462 * * [simplify]: iteration done : 7 enodes (cost 13 ) 50.462 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 50.463 * * [simplify]: iteration done : 7 enodes (cost 13 ) 50.463 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 50.464 * * [simplify]: iteration done : 7 enodes (cost 13 ) 50.465 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.465 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 50.466 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 50.467 * * [simplify]: iteration done : 10 enodes (cost 7 ) 50.467 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.468 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.468 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 50.469 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 50.470 * * [simplify]: iteration done : 11 enodes (cost 17 ) 50.471 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.471 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.472 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.473 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 50.473 * * [simplify]: iteration done : 8 enodes (cost 11 ) 50.474 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 50.475 * * [simplify]: iteration done : 6 enodes (cost 11 ) 50.475 * * [simplify]: iteration 0 : 4 enodes (cost 9 ) 50.476 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 50.476 * * [simplify]: iteration done : 6 enodes (cost 1 ) 50.477 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 50.477 * * [simplify]: iteration done : 5 enodes (cost 9 ) 50.478 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 50.478 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 50.479 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.479 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 50.480 * * [simplify]: iteration done : 5 enodes (cost 9 ) 50.480 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 50.481 * * [simplify]: iteration done : 3 enodes (cost 5 ) 50.481 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 50.482 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 50.482 * * [simplify]: iteration done : 7 enodes (cost 9 ) 50.483 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 50.484 * * [simplify]: iteration 1 : 11 enodes (cost 23 ) 50.485 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 50.487 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 50.490 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 50.494 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 50.506 * * [simplify]: iteration 6 : 137 enodes (cost 7 ) 50.552 * * [simplify]: iteration 7 : 361 enodes (cost 7 ) 50.903 * * [simplify]: iteration 8 : 1276 enodes (cost 7 ) 52.757 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 52.758 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.758 * * [simplify]: iteration done : 6 enodes (cost 11 ) 52.759 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.760 * * [simplify]: iteration done : 6 enodes (cost 4 ) 52.760 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.761 * * [simplify]: iteration done : 6 enodes (cost 4 ) 52.761 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 52.762 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 52.762 * * [simplify]: iteration done : 4 enodes (cost 1 ) 52.763 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 52.763 * * [simplify]: iteration done : 5 enodes (cost 9 ) 52.764 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.764 * * [simplify]: iteration done : 6 enodes (cost 11 ) 52.765 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.766 * * [simplify]: iteration done : 6 enodes (cost 11 ) 52.766 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.767 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.768 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.769 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.770 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.771 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.771 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 52.772 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 52.776 * * [simplify]: iteration done : 9 enodes (cost 11 ) 52.777 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 52.777 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 52.778 * * [simplify]: iteration done : 9 enodes (cost 11 ) 52.779 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.780 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.781 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.782 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.783 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.783 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.784 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 52.785 * * [simplify]: iteration done : 7 enodes (cost 13 ) 52.785 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 52.786 * * [simplify]: iteration done : 7 enodes (cost 13 ) 52.787 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.787 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.788 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.789 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.790 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.791 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.791 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 52.792 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 52.793 * * [simplify]: iteration done : 9 enodes (cost 11 ) 52.794 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 52.795 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 52.795 * * [simplify]: iteration done : 9 enodes (cost 11 ) 52.796 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.797 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.798 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.798 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 52.799 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 52.800 * * [simplify]: iteration done : 11 enodes (cost 12 ) 52.801 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.802 * * [simplify]: iteration done : 6 enodes (cost 4 ) 52.802 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 52.803 * * [simplify]: iteration done : 6 enodes (cost 4 ) 52.803 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 52.804 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 52.804 * * [simplify]: iteration done : 5 enodes (cost 1 ) 52.805 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 52.805 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 52.805 * * [simplify]: iteration done : 6 enodes (cost 1 ) 52.806 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 52.807 * * [simplify]: iteration 1 : 8 enodes (cost 15 ) 52.808 * * [simplify]: iteration done : 8 enodes (cost 15 ) 52.808 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 52.809 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 52.810 * * [simplify]: iteration done : 8 enodes (cost 10 ) 52.810 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 52.811 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 52.814 * * [simplify]: iteration 2 : 27 enodes (cost 17 ) 52.817 * * [simplify]: iteration 3 : 33 enodes (cost 17 ) 52.821 * * [simplify]: iteration done : 33 enodes (cost 17 ) 52.821 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.822 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 52.824 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 52.825 * * [simplify]: iteration 3 : 16 enodes (cost 14 ) 52.827 * * [simplify]: iteration done : 16 enodes (cost 14 ) 52.827 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 52.828 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 52.830 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 52.832 * * [simplify]: iteration 3 : 26 enodes (cost 11 ) 52.834 * * [simplify]: iteration done : 26 enodes (cost 11 ) 52.835 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 52.836 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 52.837 * * [simplify]: iteration done : 13 enodes (cost 14 ) 52.837 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.838 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 52.839 * * [simplify]: iteration done : 10 enodes (cost 11 ) 52.840 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.841 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 52.842 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 52.845 * * [simplify]: iteration done : 14 enodes (cost 8 ) 52.846 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 52.847 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 52.848 * * [simplify]: iteration done : 15 enodes (cost 13 ) 52.849 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.850 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 52.851 * * [simplify]: iteration done : 12 enodes (cost 10 ) 52.851 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 52.852 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 52.853 * * [simplify]: iteration done : 11 enodes (cost 6 ) 52.854 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 52.854 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 52.855 * * [simplify]: iteration done : 10 enodes (cost 6 ) 52.856 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.856 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 52.857 * * [simplify]: iteration done : 7 enodes (cost 7 ) 52.857 * * [simplify]: iteration 0 : 7 enodes (cost 16 ) 52.858 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 52.859 * * [simplify]: iteration 2 : 12 enodes (cost 16 ) 52.861 * * [simplify]: iteration done : 12 enodes (cost 16 ) 52.861 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 52.862 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 52.863 * * [simplify]: iteration done : 7 enodes (cost 10 ) 52.864 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 52.865 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 52.865 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 52.866 * * [simplify]: iteration done : 12 enodes (cost 4 ) 52.867 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 52.867 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 52.868 * * [simplify]: iteration done : 7 enodes (cost 10 ) 52.869 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 52.869 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 52.870 * * [simplify]: iteration done : 8 enodes (cost 10 ) 52.871 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.871 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 52.872 * * [simplify]: iteration done : 10 enodes (cost 11 ) 52.873 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.874 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 52.875 * * [simplify]: iteration done : 10 enodes (cost 11 ) 52.875 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 52.876 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 52.877 * * [simplify]: iteration done : 9 enodes (cost 10 ) 52.877 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.878 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 52.879 * * [simplify]: iteration done : 10 enodes (cost 11 ) 52.880 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.881 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 52.881 * * [simplify]: iteration done : 10 enodes (cost 11 ) 52.882 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 52.883 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 52.884 * * [simplify]: iteration done : 9 enodes (cost 10 ) 52.884 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 52.885 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 52.886 * * [simplify]: iteration done : 9 enodes (cost 10 ) 52.887 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 52.887 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 52.888 * * [simplify]: iteration done : 9 enodes (cost 10 ) 52.889 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 52.889 * * [simplify]: iteration done : 5 enodes (cost 9 ) 52.890 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 52.891 * * [simplify]: iteration done : 5 enodes (cost 9 ) 52.891 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 52.892 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 52.893 * * [simplify]: iteration done : 11 enodes (cost 9 ) 52.894 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 52.894 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 52.895 * * [simplify]: iteration done : 7 enodes (cost 10 ) 52.895 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 52.896 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 52.897 * * [simplify]: iteration done : 7 enodes (cost 10 ) 52.897 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 52.898 * * [simplify]: iteration done : 5 enodes (cost 9 ) 52.898 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.899 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 52.900 * * [simplify]: iteration done : 7 enodes (cost 7 ) 52.900 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.901 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 52.901 * * [simplify]: iteration done : 7 enodes (cost 7 ) 52.902 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 52.903 * * [simplify]: iteration 1 : 14 enodes (cost 16 ) 52.905 * * [simplify]: iteration 2 : 22 enodes (cost 16 ) 52.908 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 52.911 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 52.919 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 52.925 * * [simplify]: iteration 6 : 66 enodes (cost 5 ) 52.936 * * [simplify]: iteration 7 : 115 enodes (cost 5 ) 52.972 * * [simplify]: iteration 8 : 262 enodes (cost 5 ) 53.173 * * [simplify]: iteration 9 : 787 enodes (cost 5 ) 55.335 * * [simplify]: iteration 10 : 3078 enodes (cost 5 ) 58.263 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 58.263 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 58.264 * * [simplify]: iteration 1 : 14 enodes (cost 16 ) 58.266 * * [simplify]: iteration 2 : 22 enodes (cost 16 ) 58.269 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 58.273 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 58.277 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 58.283 * * [simplify]: iteration 6 : 66 enodes (cost 5 ) 58.298 * * [simplify]: iteration 7 : 115 enodes (cost 5 ) 58.332 * * [simplify]: iteration 8 : 262 enodes (cost 5 ) 58.534 * * [simplify]: iteration 9 : 787 enodes (cost 5 ) 60.701 * * [simplify]: iteration 10 : 3078 enodes (cost 5 ) 63.626 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 63.627 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 63.628 * * [simplify]: iteration 1 : 14 enodes (cost 16 ) 63.630 * * [simplify]: iteration 2 : 22 enodes (cost 16 ) 63.633 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 63.636 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 63.641 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 63.646 * * [simplify]: iteration 6 : 66 enodes (cost 5 ) 63.658 * * [simplify]: iteration 7 : 115 enodes (cost 5 ) 63.695 * * [simplify]: iteration 8 : 262 enodes (cost 5 ) 63.895 * * [simplify]: iteration 9 : 787 enodes (cost 5 ) 66.058 * * [simplify]: iteration 10 : 3078 enodes (cost 5 ) 69.012 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 69.012 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 69.013 * * [simplify]: iteration 1 : 14 enodes (cost 16 ) 69.015 * * [simplify]: iteration 2 : 22 enodes (cost 16 ) 69.018 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 69.026 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 69.029 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 69.036 * * [simplify]: iteration 6 : 66 enodes (cost 5 ) 69.047 * * [simplify]: iteration 7 : 115 enodes (cost 5 ) 69.083 * * [simplify]: iteration 8 : 262 enodes (cost 5 ) 69.284 * * [simplify]: iteration 9 : 787 enodes (cost 5 ) 71.455 * * [simplify]: iteration 10 : 3078 enodes (cost 5 ) 74.395 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 74.396 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 74.397 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 74.400 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 74.403 * * [simplify]: iteration 3 : 35 enodes (cost 10 ) 74.407 * * [simplify]: iteration done : 35 enodes (cost 10 ) 74.407 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 74.409 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 74.411 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 74.414 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 74.418 * * [simplify]: iteration 4 : 37 enodes (cost 10 ) 74.427 * * [simplify]: iteration done : 37 enodes (cost 10 ) 74.428 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 74.429 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 74.431 * * [simplify]: iteration 2 : 28 enodes (cost 16 ) 74.435 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 74.438 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 74.442 * * [simplify]: iteration done : 36 enodes (cost 10 ) 74.443 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 74.445 * * [simplify]: iteration 1 : 16 enodes (cost 18 ) 74.447 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 74.450 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 74.454 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 74.458 * * [simplify]: iteration done : 41 enodes (cost 10 ) 74.458 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 74.460 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 74.462 * * [simplify]: iteration 2 : 35 enodes (cost 17 ) 74.467 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 74.474 * * [simplify]: iteration 4 : 62 enodes (cost 6 ) 74.482 * * [simplify]: iteration 5 : 84 enodes (cost 6 ) 74.496 * * [simplify]: iteration 6 : 125 enodes (cost 6 ) 74.518 * * [simplify]: iteration 7 : 226 enodes (cost 6 ) 74.588 * * [simplify]: iteration 8 : 495 enodes (cost 6 ) 74.935 * * [simplify]: iteration 9 : 1403 enodes (cost 6 ) 77.654 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 77.655 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 77.656 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 77.658 * * [simplify]: iteration 2 : 35 enodes (cost 17 ) 77.663 * * [simplify]: iteration 3 : 66 enodes (cost 9 ) 77.674 * * [simplify]: iteration 4 : 142 enodes (cost 6 ) 77.701 * * [simplify]: iteration 5 : 343 enodes (cost 6 ) 77.867 * * [simplify]: iteration 6 : 852 enodes (cost 6 ) 78.882 * * [simplify]: iteration 7 : 2516 enodes (cost 6 ) 80.031 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 80.031 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 80.033 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 80.038 * * [simplify]: iteration 2 : 82 enodes (cost 15 ) 80.064 * * [simplify]: iteration 3 : 274 enodes (cost 9 ) 80.292 * * [simplify]: iteration 4 : 941 enodes (cost 9 ) 82.052 * * [simplify]: iteration 5 : 2920 enodes (cost 7 ) 85.861 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 85.861 * * [simplify]: iteration 0 : 10 enodes (cost 28 ) 85.863 * * [simplify]: iteration 1 : 30 enodes (cost 28 ) 85.876 * * [simplify]: iteration 2 : 106 enodes (cost 16 ) 85.921 * * [simplify]: iteration 3 : 466 enodes (cost 16 ) 86.645 * * [simplify]: iteration 4 : 1941 enodes (cost 15 ) 88.801 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 88.802 * * [simplify]: iteration 0 : 12 enodes (cost 39 ) 88.804 * * [simplify]: iteration 1 : 31 enodes (cost 39 ) 88.811 * * [simplify]: iteration 2 : 110 enodes (cost 19 ) 88.878 * * [simplify]: iteration 3 : 476 enodes (cost 14 ) 89.458 * * [simplify]: iteration 4 : 1781 enodes (cost 9 ) 91.212 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 91.212 * * [simplify]: iteration 0 : 12 enodes (cost 50 ) 91.214 * * [simplify]: iteration 1 : 35 enodes (cost 50 ) 91.223 * * [simplify]: iteration 2 : 128 enodes (cost 20 ) 91.297 * * [simplify]: iteration 3 : 501 enodes (cost 14 ) 91.895 * * [simplify]: iteration 4 : 996 enodes (cost 7 ) 95.064 * * [simplify]: iteration 5 : 4466 enodes (cost 7 ) 97.025 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 97.026 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 97.027 * * [simplify]: iteration 1 : 16 enodes (cost 35 ) 97.030 * * [simplify]: iteration 2 : 24 enodes (cost 35 ) 97.033 * * [simplify]: iteration 3 : 27 enodes (cost 19 ) 97.036 * * [simplify]: iteration 4 : 32 enodes (cost 13 ) 97.041 * * [simplify]: iteration 5 : 46 enodes (cost 13 ) 97.047 * * [simplify]: iteration 6 : 68 enodes (cost 13 ) 97.058 * * [simplify]: iteration 7 : 114 enodes (cost 13 ) 97.096 * * [simplify]: iteration 8 : 257 enodes (cost 13 ) 97.299 * * [simplify]: iteration 9 : 786 enodes (cost 13 ) 99.500 * * [simplify]: iteration 10 : 3067 enodes (cost 13 ) 103.352 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 103.353 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 103.354 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 103.356 * * [simplify]: iteration 2 : 22 enodes (cost 17 ) 103.359 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 103.363 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 103.367 * * [simplify]: iteration 5 : 43 enodes (cost 6 ) 103.374 * * [simplify]: iteration 6 : 65 enodes (cost 6 ) 103.389 * * [simplify]: iteration 7 : 114 enodes (cost 6 ) 103.422 * * [simplify]: iteration 8 : 265 enodes (cost 6 ) 103.627 * * [simplify]: iteration 9 : 785 enodes (cost 6 ) 105.764 * * [simplify]: iteration 10 : 3082 enodes (cost 6 ) 109.698 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 109.699 * * [simplify]: iteration 0 : 10 enodes (cost 50 ) 109.700 * * [simplify]: iteration 1 : 26 enodes (cost 50 ) 109.706 * * [simplify]: iteration 2 : 113 enodes (cost 18 ) 109.785 * * [simplify]: iteration 3 : 455 enodes (cost 10 ) 110.325 * * [simplify]: iteration 4 : 820 enodes (cost 7 ) 111.210 * * [simplify]: iteration 5 : 1304 enodes (cost 7 ) 113.973 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 113.974 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 113.975 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 113.977 * * [simplify]: iteration 2 : 22 enodes (cost 17 ) 113.980 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 113.983 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 113.987 * * [simplify]: iteration 5 : 43 enodes (cost 6 ) 113.993 * * [simplify]: iteration 6 : 65 enodes (cost 6 ) 114.008 * * [simplify]: iteration 7 : 114 enodes (cost 6 ) 114.042 * * [simplify]: iteration 8 : 265 enodes (cost 6 ) 114.239 * * [simplify]: iteration 9 : 785 enodes (cost 6 ) 116.347 * * [simplify]: iteration 10 : 3082 enodes (cost 6 ) 120.249 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 120.249 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 120.251 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 120.252 * * [simplify]: iteration 2 : 22 enodes (cost 17 ) 120.256 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 120.259 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 120.263 * * [simplify]: iteration 5 : 43 enodes (cost 6 ) 120.269 * * [simplify]: iteration 6 : 65 enodes (cost 6 ) 120.280 * * [simplify]: iteration 7 : 114 enodes (cost 6 ) 120.318 * * [simplify]: iteration 8 : 265 enodes (cost 6 ) 120.519 * * [simplify]: iteration 9 : 785 enodes (cost 6 ) 122.634 * * [simplify]: iteration 10 : 3082 enodes (cost 6 ) 126.790 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 126.790 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 126.791 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 126.793 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 126.796 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 126.799 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 126.801 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 126.805 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 126.813 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 126.818 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 126.827 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 126.874 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 127.353 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 129.814 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 129.815 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 129.815 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 129.816 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 129.817 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 129.817 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 129.819 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 129.820 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 129.823 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 129.831 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 129.880 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 130.348 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 132.784 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 132.785 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 132.786 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 132.789 * * [simplify]: iteration 2 : 31 enodes (cost 12 ) 132.794 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 132.800 * * [simplify]: iteration done : 41 enodes (cost 12 ) 132.801 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 132.801 * * [simplify]: iteration done : 3 enodes (cost 5 ) 132.802 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 132.803 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 132.806 * * [simplify]: iteration 2 : 31 enodes (cost 12 ) 132.811 * * [simplify]: iteration 3 : 38 enodes (cost 12 ) 132.817 * * [simplify]: iteration 4 : 39 enodes (cost 12 ) 132.823 * * [simplify]: iteration done : 39 enodes (cost 12 ) 132.824 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 132.824 * * [simplify]: iteration done : 3 enodes (cost 5 ) 132.825 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 132.825 * * [simplify]: iteration 1 : 7 enodes (cost 14 ) 132.826 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 132.832 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 132.833 * * [simplify]: iteration 4 : 20 enodes (cost 3 ) 132.835 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 132.839 * * [simplify]: iteration 6 : 53 enodes (cost 3 ) 132.849 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 132.896 * * [simplify]: iteration 8 : 324 enodes (cost 3 ) 133.351 * * [simplify]: iteration 9 : 1243 enodes (cost 3 ) 135.774 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 135.775 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 135.776 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 135.777 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 135.779 * * [simplify]: iteration done : 12 enodes (cost 11 ) 135.779 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 135.780 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 135.782 * * [simplify]: iteration 2 : 28 enodes (cost 14 ) 135.787 * * [simplify]: iteration 3 : 39 enodes (cost 14 ) 135.793 * * [simplify]: iteration done : 39 enodes (cost 14 ) 135.794 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 135.795 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 135.797 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 135.801 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 135.808 * * [simplify]: iteration done : 39 enodes (cost 12 ) 135.808 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 135.810 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 135.812 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 135.820 * * [simplify]: iteration 3 : 38 enodes (cost 14 ) 135.826 * * [simplify]: iteration 4 : 39 enodes (cost 14 ) 135.833 * * [simplify]: iteration done : 39 enodes (cost 14 ) 135.833 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 135.834 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 135.836 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 135.842 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 135.849 * * [simplify]: iteration done : 41 enodes (cost 14 ) 135.849 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 135.850 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 135.851 * * [simplify]: iteration done : 7 enodes (cost 6 ) 135.851 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 135.852 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 135.853 * * [simplify]: iteration done : 9 enodes (cost 8 ) 135.853 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 135.854 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 135.855 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 135.856 * * [simplify]: iteration done : 12 enodes (cost 7 ) 135.857 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 135.858 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 135.859 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 135.860 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 135.863 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 135.871 * * [simplify]: iteration 5 : 103 enodes (cost 7 ) 135.908 * * [simplify]: iteration 6 : 241 enodes (cost 7 ) 136.064 * * [simplify]: iteration 7 : 700 enodes (cost 7 ) 136.998 * * [simplify]: iteration 8 : 2439 enodes (cost 7 ) 138.921 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 138.922 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 138.923 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 138.925 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 138.930 * * [simplify]: iteration 3 : 52 enodes (cost 7 ) 138.940 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 138.964 * * [simplify]: iteration 5 : 151 enodes (cost 7 ) 139.005 * * [simplify]: iteration 6 : 298 enodes (cost 7 ) 139.158 * * [simplify]: iteration 7 : 748 enodes (cost 7 ) 140.180 * * [simplify]: iteration 8 : 2454 enodes (cost 7 ) 142.534 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 142.535 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 142.536 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 142.537 * * [simplify]: iteration done : 9 enodes (cost 15 ) 142.538 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 142.538 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 142.539 * * [simplify]: iteration done : 8 enodes (cost 7 ) 142.540 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 142.541 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 142.544 * * [simplify]: iteration 2 : 48 enodes (cost 8 ) 142.560 * * [simplify]: iteration 3 : 91 enodes (cost 8 ) 142.584 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 142.616 * * [simplify]: iteration 5 : 165 enodes (cost 7 ) 142.682 * * [simplify]: iteration 6 : 336 enodes (cost 7 ) 142.870 * * [simplify]: iteration 7 : 852 enodes (cost 7 ) 144.090 * * [simplify]: iteration 8 : 3007 enodes (cost 7 ) 145.885 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 145.886 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.887 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.887 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.888 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.889 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.889 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.890 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.891 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.897 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.898 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.899 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.900 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.900 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 145.901 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 145.902 * * [simplify]: iteration done : 10 enodes (cost 9 ) 145.903 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 145.903 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 145.904 * * [simplify]: iteration done : 10 enodes (cost 9 ) 145.905 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.905 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.906 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.907 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.908 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.908 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.909 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 145.910 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 145.911 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 145.912 * * [simplify]: iteration done : 13 enodes (cost 10 ) 145.913 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.914 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.914 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.915 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.916 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 145.917 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 145.917 * * [simplify]: iteration done : 12 enodes (cost 4 ) 145.918 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.919 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.919 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.920 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.921 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.922 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.922 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.923 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.924 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.924 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.925 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.926 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.927 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.928 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.929 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.929 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.930 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.931 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.931 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 145.932 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 145.933 * * [simplify]: iteration done : 9 enodes (cost 8 ) 145.933 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.934 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.935 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.935 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.936 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.937 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.937 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.938 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.939 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.939 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.940 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 145.940 * * [simplify]: iteration done : 7 enodes (cost 6 ) 145.941 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.942 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 145.942 * * [simplify]: iteration done : 7 enodes (cost 6 ) 145.943 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.943 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 145.944 * * [simplify]: iteration done : 9 enodes (cost 6 ) 145.945 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.945 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.946 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.947 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.947 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 145.948 * * [simplify]: iteration done : 8 enodes (cost 7 ) 145.949 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.949 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 145.950 * * [simplify]: iteration done : 7 enodes (cost 6 ) 145.950 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 145.951 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 145.951 * * [simplify]: iteration done : 5 enodes (cost 4 ) 145.952 * * [simplify]: iteration 0 : 14 enodes (cost 22 ) 145.954 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 145.957 * * [simplify]: iteration 2 : 44 enodes (cost 21 ) 145.963 * * [simplify]: iteration 3 : 79 enodes (cost 13 ) 145.980 * * [simplify]: iteration 4 : 175 enodes (cost 10 ) 146.014 * * [simplify]: iteration 5 : 433 enodes (cost 10 ) 146.237 * * [simplify]: iteration 6 : 1117 enodes (cost 10 ) 147.573 * * [simplify]: iteration 7 : 3370 enodes (cost 10 ) 148.680 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 148.681 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 148.682 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 148.685 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 148.689 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 148.693 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 148.698 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 148.709 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 148.722 * * [simplify]: iteration 7 : 120 enodes (cost 10 ) 148.755 * * [simplify]: iteration 8 : 261 enodes (cost 10 ) 148.975 * * [simplify]: iteration 9 : 789 enodes (cost 10 ) 151.433 * * [simplify]: iteration 10 : 3091 enodes (cost 10 ) 154.039 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 154.039 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 154.041 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 154.044 * * [simplify]: iteration 2 : 40 enodes (cost 21 ) 154.050 * * [simplify]: iteration 3 : 64 enodes (cost 13 ) 154.065 * * [simplify]: iteration 4 : 135 enodes (cost 10 ) 154.089 * * [simplify]: iteration 5 : 328 enodes (cost 10 ) 154.183 * * [simplify]: iteration 6 : 814 enodes (cost 10 ) 154.763 * * [simplify]: iteration 7 : 2195 enodes (cost 10 ) 156.634 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 156.635 * * [simplify]: iteration 0 : 14 enodes (cost 43 ) 156.641 * * [simplify]: iteration 1 : 21 enodes (cost 43 ) 156.644 * * [simplify]: iteration 2 : 28 enodes (cost 43 ) 156.648 * * [simplify]: iteration 3 : 30 enodes (cost 27 ) 156.652 * * [simplify]: iteration 4 : 35 enodes (cost 21 ) 156.657 * * [simplify]: iteration 5 : 49 enodes (cost 21 ) 156.665 * * [simplify]: iteration 6 : 71 enodes (cost 21 ) 156.681 * * [simplify]: iteration 7 : 120 enodes (cost 21 ) 156.715 * * [simplify]: iteration 8 : 261 enodes (cost 21 ) 156.930 * * [simplify]: iteration 9 : 790 enodes (cost 21 ) 159.158 * * [simplify]: iteration 10 : 3067 enodes (cost 21 ) 161.951 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 161.952 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 161.959 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 161.962 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 161.965 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 161.969 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 161.974 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 161.981 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 161.997 * * [simplify]: iteration 7 : 120 enodes (cost 10 ) 162.033 * * [simplify]: iteration 8 : 261 enodes (cost 10 ) 162.247 * * [simplify]: iteration 9 : 789 enodes (cost 10 ) 164.451 * * [simplify]: iteration 10 : 3091 enodes (cost 10 ) 167.023 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 167.024 * * [simplify]: iteration 0 : 14 enodes (cost 62 ) 167.031 * * [simplify]: iteration 1 : 34 enodes (cost 62 ) 167.038 * * [simplify]: iteration 2 : 114 enodes (cost 22 ) 167.084 * * [simplify]: iteration 3 : 496 enodes (cost 14 ) 167.495 * * [simplify]: iteration 4 : 1830 enodes (cost 11 ) 169.600 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 169.601 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 169.602 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 169.605 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 169.609 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 169.613 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 169.619 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 169.625 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 169.637 * * [simplify]: iteration 7 : 120 enodes (cost 10 ) 169.674 * * [simplify]: iteration 8 : 261 enodes (cost 10 ) 169.887 * * [simplify]: iteration 9 : 789 enodes (cost 10 ) 172.070 * * [simplify]: iteration 10 : 3091 enodes (cost 10 ) 174.853 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 174.854 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 174.856 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 174.858 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 174.862 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 174.866 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 174.871 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 174.878 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 174.893 * * [simplify]: iteration 7 : 120 enodes (cost 10 ) 174.927 * * [simplify]: iteration 8 : 261 enodes (cost 10 ) 175.145 * * [simplify]: iteration 9 : 789 enodes (cost 10 ) 177.361 * * [simplify]: iteration 10 : 3091 enodes (cost 10 ) 179.966 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 179.967 * * [simplify]: iteration 0 : 15 enodes (cost 23 ) 179.968 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 179.973 * * [simplify]: iteration 2 : 66 enodes (cost 19 ) 179.990 * * [simplify]: iteration 3 : 102 enodes (cost 12 ) 180.011 * * [simplify]: iteration 4 : 109 enodes (cost 9 ) 180.030 * * [simplify]: iteration 5 : 117 enodes (cost 9 ) 180.053 * * [simplify]: iteration 6 : 129 enodes (cost 9 ) 180.075 * * [simplify]: iteration 7 : 156 enodes (cost 9 ) 180.106 * * [simplify]: iteration 8 : 234 enodes (cost 9 ) 180.179 * * [simplify]: iteration 9 : 495 enodes (cost 9 ) 180.720 * * [simplify]: iteration 10 : 1642 enodes (cost 9 ) 182.775 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 182.776 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 182.777 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 182.778 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 182.781 * * [simplify]: iteration 3 : 29 enodes (cost 3 ) 182.784 * * [simplify]: iteration 4 : 33 enodes (cost 3 ) 182.787 * * [simplify]: iteration 5 : 39 enodes (cost 3 ) 182.790 * * [simplify]: iteration 6 : 49 enodes (cost 3 ) 182.795 * * [simplify]: iteration 7 : 70 enodes (cost 3 ) 182.807 * * [simplify]: iteration 8 : 132 enodes (cost 3 ) 182.856 * * [simplify]: iteration 9 : 343 enodes (cost 3 ) 183.304 * * [simplify]: iteration 10 : 1248 enodes (cost 3 ) 185.653 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 185.653 * * [simplify]: iteration 0 : 16 enodes (cost 22 ) 185.659 * * [simplify]: iteration 1 : 30 enodes (cost 22 ) 185.664 * * [simplify]: iteration 2 : 68 enodes (cost 22 ) 185.680 * * [simplify]: iteration 3 : 124 enodes (cost 22 ) 185.720 * * [simplify]: iteration 4 : 175 enodes (cost 22 ) 185.780 * * [simplify]: iteration 5 : 176 enodes (cost 22 ) 185.826 * * [simplify]: iteration done : 176 enodes (cost 22 ) 185.827 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 185.827 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 185.828 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 185.830 * * [simplify]: iteration done : 10 enodes (cost 7 ) 185.831 * * [simplify]: iteration 0 : 16 enodes (cost 22 ) 185.832 * * [simplify]: iteration 1 : 30 enodes (cost 22 ) 185.837 * * [simplify]: iteration 2 : 69 enodes (cost 22 ) 185.853 * * [simplify]: iteration 3 : 126 enodes (cost 22 ) 185.893 * * [simplify]: iteration 4 : 175 enodes (cost 22 ) 185.951 * * [simplify]: iteration 5 : 177 enodes (cost 22 ) 185.999 * * [simplify]: iteration done : 177 enodes (cost 22 ) 185.999 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 186.000 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 186.001 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 186.002 * * [simplify]: iteration done : 10 enodes (cost 7 ) 186.003 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 186.005 * * [simplify]: iteration 1 : 26 enodes (cost 21 ) 186.010 * * [simplify]: iteration 2 : 58 enodes (cost 21 ) 186.024 * * [simplify]: iteration 3 : 111 enodes (cost 21 ) 186.062 * * [simplify]: iteration 4 : 176 enodes (cost 21 ) 186.129 * * [simplify]: iteration 5 : 185 enodes (cost 21 ) 186.177 * * [simplify]: iteration done : 185 enodes (cost 21 ) 186.178 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 186.178 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 186.178 * * [simplify]: iteration done : 5 enodes (cost 4 ) 186.179 * * [simplify]: iteration 0 : 16 enodes (cost 22 ) 186.181 * * [simplify]: iteration 1 : 29 enodes (cost 22 ) 186.186 * * [simplify]: iteration 2 : 63 enodes (cost 22 ) 186.201 * * [simplify]: iteration 3 : 117 enodes (cost 22 ) 186.240 * * [simplify]: iteration 4 : 182 enodes (cost 22 ) 186.310 * * [simplify]: iteration 5 : 190 enodes (cost 22 ) 186.359 * * [simplify]: iteration done : 190 enodes (cost 22 ) 186.360 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 186.360 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 186.361 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 186.362 * * [simplify]: iteration done : 10 enodes (cost 7 ) 186.363 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 186.365 * * [simplify]: iteration 1 : 27 enodes (cost 21 ) 186.369 * * [simplify]: iteration 2 : 64 enodes (cost 21 ) 186.383 * * [simplify]: iteration 3 : 120 enodes (cost 21 ) 186.424 * * [simplify]: iteration 4 : 169 enodes (cost 21 ) 186.483 * * [simplify]: iteration 5 : 174 enodes (cost 21 ) 186.530 * * [simplify]: iteration done : 174 enodes (cost 21 ) 186.530 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 186.531 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 186.531 * * [simplify]: iteration done : 5 enodes (cost 4 ) 186.532 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 186.534 * * [simplify]: iteration 1 : 27 enodes (cost 21 ) 186.538 * * [simplify]: iteration 2 : 63 enodes (cost 21 ) 186.552 * * [simplify]: iteration 3 : 119 enodes (cost 21 ) 186.593 * * [simplify]: iteration 4 : 170 enodes (cost 21 ) 186.651 * * [simplify]: iteration 5 : 171 enodes (cost 21 ) 186.698 * * [simplify]: iteration done : 171 enodes (cost 21 ) 186.699 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 186.699 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 186.700 * * [simplify]: iteration done : 5 enodes (cost 4 ) 186.701 * * [simplify]: iteration 0 : 15 enodes (cost 24 ) 186.703 * * [simplify]: iteration 1 : 41 enodes (cost 24 ) 186.714 * * [simplify]: iteration 2 : 135 enodes (cost 24 ) 186.776 * * [simplify]: iteration 3 : 511 enodes (cost 13 ) 187.336 * * [simplify]: iteration 4 : 1433 enodes (cost 13 ) 189.195 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 189.196 * * [simplify]: iteration 0 : 16 enodes (cost 62 ) 189.199 * * [simplify]: iteration 1 : 45 enodes (cost 58 ) 189.208 * * [simplify]: iteration 2 : 159 enodes (cost 58 ) 189.274 * * [simplify]: iteration 3 : 488 enodes (cost 29 ) 189.616 * * [simplify]: iteration 4 : 1164 enodes (cost 23 ) 190.681 * * [simplify]: iteration 5 : 2591 enodes (cost 23 ) 192.589 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 192.590 * * [simplify]: iteration 0 : 14 enodes (cost 41 ) 192.592 * * [simplify]: iteration 1 : 36 enodes (cost 41 ) 192.599 * * [simplify]: iteration 2 : 107 enodes (cost 41 ) 192.643 * * [simplify]: iteration 3 : 242 enodes (cost 25 ) 192.736 * * [simplify]: iteration 4 : 377 enodes (cost 18 ) 192.874 * * [simplify]: iteration 5 : 761 enodes (cost 18 ) 193.377 * * [simplify]: iteration 6 : 1815 enodes (cost 18 ) 195.384 * * [simplify]: iteration 7 : 4755 enodes (cost 18 ) 196.944 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 196.945 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 196.946 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 196.949 * * [simplify]: iteration 2 : 31 enodes (cost 20 ) 196.954 * * [simplify]: iteration 3 : 33 enodes (cost 12 ) 196.964 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 196.970 * * [simplify]: iteration 5 : 52 enodes (cost 9 ) 196.978 * * [simplify]: iteration 6 : 74 enodes (cost 9 ) 196.991 * * [simplify]: iteration 7 : 123 enodes (cost 9 ) 197.031 * * [simplify]: iteration 8 : 268 enodes (cost 9 ) 197.250 * * [simplify]: iteration 9 : 798 enodes (cost 9 ) 199.446 * * [simplify]: iteration 10 : 3105 enodes (cost 9 ) 203.144 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 203.145 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 203.146 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 203.147 * * [simplify]: iteration done : 7 enodes (cost 6 ) 203.147 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 203.148 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 203.148 * * [simplify]: iteration done : 4 enodes (cost 3 ) 203.149 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 203.149 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 203.149 * * [simplify]: iteration done : 4 enodes (cost 3 ) 203.150 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 203.150 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 203.151 * * [simplify]: iteration done : 4 enodes (cost 3 ) 203.151 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 203.152 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 203.152 * * [simplify]: iteration done : 5 enodes (cost 4 ) 203.153 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 203.153 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 203.154 * * [simplify]: iteration done : 5 enodes (cost 4 ) 203.154 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 203.155 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 203.155 * * [simplify]: iteration done : 5 enodes (cost 4 ) 203.156 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.157 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 203.158 * * [simplify]: iteration done : 7 enodes (cost 5 ) 203.158 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.159 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 203.160 * * [simplify]: iteration done : 7 enodes (cost 5 ) 203.160 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.161 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 203.162 * * [simplify]: iteration done : 7 enodes (cost 5 ) 203.163 * [simplify]: Simplified to: 2/3 2 (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 2 (* 2 (log (cbrt (/ 841.0 108.0)))) (* 2 (log (cbrt (/ 841.0 108.0)))) (exp (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (pow (cbrt (/ 841.0 108.0)) 6) (fabs (cbrt (/ 841.0 108.0))) (fabs (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)) (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ (cbrt 841.0) (cbrt 108.0)))) (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0)))) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ (cbrt 841.0) (sqrt 108.0)))) (* (cbrt (* (cbrt 841.0) (cbrt 841.0))) (cbrt (* (cbrt 841.0) (cbrt 841.0)))) (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ (cbrt 841.0) 108.0))) (* (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ (sqrt 841.0) (cbrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt 841.0)) (cbrt (sqrt 841.0))) (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ (sqrt 841.0) 108.0))) (* (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 (cbrt 108.0)))) (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0)))) (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 (sqrt 108.0)))) 1 (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 1 (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 1 108.0)) (cbrt (/ 1 108.0))) (pow (cbrt (cbrt (/ 841.0 108.0))) 4) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)) 1 (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)) 2/3 2 (* (cbrt (/ 841.0 108.0)) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (sqrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0)))) (* (cbrt (* (cbrt 841.0) (cbrt 841.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (sqrt 108.0)))) (* (cbrt (sqrt 841.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0))))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (sqrt 108.0)))) (* (cbrt (/ 841.0 108.0)) 1) (* 1 (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))) (* (cbrt (/ 841.0 108.0)) (sqrt (cbrt (/ 841.0 108.0)))) (cbrt (/ 841.0 108.0)) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 1 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (+ (log x) (* 3 (log (cbrt (/ 841.0 108.0))))) (+ (log x) (* 3 (log (cbrt (/ 841.0 108.0))))) (+ (* 3 (log (cbrt (/ 841.0 108.0)))) (log x)) (+ (log x) (* 3 (log (cbrt (/ 841.0 108.0))))) (log (* (/ 841.0 108.0) x)) (pow (exp (/ 841.0 108.0)) x) (pow (* (/ 841.0 108.0) x) 3) (* (/ (* (pow x 3) (* (/ 841.0 108.0) 841.0)) 108.0) (/ 841.0 108.0)) (* (pow x 3) (pow (/ 841.0 108.0) 3)) (pow (* x (/ 841.0 108.0)) 3) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (pow (* x (/ 841.0 108.0)) 3) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* 841.0 x) 108.0 (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x)) (* (cbrt 108.0) (cbrt 108.0)) (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) (* (cbrt 108.0) (cbrt 108.0)) (/ 841.0 108.0) (* (cbrt (/ 841.0 108.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x) (+ (log (cbrt (/ 841.0 108.0))) (log x)) (log (* (cbrt (/ 841.0 108.0)) x)) (exp (* (cbrt (/ 841.0 108.0)) x)) (* (pow x 3) (/ 841.0 108.0)) (* (cbrt (* (cbrt (/ 841.0 108.0)) x)) (cbrt (* (cbrt (/ 841.0 108.0)) x))) (cbrt (* (cbrt (/ 841.0 108.0)) x)) (* (/ 841.0 108.0) (pow x 3)) (sqrt (* (cbrt (/ 841.0 108.0)) x)) (sqrt (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x)) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x)) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x)) (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x)) (* (cbrt (/ 841.0 108.0)) (* (cbrt x) (cbrt x))) (* (cbrt (/ 841.0 108.0)) (sqrt x)) (cbrt (/ 841.0 108.0)) (* (cbrt (cbrt (/ 841.0 108.0))) x) (* (cbrt (sqrt (/ 841.0 108.0))) x) (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) x) (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) x) (* (cbrt (/ (cbrt 841.0) 108.0)) x) (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) x) (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) x) (* (cbrt (/ (sqrt 841.0) 108.0)) x) (* (cbrt (/ 841.0 (cbrt 108.0))) x) (* (cbrt (/ 841.0 (sqrt 108.0))) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 1 108.0)) x) (* (cbrt (cbrt (/ 841.0 108.0))) x) (* (sqrt (cbrt (/ 841.0 108.0))) x) (* (cbrt (/ 841.0 108.0)) x) (* (cbrt 841.0) x) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (pow (+ (* x (/ 841.0 108.0)) (/ 4.0 29.0)) 3) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* 108.0 4.0) (* 841.0 (* x 29.0))) (* 108.0 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0)) (* (* (cbrt 108.0) (cbrt 108.0)) 29.0) (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0)) (* (cbrt 108.0) 29.0) (+ (pow (/ 4.0 29.0) 3) (pow (* x (/ 841.0 108.0)) 3)) (+ (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* x (/ 841.0 108.0)) (- (* x (/ 841.0 108.0)) (/ 4.0 29.0)))) (- (* (pow (cbrt (/ 841.0 108.0)) 6) (* x x)) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (* (cbrt (/ 841.0 108.0)) x) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (* x (cbrt 7.787037037037037)) (* x (cbrt 7.787037037037037)) (* x (cbrt 7.787037037037037)) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 203.165 * * * [progress]: adding candidates to table 203.608 * [progress]: [Phase 3 of 3] Extracting. 203.608 * * [regime]: Finding splitpoints for: (# #) 203.608 * * * [regime-changes]: Trying 3 branch expressions: ((* (/ 841.0 108.0) x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) x) 203.608 * * * * [regimes]: Trying to branch on (* (/ 841.0 108.0) x) from (# #) 203.638 * * * * [regimes]: Trying to branch on (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) from (# #) 203.666 * * * * [regimes]: Trying to branch on x from (# #) 203.690 * * * [regime]: Found split indices: #