1.849 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.033 * [simplify]: Simplifying using # : (sqrt (+ (pow x 2.0) (pow x 2.0))) 0.036 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 0.040 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.041 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.064 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 0.073 * * [simplify]: iteration 4 : 123 enodes (cost 6 ) 0.124 * * [simplify]: iteration 5 : 336 enodes (cost 6 ) 0.409 * * [simplify]: iteration 6 : 1054 enodes (cost 6 ) 2.988 * * [simplify]: iteration 7 : 3941 enodes (cost 6 ) 5.267 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 5.268 * [simplify]: Simplified to: (sqrt (* 2 (pow x 2.0))) 5.275 * * [progress]: iteration 1 / 4 5.276 * * * [progress]: picking best candidate 5.278 * * * * [pick]: Picked # 5.278 * * * [progress]: localizing error 5.286 * * * [progress]: generating rewritten candidates 5.286 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.292 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 5.303 * * * [progress]: generating series expansions 5.304 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.309 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in (x) around 0 5.311 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 5.311 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 5.311 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 5.311 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 5.311 * [taylor]: Taking taylor expansion of 1.0 in x 5.311 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 5.311 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.311 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.311 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.311 * [taylor]: Taking taylor expansion of 1.0 in x 5.311 * [taylor]: Taking taylor expansion of (log x) in x 5.311 * [taylor]: Taking taylor expansion of x in x 5.313 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.313 * [taylor]: Taking taylor expansion of 2 in x 5.314 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 5.314 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 5.314 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 5.314 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 5.314 * [taylor]: Taking taylor expansion of 1.0 in x 5.314 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 5.314 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.314 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.314 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.314 * [taylor]: Taking taylor expansion of 1.0 in x 5.314 * [taylor]: Taking taylor expansion of (log x) in x 5.314 * [taylor]: Taking taylor expansion of x in x 5.314 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.314 * [taylor]: Taking taylor expansion of 2 in x 5.333 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 5.333 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 5.333 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 5.333 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 5.333 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 5.333 * [taylor]: Taking taylor expansion of 1.0 in x 5.333 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 5.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 5.333 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.333 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.333 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.333 * [taylor]: Taking taylor expansion of 1.0 in x 5.333 * [taylor]: Taking taylor expansion of (log x) in x 5.333 * [taylor]: Taking taylor expansion of x in x 5.334 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.334 * [taylor]: Taking taylor expansion of 2 in x 5.334 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 5.334 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 5.334 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 5.334 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 5.334 * [taylor]: Taking taylor expansion of 1.0 in x 5.334 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 5.334 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 5.334 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.334 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.334 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.334 * [taylor]: Taking taylor expansion of 1.0 in x 5.334 * [taylor]: Taking taylor expansion of (log x) in x 5.334 * [taylor]: Taking taylor expansion of x in x 5.334 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.334 * [taylor]: Taking taylor expansion of 2 in x 5.354 * [approximate]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 5.354 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 5.354 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 5.354 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 5.354 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 5.354 * [taylor]: Taking taylor expansion of 1.0 in x 5.354 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 5.354 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 5.354 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 5.354 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 5.354 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 5.354 * [taylor]: Taking taylor expansion of 1.0 in x 5.354 * [taylor]: Taking taylor expansion of (log -1) in x 5.354 * [taylor]: Taking taylor expansion of -1 in x 5.354 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.354 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.354 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.354 * [taylor]: Taking taylor expansion of 1.0 in x 5.354 * [taylor]: Taking taylor expansion of (log x) in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.355 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.355 * [taylor]: Taking taylor expansion of 2 in x 5.355 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 5.355 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 5.356 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 5.356 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 5.356 * [taylor]: Taking taylor expansion of 1.0 in x 5.356 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 5.356 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 5.356 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 5.356 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 5.356 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 5.356 * [taylor]: Taking taylor expansion of 1.0 in x 5.356 * [taylor]: Taking taylor expansion of (log -1) in x 5.356 * [taylor]: Taking taylor expansion of -1 in x 5.356 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 5.356 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 5.356 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 5.356 * [taylor]: Taking taylor expansion of 1.0 in x 5.356 * [taylor]: Taking taylor expansion of (log x) in x 5.356 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (sqrt 2) in x 5.357 * [taylor]: Taking taylor expansion of 2 in x 5.387 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 5.387 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 5.387 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 5.387 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 5.387 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 5.387 * [taylor]: Taking taylor expansion of 2.0 in x 5.387 * [taylor]: Taking taylor expansion of (log x) in x 5.387 * [taylor]: Taking taylor expansion of x in x 5.388 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 5.388 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 5.388 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 5.388 * [taylor]: Taking taylor expansion of 2.0 in x 5.388 * [taylor]: Taking taylor expansion of (log x) in x 5.388 * [taylor]: Taking taylor expansion of x in x 5.395 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 5.395 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 5.395 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 5.395 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 5.395 * [taylor]: Taking taylor expansion of 2.0 in x 5.395 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.395 * [taylor]: Taking taylor expansion of x in x 5.395 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 5.395 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 5.395 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 5.395 * [taylor]: Taking taylor expansion of 2.0 in x 5.395 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.395 * [taylor]: Taking taylor expansion of x in x 5.403 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 5.403 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 5.403 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 5.403 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 5.403 * [taylor]: Taking taylor expansion of 2.0 in x 5.403 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 5.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.403 * [taylor]: Taking taylor expansion of -1 in x 5.403 * [taylor]: Taking taylor expansion of x in x 5.403 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 5.403 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 5.403 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 5.403 * [taylor]: Taking taylor expansion of 2.0 in x 5.403 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 5.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.403 * [taylor]: Taking taylor expansion of -1 in x 5.403 * [taylor]: Taking taylor expansion of x in x 5.412 * * * [progress]: simplifying candidates 5.412 * [simplify]: Simplifying using # : (log (sqrt (* 2 (pow x 2.0)))) (exp (sqrt (* 2 (pow x 2.0)))) (* (cbrt (sqrt (* 2 (pow x 2.0)))) (cbrt (sqrt (* 2 (pow x 2.0))))) (cbrt (sqrt (* 2 (pow x 2.0)))) (* (* (sqrt (* 2 (pow x 2.0))) (sqrt (* 2 (pow x 2.0)))) (sqrt (* 2 (pow x 2.0)))) (sqrt 2) (sqrt (pow x 2.0)) (/ 1 2) (sqrt (sqrt (* 2 (pow x 2.0)))) (sqrt (sqrt (* 2 (pow x 2.0)))) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (* (exp (* 1.0 (+ (log 1) (log x)))) (sqrt 2)) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0) (sqrt 2)) (* (pow (/ (pow -1 1.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2)) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 5.413 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 5.414 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 5.415 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 5.422 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 5.430 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 5.473 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 5.740 * * [simplify]: iteration 6 : 990 enodes (cost 7 ) 8.109 * * [simplify]: iteration 7 : 3777 enodes (cost 7 ) 10.253 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 10.254 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 10.254 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 10.256 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 10.259 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 10.268 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 10.312 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 10.576 * * [simplify]: iteration 6 : 990 enodes (cost 7 ) 12.945 * * [simplify]: iteration 7 : 3777 enodes (cost 7 ) 15.098 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 15.098 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 15.099 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 15.101 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 15.104 * * [simplify]: iteration 3 : 47 enodes (cost 15 ) 15.112 * * [simplify]: iteration 4 : 113 enodes (cost 15 ) 15.158 * * [simplify]: iteration 5 : 302 enodes (cost 15 ) 15.427 * * [simplify]: iteration 6 : 994 enodes (cost 15 ) 17.808 * * [simplify]: iteration 7 : 3758 enodes (cost 15 ) 20.018 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 20.018 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.019 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 20.021 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 20.024 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 20.032 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 20.077 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 20.342 * * [simplify]: iteration 6 : 990 enodes (cost 7 ) 22.710 * * [simplify]: iteration 7 : 3777 enodes (cost 7 ) 25.061 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 25.062 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 25.063 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 25.065 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 25.071 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 25.093 * * [simplify]: iteration 4 : 201 enodes (cost 8 ) 25.205 * * [simplify]: iteration 5 : 588 enodes (cost 8 ) 25.950 * * [simplify]: iteration 6 : 1985 enodes (cost 8 ) 28.476 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 28.477 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 28.477 * * [simplify]: iteration done : 2 enodes (cost 2 ) 28.478 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.478 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 28.479 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 28.481 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 28.485 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 28.510 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 28.602 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 29.323 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 31.092 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 31.093 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 31.093 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 31.094 * * [simplify]: iteration done : 6 enodes (cost 1 ) 31.094 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 31.095 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 31.097 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 31.100 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 31.111 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 31.153 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 31.417 * * [simplify]: iteration 6 : 990 enodes (cost 7 ) 33.750 * * [simplify]: iteration 7 : 3777 enodes (cost 7 ) 35.879 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 35.879 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 35.880 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 35.881 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 35.884 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 35.893 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 35.938 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 36.201 * * [simplify]: iteration 6 : 990 enodes (cost 7 ) 38.535 * * [simplify]: iteration 7 : 3777 enodes (cost 7 ) 40.677 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 40.678 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.679 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.679 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.680 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.680 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.681 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.681 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 40.682 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 40.682 * * [simplify]: iteration done : 6 enodes (cost 1 ) 40.683 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 40.683 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 40.684 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 40.687 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 40.693 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 40.731 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 40.958 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 42.642 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 43.945 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 43.946 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.946 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 43.947 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 43.949 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 43.954 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 43.977 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 44.068 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 45.036 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 47.136 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 47.136 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.137 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 47.138 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 47.138 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 47.140 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 47.143 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 47.151 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 47.197 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 47.647 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 49.936 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 49.937 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.943 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 49.944 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 49.946 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 49.950 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 49.975 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 50.074 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 50.781 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 52.868 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 52.869 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 52.869 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 52.870 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 52.875 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 52.880 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 52.900 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 52.996 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 53.706 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 55.582 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 55.583 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.583 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 55.584 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 55.586 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 55.591 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 55.611 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 55.705 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 56.415 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 58.292 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 58.293 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.293 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 58.294 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 58.296 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 58.300 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 58.320 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 58.415 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 59.117 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 60.988 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 60.988 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 60.989 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 60.990 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 60.990 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 60.991 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 60.993 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 60.996 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 60.999 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 61.003 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 61.012 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 61.019 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 61.029 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 61.041 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 61.057 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 61.079 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 61.104 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 61.137 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 61.178 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 61.228 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 61.289 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 61.362 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 61.451 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 61.555 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 61.682 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 61.831 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 62.001 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 62.200 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 62.441 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 62.713 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 63.028 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 63.388 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 63.800 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 64.269 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 64.803 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 65.408 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 66.089 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 66.856 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 67.718 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 68.909 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 70.024 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 71.236 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 72.601 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 74.117 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 75.807 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 77.679 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 79.672 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 81.806 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 84.100 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 86.532 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 89.162 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 91.943 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 94.965 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 98.288 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 101.841 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 105.702 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 109.838 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 114.283 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 119.319 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 124.395 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 125.951 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 125.952 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 125.952 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 125.953 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 125.955 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 125.959 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 125.985 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 126.081 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 126.836 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 128.843 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 128.844 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 128.844 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 128.845 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 128.848 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 128.855 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 128.896 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 129.171 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 132.042 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 133.360 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 133.360 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 133.361 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 133.362 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 133.364 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 133.370 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 133.408 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 133.568 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 134.790 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 135.958 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 135.958 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 135.959 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 135.960 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 135.962 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 135.967 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 135.987 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 136.086 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 136.816 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 138.916 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.917 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 138.917 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 138.918 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 138.920 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 138.925 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 138.945 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 139.047 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 139.800 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 141.973 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 141.974 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 141.975 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 141.977 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 141.983 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 142.018 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 142.205 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 144.599 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 147.297 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 147.298 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 147.298 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 147.299 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 147.301 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 147.306 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 147.332 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 147.428 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 148.184 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 150.052 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 150.053 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 150.053 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 150.054 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 150.056 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 150.060 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 150.087 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 150.183 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 150.927 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 152.777 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 152.778 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 152.778 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 152.779 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 152.781 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 152.787 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 152.822 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 152.981 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 154.085 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 156.547 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 156.548 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 156.548 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 156.549 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 156.551 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 156.557 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 156.589 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 156.741 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 157.831 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 160.279 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 160.280 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 160.281 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 160.284 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 160.288 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 160.298 * * [simplify]: iteration 4 : 124 enodes (cost 6 ) 160.336 * * [simplify]: iteration 5 : 274 enodes (cost 6 ) 160.460 * * [simplify]: iteration 6 : 623 enodes (cost 6 ) 161.031 * * [simplify]: iteration 7 : 1670 enodes (cost 6 ) 162.712 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 162.713 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 162.715 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 162.721 * * [simplify]: iteration 2 : 65 enodes (cost 15 ) 162.735 * * [simplify]: iteration 3 : 138 enodes (cost 14 ) 162.760 * * [simplify]: iteration 4 : 296 enodes (cost 13 ) 162.863 * * [simplify]: iteration 5 : 719 enodes (cost 13 ) 163.299 * * [simplify]: iteration 6 : 1951 enodes (cost 13 ) 164.469 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 164.470 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 164.472 * * [simplify]: iteration 1 : 40 enodes (cost 20 ) 164.477 * * [simplify]: iteration 2 : 74 enodes (cost 18 ) 164.496 * * [simplify]: iteration 3 : 190 enodes (cost 16 ) 164.538 * * [simplify]: iteration 4 : 551 enodes (cost 16 ) 164.913 * * [simplify]: iteration 5 : 2490 enodes (cost 16 ) 165.923 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 165.924 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 165.931 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 165.933 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 165.937 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 165.943 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 165.958 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 166.021 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 166.237 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 167.697 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 169.468 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 169.469 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 169.470 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 169.473 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 169.479 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 169.488 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 169.515 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 169.654 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 170.198 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 172.029 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 172.030 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 172.031 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 172.033 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 172.037 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 172.050 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 172.090 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 172.670 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 174.132 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 174.133 * [simplify]: Simplified to: (log (sqrt (* 2 (pow x 2.0)))) (exp (sqrt (* 2 (pow x 2.0)))) (* (cbrt (sqrt (* 2 (pow x 2.0)))) (cbrt (sqrt (* 2 (pow x 2.0))))) (cbrt (sqrt (* 2 (pow x 2.0)))) (pow (sqrt (* 2 (pow x 2.0))) 3) (sqrt 2) (sqrt (pow x 2.0)) 1/2 (sqrt (sqrt (* 2 (pow x 2.0)))) (sqrt (sqrt (* 2 (pow x 2.0)))) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (* (pow x 1.0) (sqrt 2)) (* (sqrt 2) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 1.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0) (sqrt 2)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 174.133 * * * [progress]: adding candidates to table 174.201 * * [progress]: iteration 2 / 4 174.201 * * * [progress]: picking best candidate 174.226 * * * * [pick]: Picked # 174.226 * * * [progress]: localizing error 174.234 * * * [progress]: generating rewritten candidates 174.234 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 174.240 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 174.243 * * * [progress]: generating series expansions 174.243 * * * * [progress]: [ 1 / 2 ] generating series at (2) 174.243 * [approximate]: Taking taylor expansion of (pow (* 2 (pow (pow x 2.0) 1.0)) 1/2) in (x) around 0 174.243 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (pow x 2.0) 1.0)) 1/2) in x 174.243 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (pow x 2.0) 1.0))))) in x 174.243 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (pow x 2.0) 1.0)))) in x 174.243 * [taylor]: Taking taylor expansion of 1/2 in x 174.243 * [taylor]: Taking taylor expansion of (log (* 2 (pow (pow x 2.0) 1.0))) in x 174.243 * [taylor]: Taking taylor expansion of (* 2 (pow (pow x 2.0) 1.0)) in x 174.243 * [taylor]: Taking taylor expansion of 2 in x 174.243 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 174.243 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 174.243 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 174.243 * [taylor]: Taking taylor expansion of 1.0 in x 174.244 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 174.244 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.244 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.244 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.244 * [taylor]: Taking taylor expansion of 2.0 in x 174.244 * [taylor]: Taking taylor expansion of (log x) in x 174.244 * [taylor]: Taking taylor expansion of x in x 174.244 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (pow x 2.0) 1.0)) 1/2) in x 174.244 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (pow x 2.0) 1.0))))) in x 174.244 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (pow x 2.0) 1.0)))) in x 174.244 * [taylor]: Taking taylor expansion of 1/2 in x 174.244 * [taylor]: Taking taylor expansion of (log (* 2 (pow (pow x 2.0) 1.0))) in x 174.244 * [taylor]: Taking taylor expansion of (* 2 (pow (pow x 2.0) 1.0)) in x 174.244 * [taylor]: Taking taylor expansion of 2 in x 174.244 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 174.244 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 174.244 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 174.244 * [taylor]: Taking taylor expansion of 1.0 in x 174.244 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 174.245 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.245 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.245 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.245 * [taylor]: Taking taylor expansion of 2.0 in x 174.245 * [taylor]: Taking taylor expansion of (log x) in x 174.245 * [taylor]: Taking taylor expansion of x in x 174.269 * [approximate]: Taking taylor expansion of (pow (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in (x) around 0 174.269 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in x 174.269 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0))))) in x 174.269 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0)))) in x 174.269 * [taylor]: Taking taylor expansion of 1/2 in x 174.269 * [taylor]: Taking taylor expansion of (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0))) in x 174.269 * [taylor]: Taking taylor expansion of (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) in x 174.269 * [taylor]: Taking taylor expansion of 2 in x 174.269 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 174.269 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 174.269 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 174.269 * [taylor]: Taking taylor expansion of 1.0 in x 174.269 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 174.269 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 174.270 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.270 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.270 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.270 * [taylor]: Taking taylor expansion of 2.0 in x 174.270 * [taylor]: Taking taylor expansion of (log x) in x 174.270 * [taylor]: Taking taylor expansion of x in x 174.271 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in x 174.271 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0))))) in x 174.271 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0)))) in x 174.271 * [taylor]: Taking taylor expansion of 1/2 in x 174.271 * [taylor]: Taking taylor expansion of (log (* 2 (pow (/ 1 (pow x 2.0)) 1.0))) in x 174.271 * [taylor]: Taking taylor expansion of (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) in x 174.271 * [taylor]: Taking taylor expansion of 2 in x 174.271 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 174.271 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 174.271 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 174.271 * [taylor]: Taking taylor expansion of 1.0 in x 174.271 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 174.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 174.271 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.271 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.271 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.271 * [taylor]: Taking taylor expansion of 2.0 in x 174.271 * [taylor]: Taking taylor expansion of (log x) in x 174.271 * [taylor]: Taking taylor expansion of x in x 174.303 * [approximate]: Taking taylor expansion of (pow (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in (x) around 0 174.303 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in x 174.303 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))))) in x 174.303 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)))) in x 174.303 * [taylor]: Taking taylor expansion of 1/2 in x 174.303 * [taylor]: Taking taylor expansion of (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))) in x 174.304 * [taylor]: Taking taylor expansion of (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 174.304 * [taylor]: Taking taylor expansion of 2 in x 174.304 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 174.304 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 174.304 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 174.304 * [taylor]: Taking taylor expansion of 1.0 in x 174.304 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 174.304 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 174.304 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 174.304 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 174.304 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 174.304 * [taylor]: Taking taylor expansion of 2.0 in x 174.304 * [taylor]: Taking taylor expansion of (log -1) in x 174.304 * [taylor]: Taking taylor expansion of -1 in x 174.304 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.304 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.304 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.304 * [taylor]: Taking taylor expansion of 2.0 in x 174.304 * [taylor]: Taking taylor expansion of (log x) in x 174.304 * [taylor]: Taking taylor expansion of x in x 174.306 * [taylor]: Taking taylor expansion of (pow (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in x 174.306 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))))) in x 174.306 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)))) in x 174.306 * [taylor]: Taking taylor expansion of 1/2 in x 174.306 * [taylor]: Taking taylor expansion of (log (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))) in x 174.306 * [taylor]: Taking taylor expansion of (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 174.306 * [taylor]: Taking taylor expansion of 2 in x 174.306 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 174.306 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 174.306 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 174.306 * [taylor]: Taking taylor expansion of 1.0 in x 174.306 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 174.306 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 174.306 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 174.306 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 174.306 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 174.306 * [taylor]: Taking taylor expansion of 2.0 in x 174.306 * [taylor]: Taking taylor expansion of (log -1) in x 174.306 * [taylor]: Taking taylor expansion of -1 in x 174.306 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.306 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.306 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.306 * [taylor]: Taking taylor expansion of 2.0 in x 174.306 * [taylor]: Taking taylor expansion of (log x) in x 174.306 * [taylor]: Taking taylor expansion of x in x 174.356 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 174.356 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 174.356 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.356 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.356 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.356 * [taylor]: Taking taylor expansion of 2.0 in x 174.356 * [taylor]: Taking taylor expansion of (log x) in x 174.356 * [taylor]: Taking taylor expansion of x in x 174.357 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 174.357 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 174.357 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 174.357 * [taylor]: Taking taylor expansion of 2.0 in x 174.357 * [taylor]: Taking taylor expansion of (log x) in x 174.357 * [taylor]: Taking taylor expansion of x in x 174.364 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 174.364 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 174.364 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 174.364 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 174.364 * [taylor]: Taking taylor expansion of 2.0 in x 174.364 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 174.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 174.364 * [taylor]: Taking taylor expansion of x in x 174.364 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 174.364 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 174.364 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 174.364 * [taylor]: Taking taylor expansion of 2.0 in x 174.364 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 174.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 174.364 * [taylor]: Taking taylor expansion of x in x 174.371 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 174.372 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 174.372 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 174.372 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 174.372 * [taylor]: Taking taylor expansion of 2.0 in x 174.372 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 174.372 * [taylor]: Taking taylor expansion of (/ -1 x) in x 174.372 * [taylor]: Taking taylor expansion of -1 in x 174.372 * [taylor]: Taking taylor expansion of x in x 174.372 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 174.372 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 174.372 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 174.372 * [taylor]: Taking taylor expansion of 2.0 in x 174.372 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 174.372 * [taylor]: Taking taylor expansion of (/ -1 x) in x 174.372 * [taylor]: Taking taylor expansion of -1 in x 174.372 * [taylor]: Taking taylor expansion of x in x 174.379 * * * [progress]: simplifying candidates 174.380 * [simplify]: Simplifying using # : (* (+ (log 2) (* (log x) 2.0)) 1/2) (* (+ (log 2) (* (log x) 2.0)) 1/2) (* (+ (log 2) (log (pow x 2.0))) 1/2) (* (log (* 2 (pow x 2.0))) 1/2) (* (log (* 2 (pow x 2.0))) 1/2) (* 1 1/2) (pow (* 2 (pow x 2.0)) (* (cbrt 1/2) (cbrt 1/2))) (pow (* 2 (pow x 2.0)) (sqrt 1/2)) (pow (* 2 (pow x 2.0)) 1) (pow 2 1/2) (pow (pow x 2.0) 1/2) (log (pow (* 2 (pow x 2.0)) 1/2)) (exp (pow (* 2 (pow x 2.0)) 1/2)) (* (cbrt (pow (* 2 (pow x 2.0)) 1/2)) (cbrt (pow (* 2 (pow x 2.0)) 1/2))) (cbrt (pow (* 2 (pow x 2.0)) 1/2)) (* (* (pow (* 2 (pow x 2.0)) 1/2) (pow (* 2 (pow x 2.0)) 1/2)) (pow (* 2 (pow x 2.0)) 1/2)) (sqrt (pow (* 2 (pow x 2.0)) 1/2)) (sqrt (pow (* 2 (pow x 2.0)) 1/2)) (pow (* 2 (pow x 2.0)) (/ 1/2 2)) (pow (* 2 (pow x 2.0)) (/ 1/2 2)) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (pow (* 2 (exp (* 2.0 (+ (log 1) (log x))))) 1/2) (pow (* 2 (pow (/ 1 (pow (exp (* 2.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) 1/2) (pow (* 2 (pow (/ (pow -1 2.0) (pow (exp (* 2.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) 1/2) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 174.381 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 174.382 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 174.383 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 174.386 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 174.390 * * [simplify]: iteration done : 28 enodes (cost 9 ) 174.390 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 174.391 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 174.393 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 174.395 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 174.399 * * [simplify]: iteration done : 28 enodes (cost 9 ) 174.399 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 174.400 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 174.402 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 174.410 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 174.423 * * [simplify]: iteration 4 : 170 enodes (cost 9 ) 174.509 * * [simplify]: iteration 5 : 519 enodes (cost 9 ) 175.553 * * [simplify]: iteration 6 : 2157 enodes (cost 9 ) 178.128 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 178.129 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 178.130 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 178.132 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 178.138 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 178.155 * * [simplify]: iteration 4 : 228 enodes (cost 8 ) 178.289 * * [simplify]: iteration 5 : 694 enodes (cost 8 ) 179.519 * * [simplify]: iteration 6 : 2740 enodes (cost 8 ) 181.534 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 181.534 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 181.535 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 181.537 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 181.543 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 181.568 * * [simplify]: iteration 4 : 228 enodes (cost 8 ) 181.698 * * [simplify]: iteration 5 : 694 enodes (cost 8 ) 182.913 * * [simplify]: iteration 6 : 2740 enodes (cost 8 ) 184.915 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 184.916 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 184.916 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 184.917 * * [simplify]: iteration done : 6 enodes (cost 1 ) 184.917 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 184.918 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 184.920 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 184.925 * * [simplify]: iteration 3 : 80 enodes (cost 11 ) 184.940 * * [simplify]: iteration 4 : 197 enodes (cost 11 ) 185.043 * * [simplify]: iteration 5 : 535 enodes (cost 11 ) 185.618 * * [simplify]: iteration 6 : 1815 enodes (cost 11 ) 187.249 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 187.250 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 187.251 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 187.253 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 187.261 * * [simplify]: iteration 3 : 73 enodes (cost 8 ) 187.273 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 187.346 * * [simplify]: iteration 5 : 463 enodes (cost 8 ) 187.739 * * [simplify]: iteration 6 : 1511 enodes (cost 8 ) 189.309 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 189.310 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 189.311 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 189.313 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 189.317 * * [simplify]: iteration 3 : 70 enodes (cost 5 ) 189.329 * * [simplify]: iteration 4 : 155 enodes (cost 5 ) 189.402 * * [simplify]: iteration 5 : 401 enodes (cost 5 ) 189.756 * * [simplify]: iteration 6 : 1290 enodes (cost 5 ) 192.972 * * [simplify]: iteration 7 : 4984 enodes (cost 5 ) 194.767 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 194.767 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 194.768 * * [simplify]: iteration 1 : 8 enodes (cost 2 ) 194.768 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 194.770 * * [simplify]: iteration 3 : 24 enodes (cost 2 ) 194.773 * * [simplify]: iteration 4 : 48 enodes (cost 2 ) 194.782 * * [simplify]: iteration 5 : 115 enodes (cost 2 ) 194.836 * * [simplify]: iteration 6 : 338 enodes (cost 2 ) 195.305 * * [simplify]: iteration 7 : 1259 enodes (cost 2 ) 197.657 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 197.658 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.659 * * [simplify]: iteration 1 : 14 enodes (cost 4 ) 197.660 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 197.663 * * [simplify]: iteration 3 : 54 enodes (cost 4 ) 197.670 * * [simplify]: iteration 4 : 119 enodes (cost 4 ) 197.703 * * [simplify]: iteration 5 : 283 enodes (cost 4 ) 197.851 * * [simplify]: iteration 6 : 865 enodes (cost 4 ) 199.031 * * [simplify]: iteration 7 : 3198 enodes (cost 4 ) 201.013 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 201.014 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 201.015 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 201.017 * * [simplify]: iteration 2 : 41 enodes (cost 7 ) 201.023 * * [simplify]: iteration 3 : 97 enodes (cost 7 ) 201.045 * * [simplify]: iteration 4 : 260 enodes (cost 7 ) 201.183 * * [simplify]: iteration 5 : 858 enodes (cost 7 ) 202.695 * * [simplify]: iteration 6 : 4128 enodes (cost 7 ) 204.467 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 204.468 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 204.469 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 204.471 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 204.481 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 204.493 * * [simplify]: iteration 4 : 178 enodes (cost 7 ) 204.560 * * [simplify]: iteration 5 : 480 enodes (cost 7 ) 204.947 * * [simplify]: iteration 6 : 1622 enodes (cost 7 ) 206.090 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 206.090 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 206.091 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 206.093 * * [simplify]: iteration 2 : 33 enodes (cost 15 ) 206.098 * * [simplify]: iteration 3 : 69 enodes (cost 15 ) 206.109 * * [simplify]: iteration 4 : 154 enodes (cost 15 ) 206.168 * * [simplify]: iteration 5 : 407 enodes (cost 15 ) 206.505 * * [simplify]: iteration 6 : 1303 enodes (cost 15 ) 209.369 * * [simplify]: iteration 7 : 4968 enodes (cost 15 ) 211.413 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 211.414 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 211.415 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 211.417 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 211.421 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 211.433 * * [simplify]: iteration 4 : 156 enodes (cost 7 ) 211.491 * * [simplify]: iteration 5 : 402 enodes (cost 7 ) 211.823 * * [simplify]: iteration 6 : 1284 enodes (cost 7 ) 214.757 * * [simplify]: iteration 7 : 4966 enodes (cost 7 ) 216.592 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 216.592 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 216.594 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 216.597 * * [simplify]: iteration 2 : 54 enodes (cost 8 ) 216.606 * * [simplify]: iteration 3 : 155 enodes (cost 7 ) 216.676 * * [simplify]: iteration 4 : 575 enodes (cost 7 ) 217.522 * * [simplify]: iteration 5 : 2564 enodes (cost 7 ) 219.314 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 219.315 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.316 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 219.318 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 219.322 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 219.333 * * [simplify]: iteration 4 : 158 enodes (cost 7 ) 219.390 * * [simplify]: iteration 5 : 406 enodes (cost 7 ) 219.714 * * [simplify]: iteration 6 : 1293 enodes (cost 7 ) 222.627 * * [simplify]: iteration 7 : 4992 enodes (cost 7 ) 224.405 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 224.406 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 224.406 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 224.408 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 224.413 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 224.424 * * [simplify]: iteration 4 : 158 enodes (cost 7 ) 224.482 * * [simplify]: iteration 5 : 406 enodes (cost 7 ) 224.806 * * [simplify]: iteration 6 : 1293 enodes (cost 7 ) 227.719 * * [simplify]: iteration 7 : 4992 enodes (cost 7 ) 229.714 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 229.715 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 229.716 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 229.718 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 229.729 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 229.740 * * [simplify]: iteration 4 : 156 enodes (cost 7 ) 229.798 * * [simplify]: iteration 5 : 401 enodes (cost 7 ) 230.124 * * [simplify]: iteration 6 : 1287 enodes (cost 7 ) 233.059 * * [simplify]: iteration 7 : 4983 enodes (cost 7 ) 234.862 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 234.863 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 234.864 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 234.866 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 234.870 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 234.889 * * [simplify]: iteration 4 : 156 enodes (cost 7 ) 234.947 * * [simplify]: iteration 5 : 401 enodes (cost 7 ) 235.273 * * [simplify]: iteration 6 : 1287 enodes (cost 7 ) 238.171 * * [simplify]: iteration 7 : 4983 enodes (cost 7 ) 239.971 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 239.972 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 239.972 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 239.973 * * [simplify]: iteration done : 5 enodes (cost 4 ) 239.973 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 239.974 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 239.974 * * [simplify]: iteration done : 5 enodes (cost 4 ) 239.975 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 239.975 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 239.975 * * [simplify]: iteration done : 6 enodes (cost 1 ) 239.976 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 239.977 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 239.978 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 239.980 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 239.994 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 240.028 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 240.262 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 241.996 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 243.327 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 243.328 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 243.328 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 243.333 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 243.335 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 243.340 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 243.360 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 243.457 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 244.301 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 246.424 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 246.425 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 246.426 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 246.426 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 246.427 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 246.428 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 246.431 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 246.444 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 246.486 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 246.936 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 249.294 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 249.295 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 249.295 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 249.296 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 249.298 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 249.303 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 249.324 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 249.423 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 250.141 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 252.532 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 252.533 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 252.534 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 252.534 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 252.536 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 252.541 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 252.562 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 252.660 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 253.393 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 255.334 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 255.335 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 255.336 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 255.337 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 255.338 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 255.343 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 255.367 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 255.462 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 256.198 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 258.117 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 258.117 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 258.118 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 258.119 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 258.120 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 258.129 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 258.150 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 258.249 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 258.974 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 260.895 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 260.896 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 260.896 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 260.897 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 260.898 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 260.899 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 260.901 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 260.903 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 260.906 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 260.911 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 260.916 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 260.924 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 260.935 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 260.951 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 260.967 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 260.986 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 261.016 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 261.046 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 261.090 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 261.142 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 261.204 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 261.283 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 261.375 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 261.489 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 261.616 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 261.769 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 261.944 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 262.145 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 262.382 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 262.653 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 262.962 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 263.318 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 263.719 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 264.189 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 264.729 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 265.335 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 266.031 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 266.802 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 267.662 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 268.647 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 269.736 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 270.952 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 272.330 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 273.857 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 275.560 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 277.430 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 279.485 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 281.698 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 284.074 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 286.612 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 289.319 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 292.465 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 295.599 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 298.953 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 302.555 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 306.433 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 310.599 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 315.027 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 319.776 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 324.848 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 326.403 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 326.404 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 326.404 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 326.405 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 326.407 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 326.418 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 326.438 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 326.543 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 327.291 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 329.331 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 329.331 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 329.332 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 329.333 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 329.336 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 329.342 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 329.390 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 329.660 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 332.553 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 333.880 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 333.881 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.887 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 333.888 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 333.898 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 333.904 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 333.934 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 334.102 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 335.339 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 336.782 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 336.783 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 336.784 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 336.785 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 336.787 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 336.791 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 336.818 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 336.914 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 337.654 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 339.752 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 339.752 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 339.753 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 339.754 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 339.755 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 339.760 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 339.781 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 339.884 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 340.643 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 342.806 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 342.806 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 342.807 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 342.809 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 342.815 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 342.844 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 343.036 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 345.420 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 347.898 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 347.899 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 347.899 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 347.900 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 347.902 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 347.907 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 347.927 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 348.029 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 348.768 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 350.616 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 350.617 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.617 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 350.618 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 350.620 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 350.625 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 350.645 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 350.745 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 351.487 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 353.335 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 353.336 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 353.337 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 353.338 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 353.340 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 353.346 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 353.381 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 353.532 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 354.645 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 357.182 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 357.182 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 357.183 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 357.184 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 357.186 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 357.192 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 357.227 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 357.378 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 358.481 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 361.006 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 361.006 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 361.008 * * [simplify]: iteration 1 : 30 enodes (cost 10 ) 361.012 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 361.018 * * [simplify]: iteration 3 : 80 enodes (cost 6 ) 361.031 * * [simplify]: iteration 4 : 161 enodes (cost 6 ) 361.077 * * [simplify]: iteration 5 : 371 enodes (cost 6 ) 361.281 * * [simplify]: iteration 6 : 946 enodes (cost 6 ) 362.409 * * [simplify]: iteration 7 : 2951 enodes (cost 6 ) 364.196 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 364.197 * * [simplify]: iteration 0 : 17 enodes (cost 20 ) 364.199 * * [simplify]: iteration 1 : 43 enodes (cost 17 ) 364.205 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 364.217 * * [simplify]: iteration 3 : 162 enodes (cost 14 ) 364.250 * * [simplify]: iteration 4 : 339 enodes (cost 13 ) 364.388 * * [simplify]: iteration 5 : 812 enodes (cost 13 ) 364.969 * * [simplify]: iteration 6 : 2261 enodes (cost 13 ) 366.114 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 366.115 * * [simplify]: iteration 0 : 19 enodes (cost 22 ) 366.117 * * [simplify]: iteration 1 : 48 enodes (cost 20 ) 366.123 * * [simplify]: iteration 2 : 90 enodes (cost 18 ) 366.137 * * [simplify]: iteration 3 : 225 enodes (cost 16 ) 366.190 * * [simplify]: iteration 4 : 620 enodes (cost 16 ) 366.635 * * [simplify]: iteration 5 : 2667 enodes (cost 16 ) 367.587 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 367.588 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 367.589 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 367.592 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 367.595 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 367.601 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 367.624 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 367.685 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 367.918 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 369.420 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 371.001 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 371.001 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 371.003 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 371.005 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 371.011 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 371.019 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 371.053 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 371.189 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 371.730 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 373.548 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 373.549 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 373.550 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 373.552 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 373.557 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 373.568 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 373.610 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 374.194 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 375.675 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 375.675 * [simplify]: Simplified to: (* (+ (log 2) (* (log x) 2.0)) 1/2) (* (+ (log 2) (* (log x) 2.0)) 1/2) (* (+ (log 2) (log (pow x 2.0))) 1/2) (* (log (* 2 (pow x 2.0))) 1/2) (* (log (* 2 (pow x 2.0))) 1/2) 1/2 (pow (* 2 (pow x 2.0)) (* (cbrt 1/2) (cbrt 1/2))) (pow (* 2 (pow x 2.0)) (sqrt 1/2)) (* 2 (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (log (sqrt (* 2 (pow x 2.0)))) (exp (sqrt (* 2 (pow x 2.0)))) (* (cbrt (sqrt (* 2 (pow x 2.0)))) (cbrt (sqrt (* 2 (pow x 2.0))))) (cbrt (sqrt (* 2 (pow x 2.0)))) (pow (* 2 (pow x 2.0)) 3/2) (sqrt (sqrt (* 2 (pow x 2.0)))) (sqrt (sqrt (* 2 (pow x 2.0)))) (pow (* 2 (pow x 2.0)) 1/4) (pow (* 2 (pow x 2.0)) 1/4) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (sqrt (* 2 (pow x 2.0))) (sqrt (* 2 (pow (/ 1 (pow (pow x (neg 2.0)) 1.0)) 1.0))) (sqrt (* (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0) 2)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 375.676 * * * [progress]: adding candidates to table 375.736 * * [progress]: iteration 3 / 4 375.736 * * * [progress]: picking best candidate 375.762 * * * * [pick]: Picked # 375.762 * * * [progress]: localizing error 375.769 * * * [progress]: generating rewritten candidates 375.769 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 375.772 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 375.780 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 375.785 * * * [progress]: generating series expansions 375.785 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 375.785 * [approximate]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in (x) around 0 375.785 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 375.785 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 375.785 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 375.785 * [taylor]: Taking taylor expansion of 1.0 in x 375.785 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 375.785 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.785 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.785 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.785 * [taylor]: Taking taylor expansion of 1.0 in x 375.785 * [taylor]: Taking taylor expansion of (log x) in x 375.786 * [taylor]: Taking taylor expansion of x in x 375.786 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 375.786 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 375.786 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 375.786 * [taylor]: Taking taylor expansion of 1.0 in x 375.786 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 375.786 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.786 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.786 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.786 * [taylor]: Taking taylor expansion of 1.0 in x 375.786 * [taylor]: Taking taylor expansion of (log x) in x 375.786 * [taylor]: Taking taylor expansion of x in x 375.801 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in (x) around 0 375.801 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 375.801 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 375.801 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 375.801 * [taylor]: Taking taylor expansion of 1.0 in x 375.801 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 375.801 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 375.801 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.801 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.801 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.801 * [taylor]: Taking taylor expansion of 1.0 in x 375.801 * [taylor]: Taking taylor expansion of (log x) in x 375.801 * [taylor]: Taking taylor expansion of x in x 375.802 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 375.802 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 375.802 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 375.802 * [taylor]: Taking taylor expansion of 1.0 in x 375.802 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 375.802 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 375.802 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.802 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.802 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.802 * [taylor]: Taking taylor expansion of 1.0 in x 375.802 * [taylor]: Taking taylor expansion of (log x) in x 375.802 * [taylor]: Taking taylor expansion of x in x 375.821 * [approximate]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in (x) around 0 375.821 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 375.821 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 375.821 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 375.821 * [taylor]: Taking taylor expansion of 1.0 in x 375.821 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 375.821 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 375.821 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 375.821 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 375.821 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 375.821 * [taylor]: Taking taylor expansion of 1.0 in x 375.821 * [taylor]: Taking taylor expansion of (log -1) in x 375.821 * [taylor]: Taking taylor expansion of -1 in x 375.821 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.821 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.821 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.821 * [taylor]: Taking taylor expansion of 1.0 in x 375.821 * [taylor]: Taking taylor expansion of (log x) in x 375.821 * [taylor]: Taking taylor expansion of x in x 375.822 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 375.822 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 375.822 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 375.822 * [taylor]: Taking taylor expansion of 1.0 in x 375.822 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 375.822 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 375.822 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 375.822 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 375.822 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 375.822 * [taylor]: Taking taylor expansion of 1.0 in x 375.822 * [taylor]: Taking taylor expansion of (log -1) in x 375.822 * [taylor]: Taking taylor expansion of -1 in x 375.822 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.823 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.823 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.823 * [taylor]: Taking taylor expansion of 1.0 in x 375.823 * [taylor]: Taking taylor expansion of (log x) in x 375.823 * [taylor]: Taking taylor expansion of x in x 375.857 * * * * [progress]: [ 2 / 3 ] generating series at (2) 375.857 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in (x) around 0 375.857 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 375.857 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 375.857 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 375.857 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 375.857 * [taylor]: Taking taylor expansion of 1.0 in x 375.857 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 375.857 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.857 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.857 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.857 * [taylor]: Taking taylor expansion of 1.0 in x 375.857 * [taylor]: Taking taylor expansion of (log x) in x 375.857 * [taylor]: Taking taylor expansion of x in x 375.858 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.858 * [taylor]: Taking taylor expansion of 2 in x 375.858 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 375.858 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 375.858 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 375.858 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 375.858 * [taylor]: Taking taylor expansion of 1.0 in x 375.858 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 375.858 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.858 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.858 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.858 * [taylor]: Taking taylor expansion of 1.0 in x 375.858 * [taylor]: Taking taylor expansion of (log x) in x 375.858 * [taylor]: Taking taylor expansion of x in x 375.858 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.858 * [taylor]: Taking taylor expansion of 2 in x 375.875 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 375.876 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 375.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 375.876 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 375.876 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 375.876 * [taylor]: Taking taylor expansion of 1.0 in x 375.876 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 375.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 375.876 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.876 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.876 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.876 * [taylor]: Taking taylor expansion of 1.0 in x 375.876 * [taylor]: Taking taylor expansion of (log x) in x 375.876 * [taylor]: Taking taylor expansion of x in x 375.876 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.876 * [taylor]: Taking taylor expansion of 2 in x 375.876 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 375.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 375.876 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 375.876 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 375.876 * [taylor]: Taking taylor expansion of 1.0 in x 375.876 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 375.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 375.876 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.876 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.877 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.877 * [taylor]: Taking taylor expansion of 1.0 in x 375.877 * [taylor]: Taking taylor expansion of (log x) in x 375.877 * [taylor]: Taking taylor expansion of x in x 375.877 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.877 * [taylor]: Taking taylor expansion of 2 in x 375.896 * [approximate]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 375.896 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 375.896 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 375.896 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 375.896 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 375.896 * [taylor]: Taking taylor expansion of 1.0 in x 375.896 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 375.896 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 375.896 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 375.896 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 375.896 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 375.896 * [taylor]: Taking taylor expansion of 1.0 in x 375.896 * [taylor]: Taking taylor expansion of (log -1) in x 375.896 * [taylor]: Taking taylor expansion of -1 in x 375.896 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.896 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.896 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.896 * [taylor]: Taking taylor expansion of 1.0 in x 375.896 * [taylor]: Taking taylor expansion of (log x) in x 375.896 * [taylor]: Taking taylor expansion of x in x 375.897 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.897 * [taylor]: Taking taylor expansion of 2 in x 375.897 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 375.897 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 375.897 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 375.897 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 375.897 * [taylor]: Taking taylor expansion of 1.0 in x 375.897 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 375.897 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 375.897 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 375.897 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 375.897 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 375.898 * [taylor]: Taking taylor expansion of 1.0 in x 375.898 * [taylor]: Taking taylor expansion of (log -1) in x 375.898 * [taylor]: Taking taylor expansion of -1 in x 375.898 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 375.898 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 375.898 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 375.898 * [taylor]: Taking taylor expansion of 1.0 in x 375.898 * [taylor]: Taking taylor expansion of (log x) in x 375.898 * [taylor]: Taking taylor expansion of x in x 375.898 * [taylor]: Taking taylor expansion of (sqrt 2) in x 375.898 * [taylor]: Taking taylor expansion of 2 in x 375.929 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 375.930 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 375.930 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 375.930 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 375.930 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 375.930 * [taylor]: Taking taylor expansion of 2.0 in x 375.930 * [taylor]: Taking taylor expansion of (log x) in x 375.930 * [taylor]: Taking taylor expansion of x in x 375.930 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 375.930 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 375.930 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 375.930 * [taylor]: Taking taylor expansion of 2.0 in x 375.930 * [taylor]: Taking taylor expansion of (log x) in x 375.930 * [taylor]: Taking taylor expansion of x in x 375.937 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 375.937 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 375.937 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 375.937 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 375.937 * [taylor]: Taking taylor expansion of 2.0 in x 375.937 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 375.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 375.937 * [taylor]: Taking taylor expansion of x in x 375.937 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 375.937 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 375.937 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 375.937 * [taylor]: Taking taylor expansion of 2.0 in x 375.937 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 375.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 375.937 * [taylor]: Taking taylor expansion of x in x 375.945 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 375.945 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 375.945 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 375.945 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 375.945 * [taylor]: Taking taylor expansion of 2.0 in x 375.945 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 375.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x 375.945 * [taylor]: Taking taylor expansion of -1 in x 375.945 * [taylor]: Taking taylor expansion of x in x 375.945 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 375.945 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 375.945 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 375.945 * [taylor]: Taking taylor expansion of 2.0 in x 375.945 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 375.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x 375.945 * [taylor]: Taking taylor expansion of -1 in x 375.945 * [taylor]: Taking taylor expansion of x in x 375.958 * * * [progress]: simplifying candidates 375.959 * [simplify]: Simplifying using # : (log (sqrt (pow x 2.0))) (exp (sqrt (pow x 2.0))) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0)))) (cbrt (sqrt (pow x 2.0))) (* (* (sqrt (pow x 2.0)) (sqrt (pow x 2.0))) (sqrt (pow x 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow 1 2.0)) (sqrt (pow x 2.0)) (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))) (sqrt (cbrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt 1) (sqrt (pow x 2.0)) (sqrt (pow x (/ 2.0 2))) (sqrt (pow x (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (* 2 (pow x 2.0)) (* (sqrt 2) (sqrt (pow x 2.0))) (+ (log (sqrt 2)) (log (sqrt (pow x 2.0)))) (log (* (sqrt 2) (sqrt (pow x 2.0)))) (exp (* (sqrt 2) (sqrt (pow x 2.0)))) (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (sqrt (pow x 2.0)) (sqrt (pow x 2.0))) (sqrt (pow x 2.0)))) (* (cbrt (* (sqrt 2) (sqrt (pow x 2.0)))) (cbrt (* (sqrt 2) (sqrt (pow x 2.0))))) (cbrt (* (sqrt 2) (sqrt (pow x 2.0)))) (* (* (* (sqrt 2) (sqrt (pow x 2.0))) (* (sqrt 2) (sqrt (pow x 2.0)))) (* (sqrt 2) (sqrt (pow x 2.0)))) (* 2 (pow x 2.0)) (sqrt (* (sqrt 2) (sqrt (pow x 2.0)))) (sqrt (* (sqrt 2) (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0))))) (* (sqrt 2) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (sqrt 2) (sqrt (pow (sqrt x) 2.0))) (* (sqrt 2) (sqrt (pow 1 2.0))) (* (sqrt 2) (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))) (* (sqrt 2) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2) (sqrt 1)) (* (sqrt 2) (sqrt (pow x (/ 2.0 2)))) (* (sqrt 2) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2) 1) (* (cbrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt (cbrt 2)) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt 2) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt 2) (sqrt (pow x 2.0))) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (exp (* 1.0 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 1.0 (+ (log (/ 1 x)) (log 1))))) 1.0) (pow (* (pow (pow -1 1.0) 1.0) (/ 1 (exp (* 1.0 (+ (log 1) (log (/ -1 x))))))) 1.0) (* (exp (* 1.0 (+ (log 1) (log x)))) (sqrt 2)) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0) (sqrt 2)) (* (pow (/ (pow -1 1.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2)) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 375.960 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 375.960 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 375.961 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 375.963 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 375.968 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 375.989 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 376.088 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 376.832 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 378.740 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 378.740 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 378.741 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 378.742 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 378.744 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 378.748 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 378.769 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 378.869 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 379.609 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 381.507 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 381.508 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 381.508 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 381.509 * * [simplify]: iteration 2 : 16 enodes (cost 11 ) 381.511 * * [simplify]: iteration 3 : 34 enodes (cost 11 ) 381.516 * * [simplify]: iteration 4 : 76 enodes (cost 11 ) 381.544 * * [simplify]: iteration 5 : 183 enodes (cost 11 ) 381.639 * * [simplify]: iteration 6 : 564 enodes (cost 11 ) 382.403 * * [simplify]: iteration 7 : 1989 enodes (cost 11 ) 384.326 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 384.327 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 384.327 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 384.328 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 384.330 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 384.335 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 384.364 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 384.458 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 385.457 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 387.370 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 387.371 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 387.371 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 387.380 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 387.384 * * [simplify]: iteration 3 : 54 enodes (cost 6 ) 387.394 * * [simplify]: iteration 4 : 126 enodes (cost 6 ) 387.439 * * [simplify]: iteration 5 : 322 enodes (cost 6 ) 387.707 * * [simplify]: iteration 6 : 1045 enodes (cost 6 ) 390.185 * * [simplify]: iteration 7 : 3850 enodes (cost 6 ) 392.342 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 392.343 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 392.344 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 392.345 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 392.347 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 392.352 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 392.379 * * [simplify]: iteration 5 : 183 enodes (cost 8 ) 392.480 * * [simplify]: iteration 6 : 559 enodes (cost 8 ) 393.212 * * [simplify]: iteration 7 : 1979 enodes (cost 8 ) 395.277 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 395.277 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 395.278 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 395.279 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 395.281 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 395.286 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 395.306 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 395.406 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 396.139 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 398.264 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 398.265 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 398.266 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 398.267 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 398.269 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 398.273 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 398.293 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 398.389 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 399.104 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 401.194 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 401.195 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 401.201 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 401.202 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 401.204 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 401.212 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 401.233 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 401.331 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 402.046 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 404.154 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 404.155 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 404.155 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 404.156 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 404.157 * * [simplify]: iteration 3 : 19 enodes (cost 1 ) 404.158 * * [simplify]: iteration 4 : 26 enodes (cost 1 ) 404.160 * * [simplify]: iteration 5 : 36 enodes (cost 1 ) 404.162 * * [simplify]: iteration 6 : 49 enodes (cost 1 ) 404.165 * * [simplify]: iteration 7 : 65 enodes (cost 1 ) 404.170 * * [simplify]: iteration 8 : 84 enodes (cost 1 ) 404.175 * * [simplify]: iteration 9 : 106 enodes (cost 1 ) 404.187 * * [simplify]: iteration 10 : 131 enodes (cost 1 ) 404.196 * * [simplify]: iteration 11 : 159 enodes (cost 1 ) 404.208 * * [simplify]: iteration 12 : 190 enodes (cost 1 ) 404.224 * * [simplify]: iteration 13 : 224 enodes (cost 1 ) 404.247 * * [simplify]: iteration 14 : 261 enodes (cost 1 ) 404.271 * * [simplify]: iteration 15 : 301 enodes (cost 1 ) 404.305 * * [simplify]: iteration 16 : 344 enodes (cost 1 ) 404.347 * * [simplify]: iteration 17 : 390 enodes (cost 1 ) 404.398 * * [simplify]: iteration 18 : 439 enodes (cost 1 ) 404.459 * * [simplify]: iteration 19 : 491 enodes (cost 1 ) 404.533 * * [simplify]: iteration 20 : 546 enodes (cost 1 ) 404.624 * * [simplify]: iteration 21 : 604 enodes (cost 1 ) 404.731 * * [simplify]: iteration 22 : 665 enodes (cost 1 ) 404.861 * * [simplify]: iteration 23 : 729 enodes (cost 1 ) 405.015 * * [simplify]: iteration 24 : 796 enodes (cost 1 ) 405.191 * * [simplify]: iteration 25 : 866 enodes (cost 1 ) 405.398 * * [simplify]: iteration 26 : 939 enodes (cost 1 ) 405.631 * * [simplify]: iteration 27 : 1015 enodes (cost 1 ) 405.905 * * [simplify]: iteration 28 : 1094 enodes (cost 1 ) 406.223 * * [simplify]: iteration 29 : 1176 enodes (cost 1 ) 406.589 * * [simplify]: iteration 30 : 1261 enodes (cost 1 ) 407.005 * * [simplify]: iteration 31 : 1349 enodes (cost 1 ) 407.473 * * [simplify]: iteration 32 : 1440 enodes (cost 1 ) 408.007 * * [simplify]: iteration 33 : 1534 enodes (cost 1 ) 408.614 * * [simplify]: iteration 34 : 1631 enodes (cost 1 ) 409.301 * * [simplify]: iteration 35 : 1731 enodes (cost 1 ) 410.081 * * [simplify]: iteration 36 : 1834 enodes (cost 1 ) 410.956 * * [simplify]: iteration 37 : 1940 enodes (cost 1 ) 411.938 * * [simplify]: iteration 38 : 2049 enodes (cost 1 ) 413.034 * * [simplify]: iteration 39 : 2161 enodes (cost 1 ) 414.257 * * [simplify]: iteration 40 : 2276 enodes (cost 1 ) 415.622 * * [simplify]: iteration 41 : 2394 enodes (cost 1 ) 417.191 * * [simplify]: iteration 42 : 2515 enodes (cost 1 ) 419.173 * * [simplify]: iteration 43 : 2639 enodes (cost 1 ) 421.126 * * [simplify]: iteration 44 : 2766 enodes (cost 1 ) 423.172 * * [simplify]: iteration 45 : 2896 enodes (cost 1 ) 425.375 * * [simplify]: iteration 46 : 3029 enodes (cost 1 ) 427.730 * * [simplify]: iteration 47 : 3165 enodes (cost 1 ) 430.258 * * [simplify]: iteration 48 : 3304 enodes (cost 1 ) 432.986 * * [simplify]: iteration 49 : 3446 enodes (cost 1 ) 435.900 * * [simplify]: iteration 50 : 3591 enodes (cost 1 ) 439.060 * * [simplify]: iteration 51 : 3739 enodes (cost 1 ) 442.459 * * [simplify]: iteration 52 : 3890 enodes (cost 1 ) 446.071 * * [simplify]: iteration 53 : 4044 enodes (cost 1 ) 449.973 * * [simplify]: iteration 54 : 4201 enodes (cost 1 ) 454.115 * * [simplify]: iteration 55 : 4361 enodes (cost 1 ) 458.554 * * [simplify]: iteration 56 : 4524 enodes (cost 1 ) 463.292 * * [simplify]: iteration 57 : 4690 enodes (cost 1 ) 468.785 * * [simplify]: iteration 58 : 4859 enodes (cost 1 ) 471.012 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 471.013 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 471.014 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 471.015 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 471.016 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 471.021 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 471.042 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 471.145 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 471.897 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 473.789 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 473.790 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 473.790 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 473.792 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 473.794 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 473.798 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 473.819 * * [simplify]: iteration 5 : 183 enodes (cost 5 ) 473.923 * * [simplify]: iteration 6 : 564 enodes (cost 5 ) 474.681 * * [simplify]: iteration 7 : 1975 enodes (cost 5 ) 476.651 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 476.652 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 476.652 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 476.653 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 476.655 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 476.660 * * [simplify]: iteration 4 : 74 enodes (cost 5 ) 476.688 * * [simplify]: iteration 5 : 183 enodes (cost 5 ) 476.786 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 477.538 * * [simplify]: iteration 7 : 1969 enodes (cost 5 ) 479.691 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 479.692 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 479.697 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 479.706 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 479.708 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 479.713 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 479.733 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 479.837 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 480.607 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 482.569 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 482.570 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 482.571 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 482.572 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 482.574 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 482.578 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 482.598 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 482.704 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 483.465 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 485.421 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 485.422 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 485.422 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 485.422 * * [simplify]: iteration done : 4 enodes (cost 1 ) 485.423 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 485.423 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 485.424 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 485.426 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 485.431 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 485.460 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 485.557 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 486.320 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 488.211 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 488.212 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 488.212 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 488.214 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 488.216 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 488.221 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 488.259 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 488.409 * * [simplify]: iteration 6 : 716 enodes (cost 6 ) 489.528 * * [simplify]: iteration 7 : 2546 enodes (cost 6 ) 492.064 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 492.064 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 492.065 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 492.066 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 492.068 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 492.074 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 492.102 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 492.262 * * [simplify]: iteration 6 : 716 enodes (cost 6 ) 493.361 * * [simplify]: iteration 7 : 2546 enodes (cost 6 ) 495.883 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 495.883 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 495.884 * * [simplify]: iteration done : 3 enodes (cost 3 ) 495.884 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 495.885 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 495.886 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 495.888 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 495.893 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 495.922 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 496.019 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 497.014 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 498.952 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 498.952 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 498.953 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 498.954 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 498.956 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 498.972 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 498.991 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 499.094 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 499.861 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 501.807 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 501.808 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 501.809 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 501.810 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 501.813 * * [simplify]: iteration 3 : 44 enodes (cost 5 ) 501.820 * * [simplify]: iteration 4 : 110 enodes (cost 5 ) 501.869 * * [simplify]: iteration 5 : 293 enodes (cost 5 ) 502.157 * * [simplify]: iteration 6 : 989 enodes (cost 5 ) 504.688 * * [simplify]: iteration 7 : 3768 enodes (cost 5 ) 506.887 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 506.888 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 506.888 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 506.890 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 506.892 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 506.897 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 506.917 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 507.021 * * [simplify]: iteration 6 : 568 enodes (cost 7 ) 507.778 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 509.705 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 509.706 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 509.707 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 509.708 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 509.710 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 509.726 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 509.746 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 509.851 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 510.592 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 512.508 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 512.509 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 512.510 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 512.511 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 512.522 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 512.527 * * [simplify]: iteration 4 : 80 enodes (cost 8 ) 512.547 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 512.653 * * [simplify]: iteration 6 : 555 enodes (cost 8 ) 513.401 * * [simplify]: iteration 7 : 1956 enodes (cost 8 ) 515.587 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 515.588 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 515.589 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 515.591 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 515.593 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 515.600 * * [simplify]: iteration 4 : 112 enodes (cost 8 ) 515.644 * * [simplify]: iteration 5 : 271 enodes (cost 8 ) 515.808 * * [simplify]: iteration 6 : 763 enodes (cost 8 ) 516.783 * * [simplify]: iteration 7 : 2594 enodes (cost 8 ) 518.555 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 518.555 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 518.557 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 518.560 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 518.571 * * [simplify]: iteration 3 : 153 enodes (cost 11 ) 518.636 * * [simplify]: iteration 4 : 420 enodes (cost 11 ) 519.068 * * [simplify]: iteration 5 : 1323 enodes (cost 11 ) 522.633 * * [simplify]: iteration 6 : 4863 enodes (cost 11 ) 524.473 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 524.473 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 524.474 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 524.476 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 524.478 * * [simplify]: iteration 3 : 37 enodes (cost 17 ) 524.483 * * [simplify]: iteration 4 : 77 enodes (cost 17 ) 524.503 * * [simplify]: iteration 5 : 181 enodes (cost 17 ) 524.613 * * [simplify]: iteration 6 : 552 enodes (cost 17 ) 525.388 * * [simplify]: iteration 7 : 1976 enodes (cost 17 ) 527.505 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 527.506 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 527.507 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 527.508 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 527.510 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 527.515 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 527.545 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 527.652 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 528.393 * * [simplify]: iteration 7 : 1965 enodes (cost 8 ) 530.425 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 530.425 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 530.427 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 530.440 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 530.454 * * [simplify]: iteration 3 : 130 enodes (cost 9 ) 530.507 * * [simplify]: iteration 4 : 329 enodes (cost 9 ) 530.822 * * [simplify]: iteration 5 : 1133 enodes (cost 9 ) 533.721 * * [simplify]: iteration 6 : 4731 enodes (cost 9 ) 535.489 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 535.490 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 535.491 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 535.492 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 535.495 * * [simplify]: iteration 3 : 44 enodes (cost 5 ) 535.503 * * [simplify]: iteration 4 : 110 enodes (cost 5 ) 535.552 * * [simplify]: iteration 5 : 293 enodes (cost 5 ) 535.842 * * [simplify]: iteration 6 : 989 enodes (cost 5 ) 538.408 * * [simplify]: iteration 7 : 3768 enodes (cost 5 ) 540.622 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 540.623 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 540.624 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 540.625 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 540.627 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 540.632 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 540.653 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 540.759 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 541.502 * * [simplify]: iteration 7 : 1965 enodes (cost 8 ) 543.548 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 543.549 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 543.550 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 543.551 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 543.553 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 543.558 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 543.579 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 543.684 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 544.423 * * [simplify]: iteration 7 : 1965 enodes (cost 8 ) 546.454 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 546.455 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 546.456 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 546.457 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 546.459 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 546.465 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 546.496 * * [simplify]: iteration 5 : 182 enodes (cost 9 ) 546.593 * * [simplify]: iteration 6 : 561 enodes (cost 9 ) 547.340 * * [simplify]: iteration 7 : 1956 enodes (cost 9 ) 549.342 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 549.343 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 549.344 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 549.345 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 549.347 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 549.361 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 549.382 * * [simplify]: iteration 5 : 182 enodes (cost 9 ) 549.490 * * [simplify]: iteration 6 : 561 enodes (cost 9 ) 550.243 * * [simplify]: iteration 7 : 1956 enodes (cost 9 ) 552.228 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 552.229 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 552.230 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 552.231 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 552.233 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 552.238 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 552.258 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 552.363 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 553.366 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 555.288 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 555.289 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 555.289 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 555.291 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 555.293 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 555.298 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 555.318 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 555.423 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 556.183 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 558.080 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 558.081 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 558.082 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 558.083 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 558.086 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 558.092 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 558.129 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 558.279 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 559.388 * * [simplify]: iteration 7 : 2539 enodes (cost 10 ) 561.715 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 561.716 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 561.717 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 561.718 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 561.721 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 561.727 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 561.763 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 561.911 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 563.022 * * [simplify]: iteration 7 : 2539 enodes (cost 10 ) 565.344 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 565.345 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 565.346 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 565.347 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 565.349 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 565.354 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 565.374 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 565.478 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 566.218 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 568.114 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 568.114 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 568.115 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 568.117 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 568.119 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 568.124 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 568.153 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 568.248 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 568.982 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 570.847 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 570.848 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 570.849 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 570.850 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 570.852 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 570.857 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 570.887 * * [simplify]: iteration 5 : 182 enodes (cost 9 ) 570.984 * * [simplify]: iteration 6 : 561 enodes (cost 9 ) 571.709 * * [simplify]: iteration 7 : 1956 enodes (cost 9 ) 573.634 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 573.634 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 573.635 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 573.637 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 573.639 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 573.644 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 573.663 * * [simplify]: iteration 5 : 182 enodes (cost 9 ) 573.766 * * [simplify]: iteration 6 : 561 enodes (cost 9 ) 574.491 * * [simplify]: iteration 7 : 1956 enodes (cost 9 ) 576.408 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 576.409 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 576.410 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 576.411 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 576.413 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 576.418 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 576.437 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 576.539 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 577.265 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 579.118 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 579.119 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 579.120 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 579.121 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 579.123 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 579.128 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 579.157 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 579.251 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 579.985 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 582.096 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 582.097 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 582.098 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 582.099 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 582.102 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 582.108 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 582.145 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 582.292 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 583.395 * * [simplify]: iteration 7 : 2539 enodes (cost 10 ) 585.693 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 585.694 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 585.695 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 585.696 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 585.699 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 585.704 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 585.741 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 585.889 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 586.991 * * [simplify]: iteration 7 : 2539 enodes (cost 10 ) 589.295 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 589.296 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 589.297 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 589.298 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 589.300 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 589.305 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 589.333 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 589.426 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 590.167 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 592.026 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 592.027 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 592.028 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 592.029 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 592.031 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 592.036 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 592.065 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 592.158 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 592.888 * * [simplify]: iteration 7 : 1971 enodes (cost 9 ) 594.741 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 594.742 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 594.743 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 594.744 * * [simplify]: iteration 2 : 23 enodes (cost 14 ) 594.747 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 594.763 * * [simplify]: iteration 4 : 81 enodes (cost 14 ) 594.783 * * [simplify]: iteration 5 : 187 enodes (cost 14 ) 594.886 * * [simplify]: iteration 6 : 564 enodes (cost 14 ) 595.594 * * [simplify]: iteration 7 : 1967 enodes (cost 14 ) 597.380 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 597.381 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 597.382 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 597.383 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 597.385 * * [simplify]: iteration 3 : 37 enodes (cost 11 ) 597.390 * * [simplify]: iteration 4 : 77 enodes (cost 11 ) 597.410 * * [simplify]: iteration 5 : 182 enodes (cost 11 ) 597.513 * * [simplify]: iteration 6 : 561 enodes (cost 11 ) 598.228 * * [simplify]: iteration 7 : 1956 enodes (cost 11 ) 600.148 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 600.149 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 600.149 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 600.151 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 600.153 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 600.158 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 600.186 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 600.278 * * [simplify]: iteration 6 : 562 enodes (cost 8 ) 600.998 * * [simplify]: iteration 7 : 1975 enodes (cost 8 ) 602.938 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 602.939 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 602.940 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 602.941 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 602.942 * * [simplify]: iteration 3 : 22 enodes (cost 2 ) 602.944 * * [simplify]: iteration 4 : 29 enodes (cost 2 ) 602.946 * * [simplify]: iteration 5 : 39 enodes (cost 2 ) 602.949 * * [simplify]: iteration 6 : 52 enodes (cost 2 ) 602.952 * * [simplify]: iteration 7 : 68 enodes (cost 2 ) 602.957 * * [simplify]: iteration 8 : 87 enodes (cost 2 ) 602.963 * * [simplify]: iteration 9 : 109 enodes (cost 2 ) 602.970 * * [simplify]: iteration 10 : 134 enodes (cost 2 ) 602.979 * * [simplify]: iteration 11 : 162 enodes (cost 2 ) 603.000 * * [simplify]: iteration 12 : 193 enodes (cost 2 ) 603.015 * * [simplify]: iteration 13 : 227 enodes (cost 2 ) 603.034 * * [simplify]: iteration 14 : 264 enodes (cost 2 ) 603.066 * * [simplify]: iteration 15 : 304 enodes (cost 2 ) 603.103 * * [simplify]: iteration 16 : 347 enodes (cost 2 ) 603.140 * * [simplify]: iteration 17 : 393 enodes (cost 2 ) 603.192 * * [simplify]: iteration 18 : 442 enodes (cost 2 ) 603.265 * * [simplify]: iteration 19 : 494 enodes (cost 2 ) 603.339 * * [simplify]: iteration 20 : 549 enodes (cost 2 ) 603.434 * * [simplify]: iteration 21 : 607 enodes (cost 2 ) 603.545 * * [simplify]: iteration 22 : 668 enodes (cost 2 ) 603.676 * * [simplify]: iteration 23 : 732 enodes (cost 2 ) 603.840 * * [simplify]: iteration 24 : 799 enodes (cost 2 ) 604.019 * * [simplify]: iteration 25 : 869 enodes (cost 2 ) 604.230 * * [simplify]: iteration 26 : 942 enodes (cost 2 ) 604.478 * * [simplify]: iteration 27 : 1018 enodes (cost 2 ) 604.767 * * [simplify]: iteration 28 : 1097 enodes (cost 2 ) 605.102 * * [simplify]: iteration 29 : 1179 enodes (cost 2 ) 605.468 * * [simplify]: iteration 30 : 1264 enodes (cost 2 ) 605.901 * * [simplify]: iteration 31 : 1352 enodes (cost 2 ) 606.395 * * [simplify]: iteration 32 : 1443 enodes (cost 2 ) 606.954 * * [simplify]: iteration 33 : 1537 enodes (cost 2 ) 607.579 * * [simplify]: iteration 34 : 1634 enodes (cost 2 ) 608.284 * * [simplify]: iteration 35 : 1734 enodes (cost 2 ) 609.083 * * [simplify]: iteration 36 : 1837 enodes (cost 2 ) 609.983 * * [simplify]: iteration 37 : 1943 enodes (cost 2 ) 610.990 * * [simplify]: iteration 38 : 2052 enodes (cost 2 ) 612.123 * * [simplify]: iteration 39 : 2164 enodes (cost 2 ) 613.393 * * [simplify]: iteration 40 : 2279 enodes (cost 2 ) 614.793 * * [simplify]: iteration 41 : 2397 enodes (cost 2 ) 616.374 * * [simplify]: iteration 42 : 2518 enodes (cost 2 ) 618.123 * * [simplify]: iteration 43 : 2642 enodes (cost 2 ) 620.059 * * [simplify]: iteration 44 : 2769 enodes (cost 2 ) 622.142 * * [simplify]: iteration 45 : 2899 enodes (cost 2 ) 624.368 * * [simplify]: iteration 46 : 3032 enodes (cost 2 ) 626.740 * * [simplify]: iteration 47 : 3168 enodes (cost 2 ) 629.601 * * [simplify]: iteration 48 : 3307 enodes (cost 2 ) 632.403 * * [simplify]: iteration 49 : 3449 enodes (cost 2 ) 635.271 * * [simplify]: iteration 50 : 3594 enodes (cost 2 ) 638.122 * * [simplify]: iteration 51 : 3742 enodes (cost 2 ) 641.207 * * [simplify]: iteration 52 : 3893 enodes (cost 2 ) 644.520 * * [simplify]: iteration 53 : 4047 enodes (cost 2 ) 648.098 * * [simplify]: iteration 54 : 4204 enodes (cost 2 ) 651.916 * * [simplify]: iteration 55 : 4364 enodes (cost 2 ) 656.031 * * [simplify]: iteration 56 : 4527 enodes (cost 2 ) 660.435 * * [simplify]: iteration 57 : 4693 enodes (cost 2 ) 665.147 * * [simplify]: iteration 58 : 4862 enodes (cost 2 ) 669.647 * * [simplify]: iteration done : 5001 enodes (cost 2 ) 669.647 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 669.648 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 669.650 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 669.652 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 669.657 * * [simplify]: iteration 4 : 77 enodes (cost 8 ) 669.676 * * [simplify]: iteration 5 : 181 enodes (cost 8 ) 669.772 * * [simplify]: iteration 6 : 554 enodes (cost 8 ) 670.462 * * [simplify]: iteration 7 : 1972 enodes (cost 8 ) 672.242 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 672.243 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 672.244 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 672.245 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 672.247 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 672.252 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 672.277 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 672.369 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 673.046 * * [simplify]: iteration 7 : 1965 enodes (cost 8 ) 675.153 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 675.154 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 675.155 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 675.155 * * [simplify]: iteration done : 8 enodes (cost 4 ) 675.156 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 675.157 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 675.158 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 675.160 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 675.166 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 675.201 * * [simplify]: iteration 5 : 224 enodes (cost 9 ) 675.348 * * [simplify]: iteration 6 : 727 enodes (cost 9 ) 676.410 * * [simplify]: iteration 7 : 2539 enodes (cost 9 ) 678.762 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 678.763 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 678.768 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 678.770 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 678.772 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 678.777 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 678.802 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 678.894 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 679.571 * * [simplify]: iteration 7 : 1965 enodes (cost 8 ) 681.444 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 681.445 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 681.446 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 681.446 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 681.447 * * [simplify]: iteration done : 10 enodes (cost 2 ) 681.448 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 681.448 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 681.449 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 681.452 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 681.457 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 681.483 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 681.574 * * [simplify]: iteration 6 : 562 enodes (cost 8 ) 682.268 * * [simplify]: iteration 7 : 1975 enodes (cost 8 ) 684.132 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 684.133 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 684.139 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 684.140 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 684.142 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 684.147 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 684.167 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 684.263 * * [simplify]: iteration 6 : 562 enodes (cost 8 ) 684.949 * * [simplify]: iteration 7 : 1975 enodes (cost 8 ) 686.805 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 686.806 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 686.806 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 686.808 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 686.815 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 686.819 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 686.840 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 686.936 * * [simplify]: iteration 6 : 562 enodes (cost 8 ) 687.627 * * [simplify]: iteration 7 : 1975 enodes (cost 8 ) 689.499 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 689.499 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 689.500 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 689.501 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 689.503 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 689.508 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 689.534 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 689.627 * * [simplify]: iteration 6 : 568 enodes (cost 7 ) 690.321 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 692.114 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 692.115 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 692.116 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 692.117 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 692.119 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 692.124 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 692.143 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 692.238 * * [simplify]: iteration 6 : 562 enodes (cost 8 ) 692.929 * * [simplify]: iteration 7 : 1975 enodes (cost 8 ) 694.792 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 694.793 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 694.793 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 694.795 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 694.797 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 694.801 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 694.827 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 694.925 * * [simplify]: iteration 6 : 568 enodes (cost 7 ) 695.625 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 697.441 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 697.442 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 697.443 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 697.443 * * [simplify]: iteration done : 5 enodes (cost 4 ) 697.444 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 697.444 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 697.444 * * [simplify]: iteration done : 5 enodes (cost 4 ) 697.445 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 697.445 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 697.446 * * [simplify]: iteration done : 6 enodes (cost 1 ) 697.446 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 697.447 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 697.448 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 697.450 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 697.456 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 697.493 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 697.716 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 699.612 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 700.887 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 700.888 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 700.888 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 700.889 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 700.891 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 700.895 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 700.920 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 701.009 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 701.831 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 703.906 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 703.907 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 703.907 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 703.908 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 703.908 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 703.910 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 703.912 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 703.920 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 703.965 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 704.404 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 706.686 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 706.686 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 706.687 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 706.688 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 706.690 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 706.694 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 706.720 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 706.816 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 707.510 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 709.586 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 709.587 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 709.587 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 709.588 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 709.590 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 709.595 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 709.614 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 709.709 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 710.402 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 712.228 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 712.228 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 712.229 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 712.230 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 712.231 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 712.236 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 712.255 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 712.345 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 713.018 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 714.812 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 714.813 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 714.813 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 714.814 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 714.816 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 714.820 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 714.844 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 714.932 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 715.608 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 717.392 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 717.393 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 717.394 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 717.394 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 717.395 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 717.396 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 717.398 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 717.400 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 717.407 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 717.411 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 717.417 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 717.424 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 717.433 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 717.445 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 717.463 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 717.482 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 717.505 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 717.538 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 717.578 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 717.625 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 717.683 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 717.753 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 717.840 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 717.940 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 718.062 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 718.208 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 718.375 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 718.566 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 718.790 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 719.048 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 719.346 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 719.687 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 720.079 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 720.527 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 721.037 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 721.612 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 722.260 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 722.994 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 723.813 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 724.736 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 725.768 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 726.924 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 728.223 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 729.689 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 731.319 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 733.118 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 735.271 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 737.377 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 739.607 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 741.962 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 744.486 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 747.189 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 750.112 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 753.257 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 756.606 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 760.223 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 764.101 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 768.275 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 772.726 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 777.482 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 778.949 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 778.949 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 778.950 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 778.950 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 778.952 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 778.956 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 778.975 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 779.072 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 779.770 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 781.880 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 781.881 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 781.881 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 781.882 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 781.885 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 781.891 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 781.930 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 782.188 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 784.887 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 786.147 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 786.147 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 786.148 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 786.149 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 786.151 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 786.156 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 786.192 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 786.343 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 787.499 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 788.612 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 788.613 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 788.613 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 788.614 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 788.616 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 788.621 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 788.640 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 788.736 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 789.430 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 791.408 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 791.408 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 791.409 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 791.409 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 791.411 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 791.416 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 791.435 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 791.531 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 792.238 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 794.282 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 794.282 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 794.283 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 794.285 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 794.291 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 794.324 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 794.497 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 796.757 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 799.076 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 799.077 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 799.077 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 799.078 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 799.080 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 799.084 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 799.109 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 799.200 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 799.897 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 801.633 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 801.634 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 801.634 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 801.635 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 801.637 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 801.648 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 801.667 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 801.763 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 802.455 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 804.190 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 804.191 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 804.191 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 804.192 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 804.194 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 804.200 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 804.227 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 804.374 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 805.658 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 808.064 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 808.064 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 808.065 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 808.072 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 808.073 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 808.079 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 808.107 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 808.257 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 809.309 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 811.682 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 811.682 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 811.683 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 811.691 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 811.695 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 811.700 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 811.715 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 811.771 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 811.986 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 813.397 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 814.871 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 814.872 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 814.873 * * [simplify]: iteration 1 : 32 enodes (cost 11 ) 814.878 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 814.887 * * [simplify]: iteration 3 : 127 enodes (cost 7 ) 814.921 * * [simplify]: iteration 4 : 274 enodes (cost 5 ) 815.020 * * [simplify]: iteration 5 : 612 enodes (cost 5 ) 815.432 * * [simplify]: iteration 6 : 1630 enodes (cost 5 ) 817.210 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 817.211 * * [simplify]: iteration 0 : 15 enodes (cost 20 ) 817.213 * * [simplify]: iteration 1 : 43 enodes (cost 18 ) 817.219 * * [simplify]: iteration 2 : 85 enodes (cost 15 ) 817.237 * * [simplify]: iteration 3 : 254 enodes (cost 13 ) 817.354 * * [simplify]: iteration 4 : 790 enodes (cost 13 ) 818.651 * * [simplify]: iteration 5 : 3633 enodes (cost 13 ) 819.951 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 819.952 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 819.953 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 819.956 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 819.960 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 819.969 * * [simplify]: iteration 4 : 124 enodes (cost 6 ) 820.006 * * [simplify]: iteration 5 : 274 enodes (cost 6 ) 820.122 * * [simplify]: iteration 6 : 623 enodes (cost 6 ) 820.670 * * [simplify]: iteration 7 : 1670 enodes (cost 6 ) 822.288 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 822.289 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 822.291 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 822.296 * * [simplify]: iteration 2 : 65 enodes (cost 15 ) 822.305 * * [simplify]: iteration 3 : 138 enodes (cost 14 ) 822.334 * * [simplify]: iteration 4 : 296 enodes (cost 13 ) 822.434 * * [simplify]: iteration 5 : 719 enodes (cost 13 ) 822.861 * * [simplify]: iteration 6 : 1951 enodes (cost 13 ) 823.950 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 823.951 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 823.953 * * [simplify]: iteration 1 : 40 enodes (cost 20 ) 823.958 * * [simplify]: iteration 2 : 74 enodes (cost 18 ) 823.969 * * [simplify]: iteration 3 : 190 enodes (cost 16 ) 824.012 * * [simplify]: iteration 4 : 551 enodes (cost 16 ) 824.361 * * [simplify]: iteration 5 : 2490 enodes (cost 16 ) 825.321 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 825.321 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 825.322 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 825.325 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 825.328 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 825.333 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 825.349 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 825.404 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 825.610 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 826.989 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 828.670 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 828.671 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 828.672 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 828.674 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 828.686 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 828.694 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 828.719 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 828.849 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 829.350 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 831.050 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 831.051 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 831.052 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 831.054 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 831.058 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 831.075 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 831.109 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 831.657 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 833.029 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 833.030 * [simplify]: Simplified to: (log (sqrt (pow x 2.0))) (exp (sqrt (pow x 2.0))) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0)))) (cbrt (sqrt (pow x 2.0))) (pow (sqrt (pow x 2.0)) 3) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) 1 (sqrt (pow x 2.0)) (fabs (cbrt (pow x 2.0))) (sqrt (cbrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) 1 (sqrt (pow x 2.0)) (sqrt (pow x (/ 2.0 2))) (sqrt (pow x (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (* 2 (pow x 2.0)) (* (sqrt 2) (sqrt (pow x 2.0))) (+ (log (sqrt 2)) (log (sqrt (pow x 2.0)))) (log (* (sqrt 2) (sqrt (pow x 2.0)))) (exp (* (sqrt 2) (sqrt (pow x 2.0)))) (* (pow (sqrt (pow x 2.0)) 3) (* 2 (sqrt 2))) (* (cbrt (* (sqrt 2) (sqrt (pow x 2.0)))) (cbrt (* (sqrt 2) (sqrt (pow x 2.0))))) (cbrt (* (sqrt 2) (sqrt (pow x 2.0)))) (pow (* (sqrt 2) (sqrt (pow x 2.0))) 3) (* 2 (pow x 2.0)) (sqrt (* (sqrt 2) (sqrt (pow x 2.0)))) (sqrt (* (sqrt 2) (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0))))) (* (sqrt 2) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (sqrt 2) (sqrt (pow (sqrt x) 2.0))) (sqrt 2) (* (fabs (cbrt (pow x 2.0))) (sqrt 2)) (* (sqrt 2) (sqrt (sqrt (pow x 2.0)))) (* 1 (sqrt 2)) (* (sqrt 2) (sqrt (pow x (/ 2.0 2)))) (* (sqrt 2) (sqrt (sqrt (pow x 2.0)))) (sqrt 2) (* (cbrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt (cbrt 2)) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt 2) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2)) (sqrt (pow x 2.0))) (* (sqrt 2) (sqrt (pow x 2.0))) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (pow x 1.0) (pow (pow x 1.0) 1.0) (pow (/ (pow (pow -1 1.0) 1.0) (pow (/ -1 x) 1.0)) 1.0) (* (pow x 1.0) (sqrt 2)) (* (sqrt 2) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 1.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0) (sqrt 2)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 833.030 * * * [progress]: adding candidates to table 833.172 * * [progress]: iteration 4 / 4 833.172 * * * [progress]: picking best candidate 833.194 * * * * [pick]: Picked # 833.194 * * * [progress]: localizing error 833.202 * * * [progress]: generating rewritten candidates 833.202 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 833.208 * * * [progress]: generating series expansions 833.208 * * * * [progress]: [ 1 / 1 ] generating series at (2) 833.208 * [approximate]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2)) in (x) around 0 833.208 * [taylor]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2)) in x 833.208 * [taylor]: Taking taylor expansion of (fabs (pow x 1.0)) in x 833.209 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.209 * [taylor]: Taking taylor expansion of 2 in x 833.209 * [taylor]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2)) in x 833.209 * [taylor]: Taking taylor expansion of (fabs (pow x 1.0)) in x 833.209 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.209 * [taylor]: Taking taylor expansion of 2 in x 833.211 * [approximate]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2)) in (x) around 0 833.211 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2)) in x 833.211 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1.0)) in x 833.211 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.211 * [taylor]: Taking taylor expansion of 2 in x 833.211 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2)) in x 833.211 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1.0)) in x 833.211 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.211 * [taylor]: Taking taylor expansion of 2 in x 833.213 * [approximate]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2)) in (x) around 0 833.213 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2)) in x 833.213 * [taylor]: Taking taylor expansion of (fabs (pow (/ -1 x) 1.0)) in x 833.213 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.213 * [taylor]: Taking taylor expansion of 2 in x 833.213 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2)) in x 833.213 * [taylor]: Taking taylor expansion of (fabs (pow (/ -1 x) 1.0)) in x 833.213 * [taylor]: Taking taylor expansion of (sqrt 2) in x 833.213 * [taylor]: Taking taylor expansion of 2 in x 833.215 * * * [progress]: simplifying candidates 833.215 * [simplify]: Simplifying using # : (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (+ (log (sqrt 2)) (log (fabs (pow x (/ 2.0 2))))) (log (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (exp (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (fabs (pow x (/ 2.0 2))) (fabs (pow x (/ 2.0 2)))) (fabs (pow x (/ 2.0 2))))) (* (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2)))))) (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (* (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2) (* (cbrt (fabs (pow x (/ 2.0 2)))) (cbrt (fabs (pow x (/ 2.0 2)))))) (* (sqrt 2) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2) 1) (* (cbrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (cbrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (* (fabs (pow x 1.0)) (sqrt 2)) (* (fabs (pow x 1.0)) (sqrt 2)) (* (fabs (pow x 1.0)) (sqrt 2)) 833.216 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 833.216 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 833.218 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 833.220 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 833.226 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 833.253 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 833.393 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 834.413 * * [simplify]: iteration 7 : 2518 enodes (cost 9 ) 836.651 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 836.651 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 836.652 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 836.654 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 836.656 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 836.662 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 836.694 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 836.831 * * [simplify]: iteration 6 : 723 enodes (cost 11 ) 837.854 * * [simplify]: iteration 7 : 2535 enodes (cost 11 ) 840.037 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 840.037 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 840.038 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 840.040 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 840.043 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 840.049 * * [simplify]: iteration 4 : 96 enodes (cost 10 ) 840.081 * * [simplify]: iteration 5 : 227 enodes (cost 10 ) 840.223 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 841.249 * * [simplify]: iteration 7 : 2547 enodes (cost 10 ) 843.441 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 843.441 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 843.442 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 843.444 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 843.447 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 843.455 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 843.499 * * [simplify]: iteration 5 : 308 enodes (cost 10 ) 843.695 * * [simplify]: iteration 6 : 939 enodes (cost 10 ) 844.971 * * [simplify]: iteration 7 : 3161 enodes (cost 10 ) 846.447 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 846.447 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 846.449 * * [simplify]: iteration 1 : 22 enodes (cost 25 ) 846.452 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 846.460 * * [simplify]: iteration 3 : 101 enodes (cost 13 ) 846.480 * * [simplify]: iteration 4 : 173 enodes (cost 13 ) 846.539 * * [simplify]: iteration 5 : 345 enodes (cost 13 ) 846.743 * * [simplify]: iteration 6 : 960 enodes (cost 13 ) 847.955 * * [simplify]: iteration 7 : 3150 enodes (cost 13 ) 850.086 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 850.087 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 850.088 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 850.090 * * [simplify]: iteration 2 : 22 enodes (cost 21 ) 850.092 * * [simplify]: iteration 3 : 43 enodes (cost 21 ) 850.098 * * [simplify]: iteration 4 : 91 enodes (cost 21 ) 850.131 * * [simplify]: iteration 5 : 224 enodes (cost 21 ) 850.271 * * [simplify]: iteration 6 : 723 enodes (cost 21 ) 851.303 * * [simplify]: iteration 7 : 2528 enodes (cost 21 ) 853.545 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 853.546 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 853.547 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 853.548 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 853.550 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 853.556 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 853.585 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 853.727 * * [simplify]: iteration 6 : 721 enodes (cost 10 ) 854.775 * * [simplify]: iteration 7 : 2546 enodes (cost 10 ) 857.123 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 857.124 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 857.125 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 857.129 * * [simplify]: iteration 2 : 61 enodes (cost 11 ) 857.146 * * [simplify]: iteration 3 : 126 enodes (cost 11 ) 857.173 * * [simplify]: iteration 4 : 191 enodes (cost 11 ) 857.235 * * [simplify]: iteration 5 : 358 enodes (cost 11 ) 857.448 * * [simplify]: iteration 6 : 983 enodes (cost 11 ) 858.674 * * [simplify]: iteration 7 : 3244 enodes (cost 11 ) 860.344 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 860.345 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 860.346 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 860.347 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 860.349 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 860.355 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 860.386 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 860.524 * * [simplify]: iteration 6 : 721 enodes (cost 10 ) 861.564 * * [simplify]: iteration 7 : 2546 enodes (cost 10 ) 863.862 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 863.862 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 863.863 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 863.865 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 863.867 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 863.873 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 863.905 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 864.045 * * [simplify]: iteration 6 : 721 enodes (cost 10 ) 865.069 * * [simplify]: iteration 7 : 2546 enodes (cost 10 ) 867.352 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 867.353 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 867.354 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 867.355 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 867.358 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 867.364 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 867.395 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 867.529 * * [simplify]: iteration 6 : 723 enodes (cost 11 ) 868.536 * * [simplify]: iteration 7 : 2535 enodes (cost 11 ) 870.714 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 870.715 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 870.716 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 870.718 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 870.720 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 870.726 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 870.758 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 870.895 * * [simplify]: iteration 6 : 723 enodes (cost 11 ) 871.911 * * [simplify]: iteration 7 : 2535 enodes (cost 11 ) 874.303 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 874.304 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 874.305 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 874.306 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 874.309 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 874.315 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 874.346 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 874.485 * * [simplify]: iteration 6 : 723 enodes (cost 11 ) 875.505 * * [simplify]: iteration 7 : 2535 enodes (cost 11 ) 877.692 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 877.693 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 877.694 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 877.695 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 877.698 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 877.708 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 877.736 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 877.878 * * [simplify]: iteration 6 : 723 enodes (cost 11 ) 878.896 * * [simplify]: iteration 7 : 2535 enodes (cost 11 ) 881.086 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 881.087 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 881.088 * * [simplify]: iteration 1 : 16 enodes (cost 18 ) 881.090 * * [simplify]: iteration 2 : 26 enodes (cost 18 ) 881.094 * * [simplify]: iteration 3 : 47 enodes (cost 18 ) 881.100 * * [simplify]: iteration 4 : 97 enodes (cost 18 ) 881.129 * * [simplify]: iteration 5 : 227 enodes (cost 18 ) 881.271 * * [simplify]: iteration 6 : 727 enodes (cost 18 ) 882.312 * * [simplify]: iteration 7 : 2557 enodes (cost 18 ) 884.561 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 884.561 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 884.562 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 884.564 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 884.566 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 884.572 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 884.604 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 884.740 * * [simplify]: iteration 6 : 721 enodes (cost 10 ) 885.775 * * [simplify]: iteration 7 : 2546 enodes (cost 10 ) 888.089 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 888.090 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 888.090 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 888.091 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 888.091 * * [simplify]: iteration done : 10 enodes (cost 2 ) 888.092 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 888.093 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 888.094 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 888.097 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 888.102 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 888.134 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 888.275 * * [simplify]: iteration 6 : 718 enodes (cost 10 ) 889.277 * * [simplify]: iteration 7 : 2519 enodes (cost 10 ) 891.583 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 891.583 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 891.584 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 891.586 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 891.588 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 891.594 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 891.622 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 891.763 * * [simplify]: iteration 6 : 718 enodes (cost 10 ) 892.775 * * [simplify]: iteration 7 : 2519 enodes (cost 10 ) 895.073 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 895.074 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 895.074 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 895.076 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 895.078 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 895.084 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 895.116 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 895.254 * * [simplify]: iteration 6 : 718 enodes (cost 10 ) 896.492 * * [simplify]: iteration 7 : 2519 enodes (cost 10 ) 898.793 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 898.794 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 898.803 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 898.804 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 898.807 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 898.812 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 898.839 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 898.979 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 899.995 * * [simplify]: iteration 7 : 2518 enodes (cost 9 ) 902.233 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 902.234 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 902.235 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 902.236 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 902.238 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 902.244 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 902.272 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 902.411 * * [simplify]: iteration 6 : 718 enodes (cost 10 ) 903.421 * * [simplify]: iteration 7 : 2519 enodes (cost 10 ) 905.704 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 905.705 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 905.706 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 905.707 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 905.709 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 905.715 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 905.746 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 905.881 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 906.891 * * [simplify]: iteration 7 : 2518 enodes (cost 9 ) 909.089 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 909.090 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 909.091 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 909.092 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 909.094 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 909.099 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 909.121 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 909.213 * * [simplify]: iteration 6 : 565 enodes (cost 7 ) 909.872 * * [simplify]: iteration 7 : 1981 enodes (cost 7 ) 911.821 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 911.821 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 911.822 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 911.823 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 911.825 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 911.834 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 911.854 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 911.947 * * [simplify]: iteration 6 : 565 enodes (cost 7 ) 912.613 * * [simplify]: iteration 7 : 1981 enodes (cost 7 ) 914.561 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 914.561 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 914.562 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 914.566 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 914.569 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 914.573 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 914.593 * * [simplify]: iteration 5 : 185 enodes (cost 7 ) 914.685 * * [simplify]: iteration 6 : 565 enodes (cost 7 ) 915.356 * * [simplify]: iteration 7 : 1981 enodes (cost 7 ) 917.319 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 917.319 * [simplify]: Simplified to: (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (+ (log (sqrt 2)) (log (fabs (pow x (/ 2.0 2))))) (log (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (exp (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (pow (fabs (pow x (/ 2.0 2))) 3) (* 2 (sqrt 2))) (* (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2)))))) (cbrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (pow (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) 3) (sqrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2) (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2) (* (cbrt (fabs (pow x (/ 2.0 2)))) (cbrt (fabs (pow x (/ 2.0 2)))))) (* (sqrt 2) (sqrt (fabs (pow x (/ 2.0 2))))) (sqrt 2) (* (cbrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (cbrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2) (fabs (pow x (/ 2.0 2)))) (* (fabs (pow x 1.0)) (sqrt 2)) (* (fabs (pow x 1.0)) (sqrt 2)) (* (fabs (pow x 1.0)) (sqrt 2)) 917.320 * * * [progress]: adding candidates to table 917.371 * [progress]: [Phase 3 of 3] Extracting. 917.372 * * [regime]: Finding splitpoints for: (# # # # # # #) 917.373 * * * [regime-changes]: Trying 2 branch expressions: ((pow x 2.0) x) 917.373 * * * * [regimes]: Trying to branch on (pow x 2.0) from (# # # # # # #) 917.429 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 917.480 * * * [regime]: Found split indices: #