21.741 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.028 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.029 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.030 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.032 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 0.034 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 0.038 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 0.044 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 0.051 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 0.062 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 0.074 * * [simplify]: iteration 9 : 140 enodes (cost 8 ) 0.100 * * [simplify]: iteration 10 : 200 enodes (cost 8 ) 0.139 * * [simplify]: iteration 11 : 207 enodes (cost 8 ) 0.179 * * [simplify]: iteration 12 : 208 enodes (cost 8 ) 0.218 * * [simplify]: iteration done : 208 enodes (cost 8 ) 0.218 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.219 * * [progress]: iteration 1 / 4 0.219 * * * [progress]: picking best candidate 0.220 * * * * [pick]: Picked # 0.220 * * * [progress]: localizing error 0.227 * * * [progress]: generating rewritten candidates 0.227 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.229 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.250 * * * [progress]: generating series expansions 0.250 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.250 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.250 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.250 * [taylor]: Taking taylor expansion of (/ x y) in y 0.250 * [taylor]: Taking taylor expansion of x in y 0.250 * [taylor]: Taking taylor expansion of y in y 0.250 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.250 * [taylor]: Taking taylor expansion of (/ x y) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of y in x 0.250 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.250 * [taylor]: Taking taylor expansion of (/ x y) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of y in x 0.251 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.251 * [taylor]: Taking taylor expansion of (log x) in y 0.251 * [taylor]: Taking taylor expansion of x in y 0.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.253 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.260 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.261 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.261 * [taylor]: Taking taylor expansion of (/ y x) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of x in y 0.261 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.261 * [taylor]: Taking taylor expansion of (/ y x) in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.261 * [taylor]: Taking taylor expansion of (/ y x) in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.261 * [taylor]: Taking taylor expansion of (log y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.262 * [taylor]: Taking taylor expansion of (log x) in y 0.262 * [taylor]: Taking taylor expansion of x in y 0.263 * [taylor]: Taking taylor expansion of 0 in y 0.266 * [taylor]: Taking taylor expansion of 0 in y 0.272 * [taylor]: Taking taylor expansion of 0 in y 0.272 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.272 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.272 * [taylor]: Taking taylor expansion of (/ y x) in y 0.272 * [taylor]: Taking taylor expansion of y in y 0.272 * [taylor]: Taking taylor expansion of x in y 0.272 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ y x) in x 0.272 * [taylor]: Taking taylor expansion of y in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ y x) in x 0.272 * [taylor]: Taking taylor expansion of y in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.273 * [taylor]: Taking taylor expansion of (log y) in y 0.273 * [taylor]: Taking taylor expansion of y in y 0.273 * [taylor]: Taking taylor expansion of (log x) in y 0.273 * [taylor]: Taking taylor expansion of x in y 0.274 * [taylor]: Taking taylor expansion of 0 in y 0.278 * [taylor]: Taking taylor expansion of 0 in y 0.283 * [taylor]: Taking taylor expansion of 0 in y 0.283 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.283 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.284 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.284 * [taylor]: Taking taylor expansion of x in y 0.284 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.284 * [taylor]: Taking taylor expansion of (/ x y) in y 0.284 * [taylor]: Taking taylor expansion of x in y 0.284 * [taylor]: Taking taylor expansion of y in y 0.284 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.284 * [taylor]: Taking taylor expansion of (/ x y) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.284 * [taylor]: Taking taylor expansion of (/ x y) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.285 * [taylor]: Taking taylor expansion of (log x) in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.293 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.293 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.293 * [taylor]: Taking taylor expansion of (/ y x) in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.293 * [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.295 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.295 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.295 * [taylor]: Taking taylor expansion of (/ y x) in x 0.295 * [taylor]: Taking taylor expansion of y in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.296 * [taylor]: Taking taylor expansion of (log y) in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of (log x) in y 0.296 * [taylor]: Taking taylor expansion of x in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.302 * [taylor]: Taking taylor expansion of 0 in y 0.308 * [taylor]: Taking taylor expansion of 0 in y 0.309 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.309 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.309 * [taylor]: Taking taylor expansion of -1 in y 0.309 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.309 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.309 * [taylor]: Taking taylor expansion of (/ y x) in y 0.309 * [taylor]: Taking taylor expansion of y in y 0.309 * [taylor]: Taking taylor expansion of x in y 0.309 * [taylor]: Taking taylor expansion of x in y 0.310 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.310 * [taylor]: Taking taylor expansion of -1 in x 0.310 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.310 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.310 * [taylor]: Taking taylor expansion of (/ y x) in x 0.310 * [taylor]: Taking taylor expansion of y in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.310 * [taylor]: Taking taylor expansion of -1 in x 0.310 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.310 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.310 * [taylor]: Taking taylor expansion of (/ y x) in x 0.310 * [taylor]: Taking taylor expansion of y in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.311 * [taylor]: Taking taylor expansion of -1 in y 0.311 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.311 * [taylor]: Taking taylor expansion of (log y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of (log x) in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.314 * [taylor]: Taking taylor expansion of 0 in y 0.319 * [taylor]: Taking taylor expansion of 0 in y 0.330 * [taylor]: Taking taylor expansion of 0 in y 0.330 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.330 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.331 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.331 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.331 * [taylor]: Taking taylor expansion of x in z 0.331 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.331 * [taylor]: Taking taylor expansion of (/ x y) in z 0.331 * [taylor]: Taking taylor expansion of x in z 0.331 * [taylor]: Taking taylor expansion of y in z 0.331 * [taylor]: Taking taylor expansion of z in z 0.331 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.331 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.331 * [taylor]: Taking taylor expansion of x in y 0.331 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.331 * [taylor]: Taking taylor expansion of (/ x y) in y 0.331 * [taylor]: Taking taylor expansion of x in y 0.331 * [taylor]: Taking taylor expansion of y in y 0.331 * [taylor]: Taking taylor expansion of z in y 0.331 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.331 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.331 * [taylor]: Taking taylor expansion of (/ x y) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of y in x 0.331 * [taylor]: Taking taylor expansion of z in x 0.331 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.331 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.331 * [taylor]: Taking taylor expansion of (/ x y) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of y in x 0.331 * [taylor]: Taking taylor expansion of z in x 0.332 * [taylor]: Taking taylor expansion of (- z) in y 0.332 * [taylor]: Taking taylor expansion of z in y 0.332 * [taylor]: Taking taylor expansion of (- z) in z 0.332 * [taylor]: Taking taylor expansion of z in z 0.333 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.333 * [taylor]: Taking taylor expansion of (log x) in y 0.333 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.334 * [taylor]: Taking taylor expansion of (log x) in z 0.334 * [taylor]: Taking taylor expansion of x in z 0.334 * [taylor]: Taking taylor expansion of (log y) in z 0.334 * [taylor]: Taking taylor expansion of y in z 0.335 * [taylor]: Taking taylor expansion of 0 in z 0.337 * [taylor]: Taking taylor expansion of 0 in y 0.337 * [taylor]: Taking taylor expansion of 0 in z 0.339 * [taylor]: Taking taylor expansion of 0 in z 0.339 * [taylor]: Taking taylor expansion of 0 in z 0.342 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.342 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.342 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.342 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.342 * [taylor]: Taking taylor expansion of (/ y x) in z 0.342 * [taylor]: Taking taylor expansion of y in z 0.342 * [taylor]: Taking taylor expansion of x in z 0.342 * [taylor]: Taking taylor expansion of x in z 0.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.342 * [taylor]: Taking taylor expansion of z in z 0.342 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.342 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.342 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.342 * [taylor]: Taking taylor expansion of (/ y x) in y 0.342 * [taylor]: Taking taylor expansion of y in y 0.342 * [taylor]: Taking taylor expansion of x in y 0.342 * [taylor]: Taking taylor expansion of x in y 0.343 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.343 * [taylor]: Taking taylor expansion of z in y 0.343 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.343 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.343 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.343 * [taylor]: Taking taylor expansion of (/ y x) in x 0.343 * [taylor]: Taking taylor expansion of y in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.344 * [taylor]: Taking taylor expansion of z in x 0.344 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.344 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.344 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.344 * [taylor]: Taking taylor expansion of (/ y x) in x 0.344 * [taylor]: Taking taylor expansion of y in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.345 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.345 * [taylor]: Taking taylor expansion of z in x 0.345 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.345 * [taylor]: Taking taylor expansion of (log y) in y 0.345 * [taylor]: Taking taylor expansion of y in y 0.345 * [taylor]: Taking taylor expansion of (log x) in y 0.345 * [taylor]: Taking taylor expansion of x in y 0.345 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.345 * [taylor]: Taking taylor expansion of (log y) in z 0.345 * [taylor]: Taking taylor expansion of y in z 0.345 * [taylor]: Taking taylor expansion of (log x) in z 0.346 * [taylor]: Taking taylor expansion of x in z 0.347 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.347 * [taylor]: Taking taylor expansion of z in y 0.347 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.347 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.347 * [taylor]: Taking taylor expansion of z in z 0.349 * [taylor]: Taking taylor expansion of 0 in z 0.353 * [taylor]: Taking taylor expansion of 0 in y 0.353 * [taylor]: Taking taylor expansion of 0 in z 0.353 * [taylor]: Taking taylor expansion of 0 in z 0.356 * [taylor]: Taking taylor expansion of 0 in z 0.362 * [taylor]: Taking taylor expansion of 0 in y 0.362 * [taylor]: Taking taylor expansion of 0 in z 0.362 * [taylor]: Taking taylor expansion of 0 in z 0.362 * [taylor]: Taking taylor expansion of 0 in z 0.367 * [taylor]: Taking taylor expansion of 0 in z 0.367 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.367 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.367 * [taylor]: Taking taylor expansion of z in z 0.368 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.368 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.368 * [taylor]: Taking taylor expansion of (/ y x) in z 0.368 * [taylor]: Taking taylor expansion of y in z 0.368 * [taylor]: Taking taylor expansion of x in z 0.368 * [taylor]: Taking taylor expansion of x in z 0.368 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.368 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.368 * [taylor]: Taking taylor expansion of z in y 0.368 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.368 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.368 * [taylor]: Taking taylor expansion of (/ y x) in y 0.368 * [taylor]: Taking taylor expansion of y in y 0.368 * [taylor]: Taking taylor expansion of x in y 0.368 * [taylor]: Taking taylor expansion of x in y 0.369 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.369 * [taylor]: Taking taylor expansion of z in x 0.369 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.369 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ y x) in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.370 * [taylor]: Taking taylor expansion of z in x 0.370 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.370 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.370 * [taylor]: Taking taylor expansion of (/ y x) in x 0.370 * [taylor]: Taking taylor expansion of y in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.371 * [taylor]: Taking taylor expansion of (log x) in y 0.371 * [taylor]: Taking taylor expansion of x in y 0.371 * [taylor]: Taking taylor expansion of (log y) in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.371 * [taylor]: Taking taylor expansion of (log x) in z 0.371 * [taylor]: Taking taylor expansion of x in z 0.371 * [taylor]: Taking taylor expansion of (log y) in z 0.371 * [taylor]: Taking taylor expansion of y in z 0.374 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.374 * [taylor]: Taking taylor expansion of z in y 0.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.374 * [taylor]: Taking taylor expansion of z in z 0.375 * [taylor]: Taking taylor expansion of 0 in z 0.379 * [taylor]: Taking taylor expansion of 0 in y 0.379 * [taylor]: Taking taylor expansion of 0 in z 0.379 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.393 * * * [progress]: simplifying candidates 0.395 * [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))) (- 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) (- z) (- (log x) (log y)) (- (log (/ 1 y)) (log (/ 1 x))) (- (log (/ -1 y)) (log (/ -1 x))) (* x (- (log x) (log y))) (* x (- (log (/ 1 y)) (log (/ 1 x)))) (* x (- (log (/ -1 y)) (log (/ -1 x)))) (- (* (log x) x) (+ (* x (log y)) z)) (- (* x (log (/ 1 y))) (+ z (* x (log (/ 1 x))))) (- (* x (log (/ -1 y))) (+ z (* x (log (/ -1 x))))) 0.399 * * [simplify]: iteration 0 : 192 enodes (cost 1277 ) 0.435 * * [simplify]: iteration 1 : 328 enodes (cost 1212 ) 0.503 * * [simplify]: iteration 2 : 878 enodes (cost 1162 ) 0.892 * * [simplify]: iteration 3 : 2657 enodes (cost 1132 ) 1.697 * * [simplify]: iteration done : 5000 enodes (cost 1132 ) 1.698 * [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))) (- (log (sqrt y))) (log (/ x (sqrt y))) 0 (log (/ x y)) 0 (log (/ x y)) (log x) (- (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))) (* (log (/ x y)) x) (log (* x (log (/ x y)))) (log (* x (log (/ x y)))) (pow (/ x y) x) (pow (* (log (/ x y)) x) 3) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (pow (* (log (/ x y)) x) 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) (* (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) (* x (log (sqrt x))) (* (log (/ (sqrt x) y)) x) (* (- x) (* 2 (log (cbrt y)))) (* x (log (/ x (cbrt y)))) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* x (log x)) (* (- (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) (* x (log (sqrt x))) (* (log (/ (sqrt x) y)) x) (* (- x) (* 2 (log (cbrt y)))) (* x (log (/ x (cbrt y)))) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* x (log x)) (* (- (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))) (* (log (/ x y)) x) (/ (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)) (* (* (- (* 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)) (+ (* (* (log (/ x y)) x) (+ (* x (log (/ x y))) z)) (* z z)) (- z) (- (* (* x (log (/ x y))) (* x (log (/ x y)))) (* z z)) (+ (* x (log (/ x 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) (- (* x (log (/ x (cbrt y)))) z) (- (* x (log (/ x (sqrt y)))) z) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (+ (* x (log 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) (- (* x (log (/ x (cbrt y)))) z) (- (* x (log (/ x (sqrt y)))) z) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (+ (* x (log y)) z)) (- z) (log (/ x y)) (log (/ x y)) (- (log (/ -1 y)) (log (/ -1 x))) (* (log (/ x y)) x) (* (log (/ x y)) x) (* x (- (log (/ -1 y)) (log (/ -1 x)))) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 1.699 * * * [progress]: adding candidates to table 1.936 * * [progress]: iteration 2 / 4 1.936 * * * [progress]: picking best candidate 1.951 * * * * [pick]: Picked # 1.951 * * * [progress]: localizing error 1.964 * * * [progress]: generating rewritten candidates 1.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 1.964 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 1.965 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.965 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2) 1.966 * * * [progress]: generating series expansions 1.967 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 1.967 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.967 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.967 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.967 * [taylor]: Taking taylor expansion of 1/3 in x 1.967 * [taylor]: Taking taylor expansion of (log x) in x 1.967 * [taylor]: Taking taylor expansion of x in x 1.968 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.968 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.968 * [taylor]: Taking taylor expansion of 1/3 in x 1.968 * [taylor]: Taking taylor expansion of (log x) in x 1.968 * [taylor]: Taking taylor expansion of x in x 2.020 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.020 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.020 * [taylor]: Taking taylor expansion of 1/3 in x 2.020 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.020 * [taylor]: Taking taylor expansion of x in x 2.021 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.021 * [taylor]: Taking taylor expansion of 1/3 in x 2.021 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.021 * [taylor]: Taking taylor expansion of x in x 2.076 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.076 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.076 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.076 * [taylor]: Taking taylor expansion of -1 in x 2.077 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.077 * [taylor]: Taking taylor expansion of 1/3 in x 2.077 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.077 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.078 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.078 * [taylor]: Taking taylor expansion of -1 in x 2.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.078 * [taylor]: Taking taylor expansion of 1/3 in x 2.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.140 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 2.140 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.140 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.140 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.140 * [taylor]: Taking taylor expansion of 1/3 in x 2.140 * [taylor]: Taking taylor expansion of (log x) in x 2.140 * [taylor]: Taking taylor expansion of x in x 2.141 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.141 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.141 * [taylor]: Taking taylor expansion of 1/3 in x 2.141 * [taylor]: Taking taylor expansion of (log x) in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.195 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.195 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.195 * [taylor]: Taking taylor expansion of 1/3 in x 2.195 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.195 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.196 * [taylor]: Taking taylor expansion of 1/3 in x 2.196 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.253 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.253 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.253 * [taylor]: Taking taylor expansion of -1 in x 2.254 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.254 * [taylor]: Taking taylor expansion of 1/3 in x 2.254 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.254 * [taylor]: Taking taylor expansion of x in x 2.255 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.255 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.255 * [taylor]: Taking taylor expansion of -1 in x 2.255 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.255 * [taylor]: Taking taylor expansion of 1/3 in x 2.255 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.255 * [taylor]: Taking taylor expansion of x in x 2.321 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 2.321 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.321 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.321 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.321 * [taylor]: Taking taylor expansion of 1/3 in y 2.321 * [taylor]: Taking taylor expansion of (log y) in y 2.321 * [taylor]: Taking taylor expansion of y in y 2.322 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.322 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.322 * [taylor]: Taking taylor expansion of 1/3 in y 2.322 * [taylor]: Taking taylor expansion of (log y) in y 2.322 * [taylor]: Taking taylor expansion of y in y 2.374 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.374 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.374 * [taylor]: Taking taylor expansion of 1/3 in y 2.374 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.374 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.375 * [taylor]: Taking taylor expansion of 1/3 in y 2.375 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.425 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.425 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.425 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.425 * [taylor]: Taking taylor expansion of -1 in y 2.425 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.426 * [taylor]: Taking taylor expansion of 1/3 in y 2.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.426 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.426 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.426 * [taylor]: Taking taylor expansion of -1 in y 2.427 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.427 * [taylor]: Taking taylor expansion of 1/3 in y 2.427 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.427 * [taylor]: Taking taylor expansion of y in y 2.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2) 2.494 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.494 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.494 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.494 * [taylor]: Taking taylor expansion of 1/3 in y 2.494 * [taylor]: Taking taylor expansion of (log y) in y 2.494 * [taylor]: Taking taylor expansion of y in y 2.495 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.495 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.495 * [taylor]: Taking taylor expansion of 1/3 in y 2.495 * [taylor]: Taking taylor expansion of (log y) in y 2.495 * [taylor]: Taking taylor expansion of y in y 2.547 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.547 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.547 * [taylor]: Taking taylor expansion of 1/3 in y 2.547 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.548 * [taylor]: Taking taylor expansion of 1/3 in y 2.548 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.603 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.603 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.603 * [taylor]: Taking taylor expansion of -1 in y 2.604 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.604 * [taylor]: Taking taylor expansion of 1/3 in y 2.604 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.604 * [taylor]: Taking taylor expansion of y in y 2.605 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.605 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.605 * [taylor]: Taking taylor expansion of -1 in y 2.605 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.606 * [taylor]: Taking taylor expansion of 1/3 in y 2.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.606 * [taylor]: Taking taylor expansion of y in y 2.671 * * * [progress]: simplifying candidates 2.672 * [simplify]: Simplifying using # : (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 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)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 2.673 * * [simplify]: iteration 0 : 42 enodes (cost 260 ) 2.679 * * [simplify]: iteration 1 : 71 enodes (cost 244 ) 2.689 * * [simplify]: iteration 2 : 144 enodes (cost 220 ) 2.713 * * [simplify]: iteration 3 : 308 enodes (cost 208 ) 2.806 * * [simplify]: iteration 4 : 1015 enodes (cost 208 ) 3.193 * * [simplify]: iteration done : 5000 enodes (cost 208 ) 3.193 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (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 (pow x 2/3)) (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 y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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 (pow y 2/3)) (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)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 3.194 * * * [progress]: adding candidates to table 3.394 * * [progress]: iteration 3 / 4 3.394 * * * [progress]: picking best candidate 3.411 * * * * [pick]: Picked # 3.411 * * * [progress]: localizing error 3.432 * * * [progress]: generating rewritten candidates 3.433 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 2) 3.433 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 3.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 3.435 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 1) 3.436 * * * [progress]: generating series expansions 3.436 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 2) 3.437 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 3.437 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.437 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.437 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.437 * [taylor]: Taking taylor expansion of 1/9 in x 3.437 * [taylor]: Taking taylor expansion of (log x) in x 3.437 * [taylor]: Taking taylor expansion of x in x 3.438 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.438 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.438 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.438 * [taylor]: Taking taylor expansion of 1/9 in x 3.438 * [taylor]: Taking taylor expansion of (log x) in x 3.438 * [taylor]: Taking taylor expansion of x in x 3.490 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 3.490 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.490 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.490 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.490 * [taylor]: Taking taylor expansion of 1/9 in x 3.490 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.490 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.491 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.491 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.491 * [taylor]: Taking taylor expansion of 1/9 in x 3.491 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.542 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 3.542 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 3.542 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.542 * [taylor]: Taking taylor expansion of 1/3 in x 3.542 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.542 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.542 * [taylor]: Taking taylor expansion of -1 in x 3.545 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.545 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.545 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.545 * [taylor]: Taking taylor expansion of 1/9 in x 3.545 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.545 * [taylor]: Taking taylor expansion of x in x 3.546 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 3.546 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.546 * [taylor]: Taking taylor expansion of 1/3 in x 3.546 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.546 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.546 * [taylor]: Taking taylor expansion of -1 in x 3.550 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.550 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.550 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.550 * [taylor]: Taking taylor expansion of 1/9 in x 3.550 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.550 * [taylor]: Taking taylor expansion of x in x 3.675 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 2) 3.676 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 3.676 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.676 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.676 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.676 * [taylor]: Taking taylor expansion of 1/9 in x 3.676 * [taylor]: Taking taylor expansion of (log x) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.676 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.676 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.676 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.676 * [taylor]: Taking taylor expansion of 1/9 in x 3.676 * [taylor]: Taking taylor expansion of (log x) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.729 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 3.729 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.729 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.729 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.729 * [taylor]: Taking taylor expansion of 1/9 in x 3.729 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.729 * [taylor]: Taking taylor expansion of x in x 3.730 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.730 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.730 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.730 * [taylor]: Taking taylor expansion of 1/9 in x 3.730 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.730 * [taylor]: Taking taylor expansion of x in x 3.787 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 3.787 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 3.787 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.787 * [taylor]: Taking taylor expansion of 1/3 in x 3.787 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.787 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.787 * [taylor]: Taking taylor expansion of -1 in x 3.791 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.791 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.791 * [taylor]: Taking taylor expansion of 1/9 in x 3.791 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.792 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 3.792 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.792 * [taylor]: Taking taylor expansion of 1/3 in x 3.792 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.792 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.792 * [taylor]: Taking taylor expansion of -1 in x 3.796 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.796 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.796 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.796 * [taylor]: Taking taylor expansion of 1/9 in x 3.796 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.796 * [taylor]: Taking taylor expansion of x in x 3.918 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1) 3.918 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 3.918 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.918 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.918 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.918 * [taylor]: Taking taylor expansion of 1/9 in x 3.918 * [taylor]: Taking taylor expansion of (log x) in x 3.918 * [taylor]: Taking taylor expansion of x in x 3.918 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 3.918 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 3.919 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 3.919 * [taylor]: Taking taylor expansion of 1/9 in x 3.919 * [taylor]: Taking taylor expansion of (log x) in x 3.919 * [taylor]: Taking taylor expansion of x in x 3.973 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 3.973 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.973 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.973 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.973 * [taylor]: Taking taylor expansion of 1/9 in x 3.973 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.973 * [taylor]: Taking taylor expansion of x in x 3.974 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.974 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.974 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.974 * [taylor]: Taking taylor expansion of 1/9 in x 3.974 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.974 * [taylor]: Taking taylor expansion of x in x 4.031 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.031 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.031 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.031 * [taylor]: Taking taylor expansion of 1/3 in x 4.031 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.031 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.031 * [taylor]: Taking taylor expansion of -1 in x 4.034 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.034 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.034 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.034 * [taylor]: Taking taylor expansion of 1/9 in x 4.035 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.035 * [taylor]: Taking taylor expansion of x in x 4.035 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.035 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.035 * [taylor]: Taking taylor expansion of 1/3 in x 4.035 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.035 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.036 * [taylor]: Taking taylor expansion of -1 in x 4.039 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.039 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.039 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.039 * [taylor]: Taking taylor expansion of 1/9 in x 4.039 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.039 * [taylor]: Taking taylor expansion of x in x 4.166 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 1) 4.166 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.166 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.167 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.167 * [taylor]: Taking taylor expansion of 1/3 in x 4.167 * [taylor]: Taking taylor expansion of (log x) in x 4.167 * [taylor]: Taking taylor expansion of x in x 4.167 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.167 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.167 * [taylor]: Taking taylor expansion of 1/3 in x 4.167 * [taylor]: Taking taylor expansion of (log x) in x 4.167 * [taylor]: Taking taylor expansion of x in x 4.217 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.217 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.217 * [taylor]: Taking taylor expansion of 1/3 in x 4.217 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.217 * [taylor]: Taking taylor expansion of x in x 4.218 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.218 * [taylor]: Taking taylor expansion of 1/3 in x 4.218 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.218 * [taylor]: Taking taylor expansion of x in x 4.277 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.277 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.277 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.277 * [taylor]: Taking taylor expansion of -1 in x 4.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.278 * [taylor]: Taking taylor expansion of 1/3 in x 4.278 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.278 * [taylor]: Taking taylor expansion of x in x 4.279 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.279 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.279 * [taylor]: Taking taylor expansion of -1 in x 4.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.279 * [taylor]: Taking taylor expansion of 1/3 in x 4.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.279 * [taylor]: Taking taylor expansion of x in x 4.349 * * * [progress]: simplifying candidates 4.350 * [simplify]: Simplifying using # : (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 4.351 * * [simplify]: iteration 0 : 42 enodes (cost 389 ) 4.359 * * [simplify]: iteration 1 : 75 enodes (cost 370 ) 4.371 * * [simplify]: iteration 2 : 147 enodes (cost 340 ) 4.407 * * [simplify]: iteration 3 : 338 enodes (cost 328 ) 4.534 * * [simplify]: iteration 4 : 1136 enodes (cost 328 ) 4.912 * * [simplify]: iteration done : 5001 enodes (cost 328 ) 4.913 * [simplify]: Simplified to: (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 4.913 * * * [progress]: adding candidates to table 5.192 * * [progress]: iteration 4 / 4 5.192 * * * [progress]: picking best candidate 5.207 * * * * [pick]: Picked # 5.208 * * * [progress]: localizing error 5.220 * * * [progress]: generating rewritten candidates 5.220 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1) 5.221 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1) 5.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 5.222 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 2) 5.223 * * * [progress]: generating series expansions 5.223 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1) 5.223 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.224 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.224 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.224 * [taylor]: Taking taylor expansion of 1/3 in x 5.224 * [taylor]: Taking taylor expansion of (log x) in x 5.224 * [taylor]: Taking taylor expansion of x in x 5.225 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.225 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.225 * [taylor]: Taking taylor expansion of 1/3 in x 5.225 * [taylor]: Taking taylor expansion of (log x) in x 5.225 * [taylor]: Taking taylor expansion of x in x 5.275 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.275 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.275 * [taylor]: Taking taylor expansion of 1/3 in x 5.275 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.275 * [taylor]: Taking taylor expansion of x in x 5.276 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.276 * [taylor]: Taking taylor expansion of 1/3 in x 5.276 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.276 * [taylor]: Taking taylor expansion of x in x 5.336 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.336 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.336 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.336 * [taylor]: Taking taylor expansion of -1 in x 5.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.337 * [taylor]: Taking taylor expansion of 1/3 in x 5.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.337 * [taylor]: Taking taylor expansion of x in x 5.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.338 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.338 * [taylor]: Taking taylor expansion of -1 in x 5.339 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.339 * [taylor]: Taking taylor expansion of 1/3 in x 5.339 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.339 * [taylor]: Taking taylor expansion of x in x 5.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1) 5.407 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.407 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.407 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.408 * [taylor]: Taking taylor expansion of 1/3 in x 5.408 * [taylor]: Taking taylor expansion of (log x) in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.408 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.408 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.408 * [taylor]: Taking taylor expansion of 1/3 in x 5.408 * [taylor]: Taking taylor expansion of (log x) in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.463 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.463 * [taylor]: Taking taylor expansion of 1/3 in x 5.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.463 * [taylor]: Taking taylor expansion of x in x 5.464 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.464 * [taylor]: Taking taylor expansion of 1/3 in x 5.464 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.464 * [taylor]: Taking taylor expansion of x in x 5.516 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.516 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.516 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.516 * [taylor]: Taking taylor expansion of -1 in x 5.524 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.524 * [taylor]: Taking taylor expansion of 1/3 in x 5.524 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.524 * [taylor]: Taking taylor expansion of x in x 5.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.525 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.525 * [taylor]: Taking taylor expansion of -1 in x 5.526 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.526 * [taylor]: Taking taylor expansion of 1/3 in x 5.526 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.526 * [taylor]: Taking taylor expansion of x in x 5.588 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 5.588 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.589 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.589 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.589 * [taylor]: Taking taylor expansion of 1/3 in y 5.589 * [taylor]: Taking taylor expansion of (log y) in y 5.589 * [taylor]: Taking taylor expansion of y in y 5.589 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.589 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.589 * [taylor]: Taking taylor expansion of 1/3 in y 5.589 * [taylor]: Taking taylor expansion of (log y) in y 5.589 * [taylor]: Taking taylor expansion of y in y 5.643 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.644 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.644 * [taylor]: Taking taylor expansion of 1/3 in y 5.644 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.644 * [taylor]: Taking taylor expansion of y in y 5.644 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.645 * [taylor]: Taking taylor expansion of 1/3 in y 5.645 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.645 * [taylor]: Taking taylor expansion of y in y 5.702 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.702 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.702 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.702 * [taylor]: Taking taylor expansion of -1 in y 5.703 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.703 * [taylor]: Taking taylor expansion of 1/3 in y 5.703 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.703 * [taylor]: Taking taylor expansion of y in y 5.704 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.704 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.704 * [taylor]: Taking taylor expansion of -1 in y 5.705 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.705 * [taylor]: Taking taylor expansion of 1/3 in y 5.705 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.705 * [taylor]: Taking taylor expansion of y in y 5.775 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 2) 5.775 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.775 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.775 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.775 * [taylor]: Taking taylor expansion of 1/3 in y 5.775 * [taylor]: Taking taylor expansion of (log y) in y 5.775 * [taylor]: Taking taylor expansion of y in y 5.775 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.776 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.776 * [taylor]: Taking taylor expansion of 1/3 in y 5.776 * [taylor]: Taking taylor expansion of (log y) in y 5.776 * [taylor]: Taking taylor expansion of y in y 5.824 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.824 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.824 * [taylor]: Taking taylor expansion of 1/3 in y 5.824 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.824 * [taylor]: Taking taylor expansion of y in y 5.825 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.825 * [taylor]: Taking taylor expansion of 1/3 in y 5.825 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.825 * [taylor]: Taking taylor expansion of y in y 5.884 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.884 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.884 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.885 * [taylor]: Taking taylor expansion of -1 in y 5.885 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.885 * [taylor]: Taking taylor expansion of 1/3 in y 5.885 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.885 * [taylor]: Taking taylor expansion of y in y 5.886 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.886 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.886 * [taylor]: Taking taylor expansion of -1 in y 5.887 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.887 * [taylor]: Taking taylor expansion of 1/3 in y 5.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.887 * [taylor]: Taking taylor expansion of y in y 5.956 * * * [progress]: simplifying candidates 5.957 * [simplify]: Simplifying using # : (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 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)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 5.958 * * [simplify]: iteration 0 : 42 enodes (cost 260 ) 5.964 * * [simplify]: iteration 1 : 71 enodes (cost 244 ) 5.976 * * [simplify]: iteration 2 : 144 enodes (cost 220 ) 6.005 * * [simplify]: iteration 3 : 308 enodes (cost 208 ) 6.101 * * [simplify]: iteration 4 : 1015 enodes (cost 208 ) 6.490 * * [simplify]: iteration done : 5000 enodes (cost 208 ) 6.490 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (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 (pow x 2/3)) (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 y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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 (pow y 2/3)) (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)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 6.491 * * * [progress]: adding candidates to table 6.690 * [progress]: [Phase 3 of 3] Extracting. 6.690 * * [regime]: Finding splitpoints for: (# # # # # # #) 6.692 * * * [regime-changes]: Trying 5 branch expressions: ((* x (log (/ x y))) (- (* x (log (/ x y))) z) z y x) 6.693 * * * * [regimes]: Trying to branch on (* x (log (/ x y))) from (# # # # # # #) 6.726 * * * * [regimes]: Trying to branch on (- (* x (log (/ x y))) z) from (# # # # # # #) 6.762 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 6.796 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 6.829 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 6.858 * * * [regime]: Found split indices: #