328.968 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (/ (- x lo) (- hi lo)) 0.036 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.036 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.038 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 0.039 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 0.041 * * [simplify]: iteration done : 18 enodes (cost 7 ) 0.041 * [simplify]: Simplified to: (/ (- x lo) (- hi lo)) 0.041 * * [progress]: iteration 1 / 4 0.041 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.049 * * * [progress]: generating rewritten candidates 0.049 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.060 * * * [progress]: generating series expansions 0.060 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.061 * [approximate]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in (x lo hi) around 0 0.061 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in hi 0.061 * [taylor]: Taking taylor expansion of (- x lo) in hi 0.061 * [taylor]: Taking taylor expansion of x in hi 0.061 * [taylor]: Taking taylor expansion of lo in hi 0.061 * [taylor]: Taking taylor expansion of (- hi lo) in hi 0.061 * [taylor]: Taking taylor expansion of hi in hi 0.061 * [taylor]: Taking taylor expansion of lo in hi 0.061 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in lo 0.061 * [taylor]: Taking taylor expansion of (- x lo) in lo 0.061 * [taylor]: Taking taylor expansion of x in lo 0.061 * [taylor]: Taking taylor expansion of lo in lo 0.061 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.061 * [taylor]: Taking taylor expansion of hi in lo 0.061 * [taylor]: Taking taylor expansion of lo in lo 0.061 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.061 * [taylor]: Taking taylor expansion of (- x lo) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of lo in x 0.061 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.061 * [taylor]: Taking taylor expansion of hi in x 0.061 * [taylor]: Taking taylor expansion of lo in x 0.061 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.061 * [taylor]: Taking taylor expansion of (- x lo) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of lo in x 0.061 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.061 * [taylor]: Taking taylor expansion of hi in x 0.062 * [taylor]: Taking taylor expansion of lo in x 0.062 * [taylor]: Taking taylor expansion of (* -1 (/ lo (- hi lo))) in lo 0.062 * [taylor]: Taking taylor expansion of -1 in lo 0.062 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 0.062 * [taylor]: Taking taylor expansion of lo in lo 0.062 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.062 * [taylor]: Taking taylor expansion of hi in lo 0.062 * [taylor]: Taking taylor expansion of lo in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in lo 0.062 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.062 * [taylor]: Taking taylor expansion of hi in lo 0.062 * [taylor]: Taking taylor expansion of lo in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.062 * [taylor]: Taking taylor expansion of hi in hi 0.062 * [taylor]: Taking taylor expansion of (/ -1 hi) in hi 0.062 * [taylor]: Taking taylor expansion of -1 in hi 0.062 * [taylor]: Taking taylor expansion of hi in hi 0.063 * [taylor]: Taking taylor expansion of 0 in lo 0.063 * [taylor]: Taking taylor expansion of 0 in hi 0.063 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.063 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.063 * [taylor]: Taking taylor expansion of hi in hi 0.063 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow hi 2))) in hi 0.063 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.063 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.063 * [taylor]: Taking taylor expansion of hi in hi 0.064 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in (x lo hi) around 0 0.064 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in hi 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in hi 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.064 * [taylor]: Taking taylor expansion of x in hi 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.064 * [taylor]: Taking taylor expansion of lo in hi 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 0.064 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.064 * [taylor]: Taking taylor expansion of hi in hi 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.064 * [taylor]: Taking taylor expansion of lo in hi 0.064 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in lo 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in lo 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.064 * [taylor]: Taking taylor expansion of x in lo 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.064 * [taylor]: Taking taylor expansion of lo in lo 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.064 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.064 * [taylor]: Taking taylor expansion of hi in lo 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.064 * [taylor]: Taking taylor expansion of lo in lo 0.064 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.064 * [taylor]: Taking taylor expansion of lo in x 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.065 * [taylor]: Taking taylor expansion of hi in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.065 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.065 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.065 * [taylor]: Taking taylor expansion of hi in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.065 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in lo 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.065 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.065 * [taylor]: Taking taylor expansion of hi in lo 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.065 * [taylor]: Taking taylor expansion of lo in lo 0.066 * [taylor]: Taking taylor expansion of (neg (/ 1 (* lo (- (/ 1 hi) (/ 1 lo))))) in lo 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* lo (- (/ 1 hi) (/ 1 lo)))) in lo 0.066 * [taylor]: Taking taylor expansion of (* lo (- (/ 1 hi) (/ 1 lo))) in lo 0.066 * [taylor]: Taking taylor expansion of lo in lo 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.066 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.066 * [taylor]: Taking taylor expansion of hi in lo 0.066 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.066 * [taylor]: Taking taylor expansion of lo in lo 0.066 * [taylor]: Taking taylor expansion of 1 in hi 0.066 * [taylor]: Taking taylor expansion of -1 in hi 0.067 * [taylor]: Taking taylor expansion of 0 in lo 0.067 * [taylor]: Taking taylor expansion of 0 in hi 0.067 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.067 * [taylor]: Taking taylor expansion of hi in hi 0.068 * [taylor]: Taking taylor expansion of (neg (/ 1 hi)) in hi 0.068 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.068 * [taylor]: Taking taylor expansion of hi in hi 0.068 * [approximate]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in (x lo hi) around 0 0.068 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in hi 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in hi 0.068 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.068 * [taylor]: Taking taylor expansion of lo in hi 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.068 * [taylor]: Taking taylor expansion of x in hi 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 0.068 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.068 * [taylor]: Taking taylor expansion of lo in hi 0.068 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.068 * [taylor]: Taking taylor expansion of hi in hi 0.069 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in lo 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in lo 0.069 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.069 * [taylor]: Taking taylor expansion of lo in lo 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.069 * [taylor]: Taking taylor expansion of x in lo 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.069 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.069 * [taylor]: Taking taylor expansion of lo in lo 0.069 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.069 * [taylor]: Taking taylor expansion of hi in lo 0.069 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.069 * [taylor]: Taking taylor expansion of lo in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.069 * [taylor]: Taking taylor expansion of lo in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.069 * [taylor]: Taking taylor expansion of hi in x 0.070 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.070 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.070 * [taylor]: Taking taylor expansion of lo in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.070 * [taylor]: Taking taylor expansion of lo in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.070 * [taylor]: Taking taylor expansion of hi in x 0.070 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in lo 0.070 * [taylor]: Taking taylor expansion of -1 in lo 0.070 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.070 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.070 * [taylor]: Taking taylor expansion of lo in lo 0.070 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.070 * [taylor]: Taking taylor expansion of hi in lo 0.071 * [taylor]: Taking taylor expansion of (/ 1 (* lo (- (/ 1 lo) (/ 1 hi)))) in lo 0.071 * [taylor]: Taking taylor expansion of (* lo (- (/ 1 lo) (/ 1 hi))) in lo 0.071 * [taylor]: Taking taylor expansion of lo in lo 0.071 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.071 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.071 * [taylor]: Taking taylor expansion of lo in lo 0.071 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.071 * [taylor]: Taking taylor expansion of hi in lo 0.071 * [taylor]: Taking taylor expansion of 1 in hi 0.071 * [taylor]: Taking taylor expansion of -1 in hi 0.072 * [taylor]: Taking taylor expansion of 0 in lo 0.072 * [taylor]: Taking taylor expansion of 0 in hi 0.072 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.072 * [taylor]: Taking taylor expansion of hi in hi 0.072 * [taylor]: Taking taylor expansion of (neg (/ 1 hi)) in hi 0.073 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.073 * [taylor]: Taking taylor expansion of hi in hi 0.073 * * * [progress]: simplifying candidates 0.074 * [simplify]: Simplifying using # : (- (log (- x lo)) (log (- hi lo))) (log (/ (- x lo) (- hi lo))) (exp (/ (- x lo) (- hi lo))) (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo))) (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (neg (- x lo)) (neg (- hi lo)) (/ x (- hi lo)) (/ lo (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo))) (/ (cbrt (- x lo)) (sqrt (- hi lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (+ (sqrt hi) (sqrt lo))) (/ (cbrt (- x lo)) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (+ (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) (- (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- (sqrt x) (sqrt lo)) (cbrt (- hi lo))) (/ (+ (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (/ (- (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (/ (+ (sqrt x) (sqrt lo)) 1) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (+ (sqrt hi) (sqrt lo))) (/ (- (sqrt x) (sqrt lo)) (- (sqrt hi) (sqrt lo))) (/ (+ (sqrt x) (sqrt lo)) 1) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) (- x lo)) (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (sqrt (- hi lo))) (/ (- x lo) 1) (/ (- x lo) (+ (sqrt hi) (sqrt lo))) (/ (- x lo) 1) (/ (- hi lo) (cbrt (- x lo))) (/ (- hi lo) (sqrt (- x lo))) (/ (- hi lo) (- x lo)) (/ (- hi lo) (- (sqrt x) (sqrt lo))) (/ (- hi lo) (- x lo)) (/ (- x lo) (- (pow hi 3) (pow lo 3))) (/ (- x lo) (- (* hi hi) (* lo lo))) (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo)))) (* (- hi lo) (+ x lo)) 0 0 0 0.074 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.075 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.076 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 0.078 * * [simplify]: iteration done : 16 enodes (cost 9 ) 0.079 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.080 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 0.081 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 0.083 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.086 * * [simplify]: iteration done : 25 enodes (cost 8 ) 0.086 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.087 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.089 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.091 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 0.093 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 0.096 * * [simplify]: iteration 5 : 33 enodes (cost 8 ) 0.104 * * [simplify]: iteration 6 : 37 enodes (cost 8 ) 0.109 * * [simplify]: iteration 7 : 53 enodes (cost 8 ) 0.115 * * [simplify]: iteration 8 : 57 enodes (cost 8 ) 0.121 * * [simplify]: iteration 9 : 64 enodes (cost 8 ) 0.128 * * [simplify]: iteration 10 : 73 enodes (cost 8 ) 0.138 * * [simplify]: iteration 11 : 93 enodes (cost 8 ) 0.149 * * [simplify]: iteration 12 : 114 enodes (cost 8 ) 0.167 * * [simplify]: iteration 13 : 127 enodes (cost 8 ) 0.184 * * [simplify]: iteration 14 : 134 enodes (cost 8 ) 0.200 * * [simplify]: iteration 15 : 140 enodes (cost 8 ) 0.215 * * [simplify]: iteration 16 : 143 enodes (cost 8 ) 0.234 * * [simplify]: iteration done : 143 enodes (cost 8 ) 0.235 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 0.237 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 0.240 * * [simplify]: iteration 2 : 83 enodes (cost 11 ) 0.259 * * [simplify]: iteration 3 : 258 enodes (cost 9 ) 0.340 * * [simplify]: iteration 4 : 752 enodes (cost 9 ) 0.769 * * [simplify]: iteration 5 : 2785 enodes (cost 9 ) 2.297 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 2.298 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 2.299 * * [simplify]: iteration 1 : 14 enodes (cost 17 ) 2.301 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 2.302 * * [simplify]: iteration 3 : 20 enodes (cost 17 ) 2.305 * * [simplify]: iteration done : 20 enodes (cost 17 ) 2.305 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 2.306 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 2.307 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 2.309 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 2.311 * * [simplify]: iteration done : 19 enodes (cost 8 ) 2.312 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 2.313 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 2.316 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 2.327 * * [simplify]: iteration 3 : 185 enodes (cost 9 ) 2.388 * * [simplify]: iteration 4 : 609 enodes (cost 9 ) 2.743 * * [simplify]: iteration 5 : 1954 enodes (cost 9 ) 4.312 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.313 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.314 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.315 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.324 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.326 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.326 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.327 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.329 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.330 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.332 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.333 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 4.334 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 4.334 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 4.335 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 4.336 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 4.337 * * [simplify]: iteration done : 13 enodes (cost 3 ) 4.338 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 4.338 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 4.339 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 4.340 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 4.341 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 4.343 * * [simplify]: iteration done : 13 enodes (cost 3 ) 4.343 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.344 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 4.345 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 4.345 * * [simplify]: iteration done : 8 enodes (cost 5 ) 4.346 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 4.347 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 4.347 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 4.348 * * [simplify]: iteration done : 7 enodes (cost 5 ) 4.349 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 4.350 * * [simplify]: iteration 1 : 19 enodes (cost 19 ) 4.352 * * [simplify]: iteration 2 : 30 enodes (cost 19 ) 4.356 * * [simplify]: iteration 3 : 36 enodes (cost 19 ) 4.359 * * [simplify]: iteration done : 36 enodes (cost 19 ) 4.360 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.361 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 4.362 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 4.363 * * [simplify]: iteration done : 13 enodes (cost 9 ) 4.364 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 4.365 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 4.366 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 4.368 * * [simplify]: iteration 3 : 19 enodes (cost 14 ) 4.370 * * [simplify]: iteration done : 19 enodes (cost 14 ) 4.370 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.371 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 4.372 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 4.373 * * [simplify]: iteration done : 13 enodes (cost 9 ) 4.374 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.374 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 4.376 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 4.378 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 4.380 * * [simplify]: iteration done : 25 enodes (cost 9 ) 4.381 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.381 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 4.382 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 4.383 * * [simplify]: iteration done : 12 enodes (cost 8 ) 4.384 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 4.385 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 4.391 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 4.392 * * [simplify]: iteration 3 : 19 enodes (cost 15 ) 4.394 * * [simplify]: iteration done : 19 enodes (cost 15 ) 4.395 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.396 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 4.397 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 4.398 * * [simplify]: iteration done : 15 enodes (cost 10 ) 4.399 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.400 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 4.401 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 4.403 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 4.405 * * [simplify]: iteration done : 25 enodes (cost 9 ) 4.406 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.407 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 4.413 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 4.414 * * [simplify]: iteration done : 12 enodes (cost 8 ) 4.414 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 4.415 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 4.417 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 4.418 * * [simplify]: iteration done : 16 enodes (cost 14 ) 4.419 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.420 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 4.421 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 4.422 * * [simplify]: iteration done : 13 enodes (cost 9 ) 4.422 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.423 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 4.424 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 4.426 * * [simplify]: iteration done : 13 enodes (cost 9 ) 4.426 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.427 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 4.428 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 4.429 * * [simplify]: iteration done : 13 enodes (cost 9 ) 4.430 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.431 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 4.431 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 4.432 * * [simplify]: iteration done : 13 enodes (cost 4 ) 4.433 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.434 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 4.435 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 4.436 * * [simplify]: iteration done : 12 enodes (cost 8 ) 4.436 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.437 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 4.438 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 4.439 * * [simplify]: iteration done : 13 enodes (cost 10 ) 4.440 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.441 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 4.442 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 4.443 * * [simplify]: iteration done : 15 enodes (cost 10 ) 4.444 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.445 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 4.445 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 4.446 * * [simplify]: iteration done : 13 enodes (cost 4 ) 4.447 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.448 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 4.449 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 4.450 * * [simplify]: iteration done : 12 enodes (cost 8 ) 4.451 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.452 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 4.453 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 4.454 * * [simplify]: iteration done : 14 enodes (cost 11 ) 4.455 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.455 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.457 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.459 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.464 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.465 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.465 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 4.466 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 4.467 * * [simplify]: iteration done : 11 enodes (cost 6 ) 4.468 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.469 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.470 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.472 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.473 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.474 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.474 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.474 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.475 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.476 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.477 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.479 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.481 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.482 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 4.482 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 4.483 * * [simplify]: iteration done : 10 enodes (cost 7 ) 4.484 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.485 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 4.486 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 4.488 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 4.490 * * [simplify]: iteration done : 21 enodes (cost 9 ) 4.491 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.491 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.491 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.492 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.492 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.494 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.495 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.497 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.498 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 4.499 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 4.500 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 4.502 * * [simplify]: iteration done : 16 enodes (cost 15 ) 4.502 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.503 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 4.505 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 4.507 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 4.509 * * [simplify]: iteration done : 22 enodes (cost 10 ) 4.510 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.511 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 4.512 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 4.513 * * [simplify]: iteration done : 13 enodes (cost 10 ) 4.514 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 4.515 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 4.516 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 4.519 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 4.521 * * [simplify]: iteration done : 22 enodes (cost 10 ) 4.521 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 4.522 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 4.523 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 4.523 * * [simplify]: iteration done : 12 enodes (cost 5 ) 4.524 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.525 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 4.530 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 4.532 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 4.534 * * [simplify]: iteration done : 21 enodes (cost 9 ) 4.535 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 4.535 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 4.536 * * [simplify]: iteration done : 11 enodes (cost 11 ) 4.537 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 4.538 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 4.539 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 4.541 * * [simplify]: iteration 3 : 21 enodes (cost 11 ) 4.543 * * [simplify]: iteration done : 21 enodes (cost 11 ) 4.544 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 4.545 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 4.545 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 4.546 * * [simplify]: iteration done : 12 enodes (cost 5 ) 4.547 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.548 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 4.549 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 4.551 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 4.553 * * [simplify]: iteration done : 21 enodes (cost 9 ) 4.554 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.554 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 4.556 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 4.557 * * [simplify]: iteration done : 14 enodes (cost 11 ) 4.557 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.558 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.560 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.561 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.563 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.564 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.565 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 4.566 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 4.567 * * [simplify]: iteration done : 11 enodes (cost 6 ) 4.567 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.568 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.569 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.572 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.573 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.574 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.574 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.575 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.575 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.576 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.577 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.579 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.581 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.582 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 4.582 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 4.583 * * [simplify]: iteration done : 10 enodes (cost 7 ) 4.584 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.585 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 4.586 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 4.588 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 4.590 * * [simplify]: iteration done : 21 enodes (cost 9 ) 4.591 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.591 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.591 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.592 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.592 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.597 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.599 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.601 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.601 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.602 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 4.603 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 4.603 * * [simplify]: iteration done : 10 enodes (cost 5 ) 4.604 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.605 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.606 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.608 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.610 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.610 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 4.611 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 4.613 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 4.615 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 4.619 * * [simplify]: iteration 4 : 33 enodes (cost 13 ) 4.622 * * [simplify]: iteration done : 33 enodes (cost 13 ) 4.623 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.624 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.625 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.627 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.629 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.630 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.630 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 4.632 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 4.633 * * [simplify]: iteration done : 17 enodes (cost 3 ) 4.633 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.634 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 4.636 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 4.638 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 4.640 * * [simplify]: iteration done : 19 enodes (cost 9 ) 4.640 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.641 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 4.642 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 4.643 * * [simplify]: iteration done : 17 enodes (cost 3 ) 4.644 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.644 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.646 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.647 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.649 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.650 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.650 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 4.652 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 4.653 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 4.655 * * [simplify]: iteration done : 19 enodes (cost 8 ) 4.656 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.657 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.658 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.663 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.665 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.665 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.666 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 4.668 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 4.670 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 4.672 * * [simplify]: iteration done : 21 enodes (cost 9 ) 4.672 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.673 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.674 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 4.676 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 4.678 * * [simplify]: iteration done : 18 enodes (cost 7 ) 4.679 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 4.681 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 4.685 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 4.693 * * [simplify]: iteration 3 : 95 enodes (cost 11 ) 4.708 * * [simplify]: iteration 4 : 200 enodes (cost 11 ) 4.763 * * [simplify]: iteration 5 : 580 enodes (cost 11 ) 5.133 * * [simplify]: iteration 6 : 2464 enodes (cost 11 ) 6.330 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 6.331 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 6.332 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 6.334 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 6.339 * * [simplify]: iteration 3 : 59 enodes (cost 11 ) 6.348 * * [simplify]: iteration 4 : 92 enodes (cost 11 ) 6.366 * * [simplify]: iteration 5 : 135 enodes (cost 11 ) 6.395 * * [simplify]: iteration 6 : 200 enodes (cost 11 ) 6.453 * * [simplify]: iteration 7 : 368 enodes (cost 11 ) 7.171 * * [simplify]: iteration 8 : 1645 enodes (cost 11 ) 13.079 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 13.080 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 13.081 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 13.086 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 13.102 * * [simplify]: iteration 3 : 211 enodes (cost 13 ) 13.180 * * [simplify]: iteration 4 : 488 enodes (cost 13 ) 13.462 * * [simplify]: iteration 5 : 1206 enodes (cost 13 ) 15.037 * * [simplify]: iteration 6 : 2670 enodes (cost 13 ) 17.018 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 17.018 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.019 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 17.022 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 17.028 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 17.045 * * [simplify]: iteration 4 : 104 enodes (cost 7 ) 17.069 * * [simplify]: iteration 5 : 160 enodes (cost 7 ) 17.121 * * [simplify]: iteration 6 : 246 enodes (cost 7 ) 17.224 * * [simplify]: iteration 7 : 442 enodes (cost 7 ) 17.472 * * [simplify]: iteration 8 : 752 enodes (cost 7 ) 17.690 * * [simplify]: iteration 9 : 865 enodes (cost 7 ) 17.923 * * [simplify]: iteration 10 : 882 enodes (cost 7 ) 18.146 * * [simplify]: iteration done : 882 enodes (cost 7 ) 18.147 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 18.147 * * [simplify]: iteration done : 1 enodes (cost 1 ) 18.147 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 18.148 * * [simplify]: iteration done : 1 enodes (cost 1 ) 18.148 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 18.148 * * [simplify]: iteration done : 1 enodes (cost 1 ) 18.149 * [simplify]: Simplified to: (- (log (- x lo)) (log (- hi lo))) (log (/ (- x lo) (- hi lo))) (exp (/ (- x lo) (- hi lo))) (pow (/ (- x lo) (- hi lo)) 3) (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo))) (pow (/ (- x lo) (- hi lo)) 3) (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (- lo x) (- lo hi) (/ x (- hi lo)) (/ lo (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo))) (/ (cbrt (- x lo)) (sqrt (- hi lo))) (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (cbrt (- x lo)) (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (+ (sqrt hi) (sqrt lo))) (/ (cbrt (- x lo)) (- (sqrt hi) (sqrt lo))) (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (cbrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (sqrt (- x lo)) (/ (sqrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (+ (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) (- (sqrt hi) (sqrt lo))) (sqrt (- x lo)) (/ (sqrt (- x lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) 1 (/ (- x lo) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- (sqrt x) (sqrt lo)) (cbrt (- hi lo))) (/ (+ (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (/ (- (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (+ (sqrt lo) (sqrt x)) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (+ (sqrt hi) (sqrt lo))) (/ (- (sqrt x) (sqrt lo)) (- (sqrt hi) (sqrt lo))) (+ (sqrt lo) (sqrt x)) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) (- x lo)) (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (sqrt (- hi lo))) (- x lo) (/ (- x lo) (+ (sqrt hi) (sqrt lo))) (- x lo) (/ (- hi lo) (cbrt (- x lo))) (/ (- hi lo) (sqrt (- x lo))) (/ (- hi lo) (- x lo)) (/ (- hi lo) (- (sqrt x) (sqrt lo))) (/ (- hi lo) (- x lo)) (/ (- x lo) (- (pow hi 3) (pow lo 3))) (/ (- x lo) (- (* hi hi) (* lo lo))) (* (+ (* lo (+ lo x)) (* x x)) (- hi lo)) (* (- hi lo) (+ x lo)) 0 0 0 18.149 * * * [progress]: adding candidates to table 18.193 * [progress]: [Phase 3 of 3] Extracting. 18.201 * [simplify]: Simplifying using # : (/ (- x lo) (- hi lo)) 18.201 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 18.201 * * [simplify]: iteration done : 6 enodes (cost 7 ) 18.201 * [simplify]: Simplified to: (/ (- x lo) (- hi lo)) 19.155 * [regime-testing]: End program error score: 61.998860702852284