1400.966 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying using # : (/ (exp x) (- (exp x) 1.0)) 0.037 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.038 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 0.038 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 0.039 * * [simplify]: iteration done : 8 enodes (cost 7 ) 0.039 * [simplify]: Simplified to: (/ (exp x) (- (exp x) 1.0)) 0.039 * * [progress]: iteration 1 / 4 0.040 * * * [progress]: picking best candidate 0.042 * * * * [pick]: Picked # 0.042 * * * [progress]: localizing error 0.046 * * * [progress]: generating rewritten candidates 0.046 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.051 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.061 * * * [progress]: generating series expansions 0.061 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.061 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.061 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.061 * [taylor]: Taking taylor expansion of (exp x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.061 * [taylor]: Taking taylor expansion of (exp x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.062 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.062 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.062 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.063 * [taylor]: Taking taylor expansion of -1 in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.063 * [taylor]: Taking taylor expansion of -1 in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.064 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0 0.064 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x 0.064 * [taylor]: Taking taylor expansion of (exp x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.064 * [taylor]: Taking taylor expansion of (exp x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 1.0 in x 0.064 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x 0.064 * [taylor]: Taking taylor expansion of (exp x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.064 * [taylor]: Taking taylor expansion of (exp x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0 0.065 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x 0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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 (- (exp (/ 1 x)) 1.0) in x 0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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.0 in x 0.065 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x 0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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 (- (exp (/ 1 x)) 1.0) in x 0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0 0.068 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x 0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.068 * [taylor]: Taking taylor expansion of -1 in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.068 * [taylor]: Taking taylor expansion of -1 in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x 0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.068 * [taylor]: Taking taylor expansion of -1 in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.069 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * * * [progress]: simplifying candidates 0.072 * [simplify]: Simplifying using # : (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (neg 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (neg 1.0) (- x (log (- (exp x) 1.0))) (log (/ (exp x) (- (exp x) 1.0))) (exp (/ (exp x) (- (exp x) 1.0))) (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))) (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0)))) (cbrt (/ (exp x) (- (exp x) 1.0))) (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (neg (exp x)) (neg (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (exp x) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (exp x) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (exp x) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (exp x)) (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (sqrt (- (exp x) 1.0))) (/ (exp x) 1) (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) 1) (/ (- (exp x) 1.0) (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))) (/ (- (exp x) 1.0) (exp x)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ x (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0)) 0.072 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.073 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.074 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.075 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 0.076 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 0.078 * * [simplify]: iteration 5 : 22 enodes (cost 5 ) 0.080 * * [simplify]: iteration 6 : 26 enodes (cost 5 ) 0.083 * * [simplify]: iteration 7 : 42 enodes (cost 5 ) 0.088 * * [simplify]: iteration 8 : 46 enodes (cost 5 ) 0.093 * * [simplify]: iteration 9 : 51 enodes (cost 5 ) 0.104 * * [simplify]: iteration 10 : 58 enodes (cost 5 ) 0.111 * * [simplify]: iteration 11 : 76 enodes (cost 5 ) 0.122 * * [simplify]: iteration 12 : 97 enodes (cost 5 ) 0.135 * * [simplify]: iteration 13 : 115 enodes (cost 5 ) 0.150 * * [simplify]: iteration 14 : 118 enodes (cost 5 ) 0.167 * * [simplify]: iteration done : 118 enodes (cost 5 ) 0.167 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.168 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.169 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.170 * * [simplify]: iteration done : 8 enodes (cost 5 ) 0.170 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.171 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 0.172 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 0.173 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.175 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 0.177 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 0.180 * * [simplify]: iteration 6 : 42 enodes (cost 5 ) 0.185 * * [simplify]: iteration 7 : 46 enodes (cost 5 ) 0.190 * * [simplify]: iteration 8 : 51 enodes (cost 5 ) 0.196 * * [simplify]: iteration 9 : 58 enodes (cost 5 ) 0.203 * * [simplify]: iteration 10 : 77 enodes (cost 5 ) 0.213 * * [simplify]: iteration 11 : 98 enodes (cost 5 ) 0.229 * * [simplify]: iteration 12 : 111 enodes (cost 5 ) 0.244 * * [simplify]: iteration 13 : 114 enodes (cost 5 ) 0.257 * * [simplify]: iteration done : 114 enodes (cost 5 ) 0.258 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 0.258 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 0.259 * * [simplify]: iteration 2 : 9 enodes (cost 11 ) 0.260 * * [simplify]: iteration done : 9 enodes (cost 11 ) 0.261 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.261 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.262 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.262 * * [simplify]: iteration done : 8 enodes (cost 5 ) 0.263 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 0.264 * * [simplify]: iteration 1 : 9 enodes (cost 14 ) 0.265 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.270 * * [simplify]: iteration 3 : 67 enodes (cost 6 ) 0.289 * * [simplify]: iteration 4 : 178 enodes (cost 6 ) 0.355 * * [simplify]: iteration 5 : 507 enodes (cost 6 ) 0.828 * * [simplify]: iteration 6 : 1724 enodes (cost 6 ) 3.680 * * [simplify]: iteration 7 : 4983 enodes (cost 6 ) 4.904 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.904 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.905 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 4.906 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 4.907 * * [simplify]: iteration done : 8 enodes (cost 5 ) 4.907 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.908 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 4.908 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 4.909 * * [simplify]: iteration done : 8 enodes (cost 5 ) 4.910 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.911 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 4.914 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 4.920 * * [simplify]: iteration 3 : 85 enodes (cost 8 ) 4.936 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 4.988 * * [simplify]: iteration 5 : 521 enodes (cost 8 ) 5.353 * * [simplify]: iteration 6 : 2312 enodes (cost 8 ) 6.479 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 6.479 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 6.481 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 6.489 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 6.493 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 6.498 * * [simplify]: iteration 4 : 36 enodes (cost 11 ) 6.503 * * [simplify]: iteration 5 : 45 enodes (cost 11 ) 6.511 * * [simplify]: iteration 6 : 70 enodes (cost 11 ) 6.521 * * [simplify]: iteration 7 : 129 enodes (cost 11 ) 6.559 * * [simplify]: iteration 8 : 266 enodes (cost 11 ) 6.678 * * [simplify]: iteration 9 : 715 enodes (cost 11 ) 7.494 * * [simplify]: iteration 10 : 2419 enodes (cost 11 ) 9.254 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 9.254 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 9.255 * * [simplify]: iteration done : 2 enodes (cost 2 ) 9.255 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 9.256 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 9.258 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 9.260 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 9.267 * * [simplify]: iteration 4 : 69 enodes (cost 8 ) 9.280 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 9.313 * * [simplify]: iteration 6 : 211 enodes (cost 8 ) 9.381 * * [simplify]: iteration 7 : 470 enodes (cost 8 ) 10.200 * * [simplify]: iteration 8 : 2108 enodes (cost 8 ) 13.039 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 13.040 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 13.040 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 13.041 * * [simplify]: iteration done : 5 enodes (cost 4 ) 13.042 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.042 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 13.043 * * [simplify]: iteration done : 7 enodes (cost 6 ) 13.043 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.044 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 13.045 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 13.045 * * [simplify]: iteration done : 9 enodes (cost 6 ) 13.046 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 13.046 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 13.047 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 13.048 * * [simplify]: iteration done : 7 enodes (cost 4 ) 13.048 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 13.048 * * [simplify]: iteration done : 2 enodes (cost 2 ) 13.049 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.050 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 13.051 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 13.052 * * [simplify]: iteration done : 12 enodes (cost 7 ) 13.053 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 13.053 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 13.055 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 13.060 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 13.062 * * [simplify]: iteration done : 15 enodes (cost 7 ) 13.062 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 13.063 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 13.064 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 13.065 * * [simplify]: iteration done : 9 enodes (cost 8 ) 13.065 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 13.067 * * [simplify]: iteration 1 : 22 enodes (cost 22 ) 13.071 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 13.086 * * [simplify]: iteration 3 : 185 enodes (cost 9 ) 13.137 * * [simplify]: iteration 4 : 414 enodes (cost 9 ) 13.296 * * [simplify]: iteration 5 : 1192 enodes (cost 9 ) 14.370 * * [simplify]: iteration 6 : 4549 enodes (cost 9 ) 15.741 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 15.742 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 15.743 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 15.744 * * [simplify]: iteration 2 : 10 enodes (cost 17 ) 15.745 * * [simplify]: iteration done : 10 enodes (cost 17 ) 15.745 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 15.746 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 15.747 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 15.747 * * [simplify]: iteration done : 9 enodes (cost 8 ) 15.748 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 15.749 * * [simplify]: iteration 1 : 16 enodes (cost 23 ) 15.751 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 15.757 * * [simplify]: iteration 3 : 79 enodes (cost 9 ) 15.774 * * [simplify]: iteration 4 : 181 enodes (cost 9 ) 15.832 * * [simplify]: iteration 5 : 445 enodes (cost 9 ) 16.193 * * [simplify]: iteration 6 : 1528 enodes (cost 9 ) 18.725 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 18.726 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.726 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.727 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.728 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.728 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.729 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.730 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.731 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.731 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.732 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.732 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 18.733 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 18.733 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 18.735 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 18.736 * * [simplify]: iteration 4 : 14 enodes (cost 4 ) 18.737 * * [simplify]: iteration done : 14 enodes (cost 4 ) 18.738 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 18.739 * * [simplify]: iteration 1 : 17 enodes (cost 19 ) 18.741 * * [simplify]: iteration 2 : 27 enodes (cost 19 ) 18.744 * * [simplify]: iteration 3 : 33 enodes (cost 19 ) 18.748 * * [simplify]: iteration done : 33 enodes (cost 19 ) 18.749 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.749 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.750 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.751 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.752 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 18.753 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 18.754 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 18.755 * * [simplify]: iteration 3 : 16 enodes (cost 13 ) 18.757 * * [simplify]: iteration done : 16 enodes (cost 13 ) 18.757 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.758 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.759 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.760 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.760 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 18.761 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.762 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 18.764 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 18.766 * * [simplify]: iteration done : 21 enodes (cost 7 ) 18.766 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.767 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.768 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.769 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.770 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 18.771 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 18.775 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 18.777 * * [simplify]: iteration 3 : 15 enodes (cost 14 ) 18.778 * * [simplify]: iteration done : 15 enodes (cost 14 ) 18.779 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 18.780 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 18.781 * * [simplify]: iteration 2 : 11 enodes (cost 10 ) 18.782 * * [simplify]: iteration done : 11 enodes (cost 10 ) 18.782 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 18.783 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.784 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 18.786 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 18.787 * * [simplify]: iteration done : 21 enodes (cost 7 ) 18.788 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.789 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.789 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.790 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.791 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 18.792 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 18.793 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 18.795 * * [simplify]: iteration done : 13 enodes (cost 15 ) 18.795 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.796 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.797 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.798 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.798 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.799 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.800 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.801 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.801 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.802 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.803 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.804 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.804 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 18.805 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 18.805 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 18.806 * * [simplify]: iteration done : 9 enodes (cost 3 ) 18.806 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.807 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.808 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.809 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.809 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 18.810 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 18.811 * * [simplify]: iteration done : 8 enodes (cost 10 ) 18.811 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 18.812 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 18.813 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 18.814 * * [simplify]: iteration done : 10 enodes (cost 10 ) 18.814 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 18.815 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 18.815 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 18.816 * * [simplify]: iteration done : 9 enodes (cost 3 ) 18.816 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.817 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.818 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.819 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.820 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 18.821 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 18.822 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 18.824 * * [simplify]: iteration done : 15 enodes (cost 13 ) 18.824 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.825 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.826 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.827 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.827 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 18.828 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 18.829 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 18.830 * * [simplify]: iteration done : 12 enodes (cost 7 ) 18.830 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.831 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.832 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.833 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.833 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 18.834 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 18.834 * * [simplify]: iteration done : 4 enodes (cost 1 ) 18.834 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 18.835 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 18.836 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 18.837 * * [simplify]: iteration done : 8 enodes (cost 7 ) 18.837 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 18.838 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 18.839 * * [simplify]: iteration done : 11 enodes (cost 8 ) 18.840 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.840 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 18.841 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 18.842 * * [simplify]: iteration done : 10 enodes (cost 9 ) 18.843 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 18.843 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 18.843 * * [simplify]: iteration done : 4 enodes (cost 1 ) 18.844 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 18.848 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 18.848 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 18.849 * * [simplify]: iteration done : 8 enodes (cost 7 ) 18.850 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 18.851 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 18.851 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 18.852 * * [simplify]: iteration done : 11 enodes (cost 6 ) 18.853 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 18.854 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.855 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 18.856 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 18.858 * * [simplify]: iteration done : 21 enodes (cost 6 ) 18.858 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 18.859 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 18.860 * * [simplify]: iteration 2 : 12 enodes (cost 14 ) 18.862 * * [simplify]: iteration done : 12 enodes (cost 14 ) 18.862 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.863 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 18.864 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 18.864 * * [simplify]: iteration done : 9 enodes (cost 8 ) 18.865 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 18.865 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 18.866 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 18.866 * * [simplify]: iteration done : 8 enodes (cost 2 ) 18.867 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 18.868 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 18.868 * * [simplify]: iteration done : 8 enodes (cost 9 ) 18.869 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 18.869 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 18.870 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 18.871 * * [simplify]: iteration done : 8 enodes (cost 2 ) 18.872 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.872 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 18.873 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 18.875 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 18.876 * * [simplify]: iteration done : 16 enodes (cost 8 ) 18.877 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 18.878 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 18.879 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 18.881 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 18.882 * * [simplify]: iteration done : 16 enodes (cost 8 ) 18.883 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 18.883 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.885 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 18.886 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 18.888 * * [simplify]: iteration done : 21 enodes (cost 6 ) 18.888 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 18.890 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 18.893 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 18.900 * * [simplify]: iteration 3 : 88 enodes (cost 11 ) 18.919 * * [simplify]: iteration 4 : 186 enodes (cost 11 ) 18.972 * * [simplify]: iteration 5 : 539 enodes (cost 11 ) 19.335 * * [simplify]: iteration 6 : 2348 enodes (cost 11 ) 20.586 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 20.586 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 20.587 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 20.589 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 20.593 * * [simplify]: iteration 3 : 45 enodes (cost 11 ) 20.600 * * [simplify]: iteration 4 : 74 enodes (cost 11 ) 20.617 * * [simplify]: iteration 5 : 127 enodes (cost 11 ) 20.649 * * [simplify]: iteration 6 : 224 enodes (cost 11 ) 20.719 * * [simplify]: iteration 7 : 499 enodes (cost 11 ) 21.547 * * [simplify]: iteration 8 : 2257 enodes (cost 11 ) 23.928 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 23.929 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 23.930 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 23.937 * * [simplify]: iteration 2 : 73 enodes (cost 13 ) 23.947 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 23.968 * * [simplify]: iteration 4 : 181 enodes (cost 11 ) 24.009 * * [simplify]: iteration 5 : 354 enodes (cost 11 ) 24.235 * * [simplify]: iteration 6 : 895 enodes (cost 11 ) 26.429 * * [simplify]: iteration 7 : 3250 enodes (cost 11 ) 30.514 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 30.515 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 30.515 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 30.516 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 30.516 * * [simplify]: iteration done : 7 enodes (cost 4 ) 30.517 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 30.517 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 30.518 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 30.519 * * [simplify]: iteration done : 7 enodes (cost 4 ) 30.519 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 30.520 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 30.522 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 30.524 * * [simplify]: iteration done : 21 enodes (cost 9 ) 30.525 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 30.526 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 30.526 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 30.527 * * [simplify]: iteration done : 8 enodes (cost 7 ) 30.528 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 30.528 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 30.529 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 30.530 * * [simplify]: iteration done : 8 enodes (cost 7 ) 30.531 * [simplify]: Simplified to: (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (neg 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (neg 1.0) (- x (log (- (exp x) 1.0))) (- x (log (- (exp x) 1.0))) (exp (/ (exp x) (- (exp x) 1.0))) (pow (/ (exp x) (- (exp x) 1.0)) 3) (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0)))) (cbrt (/ (exp x) (- (exp x) 1.0))) (pow (/ (exp x) (- (exp x) 1.0)) 3) (sqrt (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (neg (exp x)) (- 1.0 (exp x)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (exp x) (sqrt (- (exp x) 1.0))) 1 (/ (exp x) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (exp x) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (- 1 (/ 1.0 (exp x))) (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (sqrt (- (exp x) 1.0))) (exp x) (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0))) (exp x) (/ (- (exp x) 1.0) (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))) (- 1 (/ 1.0 (exp x))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (exp (+ x x)) (* 1.0 1.0))) (+ (* (pow x 2) (+ 1/2 (* x 1/6))) x) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0)) 30.531 * * * [progress]: adding candidates to table 30.611 * * [progress]: iteration 2 / 4 30.611 * * * [progress]: picking best candidate 30.618 * * * * [pick]: Picked # 30.618 * * * [progress]: localizing error 30.624 * * * [progress]: generating rewritten candidates 30.624 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 30.628 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 30.635 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 30.647 * * * [progress]: generating series expansions 30.647 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 30.647 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 30.647 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 30.647 * [taylor]: Taking taylor expansion of 1/12 in x 30.647 * [taylor]: Taking taylor expansion of x in x 30.647 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 30.647 * [taylor]: Taking taylor expansion of 1/12 in x 30.647 * [taylor]: Taking taylor expansion of x in x 30.647 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 30.647 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 30.647 * [taylor]: Taking taylor expansion of 1/12 in x 30.647 * [taylor]: Taking taylor expansion of x in x 30.647 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 30.647 * [taylor]: Taking taylor expansion of 1/12 in x 30.648 * [taylor]: Taking taylor expansion of x in x 30.648 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 30.648 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 30.648 * [taylor]: Taking taylor expansion of -1/12 in x 30.648 * [taylor]: Taking taylor expansion of x in x 30.648 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 30.648 * [taylor]: Taking taylor expansion of -1/12 in x 30.648 * [taylor]: Taking taylor expansion of x in x 30.649 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 30.649 * [approximate]: Taking taylor expansion of (+ (/ 1 x) 1/2) in (x) around 0 30.649 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 30.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.649 * [taylor]: Taking taylor expansion of x in x 30.649 * [taylor]: Taking taylor expansion of 1/2 in x 30.649 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 30.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.649 * [taylor]: Taking taylor expansion of x in x 30.649 * [taylor]: Taking taylor expansion of 1/2 in x 30.650 * [approximate]: Taking taylor expansion of (+ x 1/2) in (x) around 0 30.650 * [taylor]: Taking taylor expansion of (+ x 1/2) in x 30.650 * [taylor]: Taking taylor expansion of x in x 30.650 * [taylor]: Taking taylor expansion of 1/2 in x 30.650 * [taylor]: Taking taylor expansion of (+ x 1/2) in x 30.650 * [taylor]: Taking taylor expansion of x in x 30.650 * [taylor]: Taking taylor expansion of 1/2 in x 30.650 * [approximate]: Taking taylor expansion of (- 1/2 x) in (x) around 0 30.650 * [taylor]: Taking taylor expansion of (- 1/2 x) in x 30.650 * [taylor]: Taking taylor expansion of 1/2 in x 30.650 * [taylor]: Taking taylor expansion of x in x 30.650 * [taylor]: Taking taylor expansion of (- 1/2 x) in x 30.650 * [taylor]: Taking taylor expansion of 1/2 in x 30.650 * [taylor]: Taking taylor expansion of x in x 30.651 * * * * [progress]: [ 3 / 3 ] generating series at (2) 30.651 * [approximate]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in (x) around 0 30.651 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 30.651 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 30.651 * [taylor]: Taking taylor expansion of 1/12 in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.651 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 30.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.651 * [taylor]: Taking taylor expansion of 1/2 in x 30.651 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 30.651 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 30.651 * [taylor]: Taking taylor expansion of 1/12 in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.651 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 30.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.651 * [taylor]: Taking taylor expansion of 1/2 in x 30.651 * [approximate]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in (x) around 0 30.651 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.651 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 30.651 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 30.651 * [taylor]: Taking taylor expansion of 1/12 in x 30.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.651 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of 1/2 in x 30.652 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 30.652 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 30.652 * [taylor]: Taking taylor expansion of 1/12 in x 30.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of 1/2 in x 30.652 * [approximate]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in (x) around 0 30.652 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 30.652 * [taylor]: Taking taylor expansion of 1/2 in x 30.652 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 30.652 * [taylor]: Taking taylor expansion of 1/12 in x 30.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 30.652 * [taylor]: Taking taylor expansion of 1/2 in x 30.652 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.652 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 30.652 * [taylor]: Taking taylor expansion of 1/12 in x 30.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.652 * [taylor]: Taking taylor expansion of x in x 30.653 * * * [progress]: simplifying candidates 30.654 * [simplify]: Simplifying using # : (* 1/12 x) (+ (log 1/12) (log x)) (log (* 1/12 x)) (exp (* 1/12 x)) (* (* (* 1/12 1/12) 1/12) (* (* x x) x)) (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x))) (cbrt (* 1/12 x)) (* (* (* 1/12 x) (* 1/12 x)) (* 1/12 x)) (sqrt (* 1/12 x)) (sqrt (* 1/12 x)) (* (sqrt 1/12) (sqrt x)) (* (sqrt 1/12) (sqrt x)) (* 1/12 (* (cbrt x) (cbrt x))) (* 1/12 (sqrt x)) (* 1/12 1) (* (cbrt 1/12) x) (* (sqrt 1/12) x) (* 1/12 x) (* (exp (/ 1 x)) (exp 1/2)) (log (+ (/ 1 x) 1/2)) (exp (+ (/ 1 x) 1/2)) (* (cbrt (+ (/ 1 x) 1/2)) (cbrt (+ (/ 1 x) 1/2))) (cbrt (+ (/ 1 x) 1/2)) (* (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (+ (/ 1 x) 1/2)) (sqrt (+ (/ 1 x) 1/2)) (sqrt (+ (/ 1 x) 1/2)) (+ (pow (/ 1 x) 3) (pow 1/2 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* 1/2 1/2) (* (/ 1 x) 1/2))) (- (* (/ 1 x) (/ 1 x)) (* 1/2 1/2)) (- (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (* (exp (* 1/12 x)) (* (exp (/ 1 x)) (exp 1/2))) (* (exp (* 1/12 x)) (exp (+ (/ 1 x) 1/2))) (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (exp (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (* (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)) (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2)))) (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))) (- (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (/ 1 x)) (* 1/12 x) (* 1/12 x) (* 1/12 x) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 30.654 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 30.654 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 30.655 * * [simplify]: iteration done : 4 enodes (cost 3 ) 30.655 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 30.656 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 30.656 * * [simplify]: iteration done : 6 enodes (cost 5 ) 30.657 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 30.658 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 30.658 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 30.659 * * [simplify]: iteration done : 9 enodes (cost 4 ) 30.660 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 30.660 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 30.661 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 30.663 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 30.666 * * [simplify]: iteration 4 : 46 enodes (cost 4 ) 30.672 * * [simplify]: iteration 5 : 96 enodes (cost 4 ) 30.704 * * [simplify]: iteration 6 : 219 enodes (cost 4 ) 30.821 * * [simplify]: iteration 7 : 656 enodes (cost 4 ) 31.625 * * [simplify]: iteration 8 : 2239 enodes (cost 4 ) 33.409 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 33.410 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 33.411 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 33.413 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 33.417 * * [simplify]: iteration 3 : 54 enodes (cost 5 ) 33.428 * * [simplify]: iteration 4 : 94 enodes (cost 5 ) 33.456 * * [simplify]: iteration 5 : 146 enodes (cost 5 ) 33.505 * * [simplify]: iteration 6 : 270 enodes (cost 5 ) 33.673 * * [simplify]: iteration 7 : 702 enodes (cost 5 ) 34.824 * * [simplify]: iteration 8 : 2187 enodes (cost 5 ) 37.829 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 37.830 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 37.835 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 37.836 * * [simplify]: iteration done : 6 enodes (cost 9 ) 37.836 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.837 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.837 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.838 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 37.839 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 37.842 * * [simplify]: iteration 2 : 44 enodes (cost 5 ) 37.853 * * [simplify]: iteration 3 : 87 enodes (cost 5 ) 37.880 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 37.904 * * [simplify]: iteration 5 : 125 enodes (cost 5 ) 37.943 * * [simplify]: iteration 6 : 195 enodes (cost 5 ) 38.023 * * [simplify]: iteration 7 : 392 enodes (cost 5 ) 38.333 * * [simplify]: iteration 8 : 1090 enodes (cost 5 ) 40.604 * * [simplify]: iteration 9 : 3683 enodes (cost 5 ) 42.916 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 42.917 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.917 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 42.918 * * [simplify]: iteration done : 5 enodes (cost 4 ) 42.918 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.919 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 42.919 * * [simplify]: iteration done : 5 enodes (cost 4 ) 42.920 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.920 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.921 * * [simplify]: iteration done : 6 enodes (cost 5 ) 42.921 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.922 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.922 * * [simplify]: iteration done : 6 enodes (cost 5 ) 42.923 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 42.924 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 42.925 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 42.926 * * [simplify]: iteration done : 10 enodes (cost 7 ) 42.926 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.927 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 42.927 * * [simplify]: iteration done : 5 enodes (cost 4 ) 42.928 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 42.928 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 42.928 * * [simplify]: iteration done : 6 enodes (cost 1 ) 42.929 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.930 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 42.930 * * [simplify]: iteration done : 5 enodes (cost 4 ) 42.931 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.931 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 42.932 * * [simplify]: iteration done : 5 enodes (cost 4 ) 42.932 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 42.933 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 42.933 * * [simplify]: iteration done : 4 enodes (cost 3 ) 42.934 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 42.934 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 42.936 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 42.937 * * [simplify]: iteration done : 13 enodes (cost 6 ) 42.937 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.938 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.939 * * [simplify]: iteration done : 9 enodes (cost 6 ) 42.939 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.940 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 42.941 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 42.942 * * [simplify]: iteration done : 13 enodes (cost 6 ) 42.943 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 42.944 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 42.945 * * [simplify]: iteration done : 10 enodes (cost 13 ) 42.945 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.946 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.947 * * [simplify]: iteration done : 9 enodes (cost 6 ) 42.947 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 42.948 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 42.952 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 42.976 * * [simplify]: iteration 3 : 173 enodes (cost 7 ) 43.057 * * [simplify]: iteration 4 : 496 enodes (cost 7 ) 43.380 * * [simplify]: iteration 5 : 1254 enodes (cost 7 ) 44.896 * * [simplify]: iteration 6 : 3149 enodes (cost 7 ) 46.313 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 46.313 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 46.314 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 46.315 * * [simplify]: iteration done : 9 enodes (cost 6 ) 46.315 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 46.316 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 46.317 * * [simplify]: iteration done : 9 enodes (cost 6 ) 46.317 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.318 * * [simplify]: iteration 1 : 29 enodes (cost 7 ) 46.321 * * [simplify]: iteration 2 : 50 enodes (cost 7 ) 46.328 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 46.343 * * [simplify]: iteration 4 : 155 enodes (cost 7 ) 46.377 * * [simplify]: iteration 5 : 294 enodes (cost 7 ) 46.563 * * [simplify]: iteration 6 : 875 enodes (cost 7 ) 48.315 * * [simplify]: iteration 7 : 3176 enodes (cost 7 ) 50.291 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 50.291 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 50.293 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 50.297 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 50.305 * * [simplify]: iteration 3 : 91 enodes (cost 11 ) 50.328 * * [simplify]: iteration 4 : 131 enodes (cost 11 ) 50.353 * * [simplify]: iteration 5 : 177 enodes (cost 9 ) 50.409 * * [simplify]: iteration 6 : 264 enodes (cost 9 ) 50.473 * * [simplify]: iteration 7 : 332 enodes (cost 9 ) 50.568 * * [simplify]: iteration 8 : 390 enodes (cost 9 ) 50.663 * * [simplify]: iteration 9 : 444 enodes (cost 9 ) 50.777 * * [simplify]: iteration 10 : 492 enodes (cost 9 ) 50.905 * * [simplify]: iteration 11 : 533 enodes (cost 9 ) 51.026 * * [simplify]: iteration done : 533 enodes (cost 9 ) 51.026 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 51.033 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 51.035 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 51.039 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 51.047 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 51.074 * * [simplify]: iteration 5 : 175 enodes (cost 7 ) 51.104 * * [simplify]: iteration 6 : 215 enodes (cost 7 ) 51.159 * * [simplify]: iteration 7 : 348 enodes (cost 7 ) 51.622 * * [simplify]: iteration 8 : 1109 enodes (cost 7 ) 58.915 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 58.916 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.916 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 58.917 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 58.918 * * [simplify]: iteration done : 11 enodes (cost 5 ) 58.919 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.919 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 58.920 * * [simplify]: iteration done : 8 enodes (cost 5 ) 58.921 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.921 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 58.922 * * [simplify]: iteration done : 8 enodes (cost 5 ) 58.923 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 58.924 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 58.927 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 58.932 * * [simplify]: iteration 3 : 71 enodes (cost 10 ) 58.949 * * [simplify]: iteration 4 : 141 enodes (cost 10 ) 58.985 * * [simplify]: iteration 5 : 321 enodes (cost 10 ) 59.186 * * [simplify]: iteration 6 : 881 enodes (cost 10 ) 60.759 * * [simplify]: iteration 7 : 2875 enodes (cost 10 ) 62.703 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 62.704 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 62.705 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 62.708 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 62.713 * * [simplify]: iteration 3 : 67 enodes (cost 10 ) 62.728 * * [simplify]: iteration 4 : 131 enodes (cost 10 ) 62.760 * * [simplify]: iteration 5 : 302 enodes (cost 10 ) 62.929 * * [simplify]: iteration 6 : 818 enodes (cost 10 ) 64.109 * * [simplify]: iteration 7 : 2700 enodes (cost 10 ) 65.960 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 65.961 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 65.963 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 65.964 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 65.967 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 65.970 * * [simplify]: iteration done : 24 enodes (cost 10 ) 65.970 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 65.971 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 65.973 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 65.978 * * [simplify]: iteration 3 : 56 enodes (cost 10 ) 65.986 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 66.003 * * [simplify]: iteration 5 : 187 enodes (cost 10 ) 66.069 * * [simplify]: iteration 6 : 444 enodes (cost 10 ) 66.411 * * [simplify]: iteration 7 : 1269 enodes (cost 10 ) 69.088 * * [simplify]: iteration 8 : 4329 enodes (cost 10 ) 71.058 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 71.059 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 71.060 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 71.066 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 71.069 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 71.072 * * [simplify]: iteration done : 25 enodes (cost 21 ) 71.072 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 71.073 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 71.075 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 71.078 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 71.080 * * [simplify]: iteration done : 24 enodes (cost 10 ) 71.081 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 71.082 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 71.088 * * [simplify]: iteration 2 : 120 enodes (cost 11 ) 71.137 * * [simplify]: iteration 3 : 601 enodes (cost 11 ) 71.911 * * [simplify]: iteration 4 : 3189 enodes (cost 11 ) 73.796 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 73.797 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 73.798 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 73.799 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 73.802 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 73.805 * * [simplify]: iteration done : 24 enodes (cost 10 ) 73.805 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 73.806 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 73.808 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 73.811 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 73.813 * * [simplify]: iteration done : 24 enodes (cost 10 ) 73.814 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 73.815 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 73.825 * * [simplify]: iteration 2 : 84 enodes (cost 13 ) 73.843 * * [simplify]: iteration 3 : 208 enodes (cost 13 ) 73.910 * * [simplify]: iteration 4 : 425 enodes (cost 13 ) 74.124 * * [simplify]: iteration 5 : 1121 enodes (cost 13 ) 75.223 * * [simplify]: iteration 6 : 3565 enodes (cost 13 ) 76.480 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 76.481 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 76.483 * * [simplify]: iteration 1 : 46 enodes (cost 21 ) 76.492 * * [simplify]: iteration 2 : 142 enodes (cost 21 ) 76.549 * * [simplify]: iteration 3 : 384 enodes (cost 21 ) 76.819 * * [simplify]: iteration 4 : 1311 enodes (cost 21 ) 78.745 * * [simplify]: iteration 5 : 3800 enodes (cost 19 ) 80.487 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 80.488 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 80.489 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 80.494 * * [simplify]: iteration 2 : 80 enodes (cost 17 ) 80.516 * * [simplify]: iteration 3 : 191 enodes (cost 17 ) 80.591 * * [simplify]: iteration 4 : 617 enodes (cost 17 ) 81.058 * * [simplify]: iteration 5 : 1871 enodes (cost 17 ) 82.408 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 82.409 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 82.410 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 82.412 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 82.415 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 82.427 * * [simplify]: iteration 4 : 49 enodes (cost 9 ) 82.433 * * [simplify]: iteration 5 : 59 enodes (cost 9 ) 82.442 * * [simplify]: iteration 6 : 81 enodes (cost 9 ) 82.453 * * [simplify]: iteration 7 : 104 enodes (cost 9 ) 82.466 * * [simplify]: iteration 8 : 118 enodes (cost 9 ) 82.479 * * [simplify]: iteration 9 : 126 enodes (cost 9 ) 82.498 * * [simplify]: iteration 10 : 130 enodes (cost 9 ) 82.513 * * [simplify]: iteration 11 : 133 enodes (cost 9 ) 82.529 * * [simplify]: iteration done : 133 enodes (cost 9 ) 82.529 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 82.530 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 82.531 * * [simplify]: iteration done : 10 enodes (cost 7 ) 82.532 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 82.532 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 82.532 * * [simplify]: iteration done : 4 enodes (cost 3 ) 82.533 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 82.534 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 82.534 * * [simplify]: iteration done : 4 enodes (cost 3 ) 82.535 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 82.535 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 82.535 * * [simplify]: iteration done : 4 enodes (cost 3 ) 82.536 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 82.536 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 82.537 * * [simplify]: iteration done : 8 enodes (cost 5 ) 82.538 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 82.538 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 82.539 * * [simplify]: iteration done : 8 enodes (cost 5 ) 82.539 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 82.540 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 82.541 * * [simplify]: iteration done : 8 enodes (cost 5 ) 82.542 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 82.545 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 82.547 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 82.549 * * [simplify]: iteration done : 21 enodes (cost 9 ) 82.550 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 82.551 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 82.553 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 82.555 * * [simplify]: iteration done : 21 enodes (cost 9 ) 82.555 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 82.556 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 82.558 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 82.560 * * [simplify]: iteration done : 21 enodes (cost 9 ) 82.561 * [simplify]: Simplified to: (* 1/12 x) (+ (log 1/12) (log x)) (log (* 1/12 x)) (exp (* 1/12 x)) (* 1/1728 (pow x 3)) (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x))) (cbrt (* 1/12 x)) (pow (* 1/12 x) 3) (sqrt (* 1/12 x)) (sqrt (* 1/12 x)) (* (sqrt 1/12) (sqrt x)) (* (sqrt 1/12) (sqrt x)) (* 1/12 (* (cbrt x) (cbrt x))) (* 1/12 (sqrt x)) 1/12 (* (cbrt 1/12) x) (* (sqrt 1/12) x) (* 1/12 x) (exp (+ (/ 1 x) 1/2)) (log (+ (/ 1 x) 1/2)) (exp (+ (/ 1 x) 1/2)) (* (cbrt (+ (/ 1 x) 1/2)) (cbrt (+ (/ 1 x) 1/2))) (cbrt (+ (/ 1 x) 1/2)) (pow (+ (/ 1 x) 1/2) 3) (sqrt (+ (/ 1 x) 1/2)) (sqrt (+ (/ 1 x) 1/2)) (+ 1/8 (pow (/ 1 x) 3)) (+ (/ (+ -1/2 (/ 1 x)) x) 1/4) (- (/ (/ 1 x) x) 1/4) (- (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (exp (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (exp (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (exp (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 3) (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)) (+ (* x (+ -1/24 (* 1/144 x))) (+ (+ (/ 1 x) 1/6) (/ 1 (* x x)))) (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))) (- (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (/ 1 x)) (* 1/12 x) (* 1/12 x) (* 1/12 x) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 82.561 * * * [progress]: adding candidates to table 82.623 * * [progress]: iteration 3 / 4 82.623 * * * [progress]: picking best candidate 82.631 * * * * [pick]: Picked # 82.631 * * * [progress]: localizing error 82.643 * * * [progress]: generating rewritten candidates 82.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 82.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 82.662 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 82.672 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 82.704 * * * [progress]: generating series expansions 82.704 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 82.705 * [approximate]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in (x) around 0 82.705 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.705 * [taylor]: Taking taylor expansion of 1/3 in x 82.705 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.705 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.705 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.705 * [taylor]: Taking taylor expansion of 1/12 in x 82.705 * [taylor]: Taking taylor expansion of x in x 82.705 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.705 * [taylor]: Taking taylor expansion of x in x 82.705 * [taylor]: Taking taylor expansion of 1/2 in x 82.705 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.705 * [taylor]: Taking taylor expansion of 1/3 in x 82.705 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.705 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.705 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.705 * [taylor]: Taking taylor expansion of 1/12 in x 82.705 * [taylor]: Taking taylor expansion of x in x 82.705 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.705 * [taylor]: Taking taylor expansion of x in x 82.706 * [taylor]: Taking taylor expansion of 1/2 in x 82.709 * [approximate]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in (x) around 0 82.709 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.709 * [taylor]: Taking taylor expansion of 1/3 in x 82.709 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.709 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.709 * [taylor]: Taking taylor expansion of x in x 82.709 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.709 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.709 * [taylor]: Taking taylor expansion of 1/12 in x 82.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.709 * [taylor]: Taking taylor expansion of x in x 82.709 * [taylor]: Taking taylor expansion of 1/2 in x 82.710 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.710 * [taylor]: Taking taylor expansion of 1/3 in x 82.710 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.710 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.710 * [taylor]: Taking taylor expansion of x in x 82.710 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.710 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.710 * [taylor]: Taking taylor expansion of 1/12 in x 82.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.710 * [taylor]: Taking taylor expansion of x in x 82.710 * [taylor]: Taking taylor expansion of 1/2 in x 82.713 * [approximate]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in (x) around 0 82.713 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.713 * [taylor]: Taking taylor expansion of 1/3 in x 82.713 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.713 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.713 * [taylor]: Taking taylor expansion of 1/2 in x 82.713 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.713 * [taylor]: Taking taylor expansion of x in x 82.713 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.713 * [taylor]: Taking taylor expansion of 1/12 in x 82.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.713 * [taylor]: Taking taylor expansion of x in x 82.713 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.713 * [taylor]: Taking taylor expansion of 1/3 in x 82.713 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.713 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.713 * [taylor]: Taking taylor expansion of 1/2 in x 82.713 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.713 * [taylor]: Taking taylor expansion of x in x 82.713 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.713 * [taylor]: Taking taylor expansion of 1/12 in x 82.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.713 * [taylor]: Taking taylor expansion of x in x 82.716 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 82.716 * [approximate]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in (x) around 0 82.716 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.716 * [taylor]: Taking taylor expansion of 1/3 in x 82.716 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.716 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.716 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.716 * [taylor]: Taking taylor expansion of 1/12 in x 82.716 * [taylor]: Taking taylor expansion of x in x 82.716 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.717 * [taylor]: Taking taylor expansion of x in x 82.717 * [taylor]: Taking taylor expansion of 1/2 in x 82.717 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.717 * [taylor]: Taking taylor expansion of 1/3 in x 82.717 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.717 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.717 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.717 * [taylor]: Taking taylor expansion of 1/12 in x 82.717 * [taylor]: Taking taylor expansion of x in x 82.717 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.717 * [taylor]: Taking taylor expansion of x in x 82.717 * [taylor]: Taking taylor expansion of 1/2 in x 82.720 * [approximate]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in (x) around 0 82.720 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.720 * [taylor]: Taking taylor expansion of 1/3 in x 82.720 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.720 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.720 * [taylor]: Taking taylor expansion of x in x 82.720 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.720 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.720 * [taylor]: Taking taylor expansion of 1/12 in x 82.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.720 * [taylor]: Taking taylor expansion of x in x 82.720 * [taylor]: Taking taylor expansion of 1/2 in x 82.720 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.720 * [taylor]: Taking taylor expansion of 1/3 in x 82.720 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.720 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.720 * [taylor]: Taking taylor expansion of x in x 82.720 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.720 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.720 * [taylor]: Taking taylor expansion of 1/12 in x 82.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.720 * [taylor]: Taking taylor expansion of x in x 82.720 * [taylor]: Taking taylor expansion of 1/2 in x 82.723 * [approximate]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in (x) around 0 82.723 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.723 * [taylor]: Taking taylor expansion of 1/3 in x 82.723 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.723 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.723 * [taylor]: Taking taylor expansion of 1/2 in x 82.723 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.723 * [taylor]: Taking taylor expansion of x in x 82.723 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.723 * [taylor]: Taking taylor expansion of 1/12 in x 82.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.723 * [taylor]: Taking taylor expansion of x in x 82.724 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.724 * [taylor]: Taking taylor expansion of 1/3 in x 82.724 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.724 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.724 * [taylor]: Taking taylor expansion of 1/2 in x 82.724 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.724 * [taylor]: Taking taylor expansion of x in x 82.724 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.724 * [taylor]: Taking taylor expansion of 1/12 in x 82.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.724 * [taylor]: Taking taylor expansion of x in x 82.727 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 82.727 * [approximate]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in (x) around 0 82.727 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.727 * [taylor]: Taking taylor expansion of 1/3 in x 82.727 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.727 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.727 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.727 * [taylor]: Taking taylor expansion of 1/12 in x 82.727 * [taylor]: Taking taylor expansion of x in x 82.727 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.727 * [taylor]: Taking taylor expansion of x in x 82.727 * [taylor]: Taking taylor expansion of 1/2 in x 82.728 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 1/3) in x 82.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) in x 82.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) in x 82.728 * [taylor]: Taking taylor expansion of 1/3 in x 82.728 * [taylor]: Taking taylor expansion of (log (+ (* 1/12 x) (+ (/ 1 x) 1/2))) in x 82.728 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.728 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.728 * [taylor]: Taking taylor expansion of 1/12 in x 82.728 * [taylor]: Taking taylor expansion of x in x 82.728 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.728 * [taylor]: Taking taylor expansion of x in x 82.728 * [taylor]: Taking taylor expansion of 1/2 in x 82.730 * [approximate]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in (x) around 0 82.730 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.731 * [taylor]: Taking taylor expansion of 1/3 in x 82.731 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.731 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.731 * [taylor]: Taking taylor expansion of x in x 82.731 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.731 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.731 * [taylor]: Taking taylor expansion of 1/12 in x 82.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.731 * [taylor]: Taking taylor expansion of x in x 82.731 * [taylor]: Taking taylor expansion of 1/2 in x 82.731 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 1/3) in x 82.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))))) in x 82.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (+ (* 1/12 (/ 1 x)) 1/2)))) in x 82.731 * [taylor]: Taking taylor expansion of 1/3 in x 82.731 * [taylor]: Taking taylor expansion of (log (+ x (+ (* 1/12 (/ 1 x)) 1/2))) in x 82.731 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.731 * [taylor]: Taking taylor expansion of x in x 82.731 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.731 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.731 * [taylor]: Taking taylor expansion of 1/12 in x 82.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.731 * [taylor]: Taking taylor expansion of x in x 82.731 * [taylor]: Taking taylor expansion of 1/2 in x 82.734 * [approximate]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in (x) around 0 82.734 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.734 * [taylor]: Taking taylor expansion of 1/3 in x 82.734 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.734 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.734 * [taylor]: Taking taylor expansion of 1/2 in x 82.734 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.734 * [taylor]: Taking taylor expansion of x in x 82.734 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.734 * [taylor]: Taking taylor expansion of 1/12 in x 82.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.734 * [taylor]: Taking taylor expansion of x in x 82.735 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 1/3) in x 82.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x))))))) in x 82.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1/2 (+ x (* 1/12 (/ 1 x)))))) in x 82.735 * [taylor]: Taking taylor expansion of 1/3 in x 82.735 * [taylor]: Taking taylor expansion of (log (- 1/2 (+ x (* 1/12 (/ 1 x))))) in x 82.735 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.735 * [taylor]: Taking taylor expansion of 1/2 in x 82.735 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.735 * [taylor]: Taking taylor expansion of x in x 82.735 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.735 * [taylor]: Taking taylor expansion of 1/12 in x 82.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.735 * [taylor]: Taking taylor expansion of x in x 82.738 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 82.738 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2) 1/3) in (x) around 0 82.738 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2) 1/3) in x 82.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2)))) in x 82.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2))) in x 82.738 * [taylor]: Taking taylor expansion of 1/3 in x 82.738 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2)) in x 82.738 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2) in x 82.738 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.738 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.738 * [taylor]: Taking taylor expansion of 1/12 in x 82.738 * [taylor]: Taking taylor expansion of x in x 82.738 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.738 * [taylor]: Taking taylor expansion of x in x 82.738 * [taylor]: Taking taylor expansion of 1/2 in x 82.738 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2) 1/3) in x 82.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2)))) in x 82.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2))) in x 82.739 * [taylor]: Taking taylor expansion of 1/3 in x 82.739 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2)) in x 82.739 * [taylor]: Taking taylor expansion of (pow (+ (* 1/12 x) (+ (/ 1 x) 1/2)) 2) in x 82.739 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x 82.739 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 82.739 * [taylor]: Taking taylor expansion of 1/12 in x 82.739 * [taylor]: Taking taylor expansion of x in x 82.739 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x 82.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.739 * [taylor]: Taking taylor expansion of x in x 82.739 * [taylor]: Taking taylor expansion of 1/2 in x 82.741 * [approximate]: Taking taylor expansion of (pow (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2) 1/3) in (x) around 0 82.741 * [taylor]: Taking taylor expansion of (pow (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2) 1/3) in x 82.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2)))) in x 82.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2))) in x 82.741 * [taylor]: Taking taylor expansion of 1/3 in x 82.741 * [taylor]: Taking taylor expansion of (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2)) in x 82.741 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2) in x 82.741 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.741 * [taylor]: Taking taylor expansion of x in x 82.741 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.741 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.741 * [taylor]: Taking taylor expansion of 1/12 in x 82.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.741 * [taylor]: Taking taylor expansion of x in x 82.741 * [taylor]: Taking taylor expansion of 1/2 in x 82.741 * [taylor]: Taking taylor expansion of (pow (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2) 1/3) in x 82.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2)))) in x 82.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2))) in x 82.741 * [taylor]: Taking taylor expansion of 1/3 in x 82.741 * [taylor]: Taking taylor expansion of (log (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2)) in x 82.741 * [taylor]: Taking taylor expansion of (pow (+ x (+ (* 1/12 (/ 1 x)) 1/2)) 2) in x 82.741 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x 82.741 * [taylor]: Taking taylor expansion of x in x 82.741 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x 82.741 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.741 * [taylor]: Taking taylor expansion of 1/12 in x 82.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.741 * [taylor]: Taking taylor expansion of x in x 82.742 * [taylor]: Taking taylor expansion of 1/2 in x 82.744 * [approximate]: Taking taylor expansion of (pow (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2) 1/3) in (x) around 0 82.744 * [taylor]: Taking taylor expansion of (pow (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2) 1/3) in x 82.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2)))) in x 82.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2))) in x 82.744 * [taylor]: Taking taylor expansion of 1/3 in x 82.744 * [taylor]: Taking taylor expansion of (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2)) in x 82.744 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2) in x 82.744 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.744 * [taylor]: Taking taylor expansion of 1/2 in x 82.744 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.744 * [taylor]: Taking taylor expansion of x in x 82.744 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.744 * [taylor]: Taking taylor expansion of 1/12 in x 82.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.744 * [taylor]: Taking taylor expansion of x in x 82.744 * [taylor]: Taking taylor expansion of (pow (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2) 1/3) in x 82.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2)))) in x 82.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2))) in x 82.744 * [taylor]: Taking taylor expansion of 1/3 in x 82.744 * [taylor]: Taking taylor expansion of (log (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2)) in x 82.744 * [taylor]: Taking taylor expansion of (pow (- 1/2 (+ x (* 1/12 (/ 1 x)))) 2) in x 82.744 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x 82.744 * [taylor]: Taking taylor expansion of 1/2 in x 82.744 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 82.744 * [taylor]: Taking taylor expansion of x in x 82.744 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 82.744 * [taylor]: Taking taylor expansion of 1/12 in x 82.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 82.744 * [taylor]: Taking taylor expansion of x in x 82.747 * * * [progress]: simplifying candidates 82.748 * [simplify]: Simplifying using # : (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt 1) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt 1) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt 1) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (+ 1/3 1/3) (+ 1 1) (* (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (+ 1 1) (+ (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (log (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (exp (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (* (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (sqrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (sqrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* (* 1/12 x) (* 1/12 x)) (- (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)) (* (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))))) (* (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* 1 1) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* 2 1/3) (* 2 1) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt 1)) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))))) (* (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (- (* (* 1/12 x) (* 1/12 x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (- (+ (* 1/6 (* x (exp (* 1/3 (- (log 1) (log x)))))) (exp (* 1/3 (- (log 1) (log x))))) (* 1/648 (* (pow x 3) (exp (* 1/3 (- (log 1) (log x))))))) (- (+ (* 2 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 1/12) (log (/ 1 x)))))) (* 8/3 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) (pow x 3)))) (- (+ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (* 2 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) x))) (* 8/3 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (pow x 3)))) (- (+ (* 1/6 (* x (exp (* 1/3 (- (log 1) (log x)))))) (exp (* 1/3 (- (log 1) (log x))))) (* 1/648 (* (pow x 3) (exp (* 1/3 (- (log 1) (log x))))))) (- (+ (* 2 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 1/12) (log (/ 1 x)))))) (* 8/3 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) (pow x 3)))) (- (+ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (* 2 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) x))) (* 8/3 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (pow x 3)))) (- (+ (* 1/6 (* x (exp (* 1/3 (- (log 1) (log x)))))) (exp (* 1/3 (- (log 1) (log x))))) (* 1/648 (* (pow x 3) (exp (* 1/3 (- (log 1) (log x))))))) (- (+ (* 2 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 1/12) (log (/ 1 x)))))) (* 8/3 (/ (exp (* 1/3 (- (log 1/12) (log (/ 1 x))))) (pow x 3)))) (- (+ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (* 2 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) x))) (* 8/3 (/ (exp (* 1/3 (- (log (neg 1/12)) (log (/ -1 x))))) (pow x 3)))) (+ (* 1/36 (* (pow x 2) (exp (* 1/3 (- (log 1) (* 2 (log x))))))) (+ (* 1/3 (* x (exp (* 1/3 (- (log 1) (* 2 (log x))))))) (exp (* 1/3 (- (log 1) (* 2 (log x))))))) (+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x)))))) (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x)))))) x)))) (+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x)))))) (pow x 2))) (+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x)))))) x)) (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x)))))))) 82.749 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 82.750 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 82.752 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 82.754 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 82.757 * * [simplify]: iteration done : 25 enodes (cost 11 ) 82.758 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 82.759 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 82.760 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 82.763 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 82.766 * * [simplify]: iteration done : 25 enodes (cost 11 ) 82.766 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 82.768 * * [simplify]: iteration 1 : 18 enodes (cost 22 ) 82.769 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 82.772 * * [simplify]: iteration 3 : 26 enodes (cost 22 ) 82.775 * * [simplify]: iteration done : 26 enodes (cost 22 ) 82.776 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 82.777 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 82.779 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 82.786 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 82.789 * * [simplify]: iteration done : 25 enodes (cost 11 ) 82.789 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 82.791 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 82.792 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 82.795 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 82.797 * * [simplify]: iteration done : 25 enodes (cost 11 ) 82.798 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 82.799 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 82.801 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 82.804 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 82.806 * * [simplify]: iteration done : 25 enodes (cost 11 ) 82.807 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 82.807 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 82.807 * * [simplify]: iteration done : 4 enodes (cost 1 ) 82.808 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 82.809 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 82.810 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 82.813 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 82.815 * * [simplify]: iteration done : 24 enodes (cost 10 ) 82.816 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 82.817 * * [simplify]: iteration 1 : 34 enodes (cost 14 ) 82.823 * * [simplify]: iteration 2 : 85 enodes (cost 14 ) 82.845 * * [simplify]: iteration 3 : 206 enodes (cost 14 ) 82.908 * * [simplify]: iteration 4 : 416 enodes (cost 14 ) 83.118 * * [simplify]: iteration 5 : 1106 enodes (cost 14 ) 84.219 * * [simplify]: iteration 6 : 3565 enodes (cost 14 ) 85.502 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 85.503 * * [simplify]: iteration 0 : 13 enodes (cost 30 ) 85.505 * * [simplify]: iteration 1 : 47 enodes (cost 22 ) 85.514 * * [simplify]: iteration 2 : 143 enodes (cost 22 ) 85.571 * * [simplify]: iteration 3 : 389 enodes (cost 22 ) 85.833 * * [simplify]: iteration 4 : 1314 enodes (cost 22 ) 87.756 * * [simplify]: iteration 5 : 3795 enodes (cost 20 ) 89.309 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 89.310 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 89.312 * * [simplify]: iteration 1 : 34 enodes (cost 18 ) 89.317 * * [simplify]: iteration 2 : 81 enodes (cost 18 ) 89.335 * * [simplify]: iteration 3 : 192 enodes (cost 18 ) 89.415 * * [simplify]: iteration 4 : 620 enodes (cost 18 ) 89.882 * * [simplify]: iteration 5 : 1881 enodes (cost 18 ) 91.237 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 91.238 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 91.239 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 91.241 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 91.244 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 91.249 * * [simplify]: iteration 4 : 52 enodes (cost 10 ) 91.261 * * [simplify]: iteration 5 : 62 enodes (cost 10 ) 91.269 * * [simplify]: iteration 6 : 84 enodes (cost 10 ) 91.281 * * [simplify]: iteration 7 : 107 enodes (cost 10 ) 91.294 * * [simplify]: iteration 8 : 121 enodes (cost 10 ) 91.306 * * [simplify]: iteration 9 : 129 enodes (cost 10 ) 91.325 * * [simplify]: iteration 10 : 133 enodes (cost 10 ) 91.341 * * [simplify]: iteration 11 : 138 enodes (cost 10 ) 91.356 * * [simplify]: iteration done : 138 enodes (cost 10 ) 91.357 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 91.358 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 91.360 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 91.363 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 91.366 * * [simplify]: iteration done : 26 enodes (cost 23 ) 91.366 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 91.371 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 91.373 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 91.376 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 91.378 * * [simplify]: iteration done : 25 enodes (cost 11 ) 91.379 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 91.380 * * [simplify]: iteration 1 : 19 enodes (cost 32 ) 91.382 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 91.385 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 91.389 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 91.394 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 91.401 * * [simplify]: iteration 6 : 69 enodes (cost 9 ) 91.413 * * [simplify]: iteration 7 : 124 enodes (cost 9 ) 91.466 * * [simplify]: iteration 8 : 332 enodes (cost 9 ) 91.935 * * [simplify]: iteration 9 : 1251 enodes (cost 9 ) 94.272 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 94.273 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.274 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.276 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.278 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.281 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.281 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.282 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.284 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.287 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.289 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.290 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.291 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.293 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.295 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.298 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.298 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.300 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.301 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.304 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.307 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.308 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 94.309 * * [simplify]: iteration 1 : 18 enodes (cost 22 ) 94.311 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 94.314 * * [simplify]: iteration 3 : 26 enodes (cost 22 ) 94.317 * * [simplify]: iteration done : 26 enodes (cost 22 ) 94.317 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.318 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.320 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.323 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.325 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.326 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.327 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.329 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.334 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.336 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.337 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 94.338 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 94.340 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 94.342 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 94.345 * * [simplify]: iteration done : 25 enodes (cost 11 ) 94.345 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 94.346 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 94.346 * * [simplify]: iteration done : 4 enodes (cost 1 ) 94.346 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 94.348 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 94.349 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 94.352 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 94.354 * * [simplify]: iteration done : 24 enodes (cost 10 ) 94.355 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 94.357 * * [simplify]: iteration 1 : 34 enodes (cost 14 ) 94.362 * * [simplify]: iteration 2 : 85 enodes (cost 14 ) 94.380 * * [simplify]: iteration 3 : 206 enodes (cost 14 ) 94.449 * * [simplify]: iteration 4 : 416 enodes (cost 14 ) 94.653 * * [simplify]: iteration 5 : 1106 enodes (cost 14 ) 95.757 * * [simplify]: iteration 6 : 3565 enodes (cost 14 ) 97.037 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 97.038 * * [simplify]: iteration 0 : 13 enodes (cost 30 ) 97.040 * * [simplify]: iteration 1 : 47 enodes (cost 22 ) 97.048 * * [simplify]: iteration 2 : 143 enodes (cost 22 ) 97.106 * * [simplify]: iteration 3 : 389 enodes (cost 22 ) 97.369 * * [simplify]: iteration 4 : 1314 enodes (cost 22 ) 99.277 * * [simplify]: iteration 5 : 3795 enodes (cost 20 ) 101.027 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 101.028 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 101.029 * * [simplify]: iteration 1 : 34 enodes (cost 18 ) 101.035 * * [simplify]: iteration 2 : 81 enodes (cost 18 ) 101.053 * * [simplify]: iteration 3 : 192 enodes (cost 18 ) 101.126 * * [simplify]: iteration 4 : 620 enodes (cost 18 ) 101.594 * * [simplify]: iteration 5 : 1881 enodes (cost 18 ) 102.954 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 102.955 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 102.956 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 102.958 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 102.961 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 102.967 * * [simplify]: iteration 4 : 52 enodes (cost 10 ) 102.973 * * [simplify]: iteration 5 : 62 enodes (cost 10 ) 102.986 * * [simplify]: iteration 6 : 84 enodes (cost 10 ) 102.997 * * [simplify]: iteration 7 : 107 enodes (cost 10 ) 103.010 * * [simplify]: iteration 8 : 121 enodes (cost 10 ) 103.022 * * [simplify]: iteration 9 : 129 enodes (cost 10 ) 103.040 * * [simplify]: iteration 10 : 133 enodes (cost 10 ) 103.056 * * [simplify]: iteration 11 : 138 enodes (cost 10 ) 103.072 * * [simplify]: iteration done : 138 enodes (cost 10 ) 103.073 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 103.074 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 103.076 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 103.078 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 103.081 * * [simplify]: iteration done : 26 enodes (cost 23 ) 103.082 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 103.083 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 103.084 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 103.087 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 103.089 * * [simplify]: iteration done : 25 enodes (cost 11 ) 103.090 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 103.094 * * [simplify]: iteration 1 : 19 enodes (cost 32 ) 103.096 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 103.099 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 103.104 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 103.109 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 103.115 * * [simplify]: iteration 6 : 69 enodes (cost 9 ) 103.127 * * [simplify]: iteration 7 : 124 enodes (cost 9 ) 103.180 * * [simplify]: iteration 8 : 332 enodes (cost 9 ) 103.643 * * [simplify]: iteration 9 : 1251 enodes (cost 9 ) 105.965 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 105.966 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.967 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 105.969 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 105.971 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 105.978 * * [simplify]: iteration done : 25 enodes (cost 11 ) 105.979 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.980 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 105.981 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 105.984 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 105.987 * * [simplify]: iteration done : 25 enodes (cost 11 ) 105.987 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.989 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 105.990 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 105.993 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 105.995 * * [simplify]: iteration done : 25 enodes (cost 11 ) 105.996 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.997 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 105.999 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 106.001 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 106.004 * * [simplify]: iteration done : 25 enodes (cost 11 ) 106.005 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 106.006 * * [simplify]: iteration 1 : 18 enodes (cost 22 ) 106.008 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 106.010 * * [simplify]: iteration 3 : 26 enodes (cost 22 ) 106.013 * * [simplify]: iteration done : 26 enodes (cost 22 ) 106.014 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 106.015 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 106.017 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 106.020 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 106.022 * * [simplify]: iteration done : 25 enodes (cost 11 ) 106.023 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 106.024 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 106.026 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 106.028 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 106.031 * * [simplify]: iteration done : 25 enodes (cost 11 ) 106.031 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 106.032 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 106.034 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 106.039 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 106.042 * * [simplify]: iteration done : 25 enodes (cost 11 ) 106.042 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 106.043 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 106.043 * * [simplify]: iteration done : 4 enodes (cost 1 ) 106.043 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 106.044 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 106.046 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 106.049 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 106.051 * * [simplify]: iteration done : 24 enodes (cost 10 ) 106.052 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 106.053 * * [simplify]: iteration 1 : 34 enodes (cost 14 ) 106.058 * * [simplify]: iteration 2 : 85 enodes (cost 14 ) 106.077 * * [simplify]: iteration 3 : 206 enodes (cost 14 ) 106.140 * * [simplify]: iteration 4 : 416 enodes (cost 14 ) 106.347 * * [simplify]: iteration 5 : 1106 enodes (cost 14 ) 107.444 * * [simplify]: iteration 6 : 3565 enodes (cost 14 ) 108.728 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 108.729 * * [simplify]: iteration 0 : 13 enodes (cost 30 ) 108.731 * * [simplify]: iteration 1 : 47 enodes (cost 22 ) 108.740 * * [simplify]: iteration 2 : 143 enodes (cost 22 ) 108.797 * * [simplify]: iteration 3 : 389 enodes (cost 22 ) 109.056 * * [simplify]: iteration 4 : 1314 enodes (cost 22 ) 110.958 * * [simplify]: iteration 5 : 3795 enodes (cost 20 ) 112.495 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 112.496 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 112.498 * * [simplify]: iteration 1 : 34 enodes (cost 18 ) 112.503 * * [simplify]: iteration 2 : 81 enodes (cost 18 ) 112.521 * * [simplify]: iteration 3 : 192 enodes (cost 18 ) 112.597 * * [simplify]: iteration 4 : 620 enodes (cost 18 ) 113.067 * * [simplify]: iteration 5 : 1881 enodes (cost 18 ) 114.406 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 114.407 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 114.409 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 114.411 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 114.414 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 114.420 * * [simplify]: iteration 4 : 52 enodes (cost 10 ) 114.426 * * [simplify]: iteration 5 : 62 enodes (cost 10 ) 114.434 * * [simplify]: iteration 6 : 84 enodes (cost 10 ) 114.449 * * [simplify]: iteration 7 : 107 enodes (cost 10 ) 114.463 * * [simplify]: iteration 8 : 121 enodes (cost 10 ) 114.476 * * [simplify]: iteration 9 : 129 enodes (cost 10 ) 114.490 * * [simplify]: iteration 10 : 133 enodes (cost 10 ) 114.510 * * [simplify]: iteration 11 : 138 enodes (cost 10 ) 114.526 * * [simplify]: iteration done : 138 enodes (cost 10 ) 114.527 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 114.528 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 114.530 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 114.533 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 114.536 * * [simplify]: iteration done : 26 enodes (cost 23 ) 114.536 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 114.537 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 114.539 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 114.542 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 114.544 * * [simplify]: iteration done : 25 enodes (cost 11 ) 114.545 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 114.546 * * [simplify]: iteration 1 : 19 enodes (cost 32 ) 114.548 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 114.555 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 114.559 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 114.564 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 114.571 * * [simplify]: iteration 6 : 69 enodes (cost 9 ) 114.584 * * [simplify]: iteration 7 : 124 enodes (cost 9 ) 114.637 * * [simplify]: iteration 8 : 332 enodes (cost 9 ) 115.105 * * [simplify]: iteration 9 : 1251 enodes (cost 9 ) 117.428 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 117.429 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 117.430 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 117.432 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 117.434 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 117.437 * * [simplify]: iteration done : 25 enodes (cost 11 ) 117.437 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 117.438 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 117.440 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 117.446 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 117.449 * * [simplify]: iteration done : 25 enodes (cost 11 ) 117.449 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 117.450 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 117.450 * * [simplify]: iteration done : 5 enodes (cost 1 ) 117.451 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 117.451 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 117.451 * * [simplify]: iteration done : 6 enodes (cost 1 ) 117.452 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 117.453 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 117.457 * * [simplify]: iteration 2 : 73 enodes (cost 19 ) 117.477 * * [simplify]: iteration 3 : 278 enodes (cost 19 ) 117.659 * * [simplify]: iteration 4 : 871 enodes (cost 19 ) 119.003 * * [simplify]: iteration 5 : 3591 enodes (cost 19 ) 120.921 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 120.921 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 120.923 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 120.924 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 120.932 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 120.935 * * [simplify]: iteration done : 25 enodes (cost 21 ) 120.935 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 120.936 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 120.936 * * [simplify]: iteration done : 6 enodes (cost 1 ) 120.937 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 120.938 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 120.940 * * [simplify]: iteration 2 : 27 enodes (cost 13 ) 120.943 * * [simplify]: iteration done : 27 enodes (cost 13 ) 120.944 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 120.945 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 120.947 * * [simplify]: iteration 2 : 28 enodes (cost 13 ) 120.950 * * [simplify]: iteration 3 : 29 enodes (cost 13 ) 120.953 * * [simplify]: iteration done : 29 enodes (cost 13 ) 120.954 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 120.955 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 120.957 * * [simplify]: iteration 2 : 30 enodes (cost 22 ) 120.961 * * [simplify]: iteration 3 : 35 enodes (cost 22 ) 120.966 * * [simplify]: iteration 4 : 53 enodes (cost 22 ) 120.973 * * [simplify]: iteration 5 : 92 enodes (cost 22 ) 121.000 * * [simplify]: iteration 6 : 196 enodes (cost 22 ) 121.096 * * [simplify]: iteration 7 : 561 enodes (cost 22 ) 121.988 * * [simplify]: iteration 8 : 2241 enodes (cost 22 ) 124.172 * * [simplify]: iteration done : 5000 enodes (cost 22 ) 124.173 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 124.174 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 124.178 * * [simplify]: iteration 2 : 73 enodes (cost 19 ) 124.197 * * [simplify]: iteration 3 : 278 enodes (cost 19 ) 124.374 * * [simplify]: iteration 4 : 871 enodes (cost 19 ) 125.714 * * [simplify]: iteration 5 : 3591 enodes (cost 19 ) 127.393 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 127.394 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 127.396 * * [simplify]: iteration 1 : 19 enodes (cost 45 ) 127.401 * * [simplify]: iteration 2 : 25 enodes (cost 45 ) 127.404 * * [simplify]: iteration done : 25 enodes (cost 45 ) 127.405 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 127.406 * * [simplify]: iteration 1 : 18 enodes (cost 22 ) 127.408 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 127.411 * * [simplify]: iteration 3 : 26 enodes (cost 22 ) 127.413 * * [simplify]: iteration done : 26 enodes (cost 22 ) 127.414 * * [simplify]: iteration 0 : 12 enodes (cost 65 ) 127.416 * * [simplify]: iteration 1 : 27 enodes (cost 65 ) 127.419 * * [simplify]: iteration 2 : 41 enodes (cost 23 ) 127.426 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 127.437 * * [simplify]: iteration 4 : 158 enodes (cost 12 ) 127.493 * * [simplify]: iteration 5 : 478 enodes (cost 12 ) 127.823 * * [simplify]: iteration 6 : 1409 enodes (cost 12 ) 129.089 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 129.089 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 129.091 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 129.093 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 129.096 * * [simplify]: iteration done : 25 enodes (cost 11 ) 129.096 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 129.098 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 129.099 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 129.102 * * [simplify]: iteration done : 25 enodes (cost 11 ) 129.103 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 129.105 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 129.110 * * [simplify]: iteration 2 : 86 enodes (cost 29 ) 129.129 * * [simplify]: iteration 3 : 210 enodes (cost 29 ) 129.198 * * [simplify]: iteration 4 : 427 enodes (cost 29 ) 129.404 * * [simplify]: iteration 5 : 1115 enodes (cost 29 ) 130.502 * * [simplify]: iteration 6 : 3563 enodes (cost 29 ) 131.787 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 131.788 * * [simplify]: iteration 0 : 14 enodes (cost 61 ) 131.790 * * [simplify]: iteration 1 : 48 enodes (cost 45 ) 131.799 * * [simplify]: iteration 2 : 144 enodes (cost 45 ) 131.855 * * [simplify]: iteration 3 : 386 enodes (cost 45 ) 132.116 * * [simplify]: iteration 4 : 1304 enodes (cost 45 ) 134.045 * * [simplify]: iteration 5 : 3796 enodes (cost 41 ) 135.631 * * [simplify]: iteration done : 5000 enodes (cost 41 ) 135.632 * * [simplify]: iteration 0 : 17 enodes (cost 35 ) 135.641 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 135.650 * * [simplify]: iteration 2 : 149 enodes (cost 33 ) 135.691 * * [simplify]: iteration 3 : 378 enodes (cost 33 ) 135.868 * * [simplify]: iteration 4 : 1098 enodes (cost 33 ) 136.757 * * [simplify]: iteration 5 : 3189 enodes (cost 33 ) 137.957 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 137.958 * * [simplify]: iteration 0 : 16 enodes (cost 41 ) 137.961 * * [simplify]: iteration 1 : 55 enodes (cost 33 ) 137.971 * * [simplify]: iteration 2 : 160 enodes (cost 33 ) 138.031 * * [simplify]: iteration 3 : 418 enodes (cost 33 ) 138.311 * * [simplify]: iteration 4 : 1370 enodes (cost 33 ) 140.469 * * [simplify]: iteration 5 : 3916 enodes (cost 31 ) 141.916 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 141.917 * * [simplify]: iteration 0 : 17 enodes (cost 35 ) 141.920 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 141.935 * * [simplify]: iteration 2 : 149 enodes (cost 33 ) 141.976 * * [simplify]: iteration 3 : 379 enodes (cost 33 ) 142.153 * * [simplify]: iteration 4 : 1105 enodes (cost 33 ) 143.065 * * [simplify]: iteration 5 : 3191 enodes (cost 33 ) 144.253 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 144.254 * * [simplify]: iteration 0 : 16 enodes (cost 41 ) 144.256 * * [simplify]: iteration 1 : 55 enodes (cost 33 ) 144.266 * * [simplify]: iteration 2 : 160 enodes (cost 33 ) 144.325 * * [simplify]: iteration 3 : 416 enodes (cost 33 ) 144.606 * * [simplify]: iteration 4 : 1355 enodes (cost 33 ) 146.607 * * [simplify]: iteration 5 : 3910 enodes (cost 31 ) 148.040 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 148.041 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 148.042 * * [simplify]: iteration 1 : 35 enodes (cost 37 ) 148.048 * * [simplify]: iteration 2 : 82 enodes (cost 37 ) 148.066 * * [simplify]: iteration 3 : 193 enodes (cost 37 ) 148.141 * * [simplify]: iteration 4 : 619 enodes (cost 37 ) 148.617 * * [simplify]: iteration 5 : 1878 enodes (cost 37 ) 149.991 * * [simplify]: iteration done : 5001 enodes (cost 37 ) 149.992 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 149.998 * * [simplify]: iteration 1 : 18 enodes (cost 21 ) 150.000 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 150.003 * * [simplify]: iteration 3 : 42 enodes (cost 21 ) 150.009 * * [simplify]: iteration 4 : 53 enodes (cost 21 ) 150.015 * * [simplify]: iteration 5 : 63 enodes (cost 21 ) 150.029 * * [simplify]: iteration 6 : 85 enodes (cost 21 ) 150.040 * * [simplify]: iteration 7 : 108 enodes (cost 21 ) 150.054 * * [simplify]: iteration 8 : 122 enodes (cost 21 ) 150.067 * * [simplify]: iteration 9 : 128 enodes (cost 21 ) 150.082 * * [simplify]: iteration 10 : 132 enodes (cost 21 ) 150.101 * * [simplify]: iteration 11 : 135 enodes (cost 21 ) 150.117 * * [simplify]: iteration done : 135 enodes (cost 21 ) 150.118 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 150.119 * * [simplify]: iteration 1 : 19 enodes (cost 45 ) 150.122 * * [simplify]: iteration 2 : 25 enodes (cost 45 ) 150.124 * * [simplify]: iteration done : 25 enodes (cost 45 ) 150.125 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 150.126 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 150.128 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 150.131 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 150.133 * * [simplify]: iteration done : 26 enodes (cost 23 ) 150.134 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 150.135 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 150.137 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 150.140 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 150.147 * * [simplify]: iteration done : 26 enodes (cost 23 ) 150.147 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 150.148 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 150.151 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 150.153 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 150.156 * * [simplify]: iteration done : 26 enodes (cost 23 ) 150.156 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 150.157 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 150.157 * * [simplify]: iteration done : 5 enodes (cost 1 ) 150.158 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 150.159 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 150.161 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 150.164 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 150.167 * * [simplify]: iteration done : 25 enodes (cost 21 ) 150.167 * * [simplify]: iteration 0 : 12 enodes (cost 47 ) 150.169 * * [simplify]: iteration 1 : 23 enodes (cost 47 ) 150.172 * * [simplify]: iteration 2 : 31 enodes (cost 25 ) 150.176 * * [simplify]: iteration 3 : 39 enodes (cost 13 ) 150.180 * * [simplify]: iteration 4 : 52 enodes (cost 13 ) 150.187 * * [simplify]: iteration 5 : 78 enodes (cost 13 ) 150.200 * * [simplify]: iteration 6 : 146 enodes (cost 13 ) 150.246 * * [simplify]: iteration 7 : 358 enodes (cost 13 ) 150.593 * * [simplify]: iteration 8 : 1265 enodes (cost 13 ) 152.248 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 152.249 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.251 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 152.252 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 152.255 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 152.258 * * [simplify]: iteration done : 26 enodes (cost 23 ) 152.259 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.260 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 152.262 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 152.264 * * [simplify]: iteration done : 25 enodes (cost 10 ) 152.265 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.266 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 152.268 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 152.271 * * [simplify]: iteration done : 25 enodes (cost 10 ) 152.271 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 152.272 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 152.272 * * [simplify]: iteration done : 4 enodes (cost 1 ) 152.273 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 152.274 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 152.276 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 152.278 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 152.286 * * [simplify]: iteration done : 25 enodes (cost 21 ) 152.287 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.288 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 152.290 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 152.292 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 152.295 * * [simplify]: iteration done : 26 enodes (cost 23 ) 152.295 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.297 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 152.299 * * [simplify]: iteration 2 : 24 enodes (cost 23 ) 152.302 * * [simplify]: iteration 3 : 26 enodes (cost 23 ) 152.305 * * [simplify]: iteration done : 26 enodes (cost 23 ) 152.305 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 152.307 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 152.309 * * [simplify]: iteration 2 : 27 enodes (cost 23 ) 152.312 * * [simplify]: iteration done : 27 enodes (cost 23 ) 152.312 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 152.314 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 152.316 * * [simplify]: iteration 2 : 27 enodes (cost 23 ) 152.319 * * [simplify]: iteration done : 27 enodes (cost 23 ) 152.320 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 152.321 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 152.323 * * [simplify]: iteration 2 : 27 enodes (cost 23 ) 152.326 * * [simplify]: iteration done : 27 enodes (cost 23 ) 152.327 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 152.328 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 152.330 * * [simplify]: iteration 2 : 27 enodes (cost 23 ) 152.333 * * [simplify]: iteration done : 27 enodes (cost 23 ) 152.334 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.335 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 152.337 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 152.340 * * [simplify]: iteration done : 25 enodes (cost 10 ) 152.340 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 152.341 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 152.343 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 152.350 * * [simplify]: iteration done : 25 enodes (cost 10 ) 152.350 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.351 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 152.351 * * [simplify]: iteration done : 5 enodes (cost 1 ) 152.352 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.352 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 152.353 * * [simplify]: iteration done : 6 enodes (cost 1 ) 152.353 * * [simplify]: iteration 0 : 12 enodes (cost 33 ) 152.355 * * [simplify]: iteration 1 : 20 enodes (cost 33 ) 152.357 * * [simplify]: iteration 2 : 26 enodes (cost 33 ) 152.360 * * [simplify]: iteration done : 26 enodes (cost 33 ) 152.360 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 152.362 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 152.364 * * [simplify]: iteration 2 : 26 enodes (cost 22 ) 152.367 * * [simplify]: iteration done : 26 enodes (cost 22 ) 152.367 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 152.368 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 152.370 * * [simplify]: iteration 2 : 25 enodes (cost 12 ) 152.373 * * [simplify]: iteration done : 25 enodes (cost 10 ) 152.374 * * [simplify]: iteration 0 : 12 enodes (cost 34 ) 152.375 * * [simplify]: iteration 1 : 22 enodes (cost 34 ) 152.378 * * [simplify]: iteration 2 : 30 enodes (cost 34 ) 152.381 * * [simplify]: iteration done : 30 enodes (cost 34 ) 152.382 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 152.383 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 152.385 * * [simplify]: iteration 2 : 25 enodes (cost 22 ) 152.388 * * [simplify]: iteration done : 25 enodes (cost 22 ) 152.389 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 152.390 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 152.392 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 152.395 * * [simplify]: iteration done : 27 enodes (cost 10 ) 152.395 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 152.397 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 152.399 * * [simplify]: iteration 2 : 25 enodes (cost 22 ) 152.401 * * [simplify]: iteration done : 25 enodes (cost 22 ) 152.402 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 152.403 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 152.406 * * [simplify]: iteration 2 : 26 enodes (cost 22 ) 152.412 * * [simplify]: iteration done : 26 enodes (cost 22 ) 152.413 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 152.414 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 152.416 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 152.419 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 152.421 * * [simplify]: iteration done : 25 enodes (cost 21 ) 152.422 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 152.423 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 152.425 * * [simplify]: iteration 2 : 25 enodes (cost 22 ) 152.428 * * [simplify]: iteration done : 25 enodes (cost 22 ) 152.428 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 152.430 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 152.432 * * [simplify]: iteration 2 : 25 enodes (cost 22 ) 152.435 * * [simplify]: iteration done : 25 enodes (cost 22 ) 152.436 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 152.437 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 152.439 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 152.441 * * [simplify]: iteration 3 : 25 enodes (cost 21 ) 152.444 * * [simplify]: iteration done : 25 enodes (cost 21 ) 152.445 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 152.447 * * [simplify]: iteration 1 : 41 enodes (cost 25 ) 152.453 * * [simplify]: iteration 2 : 98 enodes (cost 25 ) 152.477 * * [simplify]: iteration 3 : 221 enodes (cost 25 ) 152.544 * * [simplify]: iteration 4 : 425 enodes (cost 25 ) 152.759 * * [simplify]: iteration 5 : 1124 enodes (cost 25 ) 153.879 * * [simplify]: iteration 6 : 3582 enodes (cost 25 ) 155.187 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 155.188 * * [simplify]: iteration 0 : 14 enodes (cost 31 ) 155.190 * * [simplify]: iteration 1 : 40 enodes (cost 29 ) 155.196 * * [simplify]: iteration 2 : 88 enodes (cost 29 ) 155.214 * * [simplify]: iteration 3 : 200 enodes (cost 29 ) 155.290 * * [simplify]: iteration 4 : 619 enodes (cost 29 ) 155.755 * * [simplify]: iteration 5 : 1878 enodes (cost 29 ) 157.095 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 157.096 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 157.098 * * [simplify]: iteration 1 : 41 enodes (cost 25 ) 157.104 * * [simplify]: iteration 2 : 98 enodes (cost 25 ) 157.124 * * [simplify]: iteration 3 : 216 enodes (cost 25 ) 157.193 * * [simplify]: iteration 4 : 418 enodes (cost 25 ) 157.398 * * [simplify]: iteration 5 : 1103 enodes (cost 25 ) 158.729 * * [simplify]: iteration 6 : 3545 enodes (cost 25 ) 160.028 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 160.029 * * [simplify]: iteration 0 : 14 enodes (cost 31 ) 160.031 * * [simplify]: iteration 1 : 40 enodes (cost 29 ) 160.037 * * [simplify]: iteration 2 : 88 enodes (cost 29 ) 160.060 * * [simplify]: iteration 3 : 199 enodes (cost 29 ) 160.136 * * [simplify]: iteration 4 : 623 enodes (cost 29 ) 160.613 * * [simplify]: iteration 5 : 1878 enodes (cost 29 ) 161.985 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 161.986 * * [simplify]: iteration 0 : 18 enodes (cost 36 ) 161.988 * * [simplify]: iteration 1 : 46 enodes (cost 33 ) 161.995 * * [simplify]: iteration 2 : 112 enodes (cost 25 ) 162.021 * * [simplify]: iteration 3 : 362 enodes (cost 17 ) 162.353 * * [simplify]: iteration 4 : 1484 enodes (cost 16 ) 163.773 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 163.774 * * [simplify]: iteration 0 : 20 enodes (cost 42 ) 163.777 * * [simplify]: iteration 1 : 49 enodes (cost 39 ) 163.783 * * [simplify]: iteration 2 : 109 enodes (cost 36 ) 163.808 * * [simplify]: iteration 3 : 306 enodes (cost 25 ) 163.934 * * [simplify]: iteration 4 : 1141 enodes (cost 19 ) 164.955 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 164.956 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 164.959 * * [simplify]: iteration 1 : 48 enodes (cost 42 ) 164.965 * * [simplify]: iteration 2 : 109 enodes (cost 42 ) 164.984 * * [simplify]: iteration 3 : 310 enodes (cost 29 ) 165.115 * * [simplify]: iteration 4 : 1159 enodes (cost 23 ) 166.112 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 166.113 * * [simplify]: iteration 0 : 18 enodes (cost 36 ) 166.115 * * [simplify]: iteration 1 : 46 enodes (cost 33 ) 166.130 * * [simplify]: iteration 2 : 112 enodes (cost 25 ) 166.155 * * [simplify]: iteration 3 : 362 enodes (cost 17 ) 166.481 * * [simplify]: iteration 4 : 1484 enodes (cost 16 ) 167.890 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 167.891 * * [simplify]: iteration 0 : 20 enodes (cost 42 ) 167.894 * * [simplify]: iteration 1 : 49 enodes (cost 39 ) 167.901 * * [simplify]: iteration 2 : 109 enodes (cost 36 ) 167.925 * * [simplify]: iteration 3 : 306 enodes (cost 25 ) 168.050 * * [simplify]: iteration 4 : 1141 enodes (cost 19 ) 169.059 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 169.060 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 169.063 * * [simplify]: iteration 1 : 48 enodes (cost 42 ) 169.069 * * [simplify]: iteration 2 : 109 enodes (cost 42 ) 169.088 * * [simplify]: iteration 3 : 310 enodes (cost 29 ) 169.216 * * [simplify]: iteration 4 : 1159 enodes (cost 23 ) 170.226 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 170.227 * * [simplify]: iteration 0 : 18 enodes (cost 36 ) 170.235 * * [simplify]: iteration 1 : 46 enodes (cost 33 ) 170.241 * * [simplify]: iteration 2 : 112 enodes (cost 25 ) 170.273 * * [simplify]: iteration 3 : 362 enodes (cost 17 ) 170.598 * * [simplify]: iteration 4 : 1484 enodes (cost 16 ) 172.010 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 172.011 * * [simplify]: iteration 0 : 20 enodes (cost 42 ) 172.014 * * [simplify]: iteration 1 : 49 enodes (cost 39 ) 172.020 * * [simplify]: iteration 2 : 109 enodes (cost 36 ) 172.039 * * [simplify]: iteration 3 : 306 enodes (cost 25 ) 172.168 * * [simplify]: iteration 4 : 1141 enodes (cost 19 ) 173.172 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 173.173 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 173.176 * * [simplify]: iteration 1 : 48 enodes (cost 42 ) 173.189 * * [simplify]: iteration 2 : 109 enodes (cost 42 ) 173.209 * * [simplify]: iteration 3 : 310 enodes (cost 29 ) 173.336 * * [simplify]: iteration 4 : 1159 enodes (cost 23 ) 174.350 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 174.351 * * [simplify]: iteration 0 : 18 enodes (cost 42 ) 174.353 * * [simplify]: iteration 1 : 42 enodes (cost 39 ) 174.360 * * [simplify]: iteration 2 : 99 enodes (cost 25 ) 174.380 * * [simplify]: iteration 3 : 271 enodes (cost 16 ) 174.516 * * [simplify]: iteration 4 : 824 enodes (cost 13 ) 175.939 * * [simplify]: iteration 5 : 3552 enodes (cost 13 ) 177.405 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 177.406 * * [simplify]: iteration 0 : 20 enodes (cost 48 ) 177.409 * * [simplify]: iteration 1 : 45 enodes (cost 45 ) 177.415 * * [simplify]: iteration 2 : 96 enodes (cost 45 ) 177.437 * * [simplify]: iteration 3 : 235 enodes (cost 27 ) 177.534 * * [simplify]: iteration 4 : 771 enodes (cost 21 ) 178.308 * * [simplify]: iteration 5 : 3825 enodes (cost 18 ) 179.538 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 179.539 * * [simplify]: iteration 0 : 20 enodes (cost 48 ) 179.547 * * [simplify]: iteration 1 : 43 enodes (cost 48 ) 179.554 * * [simplify]: iteration 2 : 95 enodes (cost 46 ) 179.568 * * [simplify]: iteration 3 : 188 enodes (cost 43 ) 179.611 * * [simplify]: iteration 4 : 479 enodes (cost 25 ) 179.842 * * [simplify]: iteration 5 : 1422 enodes (cost 20 ) 181.042 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 181.043 * [simplify]: Simplified to: (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 1 (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (+ (/ 1 x) (+ 1/6 (* x (+ -1/24 (* 1/144 x))))) (/ (/ 1 x) x))) (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 1 (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (+ (/ 1 x) (+ 1/6 (* x (+ -1/24 (* 1/144 x))))) (/ (/ 1 x) x))) (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (exp (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 1 (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (+ (/ 1 x) (+ 1/6 (* x (+ -1/24 (* 1/144 x))))) (/ (/ 1 x) x))) (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 2/3 2 (* (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 2 (* 2 (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* 2 (log (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (exp (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (+ (* 1/12 x) (+ (/ 1 x) 1/2)) (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (pow (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 6) (fabs (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (fabs (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (+ (+ (+ (/ 1 x) 1/6) (/ (/ 1 x) x)) (* x (+ -1/24 (* 1/144 x))))) (cbrt (+ (+ (+ (/ 1 x) 1/6) (/ (/ 1 x) x)) (* x (+ -1/24 (* 1/144 x)))))) (* (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (+ (/ (/ 1 x) x) (+ (+ (/ 1 x) 1/6) (* (+ -1/24 (* 1/144 x)) x)))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (+ (+ (- 1/6 (* x (- 1/24 (* 1/144 x)))) (/ 1 x)) (/ (/ 1 x) x))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2))))) (* (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (- (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) 1 (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (pow (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) 4) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 1 (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) 2/3 2 (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (sqrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (sqrt (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3)))) (* (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (+ (pow (* 1/12 x) 3) (pow (+ (/ 1 x) 1/2) 3))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (cbrt (- (* 1/144 (* x x)) (* (+ (/ 1 x) 1/2) (+ (/ 1 x) 1/2)))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))) (* (+ (+ (* 1/6 x) 1) (* -1/648 (pow x 3))) (cbrt (/ 1 x))) (- (cbrt (* 1/12 x)) (* (cbrt (* 1/12 x)) (- (/ 8/3 (pow x 3)) (/ 2 x)))) (+ (cbrt (/ -1/12 (/ -1 x))) (* (/ (cbrt (/ -1/12 (/ -1 x))) x) (- 2 (/ 8/3 (* x x))))) (* (+ (+ (* 1/6 x) 1) (* -1/648 (pow x 3))) (cbrt (/ 1 x))) (- (cbrt (* 1/12 x)) (* (cbrt (* 1/12 x)) (- (/ 8/3 (pow x 3)) (/ 2 x)))) (+ (cbrt (/ -1/12 (/ -1 x))) (* (/ (cbrt (/ -1/12 (/ -1 x))) x) (- 2 (/ 8/3 (* x x))))) (* (+ (+ (* 1/6 x) 1) (* -1/648 (pow x 3))) (cbrt (/ 1 x))) (- (cbrt (* 1/12 x)) (* (cbrt (* 1/12 x)) (- (/ 8/3 (pow x 3)) (/ 2 x)))) (+ (cbrt (/ -1/12 (/ -1 x))) (* (/ (cbrt (/ -1/12 (/ -1 x))) x) (- 2 (/ 8/3 (* x x))))) (* (+ 1 (* x (+ (* 1/36 x) 1/3))) (pow x -2/3)) (* (cbrt (* 1/144 (pow x 2))) (+ (+ (/ 4 (pow x 2)) 1) (/ 4 x))) (* (cbrt (* (pow (/ -1 x) -2) 1/144)) (+ (/ 4 (pow x 2)) (+ (/ 4 x) 1))) 181.044 * * * [progress]: adding candidates to table 181.332 * * [progress]: iteration 4 / 4 181.332 * * * [progress]: picking best candidate 181.337 * * * * [pick]: Picked # 181.337 * * * [progress]: localizing error 181.345 * * * [progress]: generating rewritten candidates 181.345 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 181.353 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 181.363 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 181.371 * * * [progress]: generating series expansions 181.371 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 181.371 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in (x) around 0 181.371 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 181.371 * [taylor]: Taking taylor expansion of 1 in x 181.371 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 181.371 * [taylor]: Taking taylor expansion of 1.0 in x 181.371 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 181.371 * [taylor]: Taking taylor expansion of (exp x) in x 181.371 * [taylor]: Taking taylor expansion of x in x 181.371 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 181.371 * [taylor]: Taking taylor expansion of 1 in x 181.372 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 181.372 * [taylor]: Taking taylor expansion of 1.0 in x 181.372 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 181.372 * [taylor]: Taking taylor expansion of (exp x) in x 181.372 * [taylor]: Taking taylor expansion of x in x 181.373 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in (x) around 0 181.373 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 181.373 * [taylor]: Taking taylor expansion of 1 in x 181.373 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 181.373 * [taylor]: Taking taylor expansion of 1.0 in x 181.373 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 181.373 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.373 * [taylor]: Taking taylor expansion of x in x 181.373 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 181.373 * [taylor]: Taking taylor expansion of 1 in x 181.373 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 181.373 * [taylor]: Taking taylor expansion of 1.0 in x 181.373 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 181.373 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.373 * [taylor]: Taking taylor expansion of x in x 181.375 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in (x) around 0 181.375 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 181.375 * [taylor]: Taking taylor expansion of 1 in x 181.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 181.375 * [taylor]: Taking taylor expansion of 1.0 in x 181.375 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 181.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.375 * [taylor]: Taking taylor expansion of -1 in x 181.375 * [taylor]: Taking taylor expansion of x in x 181.375 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 181.375 * [taylor]: Taking taylor expansion of 1 in x 181.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 181.375 * [taylor]: Taking taylor expansion of 1.0 in x 181.375 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 181.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.375 * [taylor]: Taking taylor expansion of -1 in x 181.375 * [taylor]: Taking taylor expansion of x in x 181.377 * * * * [progress]: [ 2 / 3 ] generating series at (2) 181.378 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in (x) around 0 181.378 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x 181.378 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 181.378 * [taylor]: Taking taylor expansion of 1 in x 181.378 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 181.378 * [taylor]: Taking taylor expansion of 1.0 in x 181.378 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 181.378 * [taylor]: Taking taylor expansion of (exp x) in x 181.378 * [taylor]: Taking taylor expansion of x in x 181.378 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x 181.378 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 181.378 * [taylor]: Taking taylor expansion of 1 in x 181.378 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 181.378 * [taylor]: Taking taylor expansion of 1.0 in x 181.378 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 181.378 * [taylor]: Taking taylor expansion of (exp x) in x 181.378 * [taylor]: Taking taylor expansion of x in x 181.379 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in (x) around 0 181.379 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x 181.379 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 181.379 * [taylor]: Taking taylor expansion of 1 in x 181.379 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 181.379 * [taylor]: Taking taylor expansion of 1.0 in x 181.379 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 181.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.379 * [taylor]: Taking taylor expansion of x in x 181.380 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x 181.380 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 181.380 * [taylor]: Taking taylor expansion of 1 in x 181.380 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 181.380 * [taylor]: Taking taylor expansion of 1.0 in x 181.380 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 181.380 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.380 * [taylor]: Taking taylor expansion of x in x 181.384 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in (x) around 0 181.384 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x 181.384 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 181.384 * [taylor]: Taking taylor expansion of 1 in x 181.384 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 181.384 * [taylor]: Taking taylor expansion of 1.0 in x 181.384 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 181.384 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.384 * [taylor]: Taking taylor expansion of -1 in x 181.384 * [taylor]: Taking taylor expansion of x in x 181.384 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x 181.384 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 181.384 * [taylor]: Taking taylor expansion of 1 in x 181.385 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 181.385 * [taylor]: Taking taylor expansion of 1.0 in x 181.385 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 181.385 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.385 * [taylor]: Taking taylor expansion of -1 in x 181.385 * [taylor]: Taking taylor expansion of x in x 181.388 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 181.389 * [approximate]: Taking taylor expansion of (/ 1.0 (exp x)) in (x) around 0 181.389 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x 181.389 * [taylor]: Taking taylor expansion of 1.0 in x 181.389 * [taylor]: Taking taylor expansion of (exp x) in x 181.389 * [taylor]: Taking taylor expansion of x in x 181.389 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x 181.389 * [taylor]: Taking taylor expansion of 1.0 in x 181.389 * [taylor]: Taking taylor expansion of (exp x) in x 181.389 * [taylor]: Taking taylor expansion of x in x 181.389 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in (x) around 0 181.389 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x 181.389 * [taylor]: Taking taylor expansion of 1.0 in x 181.389 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.389 * [taylor]: Taking taylor expansion of x in x 181.390 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x 181.390 * [taylor]: Taking taylor expansion of 1.0 in x 181.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 181.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 181.390 * [taylor]: Taking taylor expansion of x in x 181.391 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in (x) around 0 181.391 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x 181.392 * [taylor]: Taking taylor expansion of 1.0 in x 181.392 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.392 * [taylor]: Taking taylor expansion of -1 in x 181.392 * [taylor]: Taking taylor expansion of x in x 181.392 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x 181.392 * [taylor]: Taking taylor expansion of 1.0 in x 181.392 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 181.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 181.392 * [taylor]: Taking taylor expansion of -1 in x 181.392 * [taylor]: Taking taylor expansion of x in x 181.393 * * * [progress]: simplifying candidates 181.395 * [simplify]: Simplifying using # : (/ (exp 1) (exp (/ 1.0 (exp x)))) (log (- 1 (/ 1.0 (exp x)))) (exp (- 1 (/ 1.0 (exp x)))) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (- (pow 1 3) (pow (/ 1.0 (exp x)) 3)) (+ (* 1 1) (+ (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (* 1 (/ 1.0 (exp x))))) (neg (/ 1.0 (exp x))) (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))) (+ 1 (/ 1.0 (exp x))) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ 1.0 (exp x))) (neg (/ 1.0 (exp x))) (neg 1) (neg (log (- 1 (/ 1.0 (exp x))))) (- 0 (log (- 1 (/ 1.0 (exp x))))) (- (log 1) (log (- 1 (/ 1.0 (exp x))))) (log (/ 1 (- 1 (/ 1.0 (exp x))))) (exp (/ 1 (- 1 (/ 1.0 (exp x))))) (/ (* (* 1 1) 1) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))))) (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (* (* (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x))))) (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (neg 1) (neg (- 1 (/ 1.0 (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ (cbrt 1) (cbrt (- 1 (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (cbrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1.0 (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1.0 (exp x))))) (/ (cbrt 1) (- 1 (sqrt (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (cbrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1.0 (exp x)))) (/ (sqrt 1) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ (sqrt 1) (cbrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1.0 (exp x)))) (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (+ 1 (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (- 1 (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1.0 (exp x)))) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 1) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 1) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ (- 1 (/ 1.0 (exp x))) 1) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 1) (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 1) (/ (- 1 (/ 1.0 (exp x))) (cbrt 1)) (/ (- 1 (/ 1.0 (exp x))) (sqrt 1)) (/ (- 1 (/ 1.0 (exp x))) 1) (/ 1 (- (pow 1 3) (pow (/ 1.0 (exp x)) 3))) (/ 1 (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))) (- (log 1.0) x) (log (/ 1.0 (exp x))) (exp (/ 1.0 (exp x))) (/ (* (* 1.0 1.0) 1.0) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (cbrt (/ 1.0 (exp x))) (* (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (neg 1.0) (neg (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (exp x)) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1.0 (sqrt (exp x))) (/ 1 1) (/ 1.0 (exp x)) (/ 1 (exp x)) (/ (exp x) 1.0) (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (sqrt (exp x))) (/ 1.0 1) (/ (exp x) (cbrt 1.0)) (/ (exp x) (sqrt 1.0)) (/ (exp x) 1.0) (- (+ (* 1.0 x) (* 0.16666666666666666 (pow x 3))) (* 0.5 (pow x 2))) (- 1 (* 1.0 (/ 1 (exp x)))) (- 1 (* 1.0 (/ 1 (exp x)))) (+ (* 0.08333333333333334 x) (+ (* 1.0 (/ 1 x)) 0.5)) (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) (- (+ (* 0.5 (pow x 2)) 1.0) (* 1.0 x)) (/ 1.0 (exp x)) (/ 1.0 (exp x)) 181.395 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 181.396 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 181.397 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 181.399 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 181.401 * * [simplify]: iteration 4 : 22 enodes (cost 7 ) 181.403 * * [simplify]: iteration 5 : 26 enodes (cost 7 ) 181.406 * * [simplify]: iteration 6 : 30 enodes (cost 7 ) 181.409 * * [simplify]: iteration 7 : 46 enodes (cost 7 ) 181.415 * * [simplify]: iteration 8 : 51 enodes (cost 7 ) 181.423 * * [simplify]: iteration 9 : 56 enodes (cost 7 ) 181.428 * * [simplify]: iteration 10 : 60 enodes (cost 7 ) 181.435 * * [simplify]: iteration 11 : 71 enodes (cost 7 ) 181.444 * * [simplify]: iteration 12 : 79 enodes (cost 7 ) 181.452 * * [simplify]: iteration 13 : 83 enodes (cost 7 ) 181.460 * * [simplify]: iteration 14 : 88 enodes (cost 7 ) 181.467 * * [simplify]: iteration 15 : 91 enodes (cost 7 ) 181.475 * * [simplify]: iteration 16 : 102 enodes (cost 7 ) 181.489 * * [simplify]: iteration 17 : 127 enodes (cost 7 ) 181.504 * * [simplify]: iteration 18 : 131 enodes (cost 7 ) 181.518 * * [simplify]: iteration done : 131 enodes (cost 7 ) 181.518 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 181.519 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 181.520 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 181.521 * * [simplify]: iteration done : 14 enodes (cost 7 ) 181.522 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 181.523 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 181.524 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 181.526 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 181.528 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 181.531 * * [simplify]: iteration 5 : 30 enodes (cost 7 ) 181.537 * * [simplify]: iteration 6 : 46 enodes (cost 7 ) 181.543 * * [simplify]: iteration 7 : 51 enodes (cost 7 ) 181.548 * * [simplify]: iteration 8 : 56 enodes (cost 7 ) 181.553 * * [simplify]: iteration 9 : 60 enodes (cost 7 ) 181.560 * * [simplify]: iteration 10 : 71 enodes (cost 7 ) 181.569 * * [simplify]: iteration 11 : 79 enodes (cost 7 ) 181.577 * * [simplify]: iteration 12 : 83 enodes (cost 7 ) 181.584 * * [simplify]: iteration 13 : 88 enodes (cost 7 ) 181.594 * * [simplify]: iteration 14 : 91 enodes (cost 7 ) 181.602 * * [simplify]: iteration 15 : 102 enodes (cost 7 ) 181.614 * * [simplify]: iteration 16 : 127 enodes (cost 7 ) 181.631 * * [simplify]: iteration 17 : 131 enodes (cost 7 ) 181.644 * * [simplify]: iteration done : 131 enodes (cost 7 ) 181.645 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 181.646 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 181.647 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 181.651 * * [simplify]: iteration done : 15 enodes (cost 15 ) 181.651 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 181.652 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 181.653 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 181.654 * * [simplify]: iteration done : 14 enodes (cost 7 ) 181.655 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 181.656 * * [simplify]: iteration 1 : 13 enodes (cost 20 ) 181.657 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 181.663 * * [simplify]: iteration 3 : 81 enodes (cost 8 ) 181.695 * * [simplify]: iteration 4 : 285 enodes (cost 8 ) 181.919 * * [simplify]: iteration 5 : 1078 enodes (cost 8 ) 183.911 * * [simplify]: iteration 6 : 3980 enodes (cost 8 ) 185.407 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 185.408 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 185.408 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 185.409 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 185.410 * * [simplify]: iteration done : 14 enodes (cost 7 ) 185.411 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 185.412 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 185.413 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 185.414 * * [simplify]: iteration done : 14 enodes (cost 7 ) 185.415 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 185.416 * * [simplify]: iteration 1 : 29 enodes (cost 8 ) 185.426 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 185.437 * * [simplify]: iteration 3 : 164 enodes (cost 8 ) 185.487 * * [simplify]: iteration 4 : 511 enodes (cost 8 ) 185.862 * * [simplify]: iteration 5 : 1698 enodes (cost 8 ) 187.492 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 187.493 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 187.495 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 187.500 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 187.517 * * [simplify]: iteration 3 : 102 enodes (cost 13 ) 187.542 * * [simplify]: iteration 4 : 181 enodes (cost 13 ) 187.583 * * [simplify]: iteration 5 : 232 enodes (cost 13 ) 187.634 * * [simplify]: iteration 6 : 249 enodes (cost 13 ) 187.682 * * [simplify]: iteration 7 : 262 enodes (cost 13 ) 187.743 * * [simplify]: iteration 8 : 295 enodes (cost 13 ) 187.825 * * [simplify]: iteration 9 : 453 enodes (cost 13 ) 188.104 * * [simplify]: iteration 10 : 1060 enodes (cost 13 ) 189.958 * * [simplify]: iteration 11 : 3339 enodes (cost 13 ) 191.221 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 191.221 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 191.222 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 191.223 * * [simplify]: iteration done : 7 enodes (cost 5 ) 191.223 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 191.225 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 191.227 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 191.231 * * [simplify]: iteration 3 : 68 enodes (cost 11 ) 191.249 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 191.284 * * [simplify]: iteration 5 : 283 enodes (cost 10 ) 191.386 * * [simplify]: iteration 6 : 527 enodes (cost 10 ) 191.683 * * [simplify]: iteration 7 : 1016 enodes (cost 10 ) 193.719 * * [simplify]: iteration 8 : 3040 enodes (cost 10 ) 196.329 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 196.330 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 196.330 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 196.331 * * [simplify]: iteration done : 9 enodes (cost 6 ) 196.332 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.332 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 196.333 * * [simplify]: iteration done : 11 enodes (cost 7 ) 196.334 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.335 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 196.336 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 196.337 * * [simplify]: iteration done : 13 enodes (cost 7 ) 196.337 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 196.338 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 196.339 * * [simplify]: iteration done : 12 enodes (cost 8 ) 196.339 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 196.340 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 196.341 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 196.343 * * [simplify]: iteration done : 16 enodes (cost 8 ) 196.344 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 196.344 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 196.345 * * [simplify]: iteration done : 10 enodes (cost 7 ) 196.346 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 196.347 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 196.347 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 196.348 * * [simplify]: iteration done : 12 enodes (cost 7 ) 196.349 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.350 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 196.351 * * [simplify]: iteration done : 11 enodes (cost 8 ) 196.351 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.352 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 196.353 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 196.355 * * [simplify]: iteration done : 15 enodes (cost 8 ) 196.355 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 196.356 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 196.357 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 196.358 * * [simplify]: iteration done : 13 enodes (cost 6 ) 196.358 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 196.359 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 196.360 * * [simplify]: iteration done : 7 enodes (cost 5 ) 196.360 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 196.360 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 196.361 * * [simplify]: iteration done : 5 enodes (cost 1 ) 196.361 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.362 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 196.363 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 196.365 * * [simplify]: iteration done : 15 enodes (cost 8 ) 196.365 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 196.366 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 196.368 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 196.369 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 196.372 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 196.374 * * [simplify]: iteration 5 : 34 enodes (cost 8 ) 196.377 * * [simplify]: iteration done : 34 enodes (cost 8 ) 196.378 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 196.378 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 196.380 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 196.385 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 196.387 * * [simplify]: iteration 4 : 31 enodes (cost 8 ) 196.390 * * [simplify]: iteration 5 : 36 enodes (cost 8 ) 196.393 * * [simplify]: iteration done : 36 enodes (cost 8 ) 196.394 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 196.395 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 196.396 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 196.398 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 196.400 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 196.402 * * [simplify]: iteration 5 : 32 enodes (cost 8 ) 196.405 * * [simplify]: iteration 6 : 37 enodes (cost 8 ) 196.408 * * [simplify]: iteration done : 37 enodes (cost 8 ) 196.409 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 196.410 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 196.411 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 196.412 * * [simplify]: iteration done : 15 enodes (cost 9 ) 196.413 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 196.415 * * [simplify]: iteration 1 : 23 enodes (cost 22 ) 196.418 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 196.429 * * [simplify]: iteration 3 : 121 enodes (cost 10 ) 196.498 * * [simplify]: iteration 4 : 409 enodes (cost 10 ) 196.845 * * [simplify]: iteration 5 : 1406 enodes (cost 10 ) 200.257 * * [simplify]: iteration 6 : 4982 enodes (cost 10 ) 201.371 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 201.372 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 201.373 * * [simplify]: iteration 1 : 13 enodes (cost 19 ) 201.374 * * [simplify]: iteration 2 : 16 enodes (cost 19 ) 201.376 * * [simplify]: iteration done : 16 enodes (cost 19 ) 201.377 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 201.377 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 201.379 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 201.380 * * [simplify]: iteration done : 15 enodes (cost 9 ) 201.381 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 201.382 * * [simplify]: iteration 1 : 20 enodes (cost 26 ) 201.385 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 201.400 * * [simplify]: iteration 3 : 82 enodes (cost 10 ) 201.412 * * [simplify]: iteration 4 : 121 enodes (cost 10 ) 201.437 * * [simplify]: iteration 5 : 268 enodes (cost 10 ) 201.615 * * [simplify]: iteration 6 : 843 enodes (cost 10 ) 202.710 * * [simplify]: iteration 7 : 2822 enodes (cost 10 ) 204.373 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 204.374 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.375 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.376 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.377 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.378 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.379 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.380 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.381 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.382 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 204.382 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 204.382 * * [simplify]: iteration done : 5 enodes (cost 1 ) 204.383 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 204.383 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 204.384 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 204.386 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 204.388 * * [simplify]: iteration 4 : 24 enodes (cost 6 ) 204.389 * * [simplify]: iteration done : 24 enodes (cost 6 ) 204.390 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 204.391 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 204.394 * * [simplify]: iteration 2 : 33 enodes (cost 17 ) 204.398 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 204.402 * * [simplify]: iteration done : 39 enodes (cost 17 ) 204.402 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.403 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.404 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 204.406 * * [simplify]: iteration done : 16 enodes (cost 9 ) 204.406 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 204.407 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 204.409 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 204.411 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 204.413 * * [simplify]: iteration done : 22 enodes (cost 9 ) 204.414 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.415 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.416 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 204.417 * * [simplify]: iteration done : 16 enodes (cost 9 ) 204.417 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 204.418 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 204.419 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 204.419 * * [simplify]: iteration done : 12 enodes (cost 1 ) 204.420 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.421 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 204.422 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 204.423 * * [simplify]: iteration done : 15 enodes (cost 8 ) 204.424 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 204.425 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 204.426 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 204.428 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 204.430 * * [simplify]: iteration done : 19 enodes (cost 9 ) 204.430 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.432 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 204.435 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.436 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.437 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 204.438 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 204.440 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 204.441 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 204.443 * * [simplify]: iteration done : 20 enodes (cost 10 ) 204.444 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 204.445 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 204.446 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 204.447 * * [simplify]: iteration done : 18 enodes (cost 10 ) 204.448 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 204.449 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 204.450 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 204.452 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 204.453 * * [simplify]: iteration done : 18 enodes (cost 9 ) 204.454 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.455 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.456 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 204.457 * * [simplify]: iteration done : 14 enodes (cost 9 ) 204.458 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 204.459 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 204.461 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 204.462 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 204.464 * * [simplify]: iteration done : 19 enodes (cost 10 ) 204.465 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.466 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 204.467 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 204.468 * * [simplify]: iteration done : 17 enodes (cost 10 ) 204.469 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 204.469 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 204.470 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 204.471 * * [simplify]: iteration done : 12 enodes (cost 1 ) 204.471 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.472 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 204.473 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 204.475 * * [simplify]: iteration done : 15 enodes (cost 8 ) 204.475 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 204.477 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 204.478 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 204.480 * * [simplify]: iteration done : 19 enodes (cost 17 ) 204.480 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.481 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.482 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 204.483 * * [simplify]: iteration done : 16 enodes (cost 9 ) 204.484 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.485 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.486 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 204.488 * * [simplify]: iteration done : 16 enodes (cost 9 ) 204.489 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.489 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.491 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 204.492 * * [simplify]: iteration done : 16 enodes (cost 9 ) 204.492 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 204.493 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 204.493 * * [simplify]: iteration done : 5 enodes (cost 1 ) 204.494 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.494 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 204.495 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 204.497 * * [simplify]: iteration done : 15 enodes (cost 8 ) 204.497 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 204.498 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.499 * * [simplify]: iteration done : 12 enodes (cost 9 ) 204.500 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 204.503 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.504 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 204.506 * * [simplify]: iteration done : 14 enodes (cost 9 ) 204.506 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 204.507 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 204.508 * * [simplify]: iteration done : 13 enodes (cost 10 ) 204.509 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 204.510 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 204.511 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 204.512 * * [simplify]: iteration done : 17 enodes (cost 10 ) 204.514 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.515 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.516 * * [simplify]: iteration done : 12 enodes (cost 9 ) 204.516 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.517 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.518 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 204.520 * * [simplify]: iteration done : 14 enodes (cost 9 ) 204.520 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.521 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 204.522 * * [simplify]: iteration done : 13 enodes (cost 10 ) 204.523 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.524 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 204.525 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 204.526 * * [simplify]: iteration done : 17 enodes (cost 10 ) 204.527 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 204.527 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 204.528 * * [simplify]: iteration done : 5 enodes (cost 1 ) 204.528 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.529 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 204.530 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 204.532 * * [simplify]: iteration done : 15 enodes (cost 8 ) 204.532 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 204.533 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 204.535 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 204.536 * * [simplify]: iteration done : 18 enodes (cost 17 ) 204.537 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.538 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.539 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.540 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.541 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.542 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.543 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.544 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.545 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.546 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.547 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.548 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.549 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 204.549 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 204.550 * * [simplify]: iteration done : 4 enodes (cost 1 ) 204.550 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 204.551 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 204.552 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 204.553 * * [simplify]: iteration done : 14 enodes (cost 8 ) 204.554 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.555 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.556 * * [simplify]: iteration done : 12 enodes (cost 9 ) 204.556 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.557 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.558 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 204.559 * * [simplify]: iteration done : 14 enodes (cost 9 ) 204.560 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.561 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 204.562 * * [simplify]: iteration done : 13 enodes (cost 10 ) 204.563 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.563 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 204.565 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 204.566 * * [simplify]: iteration done : 17 enodes (cost 10 ) 204.567 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.567 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 204.568 * * [simplify]: iteration done : 11 enodes (cost 9 ) 204.569 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.570 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.571 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 204.575 * * [simplify]: iteration done : 13 enodes (cost 9 ) 204.576 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.577 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 204.578 * * [simplify]: iteration done : 12 enodes (cost 10 ) 204.578 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.579 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 204.581 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 204.582 * * [simplify]: iteration done : 16 enodes (cost 10 ) 204.583 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 204.583 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 204.583 * * [simplify]: iteration done : 4 enodes (cost 1 ) 204.584 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 204.585 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 204.586 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 204.587 * * [simplify]: iteration done : 14 enodes (cost 8 ) 204.587 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 204.588 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 204.589 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 204.590 * * [simplify]: iteration done : 14 enodes (cost 8 ) 204.591 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 204.592 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 204.593 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 204.595 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 204.598 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 204.600 * * [simplify]: iteration 5 : 38 enodes (cost 6 ) 204.603 * * [simplify]: iteration done : 38 enodes (cost 6 ) 204.603 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 204.604 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 204.606 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 204.608 * * [simplify]: iteration done : 18 enodes (cost 17 ) 204.608 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.609 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.610 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 204.611 * * [simplify]: iteration done : 15 enodes (cost 9 ) 204.612 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 204.612 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 204.612 * * [simplify]: iteration done : 4 enodes (cost 1 ) 204.613 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.614 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 204.615 * * [simplify]: iteration done : 12 enodes (cost 9 ) 204.615 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 204.616 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 204.617 * * [simplify]: iteration done : 13 enodes (cost 10 ) 204.618 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.619 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 204.620 * * [simplify]: iteration done : 11 enodes (cost 9 ) 204.621 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 204.622 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 204.622 * * [simplify]: iteration done : 12 enodes (cost 10 ) 204.623 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 204.623 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 204.624 * * [simplify]: iteration done : 4 enodes (cost 1 ) 204.624 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.625 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 204.626 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 204.629 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 204.632 * * [simplify]: iteration 4 : 42 enodes (cost 6 ) 204.637 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 204.641 * * [simplify]: iteration done : 45 enodes (cost 6 ) 204.642 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.643 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 204.644 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 204.646 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 204.650 * * [simplify]: iteration 4 : 42 enodes (cost 6 ) 204.654 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 204.656 * * [simplify]: iteration done : 45 enodes (cost 6 ) 204.657 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 204.658 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 204.659 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 204.661 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 204.664 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 204.666 * * [simplify]: iteration 5 : 38 enodes (cost 6 ) 204.668 * * [simplify]: iteration done : 38 enodes (cost 6 ) 204.669 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 204.670 * * [simplify]: iteration 1 : 30 enodes (cost 10 ) 204.674 * * [simplify]: iteration 2 : 68 enodes (cost 10 ) 204.685 * * [simplify]: iteration 3 : 169 enodes (cost 10 ) 204.737 * * [simplify]: iteration 4 : 513 enodes (cost 10 ) 205.110 * * [simplify]: iteration 5 : 1704 enodes (cost 10 ) 206.700 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 206.701 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 206.702 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 206.704 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 206.709 * * [simplify]: iteration 3 : 73 enodes (cost 13 ) 206.721 * * [simplify]: iteration 4 : 129 enodes (cost 12 ) 206.771 * * [simplify]: iteration 5 : 296 enodes (cost 12 ) 206.874 * * [simplify]: iteration 6 : 538 enodes (cost 12 ) 207.177 * * [simplify]: iteration 7 : 1027 enodes (cost 12 ) 209.057 * * [simplify]: iteration 8 : 3050 enodes (cost 12 ) 211.792 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 211.793 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 211.793 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 211.794 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 211.795 * * [simplify]: iteration done : 7 enodes (cost 4 ) 211.795 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 211.796 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 211.796 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 211.797 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 211.798 * * [simplify]: iteration done : 11 enodes (cost 4 ) 211.799 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 211.803 * * [simplify]: iteration done : 5 enodes (cost 5 ) 211.804 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 211.805 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 211.809 * * [simplify]: iteration 2 : 57 enodes (cost 8 ) 211.820 * * [simplify]: iteration 3 : 129 enodes (cost 6 ) 211.850 * * [simplify]: iteration 4 : 216 enodes (cost 6 ) 211.910 * * [simplify]: iteration 5 : 393 enodes (cost 6 ) 212.119 * * [simplify]: iteration 6 : 1245 enodes (cost 6 ) 213.756 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 213.757 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 213.758 * * [simplify]: iteration done : 6 enodes (cost 11 ) 213.758 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 213.759 * * [simplify]: iteration done : 5 enodes (cost 5 ) 213.760 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 213.761 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 213.762 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 213.768 * * [simplify]: iteration 3 : 67 enodes (cost 6 ) 213.783 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 213.816 * * [simplify]: iteration 5 : 201 enodes (cost 6 ) 213.872 * * [simplify]: iteration 6 : 333 enodes (cost 6 ) 214.007 * * [simplify]: iteration 7 : 840 enodes (cost 6 ) 215.065 * * [simplify]: iteration 8 : 3715 enodes (cost 6 ) 216.366 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 216.367 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.368 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.368 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.369 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.369 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 216.370 * * [simplify]: iteration done : 2 enodes (cost 2 ) 216.370 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 216.370 * * [simplify]: iteration done : 3 enodes (cost 3 ) 216.371 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 216.372 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 216.374 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 216.377 * * [simplify]: iteration 3 : 29 enodes (cost 13 ) 216.380 * * [simplify]: iteration done : 29 enodes (cost 13 ) 216.381 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 216.381 * * [simplify]: iteration done : 6 enodes (cost 6 ) 216.382 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 216.386 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 216.387 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 216.388 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 216.390 * * [simplify]: iteration done : 12 enodes (cost 9 ) 216.390 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 216.391 * * [simplify]: iteration done : 6 enodes (cost 6 ) 216.392 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 216.392 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 216.393 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 216.395 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 216.396 * * [simplify]: iteration done : 20 enodes (cost 5 ) 216.397 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.397 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.398 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 216.399 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 216.400 * * [simplify]: iteration done : 9 enodes (cost 10 ) 216.400 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 216.401 * * [simplify]: iteration done : 6 enodes (cost 6 ) 216.401 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 216.402 * * [simplify]: iteration done : 6 enodes (cost 6 ) 216.403 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 216.403 * * [simplify]: iteration done : 6 enodes (cost 6 ) 216.404 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 216.404 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 216.405 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 216.405 * * [simplify]: iteration done : 8 enodes (cost 2 ) 216.406 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.406 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.407 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 216.408 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 216.408 * * [simplify]: iteration done : 10 enodes (cost 9 ) 216.409 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.410 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.410 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.411 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 216.411 * * [simplify]: iteration done : 7 enodes (cost 5 ) 216.412 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.412 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.413 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 216.418 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 216.418 * * [simplify]: iteration done : 4 enodes (cost 1 ) 216.419 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 216.419 * * [simplify]: iteration done : 4 enodes (cost 4 ) 216.420 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 216.421 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 216.421 * * [simplify]: iteration done : 8 enodes (cost 3 ) 216.422 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 216.422 * * [simplify]: iteration done : 4 enodes (cost 4 ) 216.423 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 216.424 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 216.424 * * [simplify]: iteration done : 8 enodes (cost 9 ) 216.425 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.425 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.426 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 216.426 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 216.427 * * [simplify]: iteration done : 5 enodes (cost 1 ) 216.427 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.428 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.429 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.429 * * [simplify]: iteration done : 5 enodes (cost 5 ) 216.430 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 216.430 * * [simplify]: iteration done : 4 enodes (cost 4 ) 216.431 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 216.433 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 216.439 * * [simplify]: iteration 2 : 85 enodes (cost 15 ) 216.451 * * [simplify]: iteration 3 : 139 enodes (cost 13 ) 216.480 * * [simplify]: iteration 4 : 242 enodes (cost 13 ) 216.539 * * [simplify]: iteration 5 : 440 enodes (cost 11 ) 216.779 * * [simplify]: iteration 6 : 1093 enodes (cost 11 ) 219.548 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 219.549 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 219.550 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 219.552 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 219.555 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 219.559 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 219.568 * * [simplify]: iteration 5 : 71 enodes (cost 6 ) 219.578 * * [simplify]: iteration 6 : 75 enodes (cost 6 ) 219.594 * * [simplify]: iteration 7 : 79 enodes (cost 6 ) 219.607 * * [simplify]: iteration 8 : 81 enodes (cost 6 ) 219.619 * * [simplify]: iteration done : 81 enodes (cost 6 ) 219.620 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 219.621 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 219.623 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 219.626 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 219.631 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 219.640 * * [simplify]: iteration 5 : 71 enodes (cost 6 ) 219.654 * * [simplify]: iteration 6 : 75 enodes (cost 6 ) 219.666 * * [simplify]: iteration 7 : 79 enodes (cost 6 ) 219.679 * * [simplify]: iteration 8 : 81 enodes (cost 6 ) 219.691 * * [simplify]: iteration done : 81 enodes (cost 6 ) 219.692 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 219.693 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 219.696 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 219.703 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 219.706 * * [simplify]: iteration 4 : 37 enodes (cost 9 ) 219.710 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 219.715 * * [simplify]: iteration done : 39 enodes (cost 9 ) 219.716 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 219.717 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 219.719 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 219.722 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 219.727 * * [simplify]: iteration 4 : 52 enodes (cost 8 ) 219.736 * * [simplify]: iteration 5 : 72 enodes (cost 8 ) 219.747 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 219.763 * * [simplify]: iteration 7 : 83 enodes (cost 8 ) 219.776 * * [simplify]: iteration 8 : 85 enodes (cost 8 ) 219.788 * * [simplify]: iteration done : 85 enodes (cost 8 ) 219.789 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 219.790 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 219.792 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 219.796 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 219.800 * * [simplify]: iteration 4 : 52 enodes (cost 8 ) 219.810 * * [simplify]: iteration 5 : 72 enodes (cost 8 ) 219.823 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 219.836 * * [simplify]: iteration 7 : 83 enodes (cost 8 ) 219.849 * * [simplify]: iteration 8 : 85 enodes (cost 8 ) 219.862 * * [simplify]: iteration done : 85 enodes (cost 8 ) 219.863 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 219.864 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 219.868 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 219.877 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 219.885 * * [simplify]: iteration 4 : 85 enodes (cost 9 ) 219.896 * * [simplify]: iteration 5 : 129 enodes (cost 9 ) 219.920 * * [simplify]: iteration 6 : 210 enodes (cost 9 ) 219.975 * * [simplify]: iteration 7 : 336 enodes (cost 9 ) 220.050 * * [simplify]: iteration 8 : 567 enodes (cost 9 ) 220.525 * * [simplify]: iteration 9 : 1515 enodes (cost 9 ) 222.815 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 222.815 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 222.816 * * [simplify]: iteration done : 4 enodes (cost 4 ) 222.816 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 222.817 * * [simplify]: iteration done : 4 enodes (cost 4 ) 222.818 * [simplify]: Simplified to: (/ E (exp (/ 1.0 (exp x)))) (log (- 1 (/ 1.0 (exp x)))) (exp (- 1 (/ 1.0 (exp x)))) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))) (pow (- 1 (/ 1.0 (exp x))) 3) (sqrt (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (- 1 (pow (/ 1.0 (exp x)) 3)) (+ (* (/ 1.0 (exp x)) (+ (/ 1.0 (exp x)) 1)) 1) (neg (/ 1.0 (exp x))) (- 1 (* 1.0 (/ 1.0 (exp (+ x x))))) (+ 1 (/ 1.0 (exp x))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ (/ (sqrt 1.0) (sqrt (exp x))) 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ 1.0 (exp x))) (neg (/ 1.0 (exp x))) -1 (neg (log (- 1 (/ 1.0 (exp x))))) (neg (log (- 1 (/ 1.0 (exp x))))) (neg (log (- 1 (/ 1.0 (exp x))))) (neg (log (- 1 (/ 1.0 (exp x))))) (exp (/ 1 (- 1 (/ 1.0 (exp x))))) (/ 1 (pow (- 1 (/ 1.0 (exp x))) 3)) (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) -1 (+ (/ 1.0 (exp x)) -1) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ (sqrt (/ 1.0 (exp x))) 1)) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (/ (sqrt 1.0) (sqrt (exp x))) 1)) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (/ (sqrt 1.0) (sqrt (exp x))) 1)) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (/ (sqrt 1.0) (sqrt (exp x))) 1)) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (/ (sqrt 1.0) (sqrt (exp x))) 1)) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (/ 1 (- 1 (pow (/ 1.0 (exp x)) 3))) (/ 1 (- 1 (/ 1.0 (/ (exp (+ x x)) 1.0)))) (- (log 1.0) x) (- (log 1.0) x) (exp (/ 1.0 (exp x))) (pow (/ 1.0 (exp x)) 3) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (cbrt (/ 1.0 (exp x))) (pow (/ 1.0 (exp x)) 3) (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (neg 1.0) (neg (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (/ (cbrt 1.0) (sqrt (exp x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (exp x)) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (sqrt 1.0) (/ (sqrt 1.0) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1.0 (sqrt (exp x))) 1 (/ 1.0 (exp x)) (exp (neg x)) (/ (exp x) 1.0) (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (sqrt (exp x))) 1.0 (/ (exp x) (cbrt 1.0)) (/ (exp x) (sqrt 1.0)) (/ (exp x) 1.0) (* x (+ 1.0 (* (- (* 0.16666666666666666 x) 0.5) x))) (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (+ (+ 0.5 (/ 1.0 x)) (* 0.08333333333333334 x)) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (+ (* x (- (* x 0.5) 1.0)) 1.0) (/ 1.0 (exp x)) (/ 1.0 (exp x)) 222.818 * * * [progress]: adding candidates to table 222.925 * [progress]: [Phase 3 of 3] Extracting. 222.925 * * [regime]: Finding splitpoints for: (# # # #) 222.925 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x) 222.925 * * * * [regimes]: Trying to branch on (exp x) from (# # # #) 222.959 * * * * [regimes]: Trying to branch on (exp x) from (# #) 222.985 * * * * [regimes]: Trying to branch on x from (# # # #) 223.024 * * * [regime]: Found split indices: #