201.289 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.048 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.049 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.050 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.052 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 0.055 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 0.059 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 0.066 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 0.079 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 0.091 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 0.108 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 0.143 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 0.168 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 0.196 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 0.222 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 0.248 * * [simplify]: iteration done : 216 enodes (cost 8 ) 0.248 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.248 * * [progress]: iteration 1 / 4 0.248 * * * [progress]: picking best candidate 0.252 * * * * [pick]: Picked # 0.252 * * * [progress]: localizing error 0.259 * * * [progress]: generating rewritten candidates 0.259 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.262 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.269 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.283 * * * [progress]: generating series expansions 0.283 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.283 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.283 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.283 * [taylor]: Taking taylor expansion of (/ x y) in y 0.283 * [taylor]: Taking taylor expansion of x in y 0.283 * [taylor]: Taking taylor expansion of y in y 0.283 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.283 * [taylor]: Taking taylor expansion of (/ x y) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.283 * [taylor]: Taking taylor expansion of (/ x y) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.283 * [taylor]: Taking taylor expansion of (log x) in y 0.283 * [taylor]: Taking taylor expansion of x in y 0.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.283 * [taylor]: Taking taylor expansion of y in y 0.284 * [taylor]: Taking taylor expansion of 0 in y 0.284 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.286 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.286 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.286 * [taylor]: Taking taylor expansion of (/ y x) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.286 * [taylor]: Taking taylor expansion of (/ y x) in x 0.286 * [taylor]: Taking taylor expansion of y in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.286 * [taylor]: Taking taylor expansion of (/ y x) in x 0.286 * [taylor]: Taking taylor expansion of y in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.286 * [taylor]: Taking taylor expansion of (log y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (log x) in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.287 * [taylor]: Taking taylor expansion of 0 in y 0.287 * [taylor]: Taking taylor expansion of 0 in y 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.288 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.288 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.288 * [taylor]: Taking taylor expansion of (/ y x) in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of x in y 0.288 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.288 * [taylor]: Taking taylor expansion of (/ y x) in x 0.288 * [taylor]: Taking taylor expansion of y in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.288 * [taylor]: Taking taylor expansion of (/ y x) in x 0.288 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.289 * [taylor]: Taking taylor expansion of (log y) in y 0.289 * [taylor]: Taking taylor expansion of y in y 0.289 * [taylor]: Taking taylor expansion of (log x) in y 0.289 * [taylor]: Taking taylor expansion of x in y 0.289 * [taylor]: Taking taylor expansion of 0 in y 0.290 * [taylor]: Taking taylor expansion of 0 in y 0.291 * [taylor]: Taking taylor expansion of 0 in y 0.291 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.291 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.291 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.291 * [taylor]: Taking taylor expansion of x in y 0.291 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.291 * [taylor]: Taking taylor expansion of (/ x y) in y 0.291 * [taylor]: Taking taylor expansion of x in y 0.291 * [taylor]: Taking taylor expansion of y in y 0.291 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.291 * [taylor]: Taking taylor expansion of (/ x y) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of y in x 0.291 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.291 * [taylor]: Taking taylor expansion of (/ x y) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of y in x 0.291 * [taylor]: Taking taylor expansion of 0 in y 0.292 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.292 * [taylor]: Taking taylor expansion of (log x) in y 0.292 * [taylor]: Taking taylor expansion of x in y 0.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.292 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [taylor]: Taking taylor expansion of 0 in y 0.294 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.294 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.294 * [taylor]: Taking taylor expansion of (/ y x) in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.294 * [taylor]: Taking taylor expansion of (/ y x) in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.294 * [taylor]: Taking taylor expansion of (/ y x) in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.295 * [taylor]: Taking taylor expansion of (log y) in y 0.295 * [taylor]: Taking taylor expansion of y in y 0.295 * [taylor]: Taking taylor expansion of (log x) in y 0.295 * [taylor]: Taking taylor expansion of x in y 0.295 * [taylor]: Taking taylor expansion of 0 in y 0.296 * [taylor]: Taking taylor expansion of 0 in y 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.297 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.297 * [taylor]: Taking taylor expansion of -1 in y 0.297 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.297 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.297 * [taylor]: Taking taylor expansion of (/ y x) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.297 * [taylor]: Taking taylor expansion of x in y 0.297 * [taylor]: Taking taylor expansion of x in y 0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.297 * [taylor]: Taking taylor expansion of -1 in x 0.297 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.297 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.297 * [taylor]: Taking taylor expansion of (/ y x) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.298 * [taylor]: Taking taylor expansion of x in x 0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.298 * [taylor]: Taking taylor expansion of -1 in x 0.298 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.298 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.298 * [taylor]: Taking taylor expansion of (/ y x) in x 0.298 * [taylor]: Taking taylor expansion of y in x 0.298 * [taylor]: Taking taylor expansion of x in x 0.298 * [taylor]: Taking taylor expansion of x in x 0.298 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.298 * [taylor]: Taking taylor expansion of -1 in y 0.298 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.298 * [taylor]: Taking taylor expansion of (log y) in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of (log x) in y 0.298 * [taylor]: Taking taylor expansion of x in y 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.301 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.301 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.301 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.301 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.301 * [taylor]: Taking taylor expansion of x in z 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.301 * [taylor]: Taking taylor expansion of (/ x y) in z 0.301 * [taylor]: Taking taylor expansion of x in z 0.301 * [taylor]: Taking taylor expansion of y in z 0.301 * [taylor]: Taking taylor expansion of z in z 0.301 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.301 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.301 * [taylor]: Taking taylor expansion of x in y 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.301 * [taylor]: Taking taylor expansion of (/ x y) in y 0.301 * [taylor]: Taking taylor expansion of x in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of z in y 0.301 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.301 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.301 * [taylor]: Taking taylor expansion of (/ x y) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of z in x 0.302 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.302 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.302 * [taylor]: Taking taylor expansion of (/ x y) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of z in x 0.302 * [taylor]: Taking taylor expansion of (neg z) in y 0.302 * [taylor]: Taking taylor expansion of z in y 0.302 * [taylor]: Taking taylor expansion of (neg z) in z 0.302 * [taylor]: Taking taylor expansion of z in z 0.302 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.302 * [taylor]: Taking taylor expansion of (log x) in y 0.302 * [taylor]: Taking taylor expansion of x in y 0.302 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.302 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log x)) (log y)) in z 0.303 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in z 0.303 * [taylor]: Taking taylor expansion of (log 1) in z 0.303 * [taylor]: Taking taylor expansion of 1 in z 0.303 * [taylor]: Taking taylor expansion of (log x) in z 0.303 * [taylor]: Taking taylor expansion of x in z 0.303 * [taylor]: Taking taylor expansion of (log y) in z 0.303 * [taylor]: Taking taylor expansion of y in z 0.303 * [taylor]: Taking taylor expansion of 0 in z 0.304 * [taylor]: Taking taylor expansion of 0 in y 0.304 * [taylor]: Taking taylor expansion of 0 in z 0.304 * [taylor]: Taking taylor expansion of 0 in z 0.304 * [taylor]: Taking taylor expansion of 0 in z 0.305 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.305 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.305 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.305 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.305 * [taylor]: Taking taylor expansion of (/ y x) in z 0.305 * [taylor]: Taking taylor expansion of y in z 0.305 * [taylor]: Taking taylor expansion of x in z 0.305 * [taylor]: Taking taylor expansion of x in z 0.305 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.305 * [taylor]: Taking taylor expansion of z in z 0.305 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.305 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.305 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.305 * [taylor]: Taking taylor expansion of (/ y x) in y 0.305 * [taylor]: Taking taylor expansion of y in y 0.305 * [taylor]: Taking taylor expansion of x in y 0.305 * [taylor]: Taking taylor expansion of x in y 0.305 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.305 * [taylor]: Taking taylor expansion of z in y 0.305 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.305 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.305 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.305 * [taylor]: Taking taylor expansion of (/ y x) in x 0.305 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of x in x 0.305 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.306 * [taylor]: Taking taylor expansion of z in x 0.306 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.306 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.306 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.306 * [taylor]: Taking taylor expansion of (/ y x) in x 0.306 * [taylor]: Taking taylor expansion of y in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.306 * [taylor]: Taking taylor expansion of z in x 0.306 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.306 * [taylor]: Taking taylor expansion of (log y) in y 0.306 * [taylor]: Taking taylor expansion of y in y 0.306 * [taylor]: Taking taylor expansion of (log x) in y 0.306 * [taylor]: Taking taylor expansion of x in y 0.306 * [taylor]: Taking taylor expansion of (- (+ (log y) (log 1)) (log x)) in z 0.306 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 0.306 * [taylor]: Taking taylor expansion of (log y) in z 0.306 * [taylor]: Taking taylor expansion of y in z 0.306 * [taylor]: Taking taylor expansion of (log 1) in z 0.306 * [taylor]: Taking taylor expansion of 1 in z 0.306 * [taylor]: Taking taylor expansion of (log x) in z 0.306 * [taylor]: Taking taylor expansion of x in z 0.307 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 0.307 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.307 * [taylor]: Taking taylor expansion of z in y 0.307 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.307 * [taylor]: Taking taylor expansion of z in z 0.307 * [taylor]: Taking taylor expansion of 0 in z 0.308 * [taylor]: Taking taylor expansion of 0 in y 0.308 * [taylor]: Taking taylor expansion of 0 in z 0.308 * [taylor]: Taking taylor expansion of 0 in z 0.308 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [taylor]: Taking taylor expansion of 0 in z 0.311 * [taylor]: Taking taylor expansion of 0 in z 0.311 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.311 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.311 * [taylor]: Taking taylor expansion of z in z 0.311 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.311 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.311 * [taylor]: Taking taylor expansion of (/ y x) in z 0.311 * [taylor]: Taking taylor expansion of y in z 0.312 * [taylor]: Taking taylor expansion of x in z 0.312 * [taylor]: Taking taylor expansion of x in z 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.312 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.312 * [taylor]: Taking taylor expansion of z in y 0.312 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.312 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.312 * [taylor]: Taking taylor expansion of (/ y x) in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.312 * [taylor]: Taking taylor expansion of z in x 0.312 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.312 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ y x) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.312 * [taylor]: Taking taylor expansion of z in x 0.313 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.313 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.313 * [taylor]: Taking taylor expansion of (/ y x) in x 0.313 * [taylor]: Taking taylor expansion of y in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.313 * [taylor]: Taking taylor expansion of (log x) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (log y) in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of (- (log x) (+ (log y) (log 1))) in z 0.313 * [taylor]: Taking taylor expansion of (log x) in z 0.313 * [taylor]: Taking taylor expansion of x in z 0.313 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 0.313 * [taylor]: Taking taylor expansion of (log y) in z 0.313 * [taylor]: Taking taylor expansion of y in z 0.313 * [taylor]: Taking taylor expansion of (log 1) in z 0.313 * [taylor]: Taking taylor expansion of 1 in z 0.314 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.314 * [taylor]: Taking taylor expansion of z in y 0.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.314 * [taylor]: Taking taylor expansion of z in z 0.314 * [taylor]: Taking taylor expansion of 0 in z 0.315 * [taylor]: Taking taylor expansion of 0 in y 0.315 * [taylor]: Taking taylor expansion of 0 in z 0.315 * [taylor]: Taking taylor expansion of 0 in z 0.315 * [taylor]: Taking taylor expansion of 0 in z 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.316 * [taylor]: Taking taylor expansion of 0 in z 0.316 * [taylor]: Taking taylor expansion of 0 in z 0.316 * [taylor]: Taking taylor expansion of 0 in z 0.317 * [taylor]: Taking taylor expansion of 0 in z 0.317 * * * [progress]: simplifying candidates 0.319 * [simplify]: Simplifying using # : (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (log (cbrt (/ x y))) (log (sqrt (/ x y))) (log (sqrt (/ x y))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) (log (/ (cbrt x) (sqrt y))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) y)) (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) (log (/ (sqrt x) (cbrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) y)) (log (/ 1 (* (cbrt y) (cbrt y)))) (log (/ x (cbrt y))) (log (/ 1 (sqrt y))) (log (/ x (sqrt y))) (log (/ 1 1)) (log (/ x y)) (log 1) (log (/ x y)) (log x) (log (/ 1 y)) (log x) (log y) (log (/ x y)) (log (log (/ x y))) (exp (log (/ x y))) (* (cbrt (log (/ x y))) (cbrt (log (/ x y)))) (cbrt (log (/ x y))) (* (* (log (/ x y)) (log (/ x y))) (log (/ x y))) (sqrt (log (/ x y))) (sqrt (log (/ x y))) (* x (log (/ x y))) (+ (log x) (log (log (/ x y)))) (log (* x (log (/ x y)))) (exp (* x (log (/ x y)))) (* (* (* x x) x) (* (* (log (/ x y)) (log (/ x y))) (log (/ x y)))) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (* (* (* x (log (/ x y))) (* x (log (/ x y)))) (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* x (log (* (cbrt (/ x y)) (cbrt (/ x y))))) (* x (log (cbrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* x (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* x (log (/ (cbrt x) (cbrt y)))) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* x (log (/ (cbrt x) (sqrt y)))) (* x (log (/ (* (cbrt x) (cbrt x)) 1))) (* x (log (/ (cbrt x) y))) (* x (log (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* x (log (/ (sqrt x) (cbrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) 1))) (* x (log (/ (sqrt x) y))) (* x (log (/ 1 (* (cbrt y) (cbrt y))))) (* x (log (/ x (cbrt y)))) (* x (log (/ 1 (sqrt y)))) (* x (log (/ x (sqrt y)))) (* x (log (/ 1 1))) (* x (log (/ x y))) (* x (log 1)) (* x (log (/ x y))) (* x (log x)) (* x (log (/ 1 y))) (* (log (* (cbrt (/ x y)) (cbrt (/ x y)))) x) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) 1)) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* (log (/ (sqrt x) (cbrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) 1)) x) (* (log (/ (sqrt x) y)) x) (* (log (/ 1 (* (cbrt y) (cbrt y)))) x) (* (log (/ x (cbrt y))) x) (* (log (/ 1 (sqrt y))) x) (* (log (/ x (sqrt y))) x) (* (log (/ 1 1)) x) (* (log (/ x y)) x) (* (log 1) x) (* (log (/ x y)) x) (* (log x) x) (* (log (/ 1 y)) x) (* x 1) (* x (* (cbrt (log (/ x y))) (cbrt (log (/ x y))))) (* x (sqrt (log (/ x y)))) (* x 1) (* (cbrt x) (log (/ x y))) (* (sqrt x) (log (/ x y))) (* x (log (/ x y))) (/ (exp (* x (log (/ x y)))) (exp z)) (log (- (* x (log (/ x y))) z)) (exp (- (* x (log (/ x y))) z)) (* (cbrt (- (* x (log (/ x y))) z)) (cbrt (- (* x (log (/ x y))) z))) (cbrt (- (* x (log (/ x y))) z)) (* (* (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z)) (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (- (pow (* x (log (/ x y))) 3) (pow z 3)) (+ (* (* x (log (/ x y))) (* x (log (/ x y)))) (+ (* z z) (* (* x (log (/ x y))) z))) (neg z) (- (* (* x (log (/ x y))) (* x (log (/ x y)))) (* z z)) (+ (* x (log (/ x y))) z) (- (* x (log (cbrt (/ x y)))) z) (- (* x (log (sqrt (/ x y)))) z) (- (* x (log (/ (cbrt x) (cbrt y)))) z) (- (* x (log (/ (cbrt x) (sqrt y)))) z) (- (* x (log (/ (cbrt x) y))) z) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* x (log (/ (sqrt x) (sqrt y)))) z) (- (* x (log (/ (sqrt x) y))) z) (- (* x (log (/ x (cbrt y)))) z) (- (* x (log (/ x (sqrt y)))) z) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (* x (log (/ 1 y))) z) (- (* (log (cbrt (/ x y))) x) z) (- (* (log (sqrt (/ x y))) x) z) (- (* (log (/ (cbrt x) (cbrt y))) x) z) (- (* (log (/ (cbrt x) (sqrt y))) x) z) (- (* (log (/ (cbrt x) y)) x) z) (- (* (log (/ (sqrt x) (cbrt y))) x) z) (- (* (log (/ (sqrt x) (sqrt y))) x) z) (- (* (log (/ (sqrt x) y)) x) z) (- (* (log (/ x (cbrt y))) x) z) (- (* (log (/ x (sqrt y))) x) z) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (* (log (/ 1 y)) x) z) (neg z) (- (+ (log 1) (log x)) (log y)) (- (+ (log 1) (log (/ 1 y))) (log (/ 1 x))) (- (+ (log 1) (log (/ -1 y))) (log (/ -1 x))) (* x (- (+ (log 1) (log x)) (log y))) (* x (- (+ (log 1) (log (/ 1 y))) (log (/ 1 x)))) (* (- (+ (log 1) (log (/ -1 y))) (log (/ -1 x))) x) (- (+ (* x (log 1)) (* x (log x))) (+ (* x (log y)) z)) (- (+ (* x (log 1)) (* x (log (/ 1 y)))) (+ (* x (log (/ 1 x))) z)) (- (+ (* x (log 1)) (* x (log (/ -1 y)))) (+ z (* x (log (/ -1 x))))) 0.320 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 0.320 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 0.321 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.322 * * [simplify]: iteration 3 : 11 enodes (cost 7 ) 0.323 * * [simplify]: iteration done : 11 enodes (cost 7 ) 0.324 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.324 * * [simplify]: iteration done : 5 enodes (cost 5 ) 0.325 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.325 * * [simplify]: iteration done : 5 enodes (cost 5 ) 0.326 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.326 * * [simplify]: iteration done : 5 enodes (cost 5 ) 0.327 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 0.332 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 0.334 * * [simplify]: iteration 2 : 38 enodes (cost 12 ) 0.339 * * [simplify]: iteration 3 : 67 enodes (cost 8 ) 0.348 * * [simplify]: iteration 4 : 106 enodes (cost 8 ) 0.365 * * [simplify]: iteration 5 : 141 enodes (cost 8 ) 0.407 * * [simplify]: iteration 6 : 196 enodes (cost 8 ) 0.434 * * [simplify]: iteration 7 : 237 enodes (cost 8 ) 0.471 * * [simplify]: iteration 8 : 274 enodes (cost 8 ) 0.515 * * [simplify]: iteration 9 : 277 enodes (cost 8 ) 0.560 * * [simplify]: iteration done : 277 enodes (cost 8 ) 0.561 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.561 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.562 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.563 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 0.564 * * [simplify]: iteration done : 12 enodes (cost 6 ) 0.565 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.565 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.567 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 0.569 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.573 * * [simplify]: iteration 4 : 41 enodes (cost 9 ) 0.577 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 0.582 * * [simplify]: iteration 6 : 53 enodes (cost 9 ) 0.588 * * [simplify]: iteration 7 : 67 enodes (cost 9 ) 0.595 * * [simplify]: iteration 8 : 79 enodes (cost 9 ) 0.604 * * [simplify]: iteration 9 : 91 enodes (cost 9 ) 0.618 * * [simplify]: iteration 10 : 103 enodes (cost 9 ) 0.627 * * [simplify]: iteration 11 : 104 enodes (cost 9 ) 0.638 * * [simplify]: iteration done : 104 enodes (cost 9 ) 0.639 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.639 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.640 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.641 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 0.642 * * [simplify]: iteration done : 12 enodes (cost 6 ) 0.643 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.643 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.645 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.648 * * [simplify]: iteration 3 : 49 enodes (cost 5 ) 0.655 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 0.661 * * [simplify]: iteration 5 : 84 enodes (cost 5 ) 0.673 * * [simplify]: iteration 6 : 96 enodes (cost 5 ) 0.686 * * [simplify]: iteration 7 : 109 enodes (cost 5 ) 0.698 * * [simplify]: iteration done : 109 enodes (cost 5 ) 0.699 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.699 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.700 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.701 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 0.702 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.703 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.703 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.705 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 0.706 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 0.709 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 0.713 * * [simplify]: iteration 5 : 46 enodes (cost 9 ) 0.719 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 0.729 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 0.739 * * [simplify]: iteration 8 : 84 enodes (cost 9 ) 0.748 * * [simplify]: iteration 9 : 87 enodes (cost 9 ) 0.757 * * [simplify]: iteration done : 87 enodes (cost 9 ) 0.758 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.759 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.759 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.760 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 0.761 * * [simplify]: iteration done : 12 enodes (cost 6 ) 0.762 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.762 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.763 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.764 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 0.765 * * [simplify]: iteration done : 12 enodes (cost 6 ) 0.766 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.766 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.767 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.768 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 0.769 * * [simplify]: iteration done : 12 enodes (cost 6 ) 0.770 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.770 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 0.771 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 0.772 * * [simplify]: iteration 3 : 19 enodes (cost 3 ) 0.773 * * [simplify]: iteration done : 19 enodes (cost 3 ) 0.774 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.774 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.775 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.776 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 0.777 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.778 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.779 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 0.780 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.782 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 0.785 * * [simplify]: iteration 4 : 44 enodes (cost 5 ) 0.797 * * [simplify]: iteration 5 : 74 enodes (cost 5 ) 0.810 * * [simplify]: iteration 6 : 100 enodes (cost 5 ) 0.819 * * [simplify]: iteration 7 : 106 enodes (cost 5 ) 0.830 * * [simplify]: iteration 8 : 115 enodes (cost 5 ) 0.842 * * [simplify]: iteration done : 115 enodes (cost 5 ) 0.843 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.843 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.844 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.845 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 0.846 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.847 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.851 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 0.852 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 0.853 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 0.854 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 0.856 * * [simplify]: iteration 5 : 24 enodes (cost 4 ) 0.858 * * [simplify]: iteration 6 : 29 enodes (cost 4 ) 0.860 * * [simplify]: iteration done : 29 enodes (cost 4 ) 0.860 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.861 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.862 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.863 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 0.864 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.864 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.865 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 0.865 * * [simplify]: iteration done : 7 enodes (cost 1 ) 0.866 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.866 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.867 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 0.868 * * [simplify]: iteration 3 : 10 enodes (cost 4 ) 0.869 * * [simplify]: iteration done : 10 enodes (cost 4 ) 0.869 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 0.870 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 0.870 * * [simplify]: iteration done : 4 enodes (cost 1 ) 0.870 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.871 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.871 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 0.873 * * [simplify]: iteration 3 : 10 enodes (cost 4 ) 0.873 * * [simplify]: iteration done : 10 enodes (cost 4 ) 0.874 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 0.874 * * [simplify]: iteration done : 2 enodes (cost 2 ) 0.875 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.875 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 0.876 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 0.877 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 0.878 * * [simplify]: iteration 4 : 17 enodes (cost 3 ) 0.880 * * [simplify]: iteration 5 : 23 enodes (cost 3 ) 0.882 * * [simplify]: iteration 6 : 28 enodes (cost 3 ) 0.884 * * [simplify]: iteration done : 28 enodes (cost 3 ) 0.884 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 0.884 * * [simplify]: iteration done : 2 enodes (cost 2 ) 0.885 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 0.885 * * [simplify]: iteration done : 2 enodes (cost 2 ) 0.886 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.886 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.887 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 0.888 * * [simplify]: iteration 3 : 10 enodes (cost 4 ) 0.889 * * [simplify]: iteration done : 10 enodes (cost 4 ) 0.889 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.890 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.891 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.892 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 0.893 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.893 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.894 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 0.895 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 0.896 * * [simplify]: iteration 3 : 16 enodes (cost 3 ) 0.897 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 0.899 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 0.902 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 0.906 * * [simplify]: iteration 7 : 57 enodes (cost 3 ) 0.914 * * [simplify]: iteration 8 : 81 enodes (cost 3 ) 0.929 * * [simplify]: iteration 9 : 121 enodes (cost 3 ) 0.950 * * [simplify]: iteration 10 : 178 enodes (cost 3 ) 0.982 * * [simplify]: iteration 11 : 221 enodes (cost 3 ) 1.006 * * [simplify]: iteration 12 : 234 enodes (cost 3 ) 1.025 * * [simplify]: iteration done : 234 enodes (cost 3 ) 1.026 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 1.026 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 1.027 * * [simplify]: iteration 2 : 11 enodes (cost 11 ) 1.028 * * [simplify]: iteration 3 : 12 enodes (cost 11 ) 1.030 * * [simplify]: iteration done : 12 enodes (cost 11 ) 1.030 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 1.031 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 1.031 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 1.035 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 1.036 * * [simplify]: iteration done : 11 enodes (cost 5 ) 1.037 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 1.038 * * [simplify]: iteration 1 : 10 enodes (cost 14 ) 1.040 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 1.041 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 1.047 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 1.062 * * [simplify]: iteration 5 : 189 enodes (cost 6 ) 1.128 * * [simplify]: iteration 6 : 524 enodes (cost 6 ) 1.597 * * [simplify]: iteration 7 : 1780 enodes (cost 6 ) 4.408 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.409 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.409 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 4.410 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 4.411 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 4.412 * * [simplify]: iteration done : 11 enodes (cost 5 ) 4.413 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.413 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 4.414 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 4.415 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 4.416 * * [simplify]: iteration done : 11 enodes (cost 5 ) 4.416 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 4.417 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.418 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 4.419 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 4.421 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 4.430 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 4.433 * * [simplify]: iteration done : 27 enodes (cost 6 ) 4.433 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.434 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 4.435 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 4.436 * * [simplify]: iteration 3 : 13 enodes (cost 8 ) 4.437 * * [simplify]: iteration done : 13 enodes (cost 8 ) 4.438 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.439 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.440 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 4.441 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 4.444 * * [simplify]: iteration 4 : 27 enodes (cost 7 ) 4.447 * * [simplify]: iteration 5 : 31 enodes (cost 7 ) 4.451 * * [simplify]: iteration done : 31 enodes (cost 7 ) 4.451 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.452 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 4.454 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 4.456 * * [simplify]: iteration 3 : 46 enodes (cost 5 ) 4.463 * * [simplify]: iteration 4 : 87 enodes (cost 5 ) 4.476 * * [simplify]: iteration 5 : 195 enodes (cost 5 ) 4.543 * * [simplify]: iteration 6 : 396 enodes (cost 5 ) 4.786 * * [simplify]: iteration 7 : 1080 enodes (cost 5 ) 6.485 * * [simplify]: iteration 8 : 3885 enodes (cost 5 ) 7.646 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 7.647 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 7.648 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 7.651 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 7.661 * * [simplify]: iteration 3 : 128 enodes (cost 10 ) 7.705 * * [simplify]: iteration 4 : 428 enodes (cost 8 ) 8.012 * * [simplify]: iteration 5 : 1391 enodes (cost 8 ) 9.824 * * [simplify]: iteration 6 : 4871 enodes (cost 8 ) 11.544 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 11.545 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 11.546 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 11.547 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 11.549 * * [simplify]: iteration 3 : 20 enodes (cost 15 ) 11.551 * * [simplify]: iteration 4 : 25 enodes (cost 15 ) 11.554 * * [simplify]: iteration 5 : 29 enodes (cost 15 ) 11.557 * * [simplify]: iteration done : 29 enodes (cost 15 ) 11.558 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 11.559 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 11.560 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 11.561 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 11.563 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 11.566 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 11.569 * * [simplify]: iteration done : 28 enodes (cost 7 ) 11.570 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 11.571 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 11.575 * * [simplify]: iteration 2 : 52 enodes (cost 8 ) 11.592 * * [simplify]: iteration 3 : 138 enodes (cost 8 ) 11.638 * * [simplify]: iteration 4 : 425 enodes (cost 8 ) 11.902 * * [simplify]: iteration 5 : 1240 enodes (cost 8 ) 13.261 * * [simplify]: iteration 6 : 3959 enodes (cost 8 ) 15.190 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 15.191 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.197 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.198 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 15.199 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 15.201 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 15.204 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 15.207 * * [simplify]: iteration done : 28 enodes (cost 7 ) 15.208 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.209 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.210 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 15.211 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 15.213 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 15.216 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 15.219 * * [simplify]: iteration done : 28 enodes (cost 7 ) 15.220 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 15.220 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 15.221 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 15.223 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 15.224 * * [simplify]: iteration done : 14 enodes (cost 8 ) 15.225 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 15.225 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 15.227 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 15.228 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 15.229 * * [simplify]: iteration done : 14 enodes (cost 8 ) 15.230 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 15.230 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 15.232 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 15.234 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 15.237 * * [simplify]: iteration 4 : 26 enodes (cost 9 ) 15.240 * * [simplify]: iteration done : 26 enodes (cost 9 ) 15.240 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.241 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 15.242 * * [simplify]: iteration done : 7 enodes (cost 7 ) 15.243 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.243 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 15.244 * * [simplify]: iteration done : 7 enodes (cost 7 ) 15.244 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.245 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 15.246 * * [simplify]: iteration done : 7 enodes (cost 7 ) 15.246 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 15.248 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 15.250 * * [simplify]: iteration 2 : 40 enodes (cost 14 ) 15.258 * * [simplify]: iteration 3 : 79 enodes (cost 10 ) 15.271 * * [simplify]: iteration 4 : 154 enodes (cost 10 ) 15.301 * * [simplify]: iteration 5 : 237 enodes (cost 10 ) 15.375 * * [simplify]: iteration 6 : 361 enodes (cost 10 ) 15.456 * * [simplify]: iteration 7 : 479 enodes (cost 10 ) 15.583 * * [simplify]: iteration 8 : 653 enodes (cost 10 ) 15.819 * * [simplify]: iteration 9 : 783 enodes (cost 10 ) 16.021 * * [simplify]: iteration 10 : 784 enodes (cost 10 ) 16.222 * * [simplify]: iteration done : 784 enodes (cost 10 ) 16.222 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.223 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 16.224 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 16.228 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 16.230 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 16.233 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 16.236 * * [simplify]: iteration done : 29 enodes (cost 8 ) 16.237 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 16.238 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 16.239 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 16.242 * * [simplify]: iteration 3 : 41 enodes (cost 11 ) 16.247 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 16.257 * * [simplify]: iteration 5 : 95 enodes (cost 11 ) 16.271 * * [simplify]: iteration 6 : 118 enodes (cost 11 ) 16.289 * * [simplify]: iteration 7 : 151 enodes (cost 11 ) 16.312 * * [simplify]: iteration 8 : 199 enodes (cost 11 ) 16.351 * * [simplify]: iteration 9 : 254 enodes (cost 11 ) 16.428 * * [simplify]: iteration 10 : 328 enodes (cost 11 ) 16.481 * * [simplify]: iteration 11 : 348 enodes (cost 11 ) 16.534 * * [simplify]: iteration 12 : 352 enodes (cost 11 ) 16.589 * * [simplify]: iteration done : 352 enodes (cost 11 ) 16.590 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.591 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 16.592 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 16.593 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 16.595 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 16.598 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 16.601 * * [simplify]: iteration done : 29 enodes (cost 8 ) 16.602 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 16.603 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 16.608 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 16.612 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 16.623 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 16.637 * * [simplify]: iteration 5 : 133 enodes (cost 7 ) 16.658 * * [simplify]: iteration 6 : 166 enodes (cost 7 ) 16.699 * * [simplify]: iteration 7 : 236 enodes (cost 7 ) 16.802 * * [simplify]: iteration 8 : 300 enodes (cost 7 ) 16.857 * * [simplify]: iteration 9 : 302 enodes (cost 7 ) 16.908 * * [simplify]: iteration done : 302 enodes (cost 7 ) 16.909 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.909 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 16.911 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 16.912 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 16.914 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 16.917 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 16.920 * * [simplify]: iteration done : 28 enodes (cost 7 ) 16.920 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 16.921 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 16.923 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 16.925 * * [simplify]: iteration 3 : 34 enodes (cost 11 ) 16.930 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 16.941 * * [simplify]: iteration 5 : 95 enodes (cost 11 ) 16.959 * * [simplify]: iteration 6 : 131 enodes (cost 11 ) 16.986 * * [simplify]: iteration 7 : 171 enodes (cost 11 ) 17.024 * * [simplify]: iteration 8 : 237 enodes (cost 11 ) 17.102 * * [simplify]: iteration 9 : 316 enodes (cost 11 ) 17.150 * * [simplify]: iteration 10 : 342 enodes (cost 11 ) 17.201 * * [simplify]: iteration 11 : 343 enodes (cost 11 ) 17.257 * * [simplify]: iteration done : 343 enodes (cost 11 ) 17.257 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 17.258 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 17.259 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 17.260 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 17.263 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 17.265 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 17.269 * * [simplify]: iteration done : 29 enodes (cost 8 ) 17.269 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 17.270 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 17.271 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 17.272 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 17.275 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 17.277 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 17.281 * * [simplify]: iteration done : 29 enodes (cost 8 ) 17.282 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 17.282 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 17.283 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 17.285 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 17.287 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 17.290 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 17.293 * * [simplify]: iteration done : 29 enodes (cost 8 ) 17.294 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.295 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 17.296 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 17.297 * * [simplify]: iteration 3 : 25 enodes (cost 5 ) 17.300 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 17.301 * * [simplify]: iteration done : 28 enodes (cost 5 ) 17.302 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.303 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 17.304 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 17.305 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 17.307 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 17.310 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 17.313 * * [simplify]: iteration done : 28 enodes (cost 7 ) 17.314 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 17.315 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 17.319 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 17.322 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 17.330 * * [simplify]: iteration 4 : 84 enodes (cost 7 ) 17.352 * * [simplify]: iteration 5 : 148 enodes (cost 7 ) 17.390 * * [simplify]: iteration 6 : 210 enodes (cost 7 ) 17.444 * * [simplify]: iteration 7 : 240 enodes (cost 7 ) 17.492 * * [simplify]: iteration 8 : 287 enodes (cost 7 ) 17.607 * * [simplify]: iteration 9 : 366 enodes (cost 7 ) 17.662 * * [simplify]: iteration done : 366 enodes (cost 7 ) 17.663 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.663 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 17.664 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 17.666 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 17.668 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 17.671 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 17.674 * * [simplify]: iteration done : 28 enodes (cost 7 ) 17.674 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 17.675 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 17.676 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 17.678 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 17.682 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 17.686 * * [simplify]: iteration 5 : 44 enodes (cost 6 ) 17.692 * * [simplify]: iteration 6 : 58 enodes (cost 6 ) 17.701 * * [simplify]: iteration 7 : 69 enodes (cost 6 ) 17.709 * * [simplify]: iteration done : 69 enodes (cost 6 ) 17.710 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.711 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 17.712 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 17.713 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 17.715 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 17.718 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 17.721 * * [simplify]: iteration done : 28 enodes (cost 7 ) 17.722 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 17.723 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 17.723 * * [simplify]: iteration done : 10 enodes (cost 1 ) 17.724 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 17.724 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 17.725 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 17.727 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 17.729 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 17.731 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 17.734 * * [simplify]: iteration done : 27 enodes (cost 6 ) 17.735 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 17.736 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 17.736 * * [simplify]: iteration done : 7 enodes (cost 1 ) 17.737 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 17.737 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 17.738 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 17.739 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 17.742 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 17.745 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 17.748 * * [simplify]: iteration done : 27 enodes (cost 6 ) 17.748 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 17.749 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 17.749 * * [simplify]: iteration done : 4 enodes (cost 4 ) 17.750 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 17.750 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 17.752 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 17.754 * * [simplify]: iteration 3 : 29 enodes (cost 5 ) 17.758 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 17.762 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 17.770 * * [simplify]: iteration 6 : 57 enodes (cost 5 ) 17.779 * * [simplify]: iteration 7 : 68 enodes (cost 5 ) 17.784 * * [simplify]: iteration done : 68 enodes (cost 5 ) 17.785 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 17.785 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 17.786 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 17.788 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 17.791 * * [simplify]: iteration 4 : 26 enodes (cost 9 ) 17.795 * * [simplify]: iteration done : 26 enodes (cost 9 ) 17.795 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.796 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 17.796 * * [simplify]: iteration done : 7 enodes (cost 7 ) 17.797 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.798 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 17.798 * * [simplify]: iteration done : 7 enodes (cost 7 ) 17.799 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.799 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 17.800 * * [simplify]: iteration done : 7 enodes (cost 7 ) 17.801 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 17.802 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 17.804 * * [simplify]: iteration 2 : 40 enodes (cost 14 ) 17.810 * * [simplify]: iteration 3 : 79 enodes (cost 10 ) 17.823 * * [simplify]: iteration 4 : 154 enodes (cost 10 ) 17.855 * * [simplify]: iteration 5 : 237 enodes (cost 10 ) 17.926 * * [simplify]: iteration 6 : 361 enodes (cost 10 ) 18.009 * * [simplify]: iteration 7 : 479 enodes (cost 10 ) 18.134 * * [simplify]: iteration 8 : 653 enodes (cost 10 ) 18.374 * * [simplify]: iteration 9 : 783 enodes (cost 10 ) 18.572 * * [simplify]: iteration 10 : 784 enodes (cost 10 ) 18.784 * * [simplify]: iteration done : 784 enodes (cost 10 ) 18.784 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.785 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 18.786 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 18.787 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 18.790 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 18.793 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 18.796 * * [simplify]: iteration done : 29 enodes (cost 8 ) 18.797 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 18.798 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 18.799 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 18.801 * * [simplify]: iteration 3 : 41 enodes (cost 11 ) 18.807 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 18.822 * * [simplify]: iteration 5 : 95 enodes (cost 11 ) 18.836 * * [simplify]: iteration 6 : 118 enodes (cost 11 ) 18.853 * * [simplify]: iteration 7 : 151 enodes (cost 11 ) 18.878 * * [simplify]: iteration 8 : 199 enodes (cost 11 ) 18.914 * * [simplify]: iteration 9 : 254 enodes (cost 11 ) 18.994 * * [simplify]: iteration 10 : 328 enodes (cost 11 ) 19.049 * * [simplify]: iteration 11 : 348 enodes (cost 11 ) 19.103 * * [simplify]: iteration 12 : 352 enodes (cost 11 ) 19.159 * * [simplify]: iteration done : 352 enodes (cost 11 ) 19.159 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 19.160 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 19.161 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 19.162 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 19.165 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 19.167 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 19.171 * * [simplify]: iteration done : 29 enodes (cost 8 ) 19.171 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 19.172 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 19.174 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 19.178 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 19.190 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 19.207 * * [simplify]: iteration 5 : 133 enodes (cost 7 ) 19.227 * * [simplify]: iteration 6 : 166 enodes (cost 7 ) 19.270 * * [simplify]: iteration 7 : 236 enodes (cost 7 ) 19.375 * * [simplify]: iteration 8 : 300 enodes (cost 7 ) 19.429 * * [simplify]: iteration 9 : 302 enodes (cost 7 ) 19.480 * * [simplify]: iteration done : 302 enodes (cost 7 ) 19.481 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.482 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 19.483 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 19.484 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 19.486 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 19.489 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 19.492 * * [simplify]: iteration done : 28 enodes (cost 7 ) 19.493 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 19.494 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 19.495 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 19.498 * * [simplify]: iteration 3 : 34 enodes (cost 11 ) 19.502 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 19.511 * * [simplify]: iteration 5 : 95 enodes (cost 11 ) 19.532 * * [simplify]: iteration 6 : 131 enodes (cost 11 ) 19.559 * * [simplify]: iteration 7 : 171 enodes (cost 11 ) 19.597 * * [simplify]: iteration 8 : 237 enodes (cost 11 ) 19.673 * * [simplify]: iteration 9 : 316 enodes (cost 11 ) 19.722 * * [simplify]: iteration 10 : 342 enodes (cost 11 ) 19.776 * * [simplify]: iteration 11 : 343 enodes (cost 11 ) 19.830 * * [simplify]: iteration done : 343 enodes (cost 11 ) 19.831 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 19.832 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 19.833 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 19.834 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 19.836 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 19.839 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 19.842 * * [simplify]: iteration done : 29 enodes (cost 8 ) 19.843 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 19.844 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 19.845 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 19.846 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 19.848 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 19.851 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 19.857 * * [simplify]: iteration done : 29 enodes (cost 8 ) 19.858 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 19.859 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 19.860 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 19.861 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 19.863 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 19.866 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 19.869 * * [simplify]: iteration done : 29 enodes (cost 8 ) 19.870 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.871 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 19.872 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 19.873 * * [simplify]: iteration 3 : 25 enodes (cost 5 ) 19.876 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 19.878 * * [simplify]: iteration done : 28 enodes (cost 5 ) 19.879 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.879 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 19.880 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 19.881 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 19.884 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 19.887 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 19.890 * * [simplify]: iteration done : 28 enodes (cost 7 ) 19.891 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 19.892 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 19.893 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 19.896 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 19.904 * * [simplify]: iteration 4 : 84 enodes (cost 7 ) 19.929 * * [simplify]: iteration 5 : 148 enodes (cost 7 ) 19.965 * * [simplify]: iteration 6 : 210 enodes (cost 7 ) 20.020 * * [simplify]: iteration 7 : 240 enodes (cost 7 ) 20.069 * * [simplify]: iteration 8 : 287 enodes (cost 7 ) 20.184 * * [simplify]: iteration 9 : 366 enodes (cost 7 ) 20.240 * * [simplify]: iteration done : 366 enodes (cost 7 ) 20.240 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.241 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.242 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 20.243 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 20.248 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 20.251 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 20.254 * * [simplify]: iteration done : 28 enodes (cost 7 ) 20.255 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.255 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 20.257 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 20.259 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 20.263 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 20.267 * * [simplify]: iteration 5 : 44 enodes (cost 6 ) 20.273 * * [simplify]: iteration 6 : 58 enodes (cost 6 ) 20.281 * * [simplify]: iteration 7 : 69 enodes (cost 6 ) 20.286 * * [simplify]: iteration done : 69 enodes (cost 6 ) 20.287 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.288 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.289 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 20.290 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 20.293 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 20.296 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 20.299 * * [simplify]: iteration done : 28 enodes (cost 7 ) 20.299 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 20.300 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 20.301 * * [simplify]: iteration done : 10 enodes (cost 1 ) 20.301 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 20.302 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.303 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 20.304 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 20.310 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 20.312 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 20.315 * * [simplify]: iteration done : 27 enodes (cost 6 ) 20.316 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 20.316 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 20.317 * * [simplify]: iteration done : 7 enodes (cost 1 ) 20.317 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 20.318 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.319 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 20.320 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 20.323 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 20.325 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 20.328 * * [simplify]: iteration done : 27 enodes (cost 6 ) 20.329 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 20.329 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 20.330 * * [simplify]: iteration done : 4 enodes (cost 4 ) 20.330 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.331 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 20.332 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 20.334 * * [simplify]: iteration 3 : 29 enodes (cost 5 ) 20.338 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 20.342 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 20.348 * * [simplify]: iteration 6 : 57 enodes (cost 5 ) 20.357 * * [simplify]: iteration 7 : 68 enodes (cost 5 ) 20.362 * * [simplify]: iteration done : 68 enodes (cost 5 ) 20.362 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.363 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 20.363 * * [simplify]: iteration done : 6 enodes (cost 1 ) 20.364 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 20.364 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 20.366 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 20.368 * * [simplify]: iteration 3 : 18 enodes (cost 13 ) 20.373 * * [simplify]: iteration done : 18 enodes (cost 13 ) 20.374 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.374 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.375 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 20.377 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 20.378 * * [simplify]: iteration done : 13 enodes (cost 7 ) 20.378 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.379 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 20.379 * * [simplify]: iteration done : 6 enodes (cost 1 ) 20.380 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.380 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.382 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 20.383 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 20.385 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 20.388 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 20.391 * * [simplify]: iteration done : 28 enodes (cost 7 ) 20.392 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.392 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.393 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 20.395 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 20.397 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 20.400 * * [simplify]: iteration 5 : 28 enodes (cost 7 ) 20.403 * * [simplify]: iteration done : 28 enodes (cost 7 ) 20.404 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 20.405 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 20.406 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 20.407 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 20.409 * * [simplify]: iteration 4 : 23 enodes (cost 6 ) 20.412 * * [simplify]: iteration 5 : 27 enodes (cost 6 ) 20.415 * * [simplify]: iteration done : 27 enodes (cost 6 ) 20.415 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 20.416 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 20.418 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 20.422 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 20.430 * * [simplify]: iteration 4 : 119 enodes (cost 8 ) 20.455 * * [simplify]: iteration 5 : 299 enodes (cost 8 ) 20.584 * * [simplify]: iteration 6 : 773 enodes (cost 8 ) 21.665 * * [simplify]: iteration 7 : 2775 enodes (cost 8 ) 23.236 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 23.237 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.238 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 23.239 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 23.241 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 23.244 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 23.249 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 23.256 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 23.268 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 23.280 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 23.297 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 23.333 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 23.358 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 23.387 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 23.412 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 23.441 * * [simplify]: iteration done : 215 enodes (cost 9 ) 23.442 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.443 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 23.445 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 23.448 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 23.455 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 23.472 * * [simplify]: iteration 5 : 233 enodes (cost 8 ) 23.574 * * [simplify]: iteration 6 : 633 enodes (cost 8 ) 24.040 * * [simplify]: iteration 7 : 1645 enodes (cost 8 ) 26.533 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 26.534 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 26.535 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 26.537 * * [simplify]: iteration 2 : 18 enodes (cost 19 ) 26.539 * * [simplify]: iteration 3 : 25 enodes (cost 19 ) 26.542 * * [simplify]: iteration 4 : 36 enodes (cost 19 ) 26.552 * * [simplify]: iteration 5 : 50 enodes (cost 19 ) 26.559 * * [simplify]: iteration 6 : 58 enodes (cost 19 ) 26.568 * * [simplify]: iteration 7 : 70 enodes (cost 19 ) 26.579 * * [simplify]: iteration 8 : 96 enodes (cost 19 ) 26.596 * * [simplify]: iteration 9 : 139 enodes (cost 19 ) 26.634 * * [simplify]: iteration 10 : 196 enodes (cost 19 ) 26.662 * * [simplify]: iteration 11 : 207 enodes (cost 19 ) 26.688 * * [simplify]: iteration 12 : 213 enodes (cost 19 ) 26.716 * * [simplify]: iteration 13 : 216 enodes (cost 19 ) 26.742 * * [simplify]: iteration done : 216 enodes (cost 19 ) 26.742 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.743 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 26.745 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 26.746 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 26.749 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 26.754 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 26.761 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 26.772 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 26.785 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 26.802 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 26.839 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 26.864 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 26.893 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 26.919 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 26.947 * * [simplify]: iteration done : 215 enodes (cost 9 ) 26.947 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 26.949 * * [simplify]: iteration 1 : 16 enodes (cost 26 ) 26.951 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 26.957 * * [simplify]: iteration 3 : 99 enodes (cost 10 ) 26.984 * * [simplify]: iteration 4 : 375 enodes (cost 10 ) 27.197 * * [simplify]: iteration 5 : 1743 enodes (cost 10 ) 28.201 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 28.202 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.203 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 28.204 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 28.206 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 28.209 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 28.214 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 28.221 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 28.229 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 28.241 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 28.262 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 28.294 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 28.323 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 28.348 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 28.376 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 28.401 * * [simplify]: iteration done : 215 enodes (cost 9 ) 28.402 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.402 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 28.404 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 28.406 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 28.409 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 28.416 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 28.423 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 28.431 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 28.443 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 28.460 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 28.496 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 28.525 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 28.549 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 28.578 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 28.602 * * [simplify]: iteration done : 215 enodes (cost 9 ) 28.603 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 28.604 * * [simplify]: iteration 1 : 32 enodes (cost 12 ) 28.609 * * [simplify]: iteration 2 : 85 enodes (cost 12 ) 28.628 * * [simplify]: iteration 3 : 224 enodes (cost 12 ) 28.713 * * [simplify]: iteration 4 : 685 enodes (cost 12 ) 29.185 * * [simplify]: iteration 5 : 2273 enodes (cost 12 ) 30.322 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 30.323 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 30.324 * * [simplify]: iteration 1 : 31 enodes (cost 24 ) 30.329 * * [simplify]: iteration 2 : 58 enodes (cost 24 ) 30.341 * * [simplify]: iteration 3 : 112 enodes (cost 19 ) 30.366 * * [simplify]: iteration 4 : 268 enodes (cost 19 ) 30.447 * * [simplify]: iteration 5 : 623 enodes (cost 19 ) 30.787 * * [simplify]: iteration 6 : 1677 enodes (cost 19 ) 33.344 * * [simplify]: iteration 7 : 4986 enodes (cost 19 ) 34.629 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 34.630 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 34.631 * * [simplify]: iteration done : 2 enodes (cost 2 ) 34.631 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 34.633 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 34.636 * * [simplify]: iteration 2 : 45 enodes (cost 17 ) 34.651 * * [simplify]: iteration 3 : 93 enodes (cost 17 ) 34.671 * * [simplify]: iteration 4 : 251 enodes (cost 17 ) 34.747 * * [simplify]: iteration 5 : 729 enodes (cost 17 ) 35.265 * * [simplify]: iteration 6 : 2466 enodes (cost 17 ) 36.528 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 36.528 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.529 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 36.530 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 36.532 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 36.535 * * [simplify]: iteration 4 : 30 enodes (cost 8 ) 36.538 * * [simplify]: iteration 5 : 39 enodes (cost 8 ) 36.550 * * [simplify]: iteration 6 : 42 enodes (cost 8 ) 36.556 * * [simplify]: iteration 7 : 48 enodes (cost 8 ) 36.563 * * [simplify]: iteration 8 : 59 enodes (cost 8 ) 36.573 * * [simplify]: iteration 9 : 82 enodes (cost 8 ) 36.586 * * [simplify]: iteration 10 : 109 enodes (cost 8 ) 36.612 * * [simplify]: iteration 11 : 138 enodes (cost 8 ) 36.629 * * [simplify]: iteration 12 : 152 enodes (cost 8 ) 36.651 * * [simplify]: iteration 13 : 173 enodes (cost 8 ) 36.682 * * [simplify]: iteration 14 : 196 enodes (cost 8 ) 36.707 * * [simplify]: iteration 15 : 197 enodes (cost 8 ) 36.736 * * [simplify]: iteration done : 197 enodes (cost 8 ) 36.737 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.738 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 36.739 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 36.740 * * [simplify]: iteration done : 12 enodes (cost 9 ) 36.741 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.742 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 36.743 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 36.744 * * [simplify]: iteration done : 12 enodes (cost 9 ) 36.745 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 36.746 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 36.747 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 36.749 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 36.752 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 36.757 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 36.764 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 36.775 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 36.788 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 36.805 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 36.842 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 36.867 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 36.896 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 36.923 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 36.950 * * [simplify]: iteration done : 218 enodes (cost 10 ) 36.951 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 36.952 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 36.953 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 36.956 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 36.959 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 36.963 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 36.970 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 36.979 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 36.991 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 37.012 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 37.045 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 37.074 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 37.099 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 37.128 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 37.152 * * [simplify]: iteration done : 218 enodes (cost 10 ) 37.153 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.154 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 37.155 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 37.157 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 37.160 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 37.168 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 37.175 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 37.184 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 37.196 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 37.212 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 37.251 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 37.281 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 37.306 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 37.335 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 37.361 * * [simplify]: iteration done : 215 enodes (cost 9 ) 37.361 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 37.362 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 37.364 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 37.366 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 37.369 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 37.373 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 37.380 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 37.392 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 37.404 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 37.422 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 37.459 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 37.484 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 37.513 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 37.539 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 37.567 * * [simplify]: iteration done : 218 enodes (cost 10 ) 37.568 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 37.569 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 37.571 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 37.572 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 37.576 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 37.581 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 37.588 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 37.596 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 37.609 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 37.630 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 37.664 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 37.693 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 37.719 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 37.747 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 37.773 * * [simplify]: iteration done : 218 enodes (cost 10 ) 37.774 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.775 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 37.776 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 37.778 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 37.781 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 37.789 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 37.796 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 37.805 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 37.817 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 37.835 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 37.873 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 37.902 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 37.927 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 37.953 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 37.980 * * [simplify]: iteration done : 215 enodes (cost 9 ) 37.981 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.982 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 37.983 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 37.985 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 37.988 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 37.993 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 38.000 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 38.008 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 38.023 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 38.040 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 38.077 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 38.102 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 38.132 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 38.157 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 38.185 * * [simplify]: iteration done : 215 enodes (cost 9 ) 38.186 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.187 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 38.188 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 38.190 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 38.193 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 38.198 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 38.205 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 38.213 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 38.225 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 38.247 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 38.280 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 38.309 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 38.334 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 38.363 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 38.387 * * [simplify]: iteration done : 215 enodes (cost 9 ) 38.388 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.389 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 38.391 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 38.392 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 38.395 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 38.400 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 38.410 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 38.418 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 38.430 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 38.447 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 38.484 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 38.509 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 38.538 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 38.564 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 38.592 * * [simplify]: iteration done : 216 enodes (cost 8 ) 38.592 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.593 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 38.595 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 38.596 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 38.599 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 38.604 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 38.611 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 38.619 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 38.634 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 38.651 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 38.688 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 38.713 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 38.742 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 38.767 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 38.795 * * [simplify]: iteration done : 216 enodes (cost 8 ) 38.796 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 38.797 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 38.799 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 38.801 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 38.807 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 38.815 * * [simplify]: iteration 5 : 70 enodes (cost 7 ) 38.827 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 38.849 * * [simplify]: iteration 7 : 147 enodes (cost 7 ) 38.866 * * [simplify]: iteration 8 : 157 enodes (cost 7 ) 38.880 * * [simplify]: iteration 9 : 175 enodes (cost 7 ) 38.901 * * [simplify]: iteration 10 : 194 enodes (cost 7 ) 38.920 * * [simplify]: iteration 11 : 196 enodes (cost 7 ) 38.935 * * [simplify]: iteration 12 : 198 enodes (cost 7 ) 38.951 * * [simplify]: iteration done : 198 enodes (cost 7 ) 38.952 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.953 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 38.954 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 38.956 * * [simplify]: iteration done : 12 enodes (cost 9 ) 38.956 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.957 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 38.958 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 38.959 * * [simplify]: iteration done : 12 enodes (cost 9 ) 38.960 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 38.961 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 38.963 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 38.965 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 38.968 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 38.975 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 38.982 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 38.990 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 39.003 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 39.020 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 39.057 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 39.086 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 39.110 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 39.140 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 39.164 * * [simplify]: iteration done : 218 enodes (cost 10 ) 39.164 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 39.166 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 39.167 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 39.169 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 39.172 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 39.177 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 39.184 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 39.195 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 39.207 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 39.225 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 39.261 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 39.286 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 39.315 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 39.341 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 39.368 * * [simplify]: iteration done : 218 enodes (cost 10 ) 39.369 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 39.370 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 39.371 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 39.373 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 39.376 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 39.381 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 39.388 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 39.396 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 39.409 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 39.430 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 39.464 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 39.493 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 39.518 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 39.548 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 39.573 * * [simplify]: iteration done : 215 enodes (cost 9 ) 39.573 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 39.575 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 39.576 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 39.578 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 39.581 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 39.589 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 39.596 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 39.605 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 39.617 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 39.635 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 39.671 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 39.697 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 39.725 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 39.751 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 39.778 * * [simplify]: iteration done : 218 enodes (cost 10 ) 39.779 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 39.780 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 39.782 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 39.783 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 39.787 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 39.791 * * [simplify]: iteration 5 : 50 enodes (cost 10 ) 39.798 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 39.807 * * [simplify]: iteration 7 : 70 enodes (cost 10 ) 39.822 * * [simplify]: iteration 8 : 96 enodes (cost 10 ) 39.839 * * [simplify]: iteration 9 : 139 enodes (cost 10 ) 39.875 * * [simplify]: iteration 10 : 196 enodes (cost 10 ) 39.902 * * [simplify]: iteration 11 : 207 enodes (cost 10 ) 39.930 * * [simplify]: iteration 12 : 215 enodes (cost 10 ) 39.956 * * [simplify]: iteration 13 : 218 enodes (cost 10 ) 39.983 * * [simplify]: iteration done : 218 enodes (cost 10 ) 39.984 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 39.985 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 39.986 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 39.988 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 39.991 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 39.996 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 40.003 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 40.011 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 40.023 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 40.044 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 40.077 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 40.106 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 40.132 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 40.160 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 40.186 * * [simplify]: iteration done : 215 enodes (cost 9 ) 40.187 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.188 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 40.190 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 40.192 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 40.195 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 40.199 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 40.209 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 40.217 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 40.229 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 40.247 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 40.284 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 40.310 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 40.339 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 40.365 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 40.394 * * [simplify]: iteration done : 215 enodes (cost 9 ) 40.394 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.395 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 40.397 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 40.399 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 40.401 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 40.407 * * [simplify]: iteration 5 : 49 enodes (cost 9 ) 40.414 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 40.422 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 40.437 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 40.454 * * [simplify]: iteration 9 : 138 enodes (cost 9 ) 40.492 * * [simplify]: iteration 10 : 195 enodes (cost 9 ) 40.517 * * [simplify]: iteration 11 : 206 enodes (cost 9 ) 40.556 * * [simplify]: iteration 12 : 212 enodes (cost 9 ) 40.583 * * [simplify]: iteration 13 : 215 enodes (cost 9 ) 40.611 * * [simplify]: iteration done : 215 enodes (cost 9 ) 40.612 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 40.612 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 40.614 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 40.616 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 40.618 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 40.623 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 40.630 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 40.639 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 40.651 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 40.672 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 40.705 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 40.734 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 40.759 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 40.789 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 40.814 * * [simplify]: iteration done : 216 enodes (cost 8 ) 40.815 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 40.816 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 40.817 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 40.819 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 40.822 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 40.826 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 40.836 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 40.845 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 40.857 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 40.875 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 40.911 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 40.937 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 40.965 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 40.992 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 41.020 * * [simplify]: iteration done : 216 enodes (cost 8 ) 41.020 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 41.021 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 41.023 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 41.026 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 41.031 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 41.039 * * [simplify]: iteration 5 : 70 enodes (cost 7 ) 41.052 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 41.077 * * [simplify]: iteration 7 : 147 enodes (cost 7 ) 41.090 * * [simplify]: iteration 8 : 158 enodes (cost 7 ) 41.105 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 41.130 * * [simplify]: iteration 10 : 197 enodes (cost 7 ) 41.145 * * [simplify]: iteration 11 : 199 enodes (cost 7 ) 41.160 * * [simplify]: iteration 12 : 201 enodes (cost 7 ) 41.180 * * [simplify]: iteration done : 201 enodes (cost 7 ) 41.181 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 41.181 * * [simplify]: iteration done : 2 enodes (cost 2 ) 41.182 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 41.183 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 41.184 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 41.188 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 41.192 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 41.196 * * [simplify]: iteration 5 : 59 enodes (cost 5 ) 41.203 * * [simplify]: iteration 6 : 82 enodes (cost 5 ) 41.214 * * [simplify]: iteration 7 : 97 enodes (cost 5 ) 41.224 * * [simplify]: iteration 8 : 106 enodes (cost 5 ) 41.243 * * [simplify]: iteration 9 : 119 enodes (cost 5 ) 41.254 * * [simplify]: iteration done : 119 enodes (cost 5 ) 41.255 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 41.256 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 41.259 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 41.270 * * [simplify]: iteration 3 : 87 enodes (cost 5 ) 41.280 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 41.292 * * [simplify]: iteration 5 : 111 enodes (cost 5 ) 41.312 * * [simplify]: iteration 6 : 128 enodes (cost 5 ) 41.324 * * [simplify]: iteration done : 128 enodes (cost 5 ) 41.324 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 41.326 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 41.329 * * [simplify]: iteration 2 : 44 enodes (cost 9 ) 41.342 * * [simplify]: iteration 3 : 125 enodes (cost 9 ) 41.400 * * [simplify]: iteration 4 : 312 enodes (cost 9 ) 41.576 * * [simplify]: iteration 5 : 571 enodes (cost 5 ) 41.992 * * [simplify]: iteration 6 : 1175 enodes (cost 5 ) 44.719 * * [simplify]: iteration 7 : 2650 enodes (cost 5 ) 48.193 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 48.194 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 48.195 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 48.198 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 48.206 * * [simplify]: iteration 3 : 65 enodes (cost 7 ) 48.214 * * [simplify]: iteration 4 : 85 enodes (cost 7 ) 48.225 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 48.250 * * [simplify]: iteration 6 : 154 enodes (cost 7 ) 48.272 * * [simplify]: iteration 7 : 197 enodes (cost 7 ) 48.308 * * [simplify]: iteration 8 : 255 enodes (cost 7 ) 48.351 * * [simplify]: iteration 9 : 308 enodes (cost 7 ) 48.404 * * [simplify]: iteration 10 : 342 enodes (cost 7 ) 48.449 * * [simplify]: iteration 11 : 354 enodes (cost 7 ) 48.490 * * [simplify]: iteration done : 354 enodes (cost 7 ) 48.491 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 48.492 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 48.496 * * [simplify]: iteration 2 : 50 enodes (cost 8 ) 48.513 * * [simplify]: iteration 3 : 122 enodes (cost 7 ) 48.532 * * [simplify]: iteration 4 : 160 enodes (cost 7 ) 48.555 * * [simplify]: iteration 5 : 206 enodes (cost 7 ) 48.623 * * [simplify]: iteration 6 : 291 enodes (cost 7 ) 48.664 * * [simplify]: iteration 7 : 311 enodes (cost 7 ) 48.714 * * [simplify]: iteration 8 : 323 enodes (cost 7 ) 48.750 * * [simplify]: iteration done : 323 enodes (cost 7 ) 48.751 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 48.753 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 48.756 * * [simplify]: iteration 2 : 58 enodes (cost 11 ) 48.780 * * [simplify]: iteration 3 : 166 enodes (cost 11 ) 48.851 * * [simplify]: iteration 4 : 428 enodes (cost 11 ) 49.100 * * [simplify]: iteration 5 : 830 enodes (cost 7 ) 49.774 * * [simplify]: iteration 6 : 1790 enodes (cost 7 ) 53.239 * * [simplify]: iteration 7 : 4128 enodes (cost 7 ) 54.742 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 54.743 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 54.745 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 54.749 * * [simplify]: iteration 2 : 54 enodes (cost 9 ) 54.770 * * [simplify]: iteration 3 : 113 enodes (cost 9 ) 54.807 * * [simplify]: iteration 4 : 192 enodes (cost 9 ) 54.853 * * [simplify]: iteration 5 : 268 enodes (cost 9 ) 54.917 * * [simplify]: iteration 6 : 404 enodes (cost 9 ) 55.035 * * [simplify]: iteration 7 : 519 enodes (cost 9 ) 55.191 * * [simplify]: iteration 8 : 656 enodes (cost 9 ) 55.287 * * [simplify]: iteration 9 : 669 enodes (cost 9 ) 55.371 * * [simplify]: iteration done : 669 enodes (cost 9 ) 55.372 * * [simplify]: iteration 0 : 15 enodes (cost 20 ) 55.374 * * [simplify]: iteration 1 : 36 enodes (cost 15 ) 55.380 * * [simplify]: iteration 2 : 68 enodes (cost 11 ) 55.397 * * [simplify]: iteration 3 : 141 enodes (cost 11 ) 55.471 * * [simplify]: iteration 4 : 338 enodes (cost 10 ) 55.635 * * [simplify]: iteration 5 : 533 enodes (cost 9 ) 55.766 * * [simplify]: iteration 6 : 605 enodes (cost 9 ) 55.865 * * [simplify]: iteration done : 605 enodes (cost 9 ) 55.866 * * [simplify]: iteration 0 : 16 enodes (cost 20 ) 55.868 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 55.874 * * [simplify]: iteration 2 : 66 enodes (cost 15 ) 55.889 * * [simplify]: iteration 3 : 143 enodes (cost 13 ) 55.945 * * [simplify]: iteration 4 : 332 enodes (cost 13 ) 56.145 * * [simplify]: iteration 5 : 898 enodes (cost 13 ) 57.329 * * [simplify]: iteration 6 : 2223 enodes (cost 9 ) 61.232 * * [simplify]: iteration 7 : 4715 enodes (cost 9 ) 62.566 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 62.567 * [simplify]: Simplified to: (* 2 (log (cbrt (/ x y)))) (log (cbrt (/ x y))) (log (sqrt (/ x y))) (log (sqrt (/ x y))) (* 2 (log (/ (cbrt x) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) (log (/ (cbrt x) (sqrt y))) (* 2 (log (cbrt x))) (log (/ (cbrt x) y)) (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) (log (/ (sqrt x) (cbrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) (sqrt y))) (log (sqrt x)) (log (/ (sqrt x) y)) (* -2 (log (cbrt y))) (log (/ x (cbrt y))) (neg (log (sqrt y))) (log (/ x (sqrt y))) 0 (log (/ x y)) 0 (log (/ x y)) (log x) (neg (log y)) (log x) (log y) (log (/ x y)) (log (log (/ x y))) (/ x y) (* (cbrt (log (/ x y))) (cbrt (log (/ x y)))) (cbrt (log (/ x y))) (pow (log (/ x y)) 3) (sqrt (log (/ x y))) (sqrt (log (/ x y))) (* x (log (/ x y))) (+ (log x) (log (log (/ x y)))) (log (* x (log (/ x y)))) (pow (/ x y) x) (pow (* x (log (/ x y))) 3) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (pow (* x (log (/ x y))) 3) (sqrt (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (* 2 (log (cbrt (/ x y)))) x) (* x (log (cbrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* x (log (/ (cbrt x) (cbrt y)))) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* x (log (/ (cbrt x) (sqrt y)))) (* (* 2 (log (cbrt x))) x) (* x (log (/ (cbrt x) y))) (* x (log (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* x (log (/ (sqrt x) (cbrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* (log (sqrt x)) x) (* x (log (/ (sqrt x) y))) (* (* -2 (log (cbrt y))) x) (* x (log (/ x (cbrt y)))) (* (neg (log (sqrt y))) x) (* x (log (/ x (sqrt y)))) 0 (* x (log (/ x y))) 0 (* x (log (/ x y))) (* x (log x)) (* (neg (log y)) x) (* (* 2 (log (cbrt (/ x y)))) x) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (* 2 (log (cbrt x))) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* (log (/ (sqrt x) (cbrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (sqrt x)) x) (* (log (/ (sqrt x) y)) x) (* (* -2 (log (cbrt y))) x) (* (log (/ x (cbrt y))) x) (* x (neg (log (sqrt y)))) (* (log (/ x (sqrt y))) x) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* (log x) x) (* (neg (log y)) x) x (* x (* (cbrt (log (/ x y))) (cbrt (log (/ x y))))) (* x (sqrt (log (/ x y)))) x (* (cbrt x) (log (/ x y))) (* (sqrt x) (log (/ x y))) (* x (log (/ x y))) (/ (pow (/ x y) x) (exp z)) (log (- (* x (log (/ x y))) z)) (/ (pow (/ x y) x) (exp z)) (* (cbrt (- (* x (log (/ x y))) z)) (cbrt (- (* x (log (/ x y))) z))) (cbrt (- (* x (log (/ x y))) z)) (pow (- (* x (log (/ x y))) z) 3) (sqrt (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (- (pow (* x (log (/ x y))) 3) (pow z 3)) (+ (* (* x (log (/ x y))) (+ z (* x (log (/ x y))))) (* z z)) (neg z) (- (* (* x (log (/ x y))) (* x (log (/ x y)))) (* z z)) (+ (* x (log (/ x y))) z) (- (* x (log (cbrt (/ x y)))) z) (- (* x (log (sqrt (/ x y)))) z) (- (* x (log (/ (cbrt x) (cbrt y)))) z) (- (* x (log (/ (cbrt x) (sqrt y)))) z) (- (* x (log (/ (cbrt x) y))) z) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* x (log (/ (sqrt x) (sqrt y)))) z) (- (* x (log (/ (sqrt x) y))) z) (- (* x (log (/ x (cbrt y)))) z) (- (* x (log (/ x (sqrt y)))) z) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (* (neg (log y)) x) z) (- (* (log (cbrt (/ x y))) x) z) (- (* (log (sqrt (/ x y))) x) z) (- (* (log (/ (cbrt x) (cbrt y))) x) z) (- (* (log (/ (cbrt x) (sqrt y))) x) z) (- (* (log (/ (cbrt x) y)) x) z) (- (* (log (/ (sqrt x) (cbrt y))) x) z) (- (* (log (/ (sqrt x) (sqrt y))) x) z) (- (* (log (/ (sqrt x) y)) x) z) (- (* (log (/ x (cbrt y))) x) z) (- (* (log (/ x (sqrt y))) x) z) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (* (neg (log y)) x) z) (neg z) (- (log x) (log y)) (- (log x) (log y)) (- (log x) (log y)) (* x (- (log x) (log y))) (* (- (log x) (log y)) x) (* x (- (log x) (log y))) (- (* x (- (log x) (log y))) z) (- (* x (- (log x) (log y))) z) (- (* (- (log x) (log y)) x) z) 62.568 * * * [progress]: adding candidates to table 62.711 * * [progress]: iteration 2 / 4 62.711 * * * [progress]: picking best candidate 62.735 * * * * [pick]: Picked # 62.735 * * * [progress]: localizing error 62.750 * * * [progress]: generating rewritten candidates 62.750 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2) 62.751 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2) 62.753 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1) 62.754 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1) 62.757 * * * [progress]: generating series expansions 62.757 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 2) 62.757 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 62.757 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 62.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 62.757 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 62.757 * [taylor]: Taking taylor expansion of 1/3 in y 62.757 * [taylor]: Taking taylor expansion of (log y) in y 62.757 * [taylor]: Taking taylor expansion of y in y 62.757 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 62.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 62.757 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 62.757 * [taylor]: Taking taylor expansion of 1/3 in y 62.757 * [taylor]: Taking taylor expansion of (log y) in y 62.757 * [taylor]: Taking taylor expansion of y in y 62.765 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 62.765 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.765 * [taylor]: Taking taylor expansion of 1/3 in y 62.765 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.765 * [taylor]: Taking taylor expansion of y in y 62.765 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.765 * [taylor]: Taking taylor expansion of 1/3 in y 62.765 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.765 * [taylor]: Taking taylor expansion of y in y 62.773 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 62.773 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 62.773 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.773 * [taylor]: Taking taylor expansion of 1/3 in y 62.773 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.773 * [taylor]: Taking taylor expansion of y in y 62.773 * [taylor]: Taking taylor expansion of (cbrt -1) in y 62.773 * [taylor]: Taking taylor expansion of -1 in y 62.774 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 62.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.774 * [taylor]: Taking taylor expansion of 1/3 in y 62.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.774 * [taylor]: Taking taylor expansion of y in y 62.774 * [taylor]: Taking taylor expansion of (cbrt -1) in y 62.774 * [taylor]: Taking taylor expansion of -1 in y 62.783 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2) 62.783 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 62.783 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 62.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 62.783 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 62.783 * [taylor]: Taking taylor expansion of 1/3 in y 62.783 * [taylor]: Taking taylor expansion of (log y) in y 62.783 * [taylor]: Taking taylor expansion of y in y 62.784 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 62.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 62.784 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 62.784 * [taylor]: Taking taylor expansion of 1/3 in y 62.784 * [taylor]: Taking taylor expansion of (log y) in y 62.784 * [taylor]: Taking taylor expansion of y in y 62.795 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 62.795 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.795 * [taylor]: Taking taylor expansion of 1/3 in y 62.795 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.795 * [taylor]: Taking taylor expansion of y in y 62.795 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.795 * [taylor]: Taking taylor expansion of 1/3 in y 62.795 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.795 * [taylor]: Taking taylor expansion of y in y 62.803 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 62.803 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 62.803 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.803 * [taylor]: Taking taylor expansion of 1/3 in y 62.803 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.803 * [taylor]: Taking taylor expansion of y in y 62.803 * [taylor]: Taking taylor expansion of (cbrt -1) in y 62.803 * [taylor]: Taking taylor expansion of -1 in y 62.803 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 62.803 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 62.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 62.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 62.803 * [taylor]: Taking taylor expansion of 1/3 in y 62.803 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 62.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 62.803 * [taylor]: Taking taylor expansion of y in y 62.803 * [taylor]: Taking taylor expansion of (cbrt -1) in y 62.804 * [taylor]: Taking taylor expansion of -1 in y 62.813 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1) 62.813 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 62.813 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 62.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 62.813 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 62.813 * [taylor]: Taking taylor expansion of 1/3 in x 62.813 * [taylor]: Taking taylor expansion of (log x) in x 62.813 * [taylor]: Taking taylor expansion of x in x 62.813 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 62.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 62.813 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 62.813 * [taylor]: Taking taylor expansion of 1/3 in x 62.813 * [taylor]: Taking taylor expansion of (log x) in x 62.813 * [taylor]: Taking taylor expansion of x in x 62.820 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 62.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.820 * [taylor]: Taking taylor expansion of 1/3 in x 62.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.820 * [taylor]: Taking taylor expansion of x in x 62.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.820 * [taylor]: Taking taylor expansion of 1/3 in x 62.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.821 * [taylor]: Taking taylor expansion of x in x 62.829 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 62.829 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 62.829 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.829 * [taylor]: Taking taylor expansion of 1/3 in x 62.829 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.829 * [taylor]: Taking taylor expansion of x in x 62.829 * [taylor]: Taking taylor expansion of (cbrt -1) in x 62.829 * [taylor]: Taking taylor expansion of -1 in x 62.829 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 62.829 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.829 * [taylor]: Taking taylor expansion of 1/3 in x 62.829 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.829 * [taylor]: Taking taylor expansion of x in x 62.830 * [taylor]: Taking taylor expansion of (cbrt -1) in x 62.830 * [taylor]: Taking taylor expansion of -1 in x 62.839 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1) 62.839 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 62.839 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 62.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 62.839 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 62.839 * [taylor]: Taking taylor expansion of 1/3 in x 62.839 * [taylor]: Taking taylor expansion of (log x) in x 62.839 * [taylor]: Taking taylor expansion of x in x 62.839 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 62.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 62.839 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 62.839 * [taylor]: Taking taylor expansion of 1/3 in x 62.839 * [taylor]: Taking taylor expansion of (log x) in x 62.839 * [taylor]: Taking taylor expansion of x in x 62.846 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 62.846 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.846 * [taylor]: Taking taylor expansion of 1/3 in x 62.846 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.846 * [taylor]: Taking taylor expansion of x in x 62.847 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.847 * [taylor]: Taking taylor expansion of 1/3 in x 62.847 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.847 * [taylor]: Taking taylor expansion of x in x 62.854 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 62.854 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 62.854 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.854 * [taylor]: Taking taylor expansion of 1/3 in x 62.854 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.854 * [taylor]: Taking taylor expansion of x in x 62.855 * [taylor]: Taking taylor expansion of (cbrt -1) in x 62.855 * [taylor]: Taking taylor expansion of -1 in x 62.855 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 62.855 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 62.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 62.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 62.855 * [taylor]: Taking taylor expansion of 1/3 in x 62.855 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 62.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x 62.855 * [taylor]: Taking taylor expansion of x in x 62.855 * [taylor]: Taking taylor expansion of (cbrt -1) in x 62.855 * [taylor]: Taking taylor expansion of -1 in x 62.864 * * * [progress]: simplifying candidates 62.865 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) 62.865 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.866 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.866 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.867 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.867 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 62.868 * * [simplify]: iteration done : 4 enodes (cost 6 ) 62.868 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.868 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.869 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.869 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.870 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.870 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.871 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 62.871 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 62.871 * * [simplify]: iteration done : 4 enodes (cost 1 ) 62.872 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 62.872 * * [simplify]: iteration done : 2 enodes (cost 2 ) 62.872 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 62.873 * * [simplify]: iteration done : 4 enodes (cost 7 ) 62.873 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.874 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.874 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 62.875 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 62.875 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 62.876 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 62.877 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 62.878 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 62.879 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 62.882 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 62.896 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 62.936 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 63.391 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 65.980 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 65.981 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.981 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.981 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.982 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.982 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.982 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.983 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.983 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.984 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.984 * * [simplify]: iteration done : 4 enodes (cost 6 ) 65.985 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.985 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.986 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.986 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.987 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.987 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.987 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 65.988 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 65.988 * * [simplify]: iteration done : 4 enodes (cost 1 ) 65.988 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 65.989 * * [simplify]: iteration done : 2 enodes (cost 2 ) 65.989 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.990 * * [simplify]: iteration done : 4 enodes (cost 7 ) 65.991 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.991 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.991 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 65.992 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 65.993 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 65.993 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 65.994 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 65.995 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 65.997 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 65.999 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 66.008 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 66.054 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 66.524 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 68.930 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 68.931 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.931 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.932 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.932 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.933 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.933 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.934 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.934 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.934 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 68.935 * * [simplify]: iteration done : 4 enodes (cost 6 ) 68.935 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.936 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.936 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.936 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.937 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.937 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.938 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 68.938 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 68.938 * * [simplify]: iteration done : 4 enodes (cost 1 ) 68.939 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 68.939 * * [simplify]: iteration done : 2 enodes (cost 2 ) 68.940 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 68.940 * * [simplify]: iteration done : 4 enodes (cost 7 ) 68.941 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.941 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.941 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 68.942 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 68.942 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 68.943 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 68.944 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 68.945 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 68.947 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 68.955 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 68.964 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 69.008 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 69.464 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 71.872 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 71.873 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.873 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.874 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.874 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.874 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.875 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.875 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.876 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.876 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.877 * * [simplify]: iteration done : 4 enodes (cost 6 ) 71.877 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.877 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.878 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.878 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.879 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.879 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.880 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 71.880 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 71.880 * * [simplify]: iteration done : 4 enodes (cost 1 ) 71.881 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 71.881 * * [simplify]: iteration done : 2 enodes (cost 2 ) 71.882 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.882 * * [simplify]: iteration done : 4 enodes (cost 7 ) 71.883 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.883 * * [simplify]: iteration done : 3 enodes (cost 3 ) 71.883 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 71.884 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 71.885 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 71.885 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 71.886 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 71.887 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 71.889 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 71.892 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 71.900 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 71.947 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 72.417 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 74.761 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 74.762 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 74.762 * * [simplify]: iteration done : 3 enodes (cost 3 ) 74.762 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 74.763 * * [simplify]: iteration done : 3 enodes (cost 3 ) 74.763 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 74.764 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 74.766 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 74.775 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 74.781 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 74.796 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 74.849 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 75.036 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 76.372 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 78.129 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 78.129 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 78.131 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 78.133 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 78.138 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 78.151 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 78.179 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 78.286 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 78.774 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 80.498 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 80.499 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 80.500 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 80.503 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 80.509 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 80.529 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 80.603 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 80.885 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 82.249 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 83.493 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 83.494 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 83.495 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 83.503 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 83.506 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 83.512 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 83.528 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 83.580 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 83.765 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 85.105 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 86.878 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 86.879 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.880 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 86.883 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 86.888 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 86.901 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 86.929 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 87.038 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 87.737 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 89.508 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 89.509 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 89.510 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 89.513 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 89.519 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 89.540 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 89.613 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 89.896 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 91.284 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 92.550 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 92.551 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 92.552 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 92.554 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 92.558 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 92.564 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 92.580 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 92.633 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 92.820 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 94.203 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 95.973 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 95.974 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 95.975 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 95.978 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 95.983 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 95.991 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 96.022 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 96.127 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 96.620 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 98.349 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 98.350 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 98.352 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 98.354 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 98.360 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 98.386 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 98.455 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 98.739 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 100.118 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 101.388 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 101.389 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 101.390 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 101.392 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 101.396 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 101.401 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 101.418 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 101.472 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 101.662 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 103.026 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 104.800 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 104.801 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 104.802 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 104.805 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 104.810 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 104.818 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 105.052 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 105.162 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 105.668 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 107.435 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 107.435 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 107.437 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 107.440 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 107.446 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 107.466 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 107.535 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 107.820 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 109.203 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 110.455 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 110.456 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) 110.456 * * * [progress]: adding candidates to table 110.517 * * [progress]: iteration 3 / 4 110.517 * * * [progress]: picking best candidate 110.536 * * * * [pick]: Picked # 110.537 * * * [progress]: localizing error 110.554 * * * [progress]: generating rewritten candidates 110.554 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2) 110.555 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 2) 110.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1) 110.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1) 110.561 * * * [progress]: generating series expansions 110.561 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 2) 110.561 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 110.561 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 110.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 110.561 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 110.561 * [taylor]: Taking taylor expansion of 1/3 in y 110.561 * [taylor]: Taking taylor expansion of (log y) in y 110.561 * [taylor]: Taking taylor expansion of y in y 110.561 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 110.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 110.562 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 110.562 * [taylor]: Taking taylor expansion of 1/3 in y 110.562 * [taylor]: Taking taylor expansion of (log y) in y 110.562 * [taylor]: Taking taylor expansion of y in y 110.569 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 110.569 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.569 * [taylor]: Taking taylor expansion of 1/3 in y 110.569 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.569 * [taylor]: Taking taylor expansion of y in y 110.569 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.569 * [taylor]: Taking taylor expansion of 1/3 in y 110.569 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.569 * [taylor]: Taking taylor expansion of y in y 110.577 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 110.577 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 110.577 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.577 * [taylor]: Taking taylor expansion of 1/3 in y 110.577 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.577 * [taylor]: Taking taylor expansion of y in y 110.577 * [taylor]: Taking taylor expansion of (cbrt -1) in y 110.577 * [taylor]: Taking taylor expansion of -1 in y 110.577 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 110.577 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.577 * [taylor]: Taking taylor expansion of 1/3 in y 110.577 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.577 * [taylor]: Taking taylor expansion of y in y 110.577 * [taylor]: Taking taylor expansion of (cbrt -1) in y 110.577 * [taylor]: Taking taylor expansion of -1 in y 110.587 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 2) 110.587 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 110.587 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 110.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 110.587 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 110.587 * [taylor]: Taking taylor expansion of 1/3 in y 110.587 * [taylor]: Taking taylor expansion of (log y) in y 110.587 * [taylor]: Taking taylor expansion of y in y 110.587 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 110.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 110.587 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 110.587 * [taylor]: Taking taylor expansion of 1/3 in y 110.587 * [taylor]: Taking taylor expansion of (log y) in y 110.587 * [taylor]: Taking taylor expansion of y in y 110.594 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 110.594 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.595 * [taylor]: Taking taylor expansion of 1/3 in y 110.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.595 * [taylor]: Taking taylor expansion of y in y 110.595 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.595 * [taylor]: Taking taylor expansion of 1/3 in y 110.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.595 * [taylor]: Taking taylor expansion of y in y 110.602 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 110.602 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 110.602 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.602 * [taylor]: Taking taylor expansion of 1/3 in y 110.602 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.602 * [taylor]: Taking taylor expansion of y in y 110.603 * [taylor]: Taking taylor expansion of (cbrt -1) in y 110.603 * [taylor]: Taking taylor expansion of -1 in y 110.603 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 110.603 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 110.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 110.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 110.603 * [taylor]: Taking taylor expansion of 1/3 in y 110.603 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 110.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 110.603 * [taylor]: Taking taylor expansion of y in y 110.603 * [taylor]: Taking taylor expansion of (cbrt -1) in y 110.603 * [taylor]: Taking taylor expansion of -1 in y 110.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1) 110.613 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 110.613 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 110.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 110.613 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 110.613 * [taylor]: Taking taylor expansion of 1/3 in x 110.613 * [taylor]: Taking taylor expansion of (log x) in x 110.613 * [taylor]: Taking taylor expansion of x in x 110.613 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 110.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 110.613 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 110.613 * [taylor]: Taking taylor expansion of 1/3 in x 110.613 * [taylor]: Taking taylor expansion of (log x) in x 110.613 * [taylor]: Taking taylor expansion of x in x 110.620 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 110.620 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.620 * [taylor]: Taking taylor expansion of 1/3 in x 110.620 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.620 * [taylor]: Taking taylor expansion of x in x 110.620 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.621 * [taylor]: Taking taylor expansion of 1/3 in x 110.621 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.621 * [taylor]: Taking taylor expansion of x in x 110.628 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 110.628 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 110.628 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.628 * [taylor]: Taking taylor expansion of 1/3 in x 110.628 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.628 * [taylor]: Taking taylor expansion of x in x 110.628 * [taylor]: Taking taylor expansion of (cbrt -1) in x 110.628 * [taylor]: Taking taylor expansion of -1 in x 110.629 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 110.629 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.629 * [taylor]: Taking taylor expansion of 1/3 in x 110.629 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.629 * [taylor]: Taking taylor expansion of x in x 110.629 * [taylor]: Taking taylor expansion of (cbrt -1) in x 110.629 * [taylor]: Taking taylor expansion of -1 in x 110.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1) 110.638 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 110.638 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 110.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 110.638 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 110.638 * [taylor]: Taking taylor expansion of 1/3 in x 110.638 * [taylor]: Taking taylor expansion of (log x) in x 110.638 * [taylor]: Taking taylor expansion of x in x 110.639 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 110.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 110.639 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 110.639 * [taylor]: Taking taylor expansion of 1/3 in x 110.639 * [taylor]: Taking taylor expansion of (log x) in x 110.639 * [taylor]: Taking taylor expansion of x in x 110.646 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 110.646 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.646 * [taylor]: Taking taylor expansion of 1/3 in x 110.646 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.646 * [taylor]: Taking taylor expansion of x in x 110.646 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.646 * [taylor]: Taking taylor expansion of 1/3 in x 110.646 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.646 * [taylor]: Taking taylor expansion of x in x 110.654 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 110.654 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 110.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.654 * [taylor]: Taking taylor expansion of 1/3 in x 110.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.654 * [taylor]: Taking taylor expansion of x in x 110.654 * [taylor]: Taking taylor expansion of (cbrt -1) in x 110.654 * [taylor]: Taking taylor expansion of -1 in x 110.654 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 110.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 110.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 110.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 110.654 * [taylor]: Taking taylor expansion of 1/3 in x 110.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 110.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 110.654 * [taylor]: Taking taylor expansion of x in x 110.654 * [taylor]: Taking taylor expansion of (cbrt -1) in x 110.654 * [taylor]: Taking taylor expansion of -1 in x 110.668 * * * [progress]: simplifying candidates 110.669 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) 110.669 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.670 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.670 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.670 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.671 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 110.672 * * [simplify]: iteration done : 4 enodes (cost 6 ) 110.672 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.672 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.673 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.673 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.674 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.674 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.675 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 110.675 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 110.675 * * [simplify]: iteration done : 4 enodes (cost 1 ) 110.676 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 110.676 * * [simplify]: iteration done : 2 enodes (cost 2 ) 110.676 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 110.677 * * [simplify]: iteration done : 4 enodes (cost 7 ) 110.677 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.678 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.678 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 110.679 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 110.680 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 110.680 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 110.681 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 110.682 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 110.684 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 110.686 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 110.695 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 110.740 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 111.206 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 113.593 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 113.594 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.594 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.594 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.595 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.595 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.596 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.596 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.596 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.597 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 113.597 * * [simplify]: iteration done : 4 enodes (cost 6 ) 113.598 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.598 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.599 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.599 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.599 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.600 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.600 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 113.601 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 113.601 * * [simplify]: iteration done : 4 enodes (cost 1 ) 113.601 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 113.602 * * [simplify]: iteration done : 2 enodes (cost 2 ) 113.602 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 113.603 * * [simplify]: iteration done : 4 enodes (cost 7 ) 113.603 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 113.603 * * [simplify]: iteration done : 3 enodes (cost 3 ) 113.604 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 113.604 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 113.605 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 113.606 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 113.607 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 113.608 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 113.609 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 113.612 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 113.621 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 113.668 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 114.129 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 116.538 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 116.538 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.539 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.539 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.539 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.540 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.540 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.541 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.541 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.542 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 116.542 * * [simplify]: iteration done : 4 enodes (cost 6 ) 116.543 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.543 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.544 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.544 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.544 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.545 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.545 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 116.545 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 116.546 * * [simplify]: iteration done : 4 enodes (cost 1 ) 116.546 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 116.546 * * [simplify]: iteration done : 2 enodes (cost 2 ) 116.547 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 116.547 * * [simplify]: iteration done : 4 enodes (cost 7 ) 116.548 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 116.548 * * [simplify]: iteration done : 3 enodes (cost 3 ) 116.549 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 116.549 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 116.550 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 116.551 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 116.551 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 116.553 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 116.554 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 116.557 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 116.565 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 116.612 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 117.076 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 119.452 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 119.453 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.453 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.453 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.454 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.454 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.454 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.455 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.455 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.456 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 119.456 * * [simplify]: iteration done : 4 enodes (cost 6 ) 119.457 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.457 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.458 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.458 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.458 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.459 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.459 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 119.459 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 119.460 * * [simplify]: iteration done : 4 enodes (cost 1 ) 119.460 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 119.460 * * [simplify]: iteration done : 2 enodes (cost 2 ) 119.461 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 119.461 * * [simplify]: iteration done : 4 enodes (cost 7 ) 119.462 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 119.462 * * [simplify]: iteration done : 3 enodes (cost 3 ) 119.463 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 119.463 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 119.464 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 119.465 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 119.466 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 119.467 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 119.468 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 119.471 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 119.486 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 119.527 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 119.980 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 122.339 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 122.340 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 122.340 * * [simplify]: iteration done : 3 enodes (cost 3 ) 122.341 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 122.341 * * [simplify]: iteration done : 3 enodes (cost 3 ) 122.341 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 122.343 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 122.345 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 122.348 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 122.354 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 122.370 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 122.424 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 122.616 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 123.964 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 125.756 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 125.757 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 125.758 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 125.761 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 125.766 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 125.774 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 125.802 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 125.910 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 126.403 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 128.358 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 128.358 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 128.360 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 128.363 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 128.368 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 128.394 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 128.463 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 128.750 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 130.133 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 131.400 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 131.400 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 131.402 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 131.404 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 131.407 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 131.413 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 131.429 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 131.481 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 131.674 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 133.018 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 134.793 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 134.793 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 134.795 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 134.797 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 134.803 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 134.811 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 134.842 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 134.947 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 135.439 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 137.183 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 137.184 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 137.185 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 137.188 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 137.194 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 137.219 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 137.289 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 137.574 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 138.952 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 140.218 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 140.218 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 140.219 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 140.222 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 140.225 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 140.231 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 140.247 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 140.301 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 140.492 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 141.864 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 143.633 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 143.634 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 143.635 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 143.638 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 143.643 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 143.651 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 143.684 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 143.795 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 144.291 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 146.269 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 146.270 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 146.271 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 146.274 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 146.280 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 146.301 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 146.370 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 146.658 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 148.057 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 149.329 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 149.330 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 149.331 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 149.333 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 149.337 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 149.343 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 149.365 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 149.419 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 149.607 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 151.014 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 152.814 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 152.815 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 152.816 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 152.818 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 152.829 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 152.838 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 152.865 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 152.976 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 153.482 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 155.273 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 155.274 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 155.275 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 155.278 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 155.284 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 155.305 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 155.378 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 155.668 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 157.064 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 158.343 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 158.344 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) 158.349 * * * [progress]: adding candidates to table 158.404 * * [progress]: iteration 4 / 4 158.404 * * * [progress]: picking best candidate 158.421 * * * * [pick]: Picked # 158.421 * * * [progress]: localizing error 158.438 * * * [progress]: generating rewritten candidates 158.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 158.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 158.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 158.445 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 158.449 * * * [progress]: generating series expansions 158.449 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 158.449 * [approximate]: Taking taylor expansion of (log (* (pow x 1/3) (/ 1 y))) in (x y) around 0 158.449 * [taylor]: Taking taylor expansion of (log (* (pow x 1/3) (/ 1 y))) in y 158.449 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ 1 y)) in y 158.449 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 158.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 158.449 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 158.449 * [taylor]: Taking taylor expansion of 1/3 in y 158.449 * [taylor]: Taking taylor expansion of (log x) in y 158.449 * [taylor]: Taking taylor expansion of x in y 158.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 158.450 * [taylor]: Taking taylor expansion of y in y 158.450 * [taylor]: Taking taylor expansion of (log (* (pow x 1/3) (/ 1 y))) in x 158.450 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ 1 y)) in x 158.450 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.450 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.450 * [taylor]: Taking taylor expansion of 1/3 in x 158.450 * [taylor]: Taking taylor expansion of (log x) in x 158.450 * [taylor]: Taking taylor expansion of x in x 158.450 * [taylor]: Taking taylor expansion of (/ 1 y) in x 158.450 * [taylor]: Taking taylor expansion of y in x 158.450 * [taylor]: Taking taylor expansion of (log (* (pow x 1/3) (/ 1 y))) in x 158.450 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ 1 y)) in x 158.450 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.450 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.450 * [taylor]: Taking taylor expansion of 1/3 in x 158.450 * [taylor]: Taking taylor expansion of (log x) in x 158.450 * [taylor]: Taking taylor expansion of x in x 158.451 * [taylor]: Taking taylor expansion of (/ 1 y) in x 158.451 * [taylor]: Taking taylor expansion of y in x 158.451 * [taylor]: Taking taylor expansion of (log (/ (exp (* 1/3 (+ (log 1) (log x)))) y)) in y 158.451 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (log x)))) y) in y 158.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (log x)))) in y 158.451 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (log x))) in y 158.451 * [taylor]: Taking taylor expansion of 1/3 in y 158.451 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 158.451 * [taylor]: Taking taylor expansion of (log 1) in y 158.451 * [taylor]: Taking taylor expansion of 1 in y 158.451 * [taylor]: Taking taylor expansion of (log x) in y 158.451 * [taylor]: Taking taylor expansion of x in y 158.451 * [taylor]: Taking taylor expansion of y in y 158.452 * [taylor]: Taking taylor expansion of 0 in y 158.454 * [taylor]: Taking taylor expansion of 0 in y 158.457 * [taylor]: Taking taylor expansion of 0 in y 158.457 * [approximate]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) y)) in (x y) around 0 158.457 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) y)) in y 158.457 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) y) in y 158.457 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 158.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 158.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 158.457 * [taylor]: Taking taylor expansion of 1/3 in y 158.457 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 158.457 * [taylor]: Taking taylor expansion of (/ 1 x) in y 158.457 * [taylor]: Taking taylor expansion of x in y 158.457 * [taylor]: Taking taylor expansion of y in y 158.458 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) y)) in x 158.458 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) y) in x 158.458 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.458 * [taylor]: Taking taylor expansion of 1/3 in x 158.458 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.458 * [taylor]: Taking taylor expansion of x in x 158.458 * [taylor]: Taking taylor expansion of y in x 158.458 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 x) 1/3) y)) in x 158.458 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) y) in x 158.458 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.458 * [taylor]: Taking taylor expansion of 1/3 in x 158.458 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.458 * [taylor]: Taking taylor expansion of x in x 158.458 * [taylor]: Taking taylor expansion of y in x 158.459 * [taylor]: Taking taylor expansion of (log (* y (exp (* 1/3 (- (log 1) (log x)))))) in y 158.459 * [taylor]: Taking taylor expansion of (* y (exp (* 1/3 (- (log 1) (log x))))) in y 158.459 * [taylor]: Taking taylor expansion of y in y 158.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 158.459 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 158.459 * [taylor]: Taking taylor expansion of 1/3 in y 158.459 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 158.459 * [taylor]: Taking taylor expansion of (log 1) in y 158.459 * [taylor]: Taking taylor expansion of 1 in y 158.459 * [taylor]: Taking taylor expansion of (log x) in y 158.459 * [taylor]: Taking taylor expansion of x in y 158.460 * [taylor]: Taking taylor expansion of 0 in y 158.462 * [taylor]: Taking taylor expansion of 0 in y 158.465 * [taylor]: Taking taylor expansion of 0 in y 158.465 * [approximate]: Taking taylor expansion of (log (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)))) in (x y) around 0 158.465 * [taylor]: Taking taylor expansion of (log (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)))) in y 158.466 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y))) in y 158.466 * [taylor]: Taking taylor expansion of -1 in y 158.466 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)) in y 158.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 158.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 158.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 158.466 * [taylor]: Taking taylor expansion of 1/3 in y 158.466 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 158.466 * [taylor]: Taking taylor expansion of (/ 1 x) in y 158.466 * [taylor]: Taking taylor expansion of x in y 158.466 * [taylor]: Taking taylor expansion of (* (cbrt -1) y) in y 158.466 * [taylor]: Taking taylor expansion of (cbrt -1) in y 158.466 * [taylor]: Taking taylor expansion of -1 in y 158.466 * [taylor]: Taking taylor expansion of y in y 158.467 * [taylor]: Taking taylor expansion of (log (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)))) in x 158.467 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y))) in x 158.467 * [taylor]: Taking taylor expansion of -1 in x 158.467 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)) in x 158.467 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.467 * [taylor]: Taking taylor expansion of 1/3 in x 158.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.467 * [taylor]: Taking taylor expansion of x in x 158.467 * [taylor]: Taking taylor expansion of (* (cbrt -1) y) in x 158.467 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.467 * [taylor]: Taking taylor expansion of -1 in x 158.468 * [taylor]: Taking taylor expansion of y in x 158.468 * [taylor]: Taking taylor expansion of (log (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)))) in x 158.468 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/3) (* (cbrt -1) y))) in x 158.468 * [taylor]: Taking taylor expansion of -1 in x 158.468 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (cbrt -1) y)) in x 158.468 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.468 * [taylor]: Taking taylor expansion of 1/3 in x 158.468 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.468 * [taylor]: Taking taylor expansion of x in x 158.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) y) in x 158.468 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.468 * [taylor]: Taking taylor expansion of -1 in x 158.469 * [taylor]: Taking taylor expansion of y in x 158.469 * [taylor]: Taking taylor expansion of (log (* -1 (* y (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x)))))))) in y 158.469 * [taylor]: Taking taylor expansion of (* -1 (* y (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))))) in y 158.469 * [taylor]: Taking taylor expansion of -1 in y 158.469 * [taylor]: Taking taylor expansion of (* y (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x)))))) in y 158.469 * [taylor]: Taking taylor expansion of y in y 158.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) in y 158.469 * [taylor]: Taking taylor expansion of (cbrt -1) in y 158.469 * [taylor]: Taking taylor expansion of -1 in y 158.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 158.469 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 158.469 * [taylor]: Taking taylor expansion of 1/3 in y 158.469 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 158.469 * [taylor]: Taking taylor expansion of (log 1) in y 158.470 * [taylor]: Taking taylor expansion of 1 in y 158.470 * [taylor]: Taking taylor expansion of (log x) in y 158.470 * [taylor]: Taking taylor expansion of x in y 158.472 * [taylor]: Taking taylor expansion of 0 in y 158.476 * [taylor]: Taking taylor expansion of 0 in y 158.481 * [taylor]: Taking taylor expansion of 0 in y 158.481 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 158.481 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 158.481 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.481 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.481 * [taylor]: Taking taylor expansion of 1/3 in x 158.481 * [taylor]: Taking taylor expansion of (log x) in x 158.481 * [taylor]: Taking taylor expansion of x in x 158.481 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.481 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.481 * [taylor]: Taking taylor expansion of 1/3 in x 158.481 * [taylor]: Taking taylor expansion of (log x) in x 158.481 * [taylor]: Taking taylor expansion of x in x 158.488 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 158.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.488 * [taylor]: Taking taylor expansion of 1/3 in x 158.489 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.489 * [taylor]: Taking taylor expansion of x in x 158.489 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.489 * [taylor]: Taking taylor expansion of 1/3 in x 158.489 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.489 * [taylor]: Taking taylor expansion of x in x 158.497 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 158.497 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.497 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.497 * [taylor]: Taking taylor expansion of 1/3 in x 158.497 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.497 * [taylor]: Taking taylor expansion of x in x 158.497 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.497 * [taylor]: Taking taylor expansion of -1 in x 158.497 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.497 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.497 * [taylor]: Taking taylor expansion of 1/3 in x 158.497 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.497 * [taylor]: Taking taylor expansion of x in x 158.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.498 * [taylor]: Taking taylor expansion of -1 in x 158.507 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 158.507 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 158.507 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.507 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.507 * [taylor]: Taking taylor expansion of 1/3 in x 158.507 * [taylor]: Taking taylor expansion of (log x) in x 158.507 * [taylor]: Taking taylor expansion of x in x 158.507 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.507 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.507 * [taylor]: Taking taylor expansion of 1/3 in x 158.507 * [taylor]: Taking taylor expansion of (log x) in x 158.507 * [taylor]: Taking taylor expansion of x in x 158.518 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 158.518 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.518 * [taylor]: Taking taylor expansion of 1/3 in x 158.518 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.519 * [taylor]: Taking taylor expansion of x in x 158.519 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.519 * [taylor]: Taking taylor expansion of 1/3 in x 158.519 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.519 * [taylor]: Taking taylor expansion of x in x 158.527 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 158.527 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.527 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.527 * [taylor]: Taking taylor expansion of 1/3 in x 158.527 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.527 * [taylor]: Taking taylor expansion of x in x 158.527 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.527 * [taylor]: Taking taylor expansion of -1 in x 158.527 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.527 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.527 * [taylor]: Taking taylor expansion of 1/3 in x 158.527 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.527 * [taylor]: Taking taylor expansion of x in x 158.528 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.528 * [taylor]: Taking taylor expansion of -1 in x 158.537 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 158.537 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 158.537 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.537 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.537 * [taylor]: Taking taylor expansion of 1/3 in x 158.537 * [taylor]: Taking taylor expansion of (log x) in x 158.537 * [taylor]: Taking taylor expansion of x in x 158.537 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 158.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 158.537 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 158.537 * [taylor]: Taking taylor expansion of 1/3 in x 158.537 * [taylor]: Taking taylor expansion of (log x) in x 158.537 * [taylor]: Taking taylor expansion of x in x 158.544 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 158.544 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.544 * [taylor]: Taking taylor expansion of 1/3 in x 158.544 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.544 * [taylor]: Taking taylor expansion of x in x 158.544 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.544 * [taylor]: Taking taylor expansion of 1/3 in x 158.544 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.544 * [taylor]: Taking taylor expansion of x in x 158.552 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 158.552 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.552 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.552 * [taylor]: Taking taylor expansion of 1/3 in x 158.552 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.552 * [taylor]: Taking taylor expansion of x in x 158.552 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.553 * [taylor]: Taking taylor expansion of -1 in x 158.553 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 158.553 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 158.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 158.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 158.553 * [taylor]: Taking taylor expansion of 1/3 in x 158.553 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 158.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 158.553 * [taylor]: Taking taylor expansion of x in x 158.553 * [taylor]: Taking taylor expansion of (cbrt -1) in x 158.553 * [taylor]: Taking taylor expansion of -1 in x 158.562 * * * [progress]: simplifying candidates 158.563 * [simplify]: Simplifying using # : (log (* (cbrt (/ (cbrt x) y)) (cbrt (/ (cbrt x) y)))) (log (cbrt (/ (cbrt x) y))) (log (sqrt (/ (cbrt x) y))) (log (sqrt (/ (cbrt x) y))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (log (/ (cbrt (cbrt x)) (cbrt y))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt y))) (log (/ (cbrt (cbrt x)) (sqrt y))) (log (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) y)) (log (/ (cbrt (sqrt x)) (* (cbrt y) (cbrt y)))) (log (/ (cbrt (sqrt x)) (cbrt y))) (log (/ (cbrt (sqrt x)) (sqrt y))) (log (/ (cbrt (sqrt x)) (sqrt y))) (log (/ (cbrt (sqrt x)) 1)) (log (/ (cbrt (sqrt x)) y)) (log (/ (cbrt 1) (* (cbrt y) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ (cbrt 1) (sqrt y))) (log (/ (cbrt x) (sqrt y))) (log (/ (cbrt 1) 1)) (log (/ (cbrt x) y)) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt y) (cbrt y)))) (log (/ (cbrt (cbrt x)) (cbrt y))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt y))) (log (/ (cbrt (cbrt x)) (sqrt y))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) y)) (log (/ (sqrt (cbrt x)) (* (cbrt y) (cbrt y)))) (log (/ (sqrt (cbrt x)) (cbrt y))) (log (/ (sqrt (cbrt x)) (sqrt y))) (log (/ (sqrt (cbrt x)) (sqrt y))) (log (/ (sqrt (cbrt x)) 1)) (log (/ (sqrt (cbrt x)) y)) (log (/ 1 (* (cbrt y) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ 1 (sqrt y))) (log (/ (cbrt x) (sqrt y))) (log (/ 1 1)) (log (/ (cbrt x) y)) (log 1) (log (/ (cbrt x) y)) (log (cbrt x)) (log (/ 1 y)) (log (cbrt x)) (log y) (log (/ (cbrt x) y)) (log (log (/ (cbrt x) y))) (exp (log (/ (cbrt x) y))) (* (cbrt (log (/ (cbrt x) y))) (cbrt (log (/ (cbrt x) y)))) (cbrt (log (/ (cbrt x) y))) (* (* (log (/ (cbrt x) y)) (log (/ (cbrt x) y))) (log (/ (cbrt x) y))) (sqrt (log (/ (cbrt x) y))) (sqrt (log (/ (cbrt x) y))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 1/3 (log 1)) (* 1/3 (log x))) (log y)) (- (+ (* 1/3 (log 1)) (log (/ 1 y))) (* 1/3 (log (/ 1 x)))) (+ (log (/ -1 y)) (log (neg (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) 158.564 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 158.565 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 158.566 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 158.567 * * [simplify]: iteration 3 : 12 enodes (cost 8 ) 158.568 * * [simplify]: iteration done : 12 enodes (cost 8 ) 158.569 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.569 * * [simplify]: iteration done : 6 enodes (cost 6 ) 158.570 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.570 * * [simplify]: iteration done : 6 enodes (cost 6 ) 158.571 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.571 * * [simplify]: iteration done : 6 enodes (cost 6 ) 158.572 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 158.573 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 158.574 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 158.576 * * [simplify]: iteration 3 : 28 enodes (cost 13 ) 158.580 * * [simplify]: iteration 4 : 40 enodes (cost 13 ) 158.584 * * [simplify]: iteration 5 : 48 enodes (cost 13 ) 158.590 * * [simplify]: iteration 6 : 57 enodes (cost 13 ) 158.601 * * [simplify]: iteration 7 : 70 enodes (cost 13 ) 158.611 * * [simplify]: iteration 8 : 86 enodes (cost 13 ) 158.620 * * [simplify]: iteration 9 : 89 enodes (cost 13 ) 158.629 * * [simplify]: iteration done : 89 enodes (cost 13 ) 158.630 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.630 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 158.631 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 158.632 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 158.633 * * [simplify]: iteration done : 13 enodes (cost 7 ) 158.634 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 158.635 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 158.636 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 158.637 * * [simplify]: iteration 3 : 14 enodes (cost 10 ) 158.638 * * [simplify]: iteration done : 14 enodes (cost 10 ) 158.639 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.639 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 158.640 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 158.641 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 158.642 * * [simplify]: iteration done : 13 enodes (cost 7 ) 158.643 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 158.644 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 158.645 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 158.646 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 158.647 * * [simplify]: iteration done : 21 enodes (cost 7 ) 158.648 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.648 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 158.649 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 158.650 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 158.651 * * [simplify]: iteration done : 12 enodes (cost 6 ) 158.652 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 158.652 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 158.654 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 158.660 * * [simplify]: iteration 3 : 27 enodes (cost 10 ) 158.663 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 158.667 * * [simplify]: iteration 5 : 47 enodes (cost 10 ) 158.673 * * [simplify]: iteration 6 : 56 enodes (cost 10 ) 158.680 * * [simplify]: iteration 7 : 69 enodes (cost 10 ) 158.689 * * [simplify]: iteration 8 : 85 enodes (cost 10 ) 158.697 * * [simplify]: iteration 9 : 88 enodes (cost 10 ) 158.707 * * [simplify]: iteration done : 88 enodes (cost 10 ) 158.708 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.708 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 158.709 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 158.710 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 158.711 * * [simplify]: iteration done : 13 enodes (cost 7 ) 158.712 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.713 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 158.713 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 158.714 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 158.715 * * [simplify]: iteration done : 13 enodes (cost 7 ) 158.720 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 158.721 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 158.722 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 158.723 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 158.724 * * [simplify]: iteration done : 13 enodes (cost 7 ) 158.725 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.725 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 158.726 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 158.727 * * [simplify]: iteration 3 : 20 enodes (cost 4 ) 158.728 * * [simplify]: iteration done : 20 enodes (cost 4 ) 158.729 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.729 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 158.730 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 158.731 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 158.732 * * [simplify]: iteration done : 12 enodes (cost 6 ) 158.733 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 158.733 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 158.735 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 158.737 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 158.740 * * [simplify]: iteration 4 : 52 enodes (cost 5 ) 158.758 * * [simplify]: iteration 5 : 134 enodes (cost 5 ) 159.217 * * [simplify]: iteration 6 : 568 enodes (cost 5 ) 198.235 * * [simplify]: iteration 7 : 3661 enodes (cost 5 ) 214.039 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 214.040 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.040 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.041 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.042 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.043 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.044 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.045 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 214.046 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 214.046 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 214.047 * * [simplify]: iteration done : 14 enodes (cost 5 ) 214.048 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.049 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.049 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.050 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.051 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.052 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 214.053 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 214.053 * * [simplify]: iteration done : 8 enodes (cost 1 ) 214.053 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 214.060 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 214.060 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 214.061 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 214.063 * * [simplify]: iteration done : 11 enodes (cost 5 ) 214.063 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 214.064 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 214.066 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 214.071 * * [simplify]: iteration 3 : 68 enodes (cost 9 ) 214.082 * * [simplify]: iteration 4 : 107 enodes (cost 9 ) 214.099 * * [simplify]: iteration 5 : 142 enodes (cost 9 ) 214.143 * * [simplify]: iteration 6 : 197 enodes (cost 9 ) 214.175 * * [simplify]: iteration 7 : 238 enodes (cost 9 ) 214.211 * * [simplify]: iteration 8 : 275 enodes (cost 9 ) 214.257 * * [simplify]: iteration 9 : 278 enodes (cost 9 ) 214.304 * * [simplify]: iteration done : 278 enodes (cost 9 ) 214.305 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.306 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 214.307 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 214.308 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 214.309 * * [simplify]: iteration done : 13 enodes (cost 7 ) 214.310 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 214.310 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 214.312 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 214.314 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 214.318 * * [simplify]: iteration 4 : 42 enodes (cost 10 ) 214.322 * * [simplify]: iteration 5 : 46 enodes (cost 10 ) 214.328 * * [simplify]: iteration 6 : 54 enodes (cost 10 ) 214.334 * * [simplify]: iteration 7 : 69 enodes (cost 10 ) 214.341 * * [simplify]: iteration 8 : 81 enodes (cost 10 ) 214.354 * * [simplify]: iteration 9 : 93 enodes (cost 10 ) 214.364 * * [simplify]: iteration 10 : 103 enodes (cost 10 ) 214.375 * * [simplify]: iteration 11 : 104 enodes (cost 10 ) 214.385 * * [simplify]: iteration done : 104 enodes (cost 10 ) 214.385 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.386 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 214.387 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 214.388 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 214.389 * * [simplify]: iteration done : 13 enodes (cost 7 ) 214.389 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 214.390 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 214.392 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 214.395 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 214.402 * * [simplify]: iteration 4 : 68 enodes (cost 6 ) 214.412 * * [simplify]: iteration 5 : 81 enodes (cost 6 ) 214.420 * * [simplify]: iteration 6 : 93 enodes (cost 6 ) 214.434 * * [simplify]: iteration 7 : 106 enodes (cost 6 ) 214.445 * * [simplify]: iteration done : 106 enodes (cost 6 ) 214.445 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.446 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.447 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.448 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.449 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.449 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 214.450 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 214.451 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 214.453 * * [simplify]: iteration 3 : 27 enodes (cost 10 ) 214.456 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 214.460 * * [simplify]: iteration 5 : 47 enodes (cost 10 ) 214.471 * * [simplify]: iteration 6 : 56 enodes (cost 10 ) 214.478 * * [simplify]: iteration 7 : 69 enodes (cost 10 ) 214.486 * * [simplify]: iteration 8 : 85 enodes (cost 10 ) 214.495 * * [simplify]: iteration 9 : 88 enodes (cost 10 ) 214.505 * * [simplify]: iteration done : 88 enodes (cost 10 ) 214.505 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.506 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 214.507 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 214.508 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 214.509 * * [simplify]: iteration done : 13 enodes (cost 7 ) 214.510 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.511 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 214.511 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 214.513 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 214.514 * * [simplify]: iteration done : 13 enodes (cost 7 ) 214.514 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.515 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 214.516 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 214.517 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 214.518 * * [simplify]: iteration done : 13 enodes (cost 7 ) 214.518 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.519 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 214.520 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 214.521 * * [simplify]: iteration 3 : 20 enodes (cost 4 ) 214.522 * * [simplify]: iteration done : 20 enodes (cost 4 ) 214.523 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.523 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.524 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.525 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.527 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.527 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 214.528 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 214.533 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 214.535 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 214.538 * * [simplify]: iteration 4 : 44 enodes (cost 5 ) 214.546 * * [simplify]: iteration 5 : 74 enodes (cost 5 ) 214.559 * * [simplify]: iteration 6 : 100 enodes (cost 5 ) 214.568 * * [simplify]: iteration 7 : 106 enodes (cost 5 ) 214.580 * * [simplify]: iteration 8 : 115 enodes (cost 5 ) 214.595 * * [simplify]: iteration done : 115 enodes (cost 5 ) 214.596 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.596 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.597 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.598 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.599 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.600 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 214.600 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 214.601 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 214.602 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 214.603 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 214.605 * * [simplify]: iteration 5 : 24 enodes (cost 4 ) 214.607 * * [simplify]: iteration 6 : 29 enodes (cost 4 ) 214.609 * * [simplify]: iteration done : 29 enodes (cost 4 ) 214.610 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.610 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.611 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.612 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.613 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.614 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 214.614 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 214.614 * * [simplify]: iteration done : 7 enodes (cost 1 ) 214.615 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 214.616 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 214.616 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 214.617 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 214.618 * * [simplify]: iteration done : 11 enodes (cost 5 ) 214.619 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 214.619 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 214.619 * * [simplify]: iteration done : 4 enodes (cost 1 ) 214.620 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 214.620 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 214.621 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 214.622 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 214.623 * * [simplify]: iteration done : 11 enodes (cost 5 ) 214.623 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 214.624 * * [simplify]: iteration done : 3 enodes (cost 3 ) 214.624 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 214.625 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 214.625 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 214.626 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 214.628 * * [simplify]: iteration 4 : 17 enodes (cost 3 ) 214.630 * * [simplify]: iteration 5 : 23 enodes (cost 3 ) 214.632 * * [simplify]: iteration 6 : 28 enodes (cost 3 ) 214.634 * * [simplify]: iteration done : 28 enodes (cost 3 ) 214.634 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 214.634 * * [simplify]: iteration done : 3 enodes (cost 3 ) 214.635 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 214.635 * * [simplify]: iteration done : 2 enodes (cost 2 ) 214.636 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 214.636 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 214.637 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 214.638 * * [simplify]: iteration 3 : 11 enodes (cost 5 ) 214.639 * * [simplify]: iteration done : 11 enodes (cost 5 ) 214.640 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.640 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.641 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.642 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.643 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.644 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.644 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 214.645 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 214.647 * * [simplify]: iteration 3 : 17 enodes (cost 4 ) 214.648 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 214.650 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 214.653 * * [simplify]: iteration 6 : 40 enodes (cost 4 ) 214.662 * * [simplify]: iteration 7 : 70 enodes (cost 4 ) 214.670 * * [simplify]: iteration 8 : 87 enodes (cost 4 ) 214.683 * * [simplify]: iteration 9 : 128 enodes (cost 4 ) 214.706 * * [simplify]: iteration 10 : 187 enodes (cost 4 ) 214.738 * * [simplify]: iteration 11 : 229 enodes (cost 4 ) 214.764 * * [simplify]: iteration 12 : 246 enodes (cost 4 ) 214.790 * * [simplify]: iteration done : 246 enodes (cost 4 ) 214.791 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 214.792 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 214.793 * * [simplify]: iteration 2 : 12 enodes (cost 13 ) 214.794 * * [simplify]: iteration 3 : 13 enodes (cost 13 ) 214.795 * * [simplify]: iteration done : 13 enodes (cost 13 ) 214.795 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 214.796 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 214.797 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 214.798 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 214.799 * * [simplify]: iteration done : 12 enodes (cost 6 ) 214.799 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 214.800 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 214.801 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 214.803 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 214.808 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 214.824 * * [simplify]: iteration 5 : 190 enodes (cost 7 ) 214.896 * * [simplify]: iteration 6 : 527 enodes (cost 7 ) 215.369 * * [simplify]: iteration 7 : 1771 enodes (cost 7 ) 217.934 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 217.935 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 217.935 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 217.936 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 217.942 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 217.943 * * [simplify]: iteration done : 12 enodes (cost 6 ) 217.944 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 217.944 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 217.945 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 217.946 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 217.947 * * [simplify]: iteration done : 12 enodes (cost 6 ) 217.947 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.948 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.948 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.949 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.949 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 217.950 * * [simplify]: iteration done : 4 enodes (cost 6 ) 217.950 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.950 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.951 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.951 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.952 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.952 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.952 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 217.953 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 217.953 * * [simplify]: iteration done : 4 enodes (cost 1 ) 217.953 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 217.954 * * [simplify]: iteration done : 2 enodes (cost 2 ) 217.954 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 217.955 * * [simplify]: iteration done : 4 enodes (cost 7 ) 217.955 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.956 * * [simplify]: iteration done : 3 enodes (cost 3 ) 217.956 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 217.957 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 217.957 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 217.958 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 217.959 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 217.960 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 217.962 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 217.965 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 217.973 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 218.018 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 218.463 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 220.790 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 220.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.790 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.791 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.791 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.792 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.792 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.793 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.793 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.794 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 220.794 * * [simplify]: iteration done : 4 enodes (cost 6 ) 220.795 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.795 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.796 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.796 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.797 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.797 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.797 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 220.798 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 220.798 * * [simplify]: iteration done : 4 enodes (cost 1 ) 220.798 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 220.799 * * [simplify]: iteration done : 2 enodes (cost 2 ) 220.799 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 220.800 * * [simplify]: iteration done : 4 enodes (cost 7 ) 220.800 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 220.800 * * [simplify]: iteration done : 3 enodes (cost 3 ) 220.801 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 220.802 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 220.802 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 220.803 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 220.804 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 220.805 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 220.806 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 220.809 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 220.823 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 220.864 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 221.319 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 223.663 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 223.663 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.663 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.664 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.664 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.665 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.665 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.666 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.666 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.666 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 223.667 * * [simplify]: iteration done : 4 enodes (cost 6 ) 223.667 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.668 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.668 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.669 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.669 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.669 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.670 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 223.670 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 223.670 * * [simplify]: iteration done : 4 enodes (cost 1 ) 223.671 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 223.671 * * [simplify]: iteration done : 2 enodes (cost 2 ) 223.672 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 223.672 * * [simplify]: iteration done : 4 enodes (cost 7 ) 223.673 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 223.673 * * [simplify]: iteration done : 3 enodes (cost 3 ) 223.674 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 223.674 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 223.675 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 223.676 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 223.676 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 223.677 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 223.679 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 223.682 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 223.690 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 223.737 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 224.185 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 226.539 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 226.540 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 226.540 * * [simplify]: iteration done : 3 enodes (cost 3 ) 226.540 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 226.541 * * [simplify]: iteration done : 3 enodes (cost 3 ) 226.541 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 226.543 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 226.546 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 226.556 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 226.561 * * [simplify]: iteration 4 : 57 enodes (cost 7 ) 226.567 * * [simplify]: iteration 5 : 70 enodes (cost 7 ) 226.575 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 226.593 * * [simplify]: iteration 7 : 132 enodes (cost 7 ) 226.613 * * [simplify]: iteration 8 : 149 enodes (cost 7 ) 226.633 * * [simplify]: iteration 9 : 164 enodes (cost 7 ) 226.650 * * [simplify]: iteration done : 164 enodes (cost 7 ) 226.651 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 226.653 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 226.657 * * [simplify]: iteration 2 : 55 enodes (cost 9 ) 226.672 * * [simplify]: iteration 3 : 100 enodes (cost 7 ) 226.689 * * [simplify]: iteration 4 : 125 enodes (cost 7 ) 226.705 * * [simplify]: iteration 5 : 138 enodes (cost 7 ) 226.724 * * [simplify]: iteration 6 : 153 enodes (cost 7 ) 226.744 * * [simplify]: iteration done : 153 enodes (cost 7 ) 226.745 * * [simplify]: iteration 0 : 18 enodes (cost 20 ) 226.747 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 226.752 * * [simplify]: iteration 2 : 67 enodes (cost 18 ) 226.761 * * [simplify]: iteration 3 : 162 enodes (cost 17 ) 226.806 * * [simplify]: iteration 4 : 472 enodes (cost 16 ) 227.229 * * [simplify]: iteration 5 : 1856 enodes (cost 14 ) 228.395 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 228.396 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 228.397 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 228.400 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 228.403 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 228.409 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 228.429 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 228.482 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 228.662 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 230.248 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 232.034 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 232.035 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 232.036 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 232.038 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 232.044 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 232.056 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 232.084 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 232.195 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 232.693 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 234.431 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 234.432 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 234.433 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 234.437 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 234.442 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 234.463 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 234.536 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 234.815 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 236.187 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 237.441 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 237.441 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 237.443 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 237.445 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 237.454 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 237.460 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 237.477 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 237.529 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 237.713 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 239.089 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 240.866 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 240.866 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 240.867 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 240.870 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 240.875 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 240.883 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 240.912 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 241.019 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 241.511 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 243.248 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 243.249 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 243.250 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 243.253 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 243.259 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 243.284 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 243.353 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 243.637 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 245.010 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 246.270 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 246.270 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 246.272 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 246.274 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 246.278 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 246.284 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 246.299 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 246.352 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 246.538 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 247.909 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 249.907 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 249.908 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 249.909 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 249.912 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 249.917 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 249.925 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 249.958 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 250.067 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 250.568 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 252.335 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 252.336 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 252.337 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 252.340 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 252.346 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 252.367 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 252.437 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 252.727 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 254.120 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 255.388 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 255.388 * [simplify]: Simplified to: (* 2 (log (cbrt (/ (cbrt x) y)))) (log (cbrt (/ (cbrt x) y))) (log (sqrt (/ (cbrt x) y))) (log (sqrt (/ (cbrt x) y))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (log (/ (cbrt (cbrt x)) (cbrt y))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt y))) (log (/ (cbrt (cbrt x)) (sqrt y))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) y)) (log (/ (cbrt (sqrt x)) (* (cbrt y) (cbrt y)))) (log (/ (cbrt (sqrt x)) (cbrt y))) (log (/ (cbrt (sqrt x)) (sqrt y))) (log (/ (cbrt (sqrt x)) (sqrt y))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) y)) (* -2 (log (cbrt y))) (log (/ (cbrt x) (cbrt y))) (log (/ 1 (sqrt y))) (log (/ (cbrt x) (sqrt y))) 0 (log (/ (cbrt x) y)) (* 2 (log (/ (cbrt (cbrt x)) (cbrt y)))) (log (/ (cbrt (cbrt x)) (cbrt y))) (- (* 2 (log (cbrt (cbrt x)))) (log (sqrt y))) (log (/ (cbrt (cbrt x)) (sqrt y))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) y)) (log (/ (sqrt (cbrt x)) (* (cbrt y) (cbrt y)))) (log (/ (sqrt (cbrt x)) (cbrt y))) (log (/ (sqrt (cbrt x)) (sqrt y))) (log (/ (sqrt (cbrt x)) (sqrt y))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) y)) (* -2 (log (cbrt y))) (log (/ (cbrt x) (cbrt y))) (neg (log (sqrt y))) (log (/ (cbrt x) (sqrt y))) 0 (log (/ (cbrt x) y)) 0 (log (/ (cbrt x) y)) (log (cbrt x)) (neg (log y)) (log (cbrt x)) (log y) (log (/ (cbrt x) y)) (log (log (/ (cbrt x) y))) (/ (cbrt x) y) (* (cbrt (log (/ (cbrt x) y))) (cbrt (log (/ (cbrt x) y)))) (cbrt (log (/ (cbrt x) y))) (pow (log (/ (cbrt x) y)) 3) (sqrt (log (/ (cbrt x) y))) (sqrt (log (/ (cbrt x) y))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (- (* 1/3 (log x)) (log y)) (- (* 1/3 (log x)) (log y)) (+ (- (log (neg (cbrt -1))) (log y)) (log (neg (cbrt (/ x -1))))) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) 255.389 * * * [progress]: adding candidates to table 255.491 * [progress]: [Phase 3 of 3] Extracting. 255.491 * * [regime]: Finding splitpoints for: (# # # # # # #) 255.493 * * * [regime-changes]: Trying 5 branch expressions: ((* x (log (/ x y))) (- (* x (log (/ x y))) z) z y x) 255.493 * * * * [regimes]: Trying to branch on (* x (log (/ x y))) from (# # # # # # #) 255.567 * * * * [regimes]: Trying to branch on (- (* x (log (/ x y))) z) from (# # # # # # #) 255.640 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 255.709 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 255.777 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 255.845 * * * [regime]: Found split indices: #