540.261 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.020 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.021 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.023 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 0.029 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 0.040 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 0.060 * * [simplify]: iteration 5 : 103 enodes (cost 9 ) 0.080 * * [simplify]: iteration 6 : 145 enodes (cost 9 ) 0.133 * * [simplify]: iteration 7 : 235 enodes (cost 9 ) 0.175 * * [simplify]: iteration 8 : 265 enodes (cost 9 ) 0.212 * * [simplify]: iteration done : 265 enodes (cost 9 ) 0.212 * [simplify]: Simplified to: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.212 * * [progress]: iteration 1 / 4 0.212 * * * [progress]: picking best candidate 0.214 * * * * [pick]: Picked # 0.214 * * * [progress]: localizing error 0.220 * * * [progress]: generating rewritten candidates 0.220 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.226 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.229 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.234 * * * [progress]: generating series expansions 0.234 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.234 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.234 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.234 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.234 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.234 * [taylor]: Taking taylor expansion of 0.12 in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of 0.253 in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.234 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.234 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.234 * [taylor]: Taking taylor expansion of 0.12 in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of 0.253 in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.236 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.236 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.236 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.236 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.236 * [taylor]: Taking taylor expansion of 0.12 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of 0.253 in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.236 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.236 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.236 * [taylor]: Taking taylor expansion of 0.12 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of 0.253 in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.238 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.238 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.238 * [taylor]: Taking taylor expansion of -1 in x 0.238 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.238 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.238 * [taylor]: Taking taylor expansion of 0.253 in x 0.238 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.238 * [taylor]: Taking taylor expansion of 0.12 in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.238 * [taylor]: Taking taylor expansion of -1 in x 0.238 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.238 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.238 * [taylor]: Taking taylor expansion of 0.253 in x 0.238 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.238 * [taylor]: Taking taylor expansion of 0.12 in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.241 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.241 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.241 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.241 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.241 * [taylor]: Taking taylor expansion of 0.12 in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of 0.253 in x 0.241 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.241 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.241 * [taylor]: Taking taylor expansion of 0.12 in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of 0.253 in x 0.241 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.241 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.241 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of 0.12 in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of 0.253 in x 0.242 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.242 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of 0.12 in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of 0.253 in x 0.243 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.243 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.243 * [taylor]: Taking taylor expansion of 0.253 in x 0.243 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of 0.12 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.243 * [taylor]: Taking taylor expansion of 0.253 in x 0.243 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of 0.12 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.244 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.244 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 0.245 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 0.245 * [taylor]: Taking taylor expansion of 1.0 in x 0.245 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 0.245 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.245 * [taylor]: Taking taylor expansion of 0.253 in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.245 * [taylor]: Taking taylor expansion of 0.12 in x 0.245 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 0.245 * [taylor]: Taking taylor expansion of 1.0 in x 0.245 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 0.245 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.245 * [taylor]: Taking taylor expansion of 0.253 in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.245 * [taylor]: Taking taylor expansion of 0.12 in x 0.245 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 0.245 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.245 * [taylor]: Taking taylor expansion of 1.0 in x 0.245 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.246 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.246 * [taylor]: Taking taylor expansion of 0.12 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of 0.253 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.246 * [taylor]: Taking taylor expansion of 1.0 in x 0.246 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.246 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.246 * [taylor]: Taking taylor expansion of 0.12 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of 0.253 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.247 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.247 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.247 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.247 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of 0.253 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of 1.0 in x 0.247 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.247 * [taylor]: Taking taylor expansion of 0.12 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.247 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.247 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of 0.253 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of 1.0 in x 0.247 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.247 * [taylor]: Taking taylor expansion of 0.12 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * * * [progress]: simplifying candidates 0.249 * [simplify]: Simplifying using # : (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (/ (exp 1.0) (exp (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3)) (+ (* 1.0 1.0) (+ (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* 1.0 (* x (+ 0.253 (* x 0.12)))))) (neg (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x 0.253)) (- 1.0 (* 0.253 x)) (neg (* x (+ 0.253 (* x 0.12)))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 0.249 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.250 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.252 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.255 * * [simplify]: iteration done : 19 enodes (cost 7 ) 0.256 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.257 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.258 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.258 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.259 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 0.262 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.264 * * [simplify]: iteration done : 24 enodes (cost 8 ) 0.265 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.266 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.268 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 0.273 * * [simplify]: iteration 3 : 52 enodes (cost 8 ) 0.280 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 0.300 * * [simplify]: iteration 5 : 251 enodes (cost 8 ) 0.424 * * [simplify]: iteration 6 : 731 enodes (cost 8 ) 1.187 * * [simplify]: iteration 7 : 2588 enodes (cost 8 ) 2.351 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.352 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 2.353 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 2.360 * * [simplify]: iteration 2 : 126 enodes (cost 11 ) 2.406 * * [simplify]: iteration 3 : 494 enodes (cost 11 ) 2.785 * * [simplify]: iteration 4 : 1805 enodes (cost 9 ) 4.826 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.827 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.828 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 4.831 * * [simplify]: iteration 2 : 21 enodes (cost 17 ) 4.833 * * [simplify]: iteration done : 21 enodes (cost 17 ) 4.834 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.835 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 4.837 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 4.840 * * [simplify]: iteration done : 20 enodes (cost 8 ) 4.840 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 4.842 * * [simplify]: iteration 1 : 27 enodes (cost 23 ) 4.847 * * [simplify]: iteration 2 : 101 enodes (cost 9 ) 4.889 * * [simplify]: iteration 3 : 387 enodes (cost 9 ) 5.175 * * [simplify]: iteration 4 : 1059 enodes (cost 9 ) 6.283 * * [simplify]: iteration 5 : 2993 enodes (cost 9 ) 8.670 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 8.671 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.672 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 8.675 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 8.678 * * [simplify]: iteration done : 20 enodes (cost 8 ) 8.678 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.679 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 8.681 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 8.684 * * [simplify]: iteration done : 20 enodes (cost 8 ) 8.684 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.685 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 8.686 * * [simplify]: iteration done : 11 enodes (cost 9 ) 8.687 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.688 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 8.689 * * [simplify]: iteration done : 11 enodes (cost 9 ) 8.690 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.690 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.690 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.691 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.691 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 8.692 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 8.693 * * [simplify]: iteration done : 9 enodes (cost 5 ) 8.694 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.694 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.695 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.695 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.696 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 8.697 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 8.698 * * [simplify]: iteration done : 9 enodes (cost 5 ) 8.698 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 8.699 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 8.701 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 8.703 * * [simplify]: iteration done : 15 enodes (cost 15 ) 8.703 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.704 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 8.705 * * [simplify]: iteration done : 10 enodes (cost 8 ) 8.706 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.706 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.706 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.707 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.708 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 8.710 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 8.714 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 8.717 * * [simplify]: iteration done : 27 enodes (cost 8 ) 8.718 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.719 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 8.721 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 8.724 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 8.732 * * [simplify]: iteration done : 27 enodes (cost 8 ) 8.733 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.734 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 8.736 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 8.738 * * [simplify]: iteration done : 19 enodes (cost 7 ) 8.739 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 8.740 * * [simplify]: iteration 1 : 34 enodes (cost 11 ) 8.746 * * [simplify]: iteration 2 : 97 enodes (cost 11 ) 8.771 * * [simplify]: iteration 3 : 243 enodes (cost 11 ) 8.882 * * [simplify]: iteration 4 : 493 enodes (cost 11 ) 9.262 * * [simplify]: iteration 5 : 1443 enodes (cost 11 ) 11.006 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 11.007 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 11.008 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 11.012 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 11.032 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 11.081 * * [simplify]: iteration 4 : 322 enodes (cost 13 ) 11.204 * * [simplify]: iteration 5 : 515 enodes (cost 13 ) 11.430 * * [simplify]: iteration 6 : 766 enodes (cost 13 ) 11.830 * * [simplify]: iteration 7 : 1305 enodes (cost 13 ) 14.071 * * [simplify]: iteration 8 : 4467 enodes (cost 13 ) 16.173 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 16.174 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 16.175 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 16.177 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 16.179 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 16.183 * * [simplify]: iteration 4 : 67 enodes (cost 6 ) 16.196 * * [simplify]: iteration 5 : 154 enodes (cost 6 ) 16.264 * * [simplify]: iteration 6 : 404 enodes (cost 6 ) 16.607 * * [simplify]: iteration 7 : 1258 enodes (cost 6 ) 19.720 * * [simplify]: iteration 8 : 4695 enodes (cost 6 ) 21.856 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 21.857 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.857 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 21.858 * * [simplify]: iteration done : 8 enodes (cost 6 ) 21.859 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.866 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 21.868 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 21.869 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 21.873 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 21.879 * * [simplify]: iteration 5 : 95 enodes (cost 6 ) 21.898 * * [simplify]: iteration 6 : 222 enodes (cost 6 ) 22.003 * * [simplify]: iteration 7 : 598 enodes (cost 6 ) 22.608 * * [simplify]: iteration 8 : 1958 enodes (cost 6 ) 23.866 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 23.867 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 23.867 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 23.869 * * [simplify]: iteration done : 9 enodes (cost 13 ) 23.869 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 23.870 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 23.871 * * [simplify]: iteration done : 8 enodes (cost 6 ) 23.871 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 23.872 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 23.877 * * [simplify]: iteration 2 : 70 enodes (cost 7 ) 23.895 * * [simplify]: iteration 3 : 219 enodes (cost 7 ) 23.994 * * [simplify]: iteration 4 : 609 enodes (cost 7 ) 24.398 * * [simplify]: iteration 5 : 1529 enodes (cost 7 ) 25.785 * * [simplify]: iteration 6 : 3287 enodes (cost 7 ) 28.772 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 28.773 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 28.774 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 28.774 * * [simplify]: iteration done : 8 enodes (cost 6 ) 28.775 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 28.776 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 28.776 * * [simplify]: iteration done : 8 enodes (cost 6 ) 28.777 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.778 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 28.787 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 28.801 * * [simplify]: iteration 3 : 149 enodes (cost 9 ) 28.850 * * [simplify]: iteration 4 : 272 enodes (cost 9 ) 28.977 * * [simplify]: iteration 5 : 705 enodes (cost 9 ) 29.789 * * [simplify]: iteration 6 : 2684 enodes (cost 9 ) 31.465 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 31.466 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 31.467 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 31.472 * * [simplify]: iteration 2 : 69 enodes (cost 13 ) 31.492 * * [simplify]: iteration 3 : 121 enodes (cost 13 ) 31.519 * * [simplify]: iteration 4 : 155 enodes (cost 13 ) 31.551 * * [simplify]: iteration 5 : 176 enodes (cost 13 ) 31.589 * * [simplify]: iteration 6 : 197 enodes (cost 13 ) 31.622 * * [simplify]: iteration 7 : 250 enodes (cost 13 ) 31.686 * * [simplify]: iteration 8 : 397 enodes (cost 13 ) 31.878 * * [simplify]: iteration 9 : 660 enodes (cost 13 ) 32.032 * * [simplify]: iteration 10 : 711 enodes (cost 13 ) 32.169 * * [simplify]: iteration done : 711 enodes (cost 13 ) 32.170 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 32.171 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 32.174 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 32.186 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 32.210 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 32.250 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 32.331 * * [simplify]: iteration 6 : 370 enodes (cost 11 ) 32.455 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 33.292 * * [simplify]: iteration 8 : 2075 enodes (cost 11 ) 37.337 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 37.337 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.338 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 37.339 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 37.341 * * [simplify]: iteration done : 15 enodes (cost 5 ) 37.341 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 37.343 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 37.346 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 37.352 * * [simplify]: iteration 3 : 84 enodes (cost 10 ) 37.366 * * [simplify]: iteration 4 : 183 enodes (cost 10 ) 37.415 * * [simplify]: iteration 5 : 485 enodes (cost 10 ) 37.906 * * [simplify]: iteration 6 : 1542 enodes (cost 10 ) 39.357 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 39.358 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 39.359 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 39.362 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 39.367 * * [simplify]: iteration 3 : 66 enodes (cost 10 ) 39.385 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 39.400 * * [simplify]: iteration 5 : 104 enodes (cost 10 ) 39.420 * * [simplify]: iteration 6 : 146 enodes (cost 10 ) 39.474 * * [simplify]: iteration 7 : 236 enodes (cost 10 ) 39.516 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 39.554 * * [simplify]: iteration done : 266 enodes (cost 10 ) 39.554 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 39.556 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 39.559 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 39.567 * * [simplify]: iteration 3 : 114 enodes (cost 10 ) 39.586 * * [simplify]: iteration 4 : 227 enodes (cost 10 ) 39.642 * * [simplify]: iteration 5 : 568 enodes (cost 10 ) 40.017 * * [simplify]: iteration 6 : 2657 enodes (cost 10 ) 41.269 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 41.270 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 41.271 * * [simplify]: iteration 1 : 21 enodes (cost 21 ) 41.274 * * [simplify]: iteration 2 : 37 enodes (cost 21 ) 41.285 * * [simplify]: iteration 3 : 67 enodes (cost 21 ) 41.296 * * [simplify]: iteration 4 : 91 enodes (cost 21 ) 41.312 * * [simplify]: iteration 5 : 105 enodes (cost 21 ) 41.332 * * [simplify]: iteration 6 : 147 enodes (cost 21 ) 41.386 * * [simplify]: iteration 7 : 237 enodes (cost 21 ) 41.428 * * [simplify]: iteration 8 : 267 enodes (cost 21 ) 41.466 * * [simplify]: iteration done : 267 enodes (cost 21 ) 41.467 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 41.468 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 41.471 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 41.476 * * [simplify]: iteration 3 : 66 enodes (cost 10 ) 41.488 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 41.508 * * [simplify]: iteration 5 : 104 enodes (cost 10 ) 41.527 * * [simplify]: iteration 6 : 146 enodes (cost 10 ) 41.580 * * [simplify]: iteration 7 : 236 enodes (cost 10 ) 41.624 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 41.659 * * [simplify]: iteration done : 266 enodes (cost 10 ) 41.660 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 41.661 * * [simplify]: iteration 1 : 22 enodes (cost 29 ) 41.664 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 41.678 * * [simplify]: iteration 3 : 169 enodes (cost 11 ) 41.741 * * [simplify]: iteration 4 : 805 enodes (cost 11 ) 42.560 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 42.561 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.562 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 42.565 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 42.570 * * [simplify]: iteration 3 : 66 enodes (cost 10 ) 42.586 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 42.601 * * [simplify]: iteration 5 : 104 enodes (cost 10 ) 42.621 * * [simplify]: iteration 6 : 146 enodes (cost 10 ) 42.674 * * [simplify]: iteration 7 : 236 enodes (cost 10 ) 42.718 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 42.756 * * [simplify]: iteration done : 266 enodes (cost 10 ) 42.757 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.758 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 42.761 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 42.766 * * [simplify]: iteration 3 : 66 enodes (cost 10 ) 42.777 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 42.793 * * [simplify]: iteration 5 : 104 enodes (cost 10 ) 42.817 * * [simplify]: iteration 6 : 146 enodes (cost 10 ) 42.870 * * [simplify]: iteration 7 : 236 enodes (cost 10 ) 42.913 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 42.947 * * [simplify]: iteration done : 266 enodes (cost 10 ) 42.948 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 42.949 * * [simplify]: iteration 1 : 38 enodes (cost 13 ) 42.956 * * [simplify]: iteration 2 : 108 enodes (cost 13 ) 42.996 * * [simplify]: iteration 3 : 496 enodes (cost 13 ) 43.452 * * [simplify]: iteration 4 : 2038 enodes (cost 13 ) 45.448 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 45.449 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 45.450 * * [simplify]: iteration 1 : 37 enodes (cost 21 ) 45.458 * * [simplify]: iteration 2 : 117 enodes (cost 21 ) 45.490 * * [simplify]: iteration 3 : 342 enodes (cost 21 ) 45.631 * * [simplify]: iteration 4 : 852 enodes (cost 21 ) 46.246 * * [simplify]: iteration 5 : 2267 enodes (cost 21 ) 49.187 * * [simplify]: iteration 6 : 4126 enodes (cost 21 ) 53.525 * * [simplify]: iteration 7 : 4795 enodes (cost 21 ) 54.700 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 54.701 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 54.702 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 54.705 * * [simplify]: iteration 2 : 41 enodes (cost 8 ) 54.712 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 54.725 * * [simplify]: iteration 4 : 70 enodes (cost 8 ) 54.735 * * [simplify]: iteration done : 70 enodes (cost 8 ) 54.736 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 54.738 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 54.743 * * [simplify]: iteration 2 : 96 enodes (cost 19 ) 54.772 * * [simplify]: iteration 3 : 328 enodes (cost 19 ) 54.933 * * [simplify]: iteration 4 : 1006 enodes (cost 19 ) 55.708 * * [simplify]: iteration 5 : 2641 enodes (cost 19 ) 57.331 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 57.331 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 57.333 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 57.335 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 57.339 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 57.343 * * [simplify]: iteration done : 30 enodes (cost 9 ) 57.344 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.344 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 57.345 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 57.347 * * [simplify]: iteration done : 15 enodes (cost 5 ) 57.348 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.348 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 57.349 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 57.351 * * [simplify]: iteration done : 15 enodes (cost 5 ) 57.351 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 57.352 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 57.355 * * [simplify]: iteration 2 : 41 enodes (cost 8 ) 57.362 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 57.372 * * [simplify]: iteration 4 : 70 enodes (cost 8 ) 57.384 * * [simplify]: iteration done : 70 enodes (cost 8 ) 57.385 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 57.386 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 57.389 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 57.391 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 57.394 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 57.398 * * [simplify]: iteration 5 : 59 enodes (cost 7 ) 57.404 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 57.414 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 57.463 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 57.913 * * [simplify]: iteration 9 : 1281 enodes (cost 7 ) 60.319 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 60.320 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 60.321 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 60.324 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 60.326 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 60.329 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 60.333 * * [simplify]: iteration 5 : 59 enodes (cost 7 ) 60.339 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 60.350 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 60.400 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 61.066 * * [simplify]: iteration 9 : 1281 enodes (cost 7 ) 63.480 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 63.481 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 63.482 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 63.484 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 63.487 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 63.490 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 63.494 * * [simplify]: iteration 5 : 59 enodes (cost 7 ) 63.500 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 63.511 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 63.560 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 64.012 * * [simplify]: iteration 9 : 1281 enodes (cost 7 ) 66.420 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 66.421 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.422 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 66.422 * * [simplify]: iteration done : 7 enodes (cost 5 ) 66.423 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.424 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 66.424 * * [simplify]: iteration done : 7 enodes (cost 5 ) 66.425 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.425 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 66.426 * * [simplify]: iteration done : 7 enodes (cost 5 ) 66.427 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 66.428 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 66.431 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 66.436 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 66.449 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 66.475 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 66.528 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 66.579 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 66.659 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 67.163 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 69.403 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 69.403 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 69.405 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 69.408 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 69.413 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 69.430 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 69.452 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 69.504 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 69.554 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 69.632 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 70.121 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 72.349 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 72.350 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 72.351 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 72.355 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 72.365 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 72.378 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 72.399 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 72.452 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 72.504 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 72.586 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 73.074 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 75.307 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 75.308 * [simplify]: Simplified to: (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (pow (* (+ 0.253 (* x 0.12)) x) 3) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (pow (* x (+ 0.253 (* x 0.12))) 3) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) x (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) x)) (exp (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (pow (+ 0.253 (* x 0.12)) 3) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* (* x 0.12) (- (* x 0.12) 0.253)) (* 0.253 0.253)) (* (+ 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (pow (- 1.0 (* x (+ 0.253 (* x 0.12)))) 3) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3)) (+ (* (* x (+ 0.253 (* x 0.12))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (* 1.0 1.0)) (neg (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x 0.253)) (- 1.0 (* 0.253 x)) (neg (* x (+ 0.253 (* x 0.12)))) (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) 75.308 * * * [progress]: adding candidates to table 75.389 * * [progress]: iteration 2 / 4 75.389 * * * [progress]: picking best candidate 75.411 * * * * [pick]: Picked # 75.411 * * * [progress]: localizing error 75.419 * * * [progress]: generating rewritten candidates 75.419 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 75.424 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 75.431 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 75.438 * * * [progress]: generating series expansions 75.438 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 75.438 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 75.438 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 75.438 * [taylor]: Taking taylor expansion of 0.12 in x 75.438 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.438 * [taylor]: Taking taylor expansion of x in x 75.438 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 75.438 * [taylor]: Taking taylor expansion of 0.12 in x 75.438 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.438 * [taylor]: Taking taylor expansion of x in x 75.439 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 75.439 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 75.439 * [taylor]: Taking taylor expansion of 0.12 in x 75.439 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.439 * [taylor]: Taking taylor expansion of x in x 75.439 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 75.439 * [taylor]: Taking taylor expansion of 0.12 in x 75.439 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.439 * [taylor]: Taking taylor expansion of x in x 75.440 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 75.440 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 75.440 * [taylor]: Taking taylor expansion of 0.12 in x 75.441 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.441 * [taylor]: Taking taylor expansion of x in x 75.441 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 75.441 * [taylor]: Taking taylor expansion of 0.12 in x 75.441 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.441 * [taylor]: Taking taylor expansion of x in x 75.442 * * * * [progress]: [ 2 / 3 ] generating series at (2) 75.442 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 75.442 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 75.442 * [taylor]: Taking taylor expansion of 1.0 in x 75.442 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 75.442 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 75.442 * [taylor]: Taking taylor expansion of 0.253 in x 75.442 * [taylor]: Taking taylor expansion of x in x 75.442 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 75.442 * [taylor]: Taking taylor expansion of 0.12 in x 75.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.442 * [taylor]: Taking taylor expansion of x in x 75.442 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 75.442 * [taylor]: Taking taylor expansion of 1.0 in x 75.442 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 75.442 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 75.442 * [taylor]: Taking taylor expansion of 0.253 in x 75.442 * [taylor]: Taking taylor expansion of x in x 75.442 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 75.442 * [taylor]: Taking taylor expansion of 0.12 in x 75.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.442 * [taylor]: Taking taylor expansion of x in x 75.443 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 75.443 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 75.443 * [taylor]: Taking taylor expansion of 1.0 in x 75.443 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 75.443 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 75.443 * [taylor]: Taking taylor expansion of 0.12 in x 75.443 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 75.443 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.443 * [taylor]: Taking taylor expansion of x in x 75.443 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.443 * [taylor]: Taking taylor expansion of 0.253 in x 75.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.443 * [taylor]: Taking taylor expansion of x in x 75.443 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 75.443 * [taylor]: Taking taylor expansion of 1.0 in x 75.443 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 75.443 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 75.443 * [taylor]: Taking taylor expansion of 0.12 in x 75.443 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 75.443 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.443 * [taylor]: Taking taylor expansion of x in x 75.443 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.443 * [taylor]: Taking taylor expansion of 0.253 in x 75.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.444 * [taylor]: Taking taylor expansion of x in x 75.444 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 75.444 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 75.444 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 75.444 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.444 * [taylor]: Taking taylor expansion of 0.253 in x 75.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.444 * [taylor]: Taking taylor expansion of x in x 75.444 * [taylor]: Taking taylor expansion of 1.0 in x 75.444 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 75.444 * [taylor]: Taking taylor expansion of 0.12 in x 75.444 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 75.444 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.444 * [taylor]: Taking taylor expansion of x in x 75.445 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 75.445 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 75.445 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.445 * [taylor]: Taking taylor expansion of 0.253 in x 75.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.445 * [taylor]: Taking taylor expansion of x in x 75.445 * [taylor]: Taking taylor expansion of 1.0 in x 75.445 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 75.445 * [taylor]: Taking taylor expansion of 0.12 in x 75.445 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 75.445 * [taylor]: Taking taylor expansion of (pow x 2) in x 75.445 * [taylor]: Taking taylor expansion of x in x 75.445 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 75.445 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 75.445 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 75.445 * [taylor]: Taking taylor expansion of 1.0 in x 75.445 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 75.446 * [taylor]: Taking taylor expansion of 0.253 in x 75.446 * [taylor]: Taking taylor expansion of x in x 75.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 75.446 * [taylor]: Taking taylor expansion of 1.0 in x 75.446 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 75.446 * [taylor]: Taking taylor expansion of 0.253 in x 75.446 * [taylor]: Taking taylor expansion of x in x 75.446 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 75.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 75.446 * [taylor]: Taking taylor expansion of 1.0 in x 75.446 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.446 * [taylor]: Taking taylor expansion of 0.253 in x 75.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.446 * [taylor]: Taking taylor expansion of x in x 75.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 75.447 * [taylor]: Taking taylor expansion of 1.0 in x 75.447 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.447 * [taylor]: Taking taylor expansion of 0.253 in x 75.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.447 * [taylor]: Taking taylor expansion of x in x 75.448 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 75.448 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 75.448 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.448 * [taylor]: Taking taylor expansion of 0.253 in x 75.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.448 * [taylor]: Taking taylor expansion of x in x 75.448 * [taylor]: Taking taylor expansion of 1.0 in x 75.448 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 75.448 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 75.448 * [taylor]: Taking taylor expansion of 0.253 in x 75.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.448 * [taylor]: Taking taylor expansion of x in x 75.448 * [taylor]: Taking taylor expansion of 1.0 in x 75.449 * * * [progress]: simplifying candidates 75.450 * [simplify]: Simplifying using # : (* x (* x 0.12)) (* x (* x 0.12)) (+ (log x) (+ (log x) (log 0.12))) (+ (log x) (log (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12 0.12) 0.12))) (* (* (* x x) x) (* (* (* x 0.12) (* x 0.12)) (* x 0.12))) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x x) (* (cbrt x) (* x 0.12)) (* (sqrt x) (* x 0.12)) (* x (* x 0.12)) (/ (/ (exp 1.0) (exp (* x 0.253))) (exp (* x (* x 0.12)))) (/ (exp (- 1.0 (* x 0.253))) (exp (* x (* x 0.12)))) (log (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (exp (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (* (cbrt (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (cbrt (- (- 1.0 (* x 0.253)) (* x (* x 0.12))))) (cbrt (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (* (* (- (- 1.0 (* x 0.253)) (* x (* x 0.12))) (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (sqrt (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (sqrt (- (- 1.0 (* x 0.253)) (* x (* x 0.12)))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* x (* x 0.12)) 3)) (+ (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ (* (* x (* x 0.12)) (* x (* x 0.12))) (* (- 1.0 (* x 0.253)) (* x (* x 0.12))))) (neg (* x (* x 0.12))) (- (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (* (* x (* x 0.12)) (* x (* x 0.12)))) (+ (- 1.0 (* x 0.253)) (* x (* x 0.12))) (- (neg (* x 0.253)) (* x (* x 0.12))) (- (neg (* x 0.253)) (* x (* x 0.12))) (+ (* x 0.253) (* x (* x 0.12))) (neg (* x (* x 0.12))) (/ (exp 1.0) (exp (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (* (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* 1.0 1.0) (+ (* (* x 0.253) (* x 0.253)) (* 1.0 (* x 0.253)))) (neg (* x 0.253)) (- (* 1.0 1.0) (* (* x 0.253) (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 75.451 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 75.451 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 75.452 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 75.453 * * [simplify]: iteration done : 9 enodes (cost 5 ) 75.454 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 75.454 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 75.455 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 75.457 * * [simplify]: iteration done : 9 enodes (cost 5 ) 75.457 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 75.458 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 75.459 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 75.460 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 75.462 * * [simplify]: iteration done : 14 enodes (cost 7 ) 75.462 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 75.463 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 75.464 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 75.466 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 75.467 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 75.469 * * [simplify]: iteration done : 17 enodes (cost 7 ) 75.470 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 75.471 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 75.472 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 75.475 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 75.477 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 75.480 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 75.483 * * [simplify]: iteration done : 26 enodes (cost 6 ) 75.483 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 75.484 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 75.485 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 75.488 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 75.494 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 75.512 * * [simplify]: iteration 5 : 200 enodes (cost 6 ) 75.604 * * [simplify]: iteration 6 : 502 enodes (cost 6 ) 76.117 * * [simplify]: iteration 7 : 1551 enodes (cost 6 ) 78.393 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 78.394 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 78.395 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 78.400 * * [simplify]: iteration 2 : 79 enodes (cost 11 ) 78.431 * * [simplify]: iteration 3 : 227 enodes (cost 7 ) 78.558 * * [simplify]: iteration 4 : 432 enodes (cost 7 ) 79.035 * * [simplify]: iteration 5 : 1192 enodes (cost 7 ) 81.660 * * [simplify]: iteration 6 : 4137 enodes (cost 7 ) 83.754 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 83.755 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 83.756 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 83.762 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 83.805 * * [simplify]: iteration 3 : 260 enodes (cost 9 ) 83.993 * * [simplify]: iteration 4 : 442 enodes (cost 7 ) 84.460 * * [simplify]: iteration 5 : 1078 enodes (cost 7 ) 86.646 * * [simplify]: iteration 6 : 3229 enodes (cost 7 ) 88.653 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 88.654 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 88.655 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 88.656 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 88.657 * * [simplify]: iteration done : 11 enodes (cost 13 ) 88.658 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.659 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 88.660 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 88.661 * * [simplify]: iteration done : 10 enodes (cost 6 ) 88.662 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 88.663 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 88.667 * * [simplify]: iteration 2 : 71 enodes (cost 7 ) 88.702 * * [simplify]: iteration 3 : 198 enodes (cost 7 ) 88.846 * * [simplify]: iteration 4 : 348 enodes (cost 7 ) 89.068 * * [simplify]: iteration 5 : 513 enodes (cost 7 ) 89.617 * * [simplify]: iteration 6 : 1331 enodes (cost 7 ) 92.814 * * [simplify]: iteration 7 : 4430 enodes (cost 7 ) 94.899 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 94.900 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 94.901 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 94.902 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 94.903 * * [simplify]: iteration done : 10 enodes (cost 6 ) 94.904 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 94.904 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 94.905 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 94.907 * * [simplify]: iteration done : 10 enodes (cost 6 ) 94.907 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 94.907 * * [simplify]: iteration done : 2 enodes (cost 3 ) 94.908 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 94.909 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 94.910 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 94.912 * * [simplify]: iteration done : 15 enodes (cost 6 ) 94.912 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 94.913 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 94.914 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 94.916 * * [simplify]: iteration done : 15 enodes (cost 6 ) 94.916 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 94.917 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 94.918 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 94.919 * * [simplify]: iteration done : 9 enodes (cost 5 ) 94.920 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 94.922 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 94.925 * * [simplify]: iteration 2 : 47 enodes (cost 12 ) 94.931 * * [simplify]: iteration 3 : 113 enodes (cost 10 ) 94.957 * * [simplify]: iteration 4 : 357 enodes (cost 10 ) 95.122 * * [simplify]: iteration 5 : 1360 enodes (cost 10 ) 96.295 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 96.296 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 96.297 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 96.301 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 96.314 * * [simplify]: iteration 3 : 133 enodes (cost 10 ) 96.341 * * [simplify]: iteration 4 : 376 enodes (cost 10 ) 96.508 * * [simplify]: iteration 5 : 1489 enodes (cost 10 ) 97.368 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 97.369 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 97.370 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 97.373 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 97.382 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 97.401 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 97.440 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 97.467 * * [simplify]: iteration 6 : 198 enodes (cost 10 ) 97.498 * * [simplify]: iteration 7 : 232 enodes (cost 10 ) 97.537 * * [simplify]: iteration 8 : 262 enodes (cost 10 ) 97.578 * * [simplify]: iteration 9 : 263 enodes (cost 10 ) 97.612 * * [simplify]: iteration done : 263 enodes (cost 10 ) 97.613 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 97.614 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 97.617 * * [simplify]: iteration 2 : 68 enodes (cost 10 ) 97.633 * * [simplify]: iteration 3 : 159 enodes (cost 10 ) 97.664 * * [simplify]: iteration 4 : 351 enodes (cost 10 ) 97.837 * * [simplify]: iteration 5 : 1411 enodes (cost 10 ) 98.948 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 98.949 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 98.950 * * [simplify]: iteration 1 : 22 enodes (cost 25 ) 98.954 * * [simplify]: iteration 2 : 51 enodes (cost 21 ) 98.963 * * [simplify]: iteration 3 : 91 enodes (cost 21 ) 98.980 * * [simplify]: iteration 4 : 126 enodes (cost 21 ) 99.023 * * [simplify]: iteration 5 : 184 enodes (cost 21 ) 99.047 * * [simplify]: iteration 6 : 199 enodes (cost 21 ) 99.081 * * [simplify]: iteration 7 : 233 enodes (cost 21 ) 99.122 * * [simplify]: iteration 8 : 263 enodes (cost 21 ) 99.159 * * [simplify]: iteration 9 : 264 enodes (cost 21 ) 99.197 * * [simplify]: iteration done : 264 enodes (cost 21 ) 99.198 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 99.199 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 99.202 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 99.212 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 99.231 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 99.271 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 99.299 * * [simplify]: iteration 6 : 198 enodes (cost 10 ) 99.330 * * [simplify]: iteration 7 : 232 enodes (cost 10 ) 99.369 * * [simplify]: iteration 8 : 262 enodes (cost 10 ) 99.410 * * [simplify]: iteration 9 : 263 enodes (cost 10 ) 99.444 * * [simplify]: iteration done : 263 enodes (cost 10 ) 99.448 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 99.449 * * [simplify]: iteration 1 : 23 enodes (cost 35 ) 99.453 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 99.468 * * [simplify]: iteration 3 : 249 enodes (cost 11 ) 99.606 * * [simplify]: iteration 4 : 1381 enodes (cost 11 ) 100.583 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 100.584 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 100.585 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 100.588 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 100.598 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 100.617 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 100.656 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 100.684 * * [simplify]: iteration 6 : 198 enodes (cost 10 ) 100.714 * * [simplify]: iteration 7 : 232 enodes (cost 10 ) 100.753 * * [simplify]: iteration 8 : 262 enodes (cost 10 ) 100.794 * * [simplify]: iteration 9 : 263 enodes (cost 10 ) 100.827 * * [simplify]: iteration done : 263 enodes (cost 10 ) 100.828 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 100.829 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 100.832 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 100.844 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 100.860 * * [simplify]: iteration 4 : 125 enodes (cost 10 ) 100.901 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 100.925 * * [simplify]: iteration 6 : 198 enodes (cost 10 ) 100.958 * * [simplify]: iteration 7 : 232 enodes (cost 10 ) 100.993 * * [simplify]: iteration 8 : 262 enodes (cost 10 ) 101.033 * * [simplify]: iteration 9 : 263 enodes (cost 10 ) 101.069 * * [simplify]: iteration done : 263 enodes (cost 10 ) 101.070 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 101.072 * * [simplify]: iteration 1 : 37 enodes (cost 15 ) 101.079 * * [simplify]: iteration 2 : 127 enodes (cost 15 ) 101.125 * * [simplify]: iteration 3 : 519 enodes (cost 15 ) 101.717 * * [simplify]: iteration 4 : 2001 enodes (cost 15 ) 103.864 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 103.865 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 103.868 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 103.875 * * [simplify]: iteration 2 : 120 enodes (cost 29 ) 103.912 * * [simplify]: iteration 3 : 333 enodes (cost 29 ) 104.035 * * [simplify]: iteration 4 : 791 enodes (cost 25 ) 104.470 * * [simplify]: iteration 5 : 1765 enodes (cost 23 ) 107.093 * * [simplify]: iteration 6 : 4928 enodes (cost 23 ) 108.579 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 108.580 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 108.581 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 108.583 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 108.587 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 108.599 * * [simplify]: iteration done : 31 enodes (cost 6 ) 108.599 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 108.601 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 108.606 * * [simplify]: iteration 2 : 99 enodes (cost 23 ) 108.637 * * [simplify]: iteration 3 : 321 enodes (cost 19 ) 108.810 * * [simplify]: iteration 4 : 864 enodes (cost 19 ) 109.417 * * [simplify]: iteration 5 : 2623 enodes (cost 19 ) 110.855 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 110.856 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 110.857 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 110.868 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 110.874 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 110.887 * * [simplify]: iteration 4 : 110 enodes (cost 9 ) 110.924 * * [simplify]: iteration 5 : 163 enodes (cost 9 ) 110.947 * * [simplify]: iteration 6 : 172 enodes (cost 9 ) 110.970 * * [simplify]: iteration 7 : 192 enodes (cost 9 ) 111.007 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 111.049 * * [simplify]: iteration 9 : 255 enodes (cost 9 ) 111.083 * * [simplify]: iteration done : 255 enodes (cost 9 ) 111.084 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 111.089 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 111.091 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 111.097 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 111.108 * * [simplify]: iteration 4 : 66 enodes (cost 8 ) 111.118 * * [simplify]: iteration done : 66 enodes (cost 8 ) 111.118 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 111.119 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 111.122 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 111.128 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 111.138 * * [simplify]: iteration 4 : 66 enodes (cost 8 ) 111.151 * * [simplify]: iteration done : 66 enodes (cost 8 ) 111.152 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 111.153 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 111.155 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 111.158 * * [simplify]: iteration done : 18 enodes (cost 7 ) 111.159 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 111.159 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 111.161 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 111.165 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 111.170 * * [simplify]: iteration done : 31 enodes (cost 6 ) 111.171 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 111.171 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 111.173 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 111.175 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 111.180 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 111.193 * * [simplify]: iteration 5 : 177 enodes (cost 6 ) 111.257 * * [simplify]: iteration 6 : 500 enodes (cost 6 ) 111.672 * * [simplify]: iteration 7 : 1796 enodes (cost 6 ) 112.824 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 112.824 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 112.825 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 112.826 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 112.832 * * [simplify]: iteration done : 16 enodes (cost 6 ) 112.833 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 112.834 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 112.835 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 112.838 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 112.844 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 112.856 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 112.910 * * [simplify]: iteration 6 : 555 enodes (cost 6 ) 113.569 * * [simplify]: iteration 7 : 2144 enodes (cost 6 ) 115.747 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 115.748 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 115.749 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 115.750 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 115.753 * * [simplify]: iteration done : 17 enodes (cost 13 ) 115.753 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 115.754 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 115.755 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 115.757 * * [simplify]: iteration done : 16 enodes (cost 6 ) 115.757 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 115.758 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 115.760 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 115.766 * * [simplify]: iteration 3 : 107 enodes (cost 7 ) 115.803 * * [simplify]: iteration 4 : 402 enodes (cost 7 ) 116.081 * * [simplify]: iteration 5 : 1367 enodes (cost 7 ) 117.894 * * [simplify]: iteration 6 : 4003 enodes (cost 7 ) 119.623 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 119.623 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 119.624 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 119.625 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 119.627 * * [simplify]: iteration done : 16 enodes (cost 6 ) 119.627 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 119.628 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 119.629 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 119.635 * * [simplify]: iteration done : 16 enodes (cost 6 ) 119.636 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 119.637 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 119.642 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 119.664 * * [simplify]: iteration 3 : 272 enodes (cost 9 ) 119.835 * * [simplify]: iteration 4 : 740 enodes (cost 9 ) 120.429 * * [simplify]: iteration 5 : 1888 enodes (cost 9 ) 121.980 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 121.980 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 121.982 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 121.987 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 121.999 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 122.011 * * [simplify]: iteration 4 : 73 enodes (cost 13 ) 122.026 * * [simplify]: iteration done : 73 enodes (cost 13 ) 122.027 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 122.027 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 122.028 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 122.029 * * [simplify]: iteration done : 11 enodes (cost 4 ) 122.030 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 122.031 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 122.034 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 122.046 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 122.069 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 122.107 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 122.187 * * [simplify]: iteration 6 : 370 enodes (cost 11 ) 122.311 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 123.141 * * [simplify]: iteration 8 : 2075 enodes (cost 11 ) 127.426 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 127.427 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 127.427 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 127.428 * * [simplify]: iteration done : 7 enodes (cost 5 ) 127.429 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 127.429 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 127.430 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 127.431 * * [simplify]: iteration done : 11 enodes (cost 4 ) 127.432 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 127.433 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 127.435 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 127.437 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 127.439 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 127.441 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 127.445 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 127.454 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 127.502 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 127.950 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 130.236 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 130.237 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 130.237 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 130.239 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 130.241 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 130.243 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 130.246 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 130.250 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 130.259 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 130.309 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 130.762 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 133.033 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 133.034 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 133.034 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 133.036 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 133.038 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 133.040 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 133.043 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 133.052 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 133.061 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 133.108 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 133.560 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 135.828 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 135.829 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 135.830 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 135.834 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 135.839 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 135.851 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 135.878 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 135.931 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 135.983 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 136.065 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 136.555 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 138.777 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.778 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 138.780 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 138.783 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 138.788 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 138.806 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 138.827 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 138.879 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 138.930 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 139.010 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 139.503 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 141.725 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 141.726 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 141.727 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 141.731 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 141.742 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 141.755 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 141.776 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 141.830 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 141.881 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 141.965 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 142.463 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 144.704 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 144.704 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.705 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.706 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.708 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.708 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.709 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.710 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.711 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.712 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.713 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.714 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.715 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.716 * [simplify]: Simplified to: (* x (* x 0.12)) (* x (* x 0.12)) (+ (* 2 (log x)) (log 0.12)) (+ (log x) (log (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (pow x 6) (pow 0.12 3)) (pow (* (* x x) 0.12) 3) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (pow (* x (* x 0.12)) 3) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x x) (* (cbrt x) (* x 0.12)) (* (sqrt x) (* x 0.12)) (* x (* x 0.12)) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (pow (- 1.0 (* x (+ 0.253 (* x 0.12)))) 3) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* x (* x 0.12)) 3)) (+ (* (- 1.0 (* x 0.253)) (- 1.0 (* x (- 0.253 (* x 0.12))))) (* 0.12 (* 0.12 (pow x 4)))) (neg (* x (* x 0.12))) (* (- 1.0 (* x (- 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (- 0.253 (* x 0.12)))) (* x (- (neg 0.253) (* x 0.12))) (* x (- (neg 0.253) (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (neg (* x (* x 0.12))) (exp (- 1.0 (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (pow (- 1.0 (* x 0.253)) 3) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* (* x 0.253) (+ (* x 0.253) 1.0)) (* 1.0 1.0)) (neg (* x 0.253)) (* (+ 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 144.716 * * * [progress]: adding candidates to table 144.788 * * [progress]: iteration 3 / 4 144.788 * * * [progress]: picking best candidate 144.795 * * * * [pick]: Picked # 144.796 * * * [progress]: localizing error 144.803 * * * [progress]: generating rewritten candidates 144.803 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 144.810 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 144.816 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 144.821 * * * [progress]: generating series expansions 144.821 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 144.821 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 144.821 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 144.821 * [taylor]: Taking taylor expansion of 0.12 in x 144.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.821 * [taylor]: Taking taylor expansion of x in x 144.821 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 144.821 * [taylor]: Taking taylor expansion of 0.12 in x 144.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.821 * [taylor]: Taking taylor expansion of x in x 144.822 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 144.822 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 144.822 * [taylor]: Taking taylor expansion of 0.12 in x 144.822 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.822 * [taylor]: Taking taylor expansion of x in x 144.822 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 144.822 * [taylor]: Taking taylor expansion of 0.12 in x 144.822 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.822 * [taylor]: Taking taylor expansion of x in x 144.823 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 144.823 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 144.823 * [taylor]: Taking taylor expansion of 0.12 in x 144.823 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.823 * [taylor]: Taking taylor expansion of x in x 144.823 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 144.823 * [taylor]: Taking taylor expansion of 0.12 in x 144.823 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.823 * [taylor]: Taking taylor expansion of x in x 144.824 * * * * [progress]: [ 2 / 3 ] generating series at (2) 144.824 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 144.825 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 144.825 * [taylor]: Taking taylor expansion of 1.0 in x 144.825 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 144.825 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 144.825 * [taylor]: Taking taylor expansion of 0.253 in x 144.825 * [taylor]: Taking taylor expansion of x in x 144.825 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 144.825 * [taylor]: Taking taylor expansion of 0.12 in x 144.825 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.825 * [taylor]: Taking taylor expansion of x in x 144.825 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 144.825 * [taylor]: Taking taylor expansion of 1.0 in x 144.825 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 144.825 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 144.825 * [taylor]: Taking taylor expansion of 0.253 in x 144.825 * [taylor]: Taking taylor expansion of x in x 144.825 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 144.825 * [taylor]: Taking taylor expansion of 0.12 in x 144.825 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.825 * [taylor]: Taking taylor expansion of x in x 144.825 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 144.825 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 144.825 * [taylor]: Taking taylor expansion of 1.0 in x 144.825 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 144.826 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 144.826 * [taylor]: Taking taylor expansion of 0.12 in x 144.826 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 144.826 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.826 * [taylor]: Taking taylor expansion of x in x 144.826 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.826 * [taylor]: Taking taylor expansion of 0.253 in x 144.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.826 * [taylor]: Taking taylor expansion of x in x 144.826 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 144.826 * [taylor]: Taking taylor expansion of 1.0 in x 144.826 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 144.826 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 144.826 * [taylor]: Taking taylor expansion of 0.12 in x 144.826 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 144.826 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.826 * [taylor]: Taking taylor expansion of x in x 144.826 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.826 * [taylor]: Taking taylor expansion of 0.253 in x 144.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.826 * [taylor]: Taking taylor expansion of x in x 144.827 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 144.827 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 144.827 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 144.827 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.827 * [taylor]: Taking taylor expansion of 0.253 in x 144.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.827 * [taylor]: Taking taylor expansion of x in x 144.827 * [taylor]: Taking taylor expansion of 1.0 in x 144.827 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 144.827 * [taylor]: Taking taylor expansion of 0.12 in x 144.827 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 144.827 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.827 * [taylor]: Taking taylor expansion of x in x 144.827 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 144.827 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 144.827 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.827 * [taylor]: Taking taylor expansion of 0.253 in x 144.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.827 * [taylor]: Taking taylor expansion of x in x 144.827 * [taylor]: Taking taylor expansion of 1.0 in x 144.827 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 144.827 * [taylor]: Taking taylor expansion of 0.12 in x 144.827 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 144.827 * [taylor]: Taking taylor expansion of (pow x 2) in x 144.827 * [taylor]: Taking taylor expansion of x in x 144.828 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 144.828 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 144.828 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 144.828 * [taylor]: Taking taylor expansion of 1.0 in x 144.828 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 144.828 * [taylor]: Taking taylor expansion of 0.253 in x 144.828 * [taylor]: Taking taylor expansion of x in x 144.828 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 144.828 * [taylor]: Taking taylor expansion of 1.0 in x 144.828 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 144.828 * [taylor]: Taking taylor expansion of 0.253 in x 144.828 * [taylor]: Taking taylor expansion of x in x 144.829 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 144.829 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 144.829 * [taylor]: Taking taylor expansion of 1.0 in x 144.829 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.829 * [taylor]: Taking taylor expansion of 0.253 in x 144.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.829 * [taylor]: Taking taylor expansion of x in x 144.829 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 144.829 * [taylor]: Taking taylor expansion of 1.0 in x 144.829 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.829 * [taylor]: Taking taylor expansion of 0.253 in x 144.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.829 * [taylor]: Taking taylor expansion of x in x 144.830 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 144.830 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 144.830 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.830 * [taylor]: Taking taylor expansion of 0.253 in x 144.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.830 * [taylor]: Taking taylor expansion of x in x 144.830 * [taylor]: Taking taylor expansion of 1.0 in x 144.830 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 144.830 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 144.830 * [taylor]: Taking taylor expansion of 0.253 in x 144.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 144.831 * [taylor]: Taking taylor expansion of x in x 144.831 * [taylor]: Taking taylor expansion of 1.0 in x 144.832 * * * [progress]: simplifying candidates 144.832 * [simplify]: Simplifying using # : (* (* x x) 0.12) (* (* x x) 0.12) (+ (+ (log x) (log x)) (log 0.12)) (+ (log (* x x)) (log 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12 0.12) 0.12)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12 0.12) 0.12)) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* x x) (* (cbrt 0.12) (cbrt 0.12))) (* (* x x) (sqrt 0.12)) (* (* x x) 1) (* x 0.12) (/ (/ (exp 1.0) (exp (* x 0.253))) (exp (* (* x x) 0.12))) (/ (exp (- 1.0 (* x 0.253))) (exp (* (* x x) 0.12))) (log (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (exp (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (* (cbrt (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (cbrt (- (- 1.0 (* x 0.253)) (* (* x x) 0.12)))) (cbrt (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (* (* (- (- 1.0 (* x 0.253)) (* (* x x) 0.12)) (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (sqrt (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (sqrt (- (- 1.0 (* x 0.253)) (* (* x x) 0.12))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* (* x x) 0.12) 3)) (+ (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (- 1.0 (* x 0.253)) (* (* x x) 0.12)))) (neg (* (* x x) 0.12)) (- (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (* (* (* x x) 0.12) (* (* x x) 0.12))) (+ (- 1.0 (* x 0.253)) (* (* x x) 0.12)) (- (neg (* x 0.253)) (* (* x x) 0.12)) (- (neg (* x 0.253)) (* (* x x) 0.12)) (+ (* x 0.253) (* (* x x) 0.12)) (neg (* (* x x) 0.12)) (/ (exp 1.0) (exp (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (* (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* 1.0 1.0) (+ (* (* x 0.253) (* x 0.253)) (* 1.0 (* x 0.253)))) (neg (* x 0.253)) (- (* 1.0 1.0) (* (* x 0.253) (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 144.833 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 144.834 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 144.835 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 144.836 * * [simplify]: iteration done : 9 enodes (cost 5 ) 144.837 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 144.837 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 144.838 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 144.839 * * [simplify]: iteration done : 9 enodes (cost 5 ) 144.840 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 144.841 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 144.842 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 144.844 * * [simplify]: iteration done : 14 enodes (cost 7 ) 144.844 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 144.845 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 144.846 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 144.851 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 144.852 * * [simplify]: iteration done : 16 enodes (cost 7 ) 144.853 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 144.854 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 144.855 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 144.857 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 144.860 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 144.863 * * [simplify]: iteration done : 26 enodes (cost 6 ) 144.863 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 144.864 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.865 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 144.868 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 144.874 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 144.886 * * [simplify]: iteration 5 : 184 enodes (cost 6 ) 144.972 * * [simplify]: iteration 6 : 449 enodes (cost 6 ) 145.271 * * [simplify]: iteration 7 : 1203 enodes (cost 6 ) 147.518 * * [simplify]: iteration 8 : 4669 enodes (cost 6 ) 148.790 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 148.790 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 148.792 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 148.796 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 148.822 * * [simplify]: iteration 3 : 213 enodes (cost 7 ) 148.939 * * [simplify]: iteration 4 : 436 enodes (cost 7 ) 149.418 * * [simplify]: iteration 5 : 1198 enodes (cost 7 ) 152.232 * * [simplify]: iteration 6 : 4072 enodes (cost 7 ) 154.209 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 154.210 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 154.211 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 154.216 * * [simplify]: iteration 2 : 74 enodes (cost 9 ) 154.241 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 154.362 * * [simplify]: iteration 4 : 446 enodes (cost 7 ) 154.902 * * [simplify]: iteration 5 : 1262 enodes (cost 7 ) 157.657 * * [simplify]: iteration 6 : 4293 enodes (cost 7 ) 159.824 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 159.824 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 159.825 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 159.826 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 159.828 * * [simplify]: iteration done : 11 enodes (cost 13 ) 159.828 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 159.829 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 159.830 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 159.831 * * [simplify]: iteration done : 10 enodes (cost 6 ) 159.832 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 159.833 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 159.837 * * [simplify]: iteration 2 : 70 enodes (cost 7 ) 159.870 * * [simplify]: iteration 3 : 230 enodes (cost 7 ) 160.031 * * [simplify]: iteration 4 : 358 enodes (cost 7 ) 160.254 * * [simplify]: iteration 5 : 524 enodes (cost 7 ) 160.848 * * [simplify]: iteration 6 : 1407 enodes (cost 7 ) 164.127 * * [simplify]: iteration 7 : 4747 enodes (cost 7 ) 166.190 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 166.191 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 166.192 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 166.193 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 166.195 * * [simplify]: iteration done : 10 enodes (cost 6 ) 166.195 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 166.196 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 166.197 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 166.198 * * [simplify]: iteration done : 10 enodes (cost 6 ) 166.199 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 166.199 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 166.200 * * [simplify]: iteration done : 5 enodes (cost 4 ) 166.200 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 166.201 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 166.201 * * [simplify]: iteration done : 5 enodes (cost 4 ) 166.202 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 166.202 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 166.204 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 166.209 * * [simplify]: iteration done : 24 enodes (cost 9 ) 166.210 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 166.210 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 166.211 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 166.212 * * [simplify]: iteration done : 10 enodes (cost 6 ) 166.213 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 166.214 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 166.215 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 166.216 * * [simplify]: iteration done : 17 enodes (cost 3 ) 166.216 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.217 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 166.217 * * [simplify]: iteration done : 4 enodes (cost 3 ) 166.218 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 166.219 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 166.222 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 166.229 * * [simplify]: iteration 3 : 110 enodes (cost 10 ) 166.255 * * [simplify]: iteration 4 : 349 enodes (cost 10 ) 166.419 * * [simplify]: iteration 5 : 1311 enodes (cost 10 ) 167.491 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 167.492 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 167.494 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 167.497 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 167.505 * * [simplify]: iteration 3 : 130 enodes (cost 10 ) 167.534 * * [simplify]: iteration 4 : 368 enodes (cost 10 ) 167.703 * * [simplify]: iteration 5 : 1480 enodes (cost 10 ) 168.552 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 168.553 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 168.554 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 168.557 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 168.570 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 168.587 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 168.626 * * [simplify]: iteration 5 : 184 enodes (cost 10 ) 168.650 * * [simplify]: iteration 6 : 200 enodes (cost 10 ) 168.684 * * [simplify]: iteration 7 : 240 enodes (cost 10 ) 168.722 * * [simplify]: iteration 8 : 267 enodes (cost 10 ) 168.760 * * [simplify]: iteration done : 267 enodes (cost 10 ) 168.760 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 168.761 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 168.765 * * [simplify]: iteration 2 : 68 enodes (cost 10 ) 168.777 * * [simplify]: iteration 3 : 156 enodes (cost 10 ) 168.811 * * [simplify]: iteration 4 : 344 enodes (cost 10 ) 168.989 * * [simplify]: iteration 5 : 1403 enodes (cost 10 ) 170.072 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 170.072 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 170.074 * * [simplify]: iteration 1 : 21 enodes (cost 25 ) 170.077 * * [simplify]: iteration 2 : 51 enodes (cost 21 ) 170.086 * * [simplify]: iteration 3 : 90 enodes (cost 21 ) 170.106 * * [simplify]: iteration 4 : 125 enodes (cost 21 ) 170.143 * * [simplify]: iteration 5 : 183 enodes (cost 21 ) 170.171 * * [simplify]: iteration 6 : 198 enodes (cost 21 ) 170.201 * * [simplify]: iteration 7 : 232 enodes (cost 21 ) 170.240 * * [simplify]: iteration 8 : 262 enodes (cost 21 ) 170.282 * * [simplify]: iteration 9 : 263 enodes (cost 21 ) 170.316 * * [simplify]: iteration done : 263 enodes (cost 21 ) 170.317 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 170.318 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 170.321 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 170.333 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 170.348 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 170.389 * * [simplify]: iteration 5 : 184 enodes (cost 10 ) 170.413 * * [simplify]: iteration 6 : 200 enodes (cost 10 ) 170.448 * * [simplify]: iteration 7 : 240 enodes (cost 10 ) 170.485 * * [simplify]: iteration 8 : 267 enodes (cost 10 ) 170.523 * * [simplify]: iteration done : 267 enodes (cost 10 ) 170.524 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 170.525 * * [simplify]: iteration 1 : 22 enodes (cost 35 ) 170.529 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 170.549 * * [simplify]: iteration 3 : 248 enodes (cost 11 ) 170.688 * * [simplify]: iteration 4 : 1381 enodes (cost 11 ) 171.932 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 171.937 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 171.938 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 171.941 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 171.950 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 171.966 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 172.007 * * [simplify]: iteration 5 : 184 enodes (cost 10 ) 172.031 * * [simplify]: iteration 6 : 200 enodes (cost 10 ) 172.066 * * [simplify]: iteration 7 : 240 enodes (cost 10 ) 172.107 * * [simplify]: iteration 8 : 267 enodes (cost 10 ) 172.141 * * [simplify]: iteration done : 267 enodes (cost 10 ) 172.142 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 172.143 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 172.146 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 172.154 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 172.176 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 172.217 * * [simplify]: iteration 5 : 184 enodes (cost 10 ) 172.242 * * [simplify]: iteration 6 : 200 enodes (cost 10 ) 172.277 * * [simplify]: iteration 7 : 240 enodes (cost 10 ) 172.314 * * [simplify]: iteration 8 : 267 enodes (cost 10 ) 172.354 * * [simplify]: iteration done : 267 enodes (cost 10 ) 172.355 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 172.356 * * [simplify]: iteration 1 : 36 enodes (cost 15 ) 172.363 * * [simplify]: iteration 2 : 126 enodes (cost 15 ) 172.410 * * [simplify]: iteration 3 : 529 enodes (cost 15 ) 173.012 * * [simplify]: iteration 4 : 1989 enodes (cost 15 ) 175.787 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 175.788 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 175.790 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 175.797 * * [simplify]: iteration 2 : 113 enodes (cost 29 ) 175.835 * * [simplify]: iteration 3 : 337 enodes (cost 27 ) 175.965 * * [simplify]: iteration 4 : 808 enodes (cost 23 ) 176.411 * * [simplify]: iteration 5 : 1849 enodes (cost 23 ) 178.802 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 178.803 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 178.804 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 178.805 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 178.809 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 178.813 * * [simplify]: iteration done : 33 enodes (cost 6 ) 178.814 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 178.816 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 178.821 * * [simplify]: iteration 2 : 96 enodes (cost 23 ) 178.855 * * [simplify]: iteration 3 : 318 enodes (cost 19 ) 179.022 * * [simplify]: iteration 4 : 919 enodes (cost 19 ) 179.646 * * [simplify]: iteration 5 : 2746 enodes (cost 19 ) 181.012 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 181.012 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 181.013 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 181.016 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 181.022 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 181.035 * * [simplify]: iteration 4 : 110 enodes (cost 9 ) 181.072 * * [simplify]: iteration 5 : 163 enodes (cost 9 ) 181.094 * * [simplify]: iteration 6 : 172 enodes (cost 9 ) 181.121 * * [simplify]: iteration 7 : 192 enodes (cost 9 ) 181.153 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 181.195 * * [simplify]: iteration 9 : 255 enodes (cost 9 ) 181.233 * * [simplify]: iteration done : 255 enodes (cost 9 ) 181.234 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 181.235 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 181.238 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 181.244 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 181.253 * * [simplify]: iteration 4 : 65 enodes (cost 8 ) 181.263 * * [simplify]: iteration done : 65 enodes (cost 8 ) 181.264 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 181.265 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 181.267 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 181.277 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 181.287 * * [simplify]: iteration 4 : 65 enodes (cost 8 ) 181.296 * * [simplify]: iteration done : 65 enodes (cost 8 ) 181.297 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 181.298 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 181.300 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 181.302 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 181.305 * * [simplify]: iteration done : 20 enodes (cost 7 ) 181.305 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 181.306 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 181.308 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 181.312 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 181.316 * * [simplify]: iteration done : 33 enodes (cost 6 ) 181.316 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 181.317 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 181.319 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 181.321 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 181.327 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 181.342 * * [simplify]: iteration 5 : 177 enodes (cost 6 ) 181.406 * * [simplify]: iteration 6 : 500 enodes (cost 6 ) 181.819 * * [simplify]: iteration 7 : 1796 enodes (cost 6 ) 182.981 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 182.982 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 182.983 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 182.984 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 182.986 * * [simplify]: iteration done : 16 enodes (cost 6 ) 182.986 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 182.987 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 182.989 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 182.992 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 182.997 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 183.009 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 183.063 * * [simplify]: iteration 6 : 555 enodes (cost 6 ) 183.717 * * [simplify]: iteration 7 : 2144 enodes (cost 6 ) 185.928 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 185.929 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 185.930 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 185.931 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 185.933 * * [simplify]: iteration done : 17 enodes (cost 13 ) 185.933 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.934 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 185.935 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.937 * * [simplify]: iteration done : 16 enodes (cost 6 ) 185.937 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 185.938 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 185.940 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 185.946 * * [simplify]: iteration 3 : 107 enodes (cost 7 ) 185.984 * * [simplify]: iteration 4 : 402 enodes (cost 7 ) 186.264 * * [simplify]: iteration 5 : 1367 enodes (cost 7 ) 188.079 * * [simplify]: iteration 6 : 4003 enodes (cost 7 ) 189.824 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 189.825 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 189.826 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 189.827 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 189.829 * * [simplify]: iteration done : 16 enodes (cost 6 ) 189.829 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 189.830 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 189.831 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 189.833 * * [simplify]: iteration done : 16 enodes (cost 6 ) 189.833 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 189.834 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 189.839 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 189.861 * * [simplify]: iteration 3 : 272 enodes (cost 9 ) 190.039 * * [simplify]: iteration 4 : 740 enodes (cost 9 ) 190.643 * * [simplify]: iteration 5 : 1888 enodes (cost 9 ) 192.204 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 192.205 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 192.206 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 192.211 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 192.223 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 192.240 * * [simplify]: iteration 4 : 73 enodes (cost 13 ) 192.252 * * [simplify]: iteration done : 73 enodes (cost 13 ) 192.253 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 192.253 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 192.254 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 192.255 * * [simplify]: iteration done : 11 enodes (cost 4 ) 192.256 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 192.257 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 192.260 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 192.272 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 192.298 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 192.337 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 192.417 * * [simplify]: iteration 6 : 370 enodes (cost 11 ) 192.545 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 193.594 * * [simplify]: iteration 8 : 2075 enodes (cost 11 ) 197.792 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 197.793 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.794 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 197.795 * * [simplify]: iteration done : 7 enodes (cost 5 ) 197.796 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 197.796 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 197.797 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 197.798 * * [simplify]: iteration done : 11 enodes (cost 4 ) 197.799 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.800 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 197.801 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 197.803 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 197.806 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 197.808 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 197.812 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 197.826 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 197.874 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 198.321 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 200.637 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 200.638 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 200.638 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 200.640 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 200.642 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 200.644 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 200.647 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 200.650 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 200.660 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 200.710 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 201.174 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 203.486 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 203.487 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.488 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 203.489 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 203.491 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 203.493 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 203.496 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 203.500 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 203.509 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 203.559 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 204.017 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 206.337 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 206.338 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 206.340 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 206.343 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 206.348 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 206.367 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 206.388 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 206.443 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 206.495 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 206.582 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 207.098 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 209.399 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 209.405 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 209.407 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 209.410 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 209.416 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 209.429 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 209.450 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 209.504 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 209.557 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 209.643 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 210.158 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 212.451 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 212.452 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 212.453 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 212.457 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 212.462 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 212.475 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 212.502 * * [simplify]: iteration 5 : 185 enodes (cost 9 ) 212.551 * * [simplify]: iteration 6 : 292 enodes (cost 9 ) 212.603 * * [simplify]: iteration 7 : 392 enodes (cost 9 ) 212.689 * * [simplify]: iteration 8 : 612 enodes (cost 9 ) 213.191 * * [simplify]: iteration 9 : 1549 enodes (cost 9 ) 215.454 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 215.455 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.455 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 215.456 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.458 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.458 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.459 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 215.460 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.462 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.462 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.463 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 215.464 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 215.466 * * [simplify]: iteration done : 15 enodes (cost 5 ) 215.466 * [simplify]: Simplified to: (* (* x x) 0.12) (* (* x x) 0.12) (+ (log 0.12) (* 2 (log x))) (+ (log (* x x)) (log 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (pow x 6) (pow 0.12 3)) (* (pow x 6) (pow 0.12 3)) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (pow (* (* x x) 0.12) 3) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* x x) (* (cbrt 0.12) (cbrt 0.12))) (* (* x x) (sqrt 0.12)) (* x x) (* x 0.12) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (pow (- 1.0 (* x (+ 0.253 (* x 0.12)))) 3) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* (* x x) 0.12) 3)) (+ (* (- 1.0 (* x 0.253)) (- 1.0 (* x (- 0.253 (* x 0.12))))) (* (* 0.12 0.12) (pow x 4))) (neg (* (* x x) 0.12)) (* (- 1.0 (* x (- 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (- 0.253 (* x 0.12)))) (* x (- (neg 0.253) (* x 0.12))) (* x (- (neg 0.253) (* x 0.12))) (* x (+ (* x 0.12) 0.253)) (neg (* (* x x) 0.12)) (exp (- 1.0 (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (pow (- 1.0 (* x 0.253)) 3) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* (* x 0.253) (+ (* x 0.253) 1.0)) (* 1.0 1.0)) (neg (* x 0.253)) (* (+ 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 215.467 * * * [progress]: adding candidates to table 215.535 * * [progress]: iteration 4 / 4 215.535 * * * [progress]: picking best candidate 215.543 * * * * [pick]: Picked # 215.544 * * * [progress]: localizing error 215.553 * * * [progress]: generating rewritten candidates 215.554 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 215.562 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 215.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 215.580 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 215.589 * * * [progress]: generating series expansions 215.590 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 215.590 * [approximate]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in (x) around 0 215.590 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x 215.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.590 * [taylor]: Taking taylor expansion of x in x 215.590 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.590 * [taylor]: Taking taylor expansion of 0.12 in x 215.590 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x 215.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.590 * [taylor]: Taking taylor expansion of x in x 215.590 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.590 * [taylor]: Taking taylor expansion of 0.12 in x 215.591 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0 215.591 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 215.591 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.591 * [taylor]: Taking taylor expansion of 0.12 in x 215.591 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.591 * [taylor]: Taking taylor expansion of x in x 215.592 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 215.592 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.592 * [taylor]: Taking taylor expansion of 0.12 in x 215.592 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.592 * [taylor]: Taking taylor expansion of x in x 215.593 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0 215.593 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 215.593 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.593 * [taylor]: Taking taylor expansion of 0.12 in x 215.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.593 * [taylor]: Taking taylor expansion of x in x 215.593 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 215.593 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.593 * [taylor]: Taking taylor expansion of 0.12 in x 215.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.593 * [taylor]: Taking taylor expansion of x in x 215.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 215.595 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0 215.595 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 215.595 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.595 * [taylor]: Taking taylor expansion of x in x 215.595 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.595 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.595 * [taylor]: Taking taylor expansion of 0.12 in x 215.595 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 215.595 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.595 * [taylor]: Taking taylor expansion of x in x 215.595 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.595 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.595 * [taylor]: Taking taylor expansion of 0.12 in x 215.598 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 215.598 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.598 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.598 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.598 * [taylor]: Taking taylor expansion of 0.12 in x 215.598 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.598 * [taylor]: Taking taylor expansion of x in x 215.598 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.598 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.598 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.598 * [taylor]: Taking taylor expansion of 0.12 in x 215.598 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.598 * [taylor]: Taking taylor expansion of x in x 215.600 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 215.600 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.600 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.600 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.600 * [taylor]: Taking taylor expansion of 0.12 in x 215.600 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.600 * [taylor]: Taking taylor expansion of x in x 215.601 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.601 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.601 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.601 * [taylor]: Taking taylor expansion of 0.12 in x 215.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.601 * [taylor]: Taking taylor expansion of x in x 215.603 * * * * [progress]: [ 3 / 4 ] generating series at (2) 215.603 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))) in (x) around 0 215.603 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))) in x 215.603 * [taylor]: Taking taylor expansion of 1.0 in x 215.603 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x 215.603 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 215.603 * [taylor]: Taking taylor expansion of 0.253 in x 215.603 * [taylor]: Taking taylor expansion of x in x 215.603 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 215.603 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.603 * [taylor]: Taking taylor expansion of x in x 215.603 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.603 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.603 * [taylor]: Taking taylor expansion of 0.12 in x 215.604 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))) in x 215.604 * [taylor]: Taking taylor expansion of 1.0 in x 215.604 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x 215.604 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 215.604 * [taylor]: Taking taylor expansion of 0.253 in x 215.604 * [taylor]: Taking taylor expansion of x in x 215.604 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 215.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.604 * [taylor]: Taking taylor expansion of x in x 215.604 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.604 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.604 * [taylor]: Taking taylor expansion of 0.12 in x 215.605 * [approximate]: Taking taylor expansion of (- 1.0 (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))) in (x) around 0 215.605 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))) in x 215.605 * [taylor]: Taking taylor expansion of 1.0 in x 215.605 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 215.605 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.605 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.605 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.605 * [taylor]: Taking taylor expansion of 0.12 in x 215.605 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.605 * [taylor]: Taking taylor expansion of x in x 215.605 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.605 * [taylor]: Taking taylor expansion of 0.253 in x 215.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.605 * [taylor]: Taking taylor expansion of x in x 215.605 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))) in x 215.605 * [taylor]: Taking taylor expansion of 1.0 in x 215.605 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 215.605 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.605 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.605 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.605 * [taylor]: Taking taylor expansion of 0.12 in x 215.605 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.605 * [taylor]: Taking taylor expansion of x in x 215.606 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.606 * [taylor]: Taking taylor expansion of 0.253 in x 215.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.606 * [taylor]: Taking taylor expansion of x in x 215.607 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (/ (pow (sqrt 0.12) 2) (pow x 2))) in (x) around 0 215.607 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (/ (pow (sqrt 0.12) 2) (pow x 2))) in x 215.607 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 215.607 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.607 * [taylor]: Taking taylor expansion of 0.253 in x 215.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.607 * [taylor]: Taking taylor expansion of x in x 215.607 * [taylor]: Taking taylor expansion of 1.0 in x 215.607 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.607 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.607 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.607 * [taylor]: Taking taylor expansion of 0.12 in x 215.607 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.607 * [taylor]: Taking taylor expansion of x in x 215.607 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (/ (pow (sqrt 0.12) 2) (pow x 2))) in x 215.607 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 215.607 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.607 * [taylor]: Taking taylor expansion of 0.253 in x 215.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.607 * [taylor]: Taking taylor expansion of x in x 215.607 * [taylor]: Taking taylor expansion of 1.0 in x 215.608 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 215.608 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 215.608 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 215.608 * [taylor]: Taking taylor expansion of 0.12 in x 215.608 * [taylor]: Taking taylor expansion of (pow x 2) in x 215.608 * [taylor]: Taking taylor expansion of x in x 215.609 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 215.609 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 215.609 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 215.609 * [taylor]: Taking taylor expansion of 1.0 in x 215.609 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 215.609 * [taylor]: Taking taylor expansion of 0.253 in x 215.609 * [taylor]: Taking taylor expansion of x in x 215.609 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 215.609 * [taylor]: Taking taylor expansion of 1.0 in x 215.609 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 215.609 * [taylor]: Taking taylor expansion of 0.253 in x 215.609 * [taylor]: Taking taylor expansion of x in x 215.610 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 215.610 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 215.610 * [taylor]: Taking taylor expansion of 1.0 in x 215.610 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.610 * [taylor]: Taking taylor expansion of 0.253 in x 215.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.610 * [taylor]: Taking taylor expansion of x in x 215.610 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 215.610 * [taylor]: Taking taylor expansion of 1.0 in x 215.610 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.610 * [taylor]: Taking taylor expansion of 0.253 in x 215.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.610 * [taylor]: Taking taylor expansion of x in x 215.611 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 215.611 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 215.611 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.611 * [taylor]: Taking taylor expansion of 0.253 in x 215.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.611 * [taylor]: Taking taylor expansion of x in x 215.611 * [taylor]: Taking taylor expansion of 1.0 in x 215.611 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 215.611 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 215.611 * [taylor]: Taking taylor expansion of 0.253 in x 215.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 215.612 * [taylor]: Taking taylor expansion of x in x 215.612 * [taylor]: Taking taylor expansion of 1.0 in x 215.613 * * * [progress]: simplifying candidates 215.614 * [simplify]: Simplifying using # : (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12)) (+ (+ (log x) (log x)) (log (sqrt 0.12))) (+ (log (* x x)) (log (sqrt 0.12))) (log (* (* x x) (sqrt 0.12))) (exp (* (* x x) (sqrt 0.12))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12)))) (cbrt (* (* x x) (sqrt 0.12))) (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* (* x x) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (* x x) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (* (* x x) (sqrt (sqrt 0.12))) (* (* x x) (sqrt 1)) (* (* x x) (sqrt (sqrt 0.12))) (* (* x x) 1) (* x (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (+ (+ (+ (log x) (log x)) (log (sqrt 0.12))) (log (sqrt 0.12))) (+ (+ (log (* x x)) (log (sqrt 0.12))) (log (sqrt 0.12))) (+ (log (* (* x x) (sqrt 0.12))) (log (sqrt 0.12))) (log (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (* (* x x) (sqrt 0.12)) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 1)) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) 1) (* (sqrt 0.12) (sqrt 0.12)) (/ (/ (exp 1.0) (exp (* x 0.253))) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (/ (exp (- 1.0 (* x 0.253))) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (log (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (exp (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (* (cbrt (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))) (cbrt (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (* (* (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (sqrt (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (sqrt (- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 3)) (+ (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))) (neg (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (- (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (+ (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (- (neg (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (- (neg (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (neg (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (/ (exp 1.0) (exp (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (* (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* 1.0 1.0) (+ (* (* x 0.253) (* x 0.253)) (* 1.0 (* x 0.253)))) (neg (* x 0.253)) (- (* 1.0 1.0) (* (* x 0.253) (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* (sqrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* (pow (sqrt 0.12) 2) (pow x 2)) (* (pow (sqrt 0.12) 2) (pow x 2)) (* (pow (sqrt 0.12) 2) (pow x 2)) (- 1.0 (+ (* 0.253 x) (* (pow (sqrt 0.12) 2) (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* (pow (sqrt 0.12) 2) (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* (pow (sqrt 0.12) 2) (pow x 2)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 215.615 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 215.615 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 215.616 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 215.617 * * [simplify]: iteration done : 10 enodes (cost 6 ) 215.618 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 215.618 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 215.619 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 215.621 * * [simplify]: iteration done : 10 enodes (cost 6 ) 215.621 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 215.622 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 215.623 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 215.625 * * [simplify]: iteration done : 15 enodes (cost 8 ) 215.626 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 215.626 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 215.627 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 215.629 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 215.631 * * [simplify]: iteration done : 17 enodes (cost 8 ) 215.631 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 215.632 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 215.633 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 215.635 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 215.638 * * [simplify]: iteration 4 : 27 enodes (cost 7 ) 215.641 * * [simplify]: iteration done : 27 enodes (cost 7 ) 215.641 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 215.642 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 215.644 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 215.646 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 215.652 * * [simplify]: iteration 4 : 80 enodes (cost 7 ) 215.668 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 215.747 * * [simplify]: iteration 6 : 447 enodes (cost 7 ) 216.035 * * [simplify]: iteration 7 : 1197 enodes (cost 7 ) 217.773 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 217.773 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 217.775 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 217.784 * * [simplify]: iteration 2 : 70 enodes (cost 12 ) 217.807 * * [simplify]: iteration 3 : 196 enodes (cost 8 ) 217.899 * * [simplify]: iteration 4 : 357 enodes (cost 8 ) 218.166 * * [simplify]: iteration 5 : 796 enodes (cost 8 ) 219.561 * * [simplify]: iteration 6 : 2198 enodes (cost 8 ) 221.886 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 221.887 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 221.889 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 221.893 * * [simplify]: iteration 2 : 70 enodes (cost 10 ) 221.918 * * [simplify]: iteration 3 : 199 enodes (cost 8 ) 222.012 * * [simplify]: iteration 4 : 375 enodes (cost 8 ) 222.315 * * [simplify]: iteration 5 : 850 enodes (cost 8 ) 223.592 * * [simplify]: iteration 6 : 2347 enodes (cost 8 ) 226.111 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 226.112 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 226.112 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 226.114 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 226.115 * * [simplify]: iteration done : 12 enodes (cost 15 ) 226.116 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 226.116 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 226.117 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 226.119 * * [simplify]: iteration done : 11 enodes (cost 7 ) 226.119 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 226.120 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 226.125 * * [simplify]: iteration 2 : 71 enodes (cost 8 ) 226.153 * * [simplify]: iteration 3 : 235 enodes (cost 8 ) 226.314 * * [simplify]: iteration 4 : 360 enodes (cost 8 ) 226.532 * * [simplify]: iteration 5 : 522 enodes (cost 8 ) 227.117 * * [simplify]: iteration 6 : 1412 enodes (cost 8 ) 230.502 * * [simplify]: iteration 7 : 4802 enodes (cost 8 ) 232.195 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 232.196 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 232.197 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 232.198 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 232.199 * * [simplify]: iteration done : 11 enodes (cost 7 ) 232.200 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 232.201 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 232.202 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 232.203 * * [simplify]: iteration done : 11 enodes (cost 7 ) 232.204 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 232.204 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 232.205 * * [simplify]: iteration done : 6 enodes (cost 5 ) 232.205 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 232.206 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 232.206 * * [simplify]: iteration done : 6 enodes (cost 5 ) 232.207 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 232.208 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 232.208 * * [simplify]: iteration done : 6 enodes (cost 5 ) 232.209 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 232.213 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 232.214 * * [simplify]: iteration done : 6 enodes (cost 5 ) 232.214 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 232.215 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 232.217 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 232.221 * * [simplify]: iteration done : 25 enodes (cost 11 ) 232.222 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 232.222 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 232.224 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 232.225 * * [simplify]: iteration done : 13 enodes (cost 7 ) 232.226 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 232.226 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 232.227 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 232.228 * * [simplify]: iteration done : 11 enodes (cost 7 ) 232.229 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 232.230 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 232.231 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 232.232 * * [simplify]: iteration done : 12 enodes (cost 3 ) 232.233 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 232.233 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 232.234 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 232.236 * * [simplify]: iteration done : 11 enodes (cost 7 ) 232.236 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 232.237 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 232.238 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 232.239 * * [simplify]: iteration done : 17 enodes (cost 3 ) 232.239 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 232.240 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 232.240 * * [simplify]: iteration done : 5 enodes (cost 4 ) 232.241 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 232.242 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 232.244 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 232.247 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 232.250 * * [simplify]: iteration done : 24 enodes (cost 5 ) 232.251 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 232.252 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 232.254 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 232.257 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 232.260 * * [simplify]: iteration done : 24 enodes (cost 5 ) 232.261 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 232.262 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 232.264 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 232.266 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 232.270 * * [simplify]: iteration done : 24 enodes (cost 5 ) 232.270 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 232.271 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 232.276 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 232.280 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 232.284 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 232.288 * * [simplify]: iteration done : 33 enodes (cost 8 ) 232.289 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 232.290 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 232.292 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 232.295 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 232.300 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 232.305 * * [simplify]: iteration done : 35 enodes (cost 8 ) 232.306 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 232.307 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 232.308 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 232.311 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 232.316 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 232.322 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 232.327 * * [simplify]: iteration done : 45 enodes (cost 7 ) 232.328 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 232.329 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 232.331 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 232.339 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 232.346 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 232.355 * * [simplify]: iteration 5 : 67 enodes (cost 6 ) 232.365 * * [simplify]: iteration done : 67 enodes (cost 6 ) 232.365 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 232.366 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 232.369 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 232.374 * * [simplify]: iteration 3 : 65 enodes (cost 6 ) 232.383 * * [simplify]: iteration 4 : 133 enodes (cost 6 ) 232.410 * * [simplify]: iteration 5 : 311 enodes (cost 6 ) 232.551 * * [simplify]: iteration 6 : 751 enodes (cost 6 ) 233.168 * * [simplify]: iteration 7 : 2014 enodes (cost 6 ) 234.564 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 234.565 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 234.567 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 234.579 * * [simplify]: iteration 2 : 109 enodes (cost 13 ) 234.641 * * [simplify]: iteration 3 : 447 enodes (cost 7 ) 235.146 * * [simplify]: iteration 4 : 1159 enodes (cost 7 ) 237.311 * * [simplify]: iteration 5 : 2626 enodes (cost 7 ) 240.566 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 240.567 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 240.568 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 240.575 * * [simplify]: iteration 2 : 112 enodes (cost 11 ) 240.638 * * [simplify]: iteration 3 : 443 enodes (cost 7 ) 241.134 * * [simplify]: iteration 4 : 1162 enodes (cost 7 ) 243.553 * * [simplify]: iteration 5 : 2858 enodes (cost 7 ) 246.938 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 246.939 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 246.940 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 246.947 * * [simplify]: iteration 2 : 113 enodes (cost 13 ) 247.018 * * [simplify]: iteration 3 : 509 enodes (cost 13 ) 247.805 * * [simplify]: iteration 4 : 1296 enodes (cost 7 ) 249.746 * * [simplify]: iteration 5 : 1837 enodes (cost 6 ) 252.621 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 252.622 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 252.623 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 252.629 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 252.633 * * [simplify]: iteration 3 : 26 enodes (cost 13 ) 252.636 * * [simplify]: iteration done : 26 enodes (cost 13 ) 252.637 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 252.638 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 252.639 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 252.643 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 252.646 * * [simplify]: iteration done : 25 enodes (cost 6 ) 252.647 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 252.648 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 252.654 * * [simplify]: iteration 2 : 95 enodes (cost 7 ) 252.717 * * [simplify]: iteration 3 : 406 enodes (cost 7 ) 253.292 * * [simplify]: iteration 4 : 1024 enodes (cost 6 ) 255.179 * * [simplify]: iteration 5 : 1772 enodes (cost 6 ) 258.601 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 258.602 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 258.608 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 258.610 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 258.613 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 258.617 * * [simplify]: iteration done : 26 enodes (cost 5 ) 258.618 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 258.618 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 258.620 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 258.624 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 258.628 * * [simplify]: iteration done : 26 enodes (cost 5 ) 258.628 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 258.629 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 258.632 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 258.640 * * [simplify]: iteration 3 : 74 enodes (cost 14 ) 258.662 * * [simplify]: iteration 4 : 83 enodes (cost 14 ) 258.684 * * [simplify]: iteration done : 83 enodes (cost 14 ) 258.685 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 258.686 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 258.688 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 258.693 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 258.700 * * [simplify]: iteration done : 40 enodes (cost 10 ) 258.700 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 258.704 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 258.706 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 258.710 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 258.716 * * [simplify]: iteration done : 37 enodes (cost 10 ) 258.717 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 258.718 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 258.720 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 258.725 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 258.729 * * [simplify]: iteration 4 : 49 enodes (cost 6 ) 258.733 * * [simplify]: iteration done : 49 enodes (cost 6 ) 258.734 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 258.735 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 258.737 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 258.742 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 258.748 * * [simplify]: iteration done : 37 enodes (cost 10 ) 258.749 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 258.750 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 258.753 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 258.764 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 258.768 * * [simplify]: iteration done : 51 enodes (cost 6 ) 258.768 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 258.769 * * [simplify]: iteration done : 3 enodes (cost 1 ) 258.770 * * [simplify]: iteration 0 : 14 enodes (cost 18 ) 258.771 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 258.775 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 258.785 * * [simplify]: iteration 3 : 139 enodes (cost 10 ) 258.812 * * [simplify]: iteration 4 : 410 enodes (cost 10 ) 259.007 * * [simplify]: iteration 5 : 1591 enodes (cost 10 ) 260.138 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 260.139 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 260.140 * * [simplify]: iteration 1 : 29 enodes (cost 16 ) 260.145 * * [simplify]: iteration 2 : 69 enodes (cost 12 ) 260.156 * * [simplify]: iteration 3 : 166 enodes (cost 10 ) 260.198 * * [simplify]: iteration 4 : 469 enodes (cost 10 ) 260.411 * * [simplify]: iteration 5 : 1794 enodes (cost 10 ) 261.109 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 261.110 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 261.112 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 261.115 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 261.126 * * [simplify]: iteration 3 : 120 enodes (cost 10 ) 261.167 * * [simplify]: iteration 4 : 219 enodes (cost 10 ) 261.270 * * [simplify]: iteration 5 : 353 enodes (cost 10 ) 261.336 * * [simplify]: iteration 6 : 368 enodes (cost 10 ) 261.401 * * [simplify]: iteration 7 : 402 enodes (cost 10 ) 261.476 * * [simplify]: iteration 8 : 432 enodes (cost 10 ) 261.550 * * [simplify]: iteration 9 : 433 enodes (cost 10 ) 261.619 * * [simplify]: iteration done : 433 enodes (cost 10 ) 261.619 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 261.624 * * [simplify]: iteration 1 : 28 enodes (cost 16 ) 261.629 * * [simplify]: iteration 2 : 78 enodes (cost 12 ) 261.644 * * [simplify]: iteration 3 : 195 enodes (cost 10 ) 261.699 * * [simplify]: iteration 4 : 467 enodes (cost 10 ) 261.972 * * [simplify]: iteration 5 : 1797 enodes (cost 10 ) 262.841 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 262.842 * * [simplify]: iteration 0 : 13 enodes (cost 33 ) 262.844 * * [simplify]: iteration 1 : 26 enodes (cost 33 ) 262.848 * * [simplify]: iteration 2 : 61 enodes (cost 25 ) 262.860 * * [simplify]: iteration 3 : 121 enodes (cost 21 ) 262.899 * * [simplify]: iteration 4 : 222 enodes (cost 21 ) 263.003 * * [simplify]: iteration 5 : 356 enodes (cost 21 ) 263.068 * * [simplify]: iteration 6 : 371 enodes (cost 21 ) 263.132 * * [simplify]: iteration 7 : 405 enodes (cost 21 ) 263.208 * * [simplify]: iteration 8 : 435 enodes (cost 21 ) 263.281 * * [simplify]: iteration 9 : 436 enodes (cost 21 ) 263.350 * * [simplify]: iteration done : 436 enodes (cost 21 ) 263.351 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 263.352 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 263.356 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 263.373 * * [simplify]: iteration 3 : 120 enodes (cost 10 ) 263.409 * * [simplify]: iteration 4 : 219 enodes (cost 10 ) 263.511 * * [simplify]: iteration 5 : 353 enodes (cost 10 ) 263.579 * * [simplify]: iteration 6 : 368 enodes (cost 10 ) 263.644 * * [simplify]: iteration 7 : 402 enodes (cost 10 ) 263.715 * * [simplify]: iteration 8 : 432 enodes (cost 10 ) 263.792 * * [simplify]: iteration 9 : 433 enodes (cost 10 ) 263.862 * * [simplify]: iteration done : 433 enodes (cost 10 ) 263.863 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 263.864 * * [simplify]: iteration 1 : 27 enodes (cost 47 ) 263.869 * * [simplify]: iteration 2 : 76 enodes (cost 13 ) 263.887 * * [simplify]: iteration 3 : 279 enodes (cost 11 ) 264.135 * * [simplify]: iteration 4 : 1877 enodes (cost 11 ) 265.386 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 265.387 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 265.388 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 265.392 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 265.403 * * [simplify]: iteration 3 : 120 enodes (cost 10 ) 265.445 * * [simplify]: iteration 4 : 219 enodes (cost 10 ) 265.549 * * [simplify]: iteration 5 : 353 enodes (cost 10 ) 265.613 * * [simplify]: iteration 6 : 368 enodes (cost 10 ) 265.678 * * [simplify]: iteration 7 : 402 enodes (cost 10 ) 265.753 * * [simplify]: iteration 8 : 432 enodes (cost 10 ) 265.827 * * [simplify]: iteration 9 : 433 enodes (cost 10 ) 265.901 * * [simplify]: iteration done : 433 enodes (cost 10 ) 265.901 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 265.903 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 265.907 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 265.918 * * [simplify]: iteration 3 : 120 enodes (cost 10 ) 265.959 * * [simplify]: iteration 4 : 219 enodes (cost 10 ) 266.061 * * [simplify]: iteration 5 : 353 enodes (cost 10 ) 266.125 * * [simplify]: iteration 6 : 368 enodes (cost 10 ) 266.191 * * [simplify]: iteration 7 : 402 enodes (cost 10 ) 266.264 * * [simplify]: iteration 8 : 432 enodes (cost 10 ) 266.342 * * [simplify]: iteration 9 : 433 enodes (cost 10 ) 266.411 * * [simplify]: iteration done : 433 enodes (cost 10 ) 266.412 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 266.414 * * [simplify]: iteration 1 : 41 enodes (cost 19 ) 266.422 * * [simplify]: iteration 2 : 141 enodes (cost 15 ) 266.481 * * [simplify]: iteration 3 : 670 enodes (cost 15 ) 267.668 * * [simplify]: iteration 4 : 3335 enodes (cost 14 ) 269.797 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 269.798 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 269.800 * * [simplify]: iteration 1 : 39 enodes (cost 37 ) 269.809 * * [simplify]: iteration 2 : 141 enodes (cost 29 ) 269.864 * * [simplify]: iteration 3 : 502 enodes (cost 29 ) 270.166 * * [simplify]: iteration 4 : 1358 enodes (cost 25 ) 271.364 * * [simplify]: iteration 5 : 2688 enodes (cost 22 ) 273.106 * * [simplify]: iteration done : 5000 enodes (cost 22 ) 273.107 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 273.108 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 273.111 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 273.121 * * [simplify]: iteration 3 : 78 enodes (cost 6 ) 273.142 * * [simplify]: iteration 4 : 82 enodes (cost 6 ) 273.158 * * [simplify]: iteration done : 82 enodes (cost 6 ) 273.159 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 273.160 * * [simplify]: iteration 1 : 33 enodes (cost 31 ) 273.167 * * [simplify]: iteration 2 : 121 enodes (cost 23 ) 273.219 * * [simplify]: iteration 3 : 459 enodes (cost 19 ) 273.690 * * [simplify]: iteration 4 : 1536 enodes (cost 19 ) 275.254 * * [simplify]: iteration 5 : 3945 enodes (cost 18 ) 276.712 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 276.712 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 276.714 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 276.724 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 276.732 * * [simplify]: iteration 3 : 82 enodes (cost 9 ) 276.753 * * [simplify]: iteration 4 : 169 enodes (cost 9 ) 276.847 * * [simplify]: iteration 5 : 300 enodes (cost 9 ) 276.919 * * [simplify]: iteration 6 : 327 enodes (cost 9 ) 276.979 * * [simplify]: iteration 7 : 347 enodes (cost 9 ) 277.053 * * [simplify]: iteration 8 : 383 enodes (cost 9 ) 277.128 * * [simplify]: iteration 9 : 410 enodes (cost 9 ) 277.198 * * [simplify]: iteration done : 410 enodes (cost 9 ) 277.199 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 277.201 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 277.204 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 277.218 * * [simplify]: iteration 3 : 90 enodes (cost 8 ) 277.245 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 277.276 * * [simplify]: iteration 5 : 155 enodes (cost 8 ) 277.298 * * [simplify]: iteration done : 155 enodes (cost 8 ) 277.299 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 277.300 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 277.303 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 277.312 * * [simplify]: iteration 3 : 90 enodes (cost 8 ) 277.344 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 277.370 * * [simplify]: iteration 5 : 155 enodes (cost 8 ) 277.398 * * [simplify]: iteration done : 155 enodes (cost 8 ) 277.399 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 277.400 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 277.403 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 277.407 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 277.412 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 277.417 * * [simplify]: iteration done : 35 enodes (cost 7 ) 277.418 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 277.419 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 277.421 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 277.430 * * [simplify]: iteration 3 : 78 enodes (cost 6 ) 277.451 * * [simplify]: iteration 4 : 82 enodes (cost 6 ) 277.467 * * [simplify]: iteration done : 82 enodes (cost 6 ) 277.467 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 277.468 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 277.470 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 277.473 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 277.478 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 277.490 * * [simplify]: iteration 5 : 177 enodes (cost 6 ) 277.561 * * [simplify]: iteration 6 : 500 enodes (cost 6 ) 277.978 * * [simplify]: iteration 7 : 1796 enodes (cost 6 ) 279.158 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 279.159 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 279.159 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 279.160 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 279.162 * * [simplify]: iteration done : 16 enodes (cost 6 ) 279.163 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 279.163 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 279.165 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 279.168 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 279.173 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 279.187 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 279.243 * * [simplify]: iteration 6 : 555 enodes (cost 6 ) 279.916 * * [simplify]: iteration 7 : 2144 enodes (cost 6 ) 282.171 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 282.172 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 282.172 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 282.174 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 282.176 * * [simplify]: iteration done : 17 enodes (cost 13 ) 282.176 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 282.177 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 282.178 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 282.180 * * [simplify]: iteration done : 16 enodes (cost 6 ) 282.180 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 282.181 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 282.183 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 282.190 * * [simplify]: iteration 3 : 107 enodes (cost 7 ) 282.230 * * [simplify]: iteration 4 : 402 enodes (cost 7 ) 282.518 * * [simplify]: iteration 5 : 1367 enodes (cost 7 ) 284.370 * * [simplify]: iteration 6 : 4003 enodes (cost 7 ) 286.121 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 286.122 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 286.123 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 286.124 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 286.125 * * [simplify]: iteration done : 16 enodes (cost 6 ) 286.126 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 286.127 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 286.128 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 286.129 * * [simplify]: iteration done : 16 enodes (cost 6 ) 286.130 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 286.131 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 286.136 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 286.158 * * [simplify]: iteration 3 : 272 enodes (cost 9 ) 286.342 * * [simplify]: iteration 4 : 740 enodes (cost 9 ) 286.957 * * [simplify]: iteration 5 : 1888 enodes (cost 9 ) 288.558 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 288.559 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 288.561 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 288.565 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 288.578 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 288.594 * * [simplify]: iteration 4 : 73 enodes (cost 13 ) 288.607 * * [simplify]: iteration done : 73 enodes (cost 13 ) 288.608 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 288.608 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 288.609 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 288.610 * * [simplify]: iteration done : 11 enodes (cost 4 ) 288.611 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 288.612 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 288.615 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 288.627 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 288.654 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 288.693 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 288.778 * * [simplify]: iteration 6 : 370 enodes (cost 11 ) 288.905 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 289.765 * * [simplify]: iteration 8 : 2075 enodes (cost 11 ) 294.190 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 294.191 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 294.192 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 294.193 * * [simplify]: iteration done : 7 enodes (cost 5 ) 294.193 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 294.194 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 294.195 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 294.196 * * [simplify]: iteration done : 11 enodes (cost 4 ) 294.197 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 294.197 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 294.199 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 294.201 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 294.204 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 294.206 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 294.210 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 294.226 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 294.268 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 294.731 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 297.348 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 297.355 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 297.356 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 297.358 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 297.360 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 297.362 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 297.365 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 297.369 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 297.378 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 297.426 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 297.886 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 300.466 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 300.466 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 300.467 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 300.469 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 300.471 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 300.474 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 300.476 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 300.481 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 300.490 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 300.541 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 301.012 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 303.587 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 303.588 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 303.589 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 303.593 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 303.600 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 303.620 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 303.684 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 304.191 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 309.175 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 309.176 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 309.177 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 309.181 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 309.188 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 309.201 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 309.265 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 309.776 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 314.772 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 314.773 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 314.774 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 314.778 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 314.791 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 314.804 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 314.869 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 315.384 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 320.407 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 320.408 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 320.409 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 320.415 * * [simplify]: iteration 2 : 79 enodes (cost 11 ) 320.426 * * [simplify]: iteration 3 : 149 enodes (cost 11 ) 320.466 * * [simplify]: iteration 4 : 339 enodes (cost 9 ) 320.683 * * [simplify]: iteration 5 : 970 enodes (cost 9 ) 324.317 * * [simplify]: iteration 6 : 4261 enodes (cost 9 ) 327.062 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 327.062 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 327.064 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 327.069 * * [simplify]: iteration 2 : 79 enodes (cost 11 ) 327.080 * * [simplify]: iteration 3 : 149 enodes (cost 11 ) 327.121 * * [simplify]: iteration 4 : 339 enodes (cost 9 ) 327.338 * * [simplify]: iteration 5 : 970 enodes (cost 9 ) 330.970 * * [simplify]: iteration 6 : 4261 enodes (cost 9 ) 333.457 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 333.458 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 333.459 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 333.465 * * [simplify]: iteration 2 : 79 enodes (cost 11 ) 333.476 * * [simplify]: iteration 3 : 149 enodes (cost 11 ) 333.517 * * [simplify]: iteration 4 : 339 enodes (cost 9 ) 333.737 * * [simplify]: iteration 5 : 970 enodes (cost 9 ) 337.352 * * [simplify]: iteration 6 : 4261 enodes (cost 9 ) 339.835 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 339.836 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 339.837 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 339.838 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 339.840 * * [simplify]: iteration done : 15 enodes (cost 5 ) 339.840 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 339.841 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 339.842 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 339.844 * * [simplify]: iteration done : 15 enodes (cost 5 ) 339.844 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 339.845 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 339.846 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 339.847 * * [simplify]: iteration done : 15 enodes (cost 5 ) 339.848 * [simplify]: Simplified to: (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12)) (+ (* 2 (log x)) (log (sqrt 0.12))) (+ (log (* x x)) (log (sqrt 0.12))) (log (* (* x x) (sqrt 0.12))) (exp (* (* x x) (sqrt 0.12))) (* (* (sqrt 0.12) 0.12) (pow x 6)) (* (* (sqrt 0.12) 0.12) (pow x 6)) (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12)))) (cbrt (* (* x x) (sqrt 0.12))) (pow (* (* x x) (sqrt 0.12)) 3) (sqrt (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* (* x x) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (fabs (cbrt 0.12)) (* x x)) (* (* x x) (sqrt (sqrt 0.12))) (* x x) (* (* x x) (sqrt (sqrt 0.12))) (* x x) (* x (sqrt 0.12)) (* 0.12 (* x x)) (* 0.12 (* x x)) (* 0.12 (* x x)) (* 2 (+ (log x) (log (sqrt 0.12)))) (* 2 (+ (log (sqrt 0.12)) (log x))) (* 2 (log (* x (sqrt 0.12)))) (log (* 0.12 (* x x))) (exp (* 0.12 (* x x))) (* (pow 0.12 3) (pow x 6)) (* (pow 0.12 3) (pow x 6)) (pow (* x (sqrt 0.12)) 6) (* (cbrt (* 0.12 (* x x))) (cbrt (* 0.12 (* x x)))) (cbrt (* 0.12 (* x x))) (pow (* x (sqrt 0.12)) 6) (fabs (* x (sqrt 0.12))) (fabs (* x (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (fabs (cbrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* x x) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* x x) (sqrt 0.12)) 0.12 (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (pow (- 1.0 (* x (+ (* x 0.12) 0.253))) 3) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow (- 1.0 (* x 0.253)) 3) (pow (* x (sqrt 0.12)) 6)) (+ (pow (* x (sqrt 0.12)) 4) (* (- 1.0 (* x 0.253)) (- 1.0 (* x (- 0.253 (* x 0.12)))))) (neg (* 0.12 (* x x))) (- (* (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (pow (* x (sqrt 0.12)) 4)) (- 1.0 (* x (- 0.253 (* x 0.12)))) (* x (- (neg 0.253) (* x 0.12))) (* x (- (neg 0.253) (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (neg (* 0.12 (* x x))) (exp (- 1.0 (* x 0.253))) (log (- 1.0 (* x 0.253))) (exp (- 1.0 (* x 0.253))) (* (cbrt (- 1.0 (* x 0.253))) (cbrt (- 1.0 (* x 0.253)))) (cbrt (- 1.0 (* x 0.253))) (pow (- 1.0 (* x 0.253)) 3) (sqrt (- 1.0 (* x 0.253))) (sqrt (- 1.0 (* x 0.253))) (- (pow 1.0 3) (pow (* x 0.253) 3)) (+ (* (* x 0.253) (+ (* x 0.253) 1.0)) (* 1.0 1.0)) (neg (* x 0.253)) (* (+ 1.0 (* x 0.253)) (- 1.0 (* x 0.253))) (+ 1.0 (* x 0.253)) (neg (* x 0.253)) (* (sqrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* (pow x 2) 0.12) (* (pow x 2) 0.12) (* (pow x 2) 0.12) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 339.849 * * * [progress]: adding candidates to table 339.973 * [progress]: [Phase 3 of 3] Extracting. 339.973 * * [regime]: Finding splitpoints for: (# # # # #) 339.974 * * * [regime-changes]: Trying 1 branch expressions: (x) 339.974 * * * * [regimes]: Trying to branch on x from (# # # # #) 340.011 * * * [regime]: Found split indices: #