37.696 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.032 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.033 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.034 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.036 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.039 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 0.044 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.052 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 0.066 * * [simplify]: iteration 7 : 98 enodes (cost 8 ) 0.085 * * [simplify]: iteration 8 : 128 enodes (cost 8 ) 0.109 * * [simplify]: iteration 9 : 177 enodes (cost 8 ) 0.154 * * [simplify]: iteration 10 : 253 enodes (cost 8 ) 0.191 * * [simplify]: iteration 11 : 274 enodes (cost 8 ) 0.232 * * [simplify]: iteration 12 : 285 enodes (cost 8 ) 0.275 * * [simplify]: iteration 13 : 288 enodes (cost 8 ) 0.315 * * [simplify]: iteration done : 288 enodes (cost 8 ) 0.315 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.315 * * [progress]: iteration 1 / 4 0.315 * * * [progress]: picking best candidate 0.317 * * * * [pick]: Picked # 0.317 * * * [progress]: localizing error 0.324 * * * [progress]: generating rewritten candidates 0.325 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.326 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.334 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.347 * * * [progress]: generating series expansions 0.347 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.348 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.348 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.348 * [taylor]: Taking taylor expansion of (/ x y) in y 0.348 * [taylor]: Taking taylor expansion of x in y 0.348 * [taylor]: Taking taylor expansion of y in y 0.348 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.348 * [taylor]: Taking taylor expansion of (/ x y) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of y in x 0.348 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.348 * [taylor]: Taking taylor expansion of (/ x y) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of y in x 0.348 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.348 * [taylor]: Taking taylor expansion of (log x) in y 0.348 * [taylor]: Taking taylor expansion of x in y 0.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.350 * [taylor]: Taking taylor expansion of 0 in y 0.353 * [taylor]: Taking taylor expansion of 0 in y 0.362 * [taylor]: Taking taylor expansion of 0 in y 0.362 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.362 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.362 * [taylor]: Taking taylor expansion of (/ y x) in y 0.362 * [taylor]: Taking taylor expansion of y in y 0.362 * [taylor]: Taking taylor expansion of x in y 0.362 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.362 * [taylor]: Taking taylor expansion of (/ y x) in x 0.362 * [taylor]: Taking taylor expansion of y in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.362 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.362 * [taylor]: Taking taylor expansion of (/ y x) in x 0.362 * [taylor]: Taking taylor expansion of y in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.362 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.363 * [taylor]: Taking taylor expansion of (log y) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of (log x) in y 0.363 * [taylor]: Taking taylor expansion of x in y 0.364 * [taylor]: Taking taylor expansion of 0 in y 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.374 * [taylor]: Taking taylor expansion of 0 in y 0.374 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.374 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.374 * [taylor]: Taking taylor expansion of (/ y x) in y 0.374 * [taylor]: Taking taylor expansion of y in y 0.374 * [taylor]: Taking taylor expansion of x in y 0.374 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ y x) in x 0.374 * [taylor]: Taking taylor expansion of y in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ y x) in x 0.374 * [taylor]: Taking taylor expansion of y in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.375 * [taylor]: Taking taylor expansion of (log y) in y 0.375 * [taylor]: Taking taylor expansion of y in y 0.375 * [taylor]: Taking taylor expansion of (log x) in y 0.375 * [taylor]: Taking taylor expansion of x in y 0.377 * [taylor]: Taking taylor expansion of 0 in y 0.380 * [taylor]: Taking taylor expansion of 0 in y 0.386 * [taylor]: Taking taylor expansion of 0 in y 0.386 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.386 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.386 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.386 * [taylor]: Taking taylor expansion of x in y 0.386 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.386 * [taylor]: Taking taylor expansion of (/ x y) in y 0.387 * [taylor]: Taking taylor expansion of x in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.387 * [taylor]: Taking taylor expansion of (/ x y) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.387 * [taylor]: Taking taylor expansion of (/ x y) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.388 * [taylor]: Taking taylor expansion of (log x) in y 0.388 * [taylor]: Taking taylor expansion of x in y 0.389 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.391 * [taylor]: Taking taylor expansion of 0 in y 0.396 * [taylor]: Taking taylor expansion of 0 in y 0.396 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.396 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.396 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.396 * [taylor]: Taking taylor expansion of (/ y x) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.397 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.397 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.397 * [taylor]: Taking taylor expansion of (/ y x) in x 0.397 * [taylor]: Taking taylor expansion of y in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.398 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.398 * [taylor]: Taking taylor expansion of (/ y x) in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.399 * [taylor]: Taking taylor expansion of (log y) in y 0.399 * [taylor]: Taking taylor expansion of y in y 0.399 * [taylor]: Taking taylor expansion of (log x) in y 0.399 * [taylor]: Taking taylor expansion of x in y 0.401 * [taylor]: Taking taylor expansion of 0 in y 0.406 * [taylor]: Taking taylor expansion of 0 in y 0.412 * [taylor]: Taking taylor expansion of 0 in y 0.413 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.413 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.413 * [taylor]: Taking taylor expansion of -1 in y 0.413 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.413 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.413 * [taylor]: Taking taylor expansion of (/ y x) in y 0.413 * [taylor]: Taking taylor expansion of y in y 0.413 * [taylor]: Taking taylor expansion of x in y 0.413 * [taylor]: Taking taylor expansion of x in y 0.414 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.414 * [taylor]: Taking taylor expansion of -1 in x 0.414 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.414 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.414 * [taylor]: Taking taylor expansion of (/ y x) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.414 * [taylor]: Taking taylor expansion of -1 in x 0.414 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.414 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.414 * [taylor]: Taking taylor expansion of (/ y x) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.415 * [taylor]: Taking taylor expansion of -1 in y 0.415 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.415 * [taylor]: Taking taylor expansion of (log y) in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.416 * [taylor]: Taking taylor expansion of (log x) in y 0.416 * [taylor]: Taking taylor expansion of x in y 0.418 * [taylor]: Taking taylor expansion of 0 in y 0.424 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [taylor]: Taking taylor expansion of 0 in y 0.433 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.433 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.433 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.433 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.433 * [taylor]: Taking taylor expansion of x in z 0.433 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.433 * [taylor]: Taking taylor expansion of (/ x y) in z 0.433 * [taylor]: Taking taylor expansion of x in z 0.433 * [taylor]: Taking taylor expansion of y in z 0.433 * [taylor]: Taking taylor expansion of z in z 0.433 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.434 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.434 * [taylor]: Taking taylor expansion of x in y 0.434 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.434 * [taylor]: Taking taylor expansion of (/ x y) in y 0.434 * [taylor]: Taking taylor expansion of x in y 0.434 * [taylor]: Taking taylor expansion of y in y 0.434 * [taylor]: Taking taylor expansion of z in y 0.434 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.434 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.434 * [taylor]: Taking taylor expansion of (/ x y) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of z in x 0.434 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.434 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.434 * [taylor]: Taking taylor expansion of (/ x y) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of z in x 0.434 * [taylor]: Taking taylor expansion of (- z) in y 0.435 * [taylor]: Taking taylor expansion of z in y 0.435 * [taylor]: Taking taylor expansion of (- z) in z 0.435 * [taylor]: Taking taylor expansion of z in z 0.436 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.436 * [taylor]: Taking taylor expansion of (log x) in y 0.436 * [taylor]: Taking taylor expansion of x in y 0.436 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.437 * [taylor]: Taking taylor expansion of (log x) in z 0.437 * [taylor]: Taking taylor expansion of x in z 0.437 * [taylor]: Taking taylor expansion of (log y) in z 0.437 * [taylor]: Taking taylor expansion of y in z 0.438 * [taylor]: Taking taylor expansion of 0 in z 0.445 * [taylor]: Taking taylor expansion of 0 in y 0.446 * [taylor]: Taking taylor expansion of 0 in z 0.448 * [taylor]: Taking taylor expansion of 0 in z 0.448 * [taylor]: Taking taylor expansion of 0 in z 0.450 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.450 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.450 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.450 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.450 * [taylor]: Taking taylor expansion of (/ y x) in z 0.450 * [taylor]: Taking taylor expansion of y in z 0.450 * [taylor]: Taking taylor expansion of x in z 0.450 * [taylor]: Taking taylor expansion of x in z 0.450 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.450 * [taylor]: Taking taylor expansion of z in z 0.450 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.451 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.451 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.451 * [taylor]: Taking taylor expansion of (/ y x) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.451 * [taylor]: Taking taylor expansion of x in y 0.451 * [taylor]: Taking taylor expansion of x in y 0.451 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.451 * [taylor]: Taking taylor expansion of z in y 0.451 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.451 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.451 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.451 * [taylor]: Taking taylor expansion of (/ y x) in x 0.451 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.452 * [taylor]: Taking taylor expansion of z in x 0.452 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.452 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.452 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.452 * [taylor]: Taking taylor expansion of (/ y x) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.453 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.453 * [taylor]: Taking taylor expansion of z in x 0.453 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.453 * [taylor]: Taking taylor expansion of (log y) in y 0.453 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of (log x) in y 0.454 * [taylor]: Taking taylor expansion of x in y 0.454 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.454 * [taylor]: Taking taylor expansion of (log y) in z 0.454 * [taylor]: Taking taylor expansion of y in z 0.454 * [taylor]: Taking taylor expansion of (log x) in z 0.454 * [taylor]: Taking taylor expansion of x in z 0.456 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.456 * [taylor]: Taking taylor expansion of z in y 0.456 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.456 * [taylor]: Taking taylor expansion of z in z 0.458 * [taylor]: Taking taylor expansion of 0 in z 0.462 * [taylor]: Taking taylor expansion of 0 in y 0.462 * [taylor]: Taking taylor expansion of 0 in z 0.462 * [taylor]: Taking taylor expansion of 0 in z 0.465 * [taylor]: Taking taylor expansion of 0 in z 0.472 * [taylor]: Taking taylor expansion of 0 in y 0.472 * [taylor]: Taking taylor expansion of 0 in z 0.472 * [taylor]: Taking taylor expansion of 0 in z 0.472 * [taylor]: Taking taylor expansion of 0 in z 0.477 * [taylor]: Taking taylor expansion of 0 in z 0.478 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.478 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.478 * [taylor]: Taking taylor expansion of z in z 0.479 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.479 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.479 * [taylor]: Taking taylor expansion of (/ y x) in z 0.479 * [taylor]: Taking taylor expansion of y in z 0.479 * [taylor]: Taking taylor expansion of x in z 0.479 * [taylor]: Taking taylor expansion of x in z 0.479 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.479 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.479 * [taylor]: Taking taylor expansion of z in y 0.479 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.479 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.479 * [taylor]: Taking taylor expansion of (/ y x) in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.480 * [taylor]: Taking taylor expansion of z in x 0.480 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.480 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ y x) in x 0.480 * [taylor]: Taking taylor expansion of y in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.481 * [taylor]: Taking taylor expansion of z in x 0.481 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.481 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ y x) in x 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.482 * [taylor]: Taking taylor expansion of (log x) in y 0.482 * [taylor]: Taking taylor expansion of x in y 0.482 * [taylor]: Taking taylor expansion of (log y) in y 0.482 * [taylor]: Taking taylor expansion of y in y 0.483 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.483 * [taylor]: Taking taylor expansion of (log x) in z 0.483 * [taylor]: Taking taylor expansion of x in z 0.483 * [taylor]: Taking taylor expansion of (log y) in z 0.483 * [taylor]: Taking taylor expansion of y in z 0.485 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.485 * [taylor]: Taking taylor expansion of z in y 0.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.485 * [taylor]: Taking taylor expansion of z in z 0.487 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.494 * [taylor]: Taking taylor expansion of 0 in z 0.500 * [taylor]: Taking taylor expansion of 0 in y 0.500 * [taylor]: Taking taylor expansion of 0 in z 0.500 * [taylor]: Taking taylor expansion of 0 in z 0.500 * [taylor]: Taking taylor expansion of 0 in z 0.505 * [taylor]: Taking taylor expansion of 0 in z 0.505 * * * [progress]: simplifying candidates 0.507 * [simplify]: Simplifying using # : (expm1 (log (/ x y))) (log1p (log (/ x y))) (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))) (expm1 (* x (log (/ x y)))) (log1p (* x (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))) (fma x (log (/ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma x (log (/ x y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma x (log (/ x y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (* x (log (/ x y))) z)) (log1p (- (* x (log (/ x y))) z)) (- z) (/ (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.512 * * [simplify]: iteration 0 : 215 enodes (cost 1393 ) 0.581 * * [simplify]: iteration 1 : 396 enodes (cost 1296 ) 0.668 * * [simplify]: iteration 2 : 767 enodes (cost 1234 ) 1.047 * * [simplify]: iteration 3 : 2303 enodes (cost 1187 ) 1.837 * * [simplify]: iteration done : 5001 enodes (cost 1187 ) 1.838 * [simplify]: Simplified to: (expm1 (log (/ x y))) (log1p (log (/ x y))) (* 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))) (expm1 (* x (log (/ x y)))) (log1p (* x (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)))) (* x (* 2 (log (cbrt (/ x y))))) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* x (* 2 (log (/ (cbrt x) (cbrt y))))) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* x (* 2 (log (cbrt x)))) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* 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))) (* (* 2 (log (cbrt y))) (- x)) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* x (log x)) (* x (- (log y))) (* x (* 2 (log (cbrt (/ x y))))) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* x (* 2 (log (/ (cbrt x) (cbrt y))))) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* x (* 2 (log (cbrt x)))) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* 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))) (* (* 2 (log (cbrt y))) (- x)) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* x (log x)) (* x (- (log y))) 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) (fma x (log (/ x y)) (- z)) (- z z) (fma x (log (/ x y)) (- z)) (- z z) (fma x (log (/ x y)) (- z)) (- z z) (expm1 (- (* x (log (/ x y))) z)) (log1p (- (* x (log (/ x y))) z)) (- z) (/ (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 (fma 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)) (fma z z (* (* (log (/ x y)) x) (fma x (log (/ x y)) z))) (- z) (* (fma x (log (/ x y)) z) (- (* x (log (/ x y))) z)) (fma 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) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* x (log (/ (sqrt x) (sqrt y)))) z) (- (* x (log (/ (sqrt x) y))) z) (- (* (log (/ x (cbrt y))) x) z) (- (* x (log (/ x (sqrt y)))) z) (fma x (log (/ x y)) (- z)) (fma x (log (/ x y)) (- z)) (- (fma 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) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* x (log (/ (sqrt x) (sqrt y)))) z) (- (* x (log (/ (sqrt x) y))) z) (- (* (log (/ x (cbrt y))) x) z) (- (* x (log (/ x (sqrt y)))) z) (fma x (log (/ x y)) (- z)) (fma x (log (/ x y)) (- z)) (- (fma 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)))) (fma x (log (/ x y)) (- z)) (fma x (log (/ x y)) (- z)) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 1.839 * * * [progress]: adding candidates to table 2.145 * * [progress]: iteration 2 / 4 2.145 * * * [progress]: picking best candidate 2.161 * * * * [pick]: Picked # 2.161 * * * [progress]: localizing error 2.175 * * * [progress]: generating rewritten candidates 2.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 2.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1) 2.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 2.177 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2) 2.178 * * * [progress]: generating series expansions 2.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 2.179 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.179 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.179 * [taylor]: Taking taylor expansion of 1/3 in x 2.179 * [taylor]: Taking taylor expansion of (log x) in x 2.179 * [taylor]: Taking taylor expansion of x in x 2.180 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.180 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.180 * [taylor]: Taking taylor expansion of 1/3 in x 2.180 * [taylor]: Taking taylor expansion of (log x) in x 2.180 * [taylor]: Taking taylor expansion of x in x 2.233 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.233 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.233 * [taylor]: Taking taylor expansion of 1/3 in x 2.233 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.233 * [taylor]: Taking taylor expansion of x in x 2.234 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.234 * [taylor]: Taking taylor expansion of 1/3 in x 2.234 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.234 * [taylor]: Taking taylor expansion of x in x 2.292 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.292 * [taylor]: Taking taylor expansion of -1 in x 2.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.293 * [taylor]: Taking taylor expansion of 1/3 in x 2.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.293 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.294 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.294 * [taylor]: Taking taylor expansion of -1 in x 2.295 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.295 * [taylor]: Taking taylor expansion of 1/3 in x 2.295 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.365 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1) 2.365 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.365 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.365 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.365 * [taylor]: Taking taylor expansion of 1/3 in x 2.365 * [taylor]: Taking taylor expansion of (log x) in x 2.365 * [taylor]: Taking taylor expansion of x in x 2.366 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.366 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.366 * [taylor]: Taking taylor expansion of 1/3 in x 2.366 * [taylor]: Taking taylor expansion of (log x) in x 2.366 * [taylor]: Taking taylor expansion of x in x 2.422 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.422 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.422 * [taylor]: Taking taylor expansion of 1/3 in x 2.422 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.422 * [taylor]: Taking taylor expansion of x in x 2.423 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.423 * [taylor]: Taking taylor expansion of 1/3 in x 2.423 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.423 * [taylor]: Taking taylor expansion of x in x 2.476 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.476 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.476 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.476 * [taylor]: Taking taylor expansion of -1 in x 2.476 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.477 * [taylor]: Taking taylor expansion of 1/3 in x 2.477 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.477 * [taylor]: Taking taylor expansion of x in x 2.477 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.477 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.477 * [taylor]: Taking taylor expansion of -1 in x 2.478 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.478 * [taylor]: Taking taylor expansion of 1/3 in x 2.478 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.478 * [taylor]: Taking taylor expansion of x in x 2.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 2.547 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.548 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.548 * [taylor]: Taking taylor expansion of 1/3 in y 2.548 * [taylor]: Taking taylor expansion of (log y) in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.548 * [taylor]: Taking taylor expansion of 1/3 in y 2.548 * [taylor]: Taking taylor expansion of (log y) in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.605 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 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.605 * [taylor]: Taking taylor expansion of 1/3 in y 2.605 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.605 * [taylor]: Taking taylor expansion of y in y 2.606 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.606 * [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.665 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.665 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.665 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.665 * [taylor]: Taking taylor expansion of -1 in y 2.666 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.666 * [taylor]: Taking taylor expansion of 1/3 in y 2.666 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.666 * [taylor]: Taking taylor expansion of y in y 2.667 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.667 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.667 * [taylor]: Taking taylor expansion of -1 in y 2.668 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.669 * [taylor]: Taking taylor expansion of 1/3 in y 2.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.669 * [taylor]: Taking taylor expansion of y in y 2.739 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2) 2.740 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.740 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.740 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.740 * [taylor]: Taking taylor expansion of 1/3 in y 2.740 * [taylor]: Taking taylor expansion of (log y) in y 2.740 * [taylor]: Taking taylor expansion of y in y 2.740 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.740 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.740 * [taylor]: Taking taylor expansion of 1/3 in y 2.740 * [taylor]: Taking taylor expansion of (log y) in y 2.740 * [taylor]: Taking taylor expansion of y in y 2.789 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.789 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.789 * [taylor]: Taking taylor expansion of 1/3 in y 2.789 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.789 * [taylor]: Taking taylor expansion of y in y 2.790 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.790 * [taylor]: Taking taylor expansion of 1/3 in y 2.790 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.848 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.848 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.848 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.848 * [taylor]: Taking taylor expansion of -1 in y 2.849 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.849 * [taylor]: Taking taylor expansion of 1/3 in y 2.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.849 * [taylor]: Taking taylor expansion of y in y 2.850 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.850 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.850 * [taylor]: Taking taylor expansion of -1 in y 2.851 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.851 * [taylor]: Taking taylor expansion of 1/3 in y 2.851 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.851 * [taylor]: Taking taylor expansion of y in y 2.919 * * * [progress]: simplifying candidates 2.920 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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.921 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 2.928 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 2.938 * * [simplify]: iteration 2 : 148 enodes (cost 244 ) 2.966 * * [simplify]: iteration 3 : 297 enodes (cost 232 ) 3.019 * * [simplify]: iteration 4 : 691 enodes (cost 232 ) 3.339 * * [simplify]: iteration 5 : 2069 enodes (cost 232 ) 4.198 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 4.198 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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))) 4.199 * * * [progress]: adding candidates to table 4.445 * * [progress]: iteration 3 / 4 4.445 * * * [progress]: picking best candidate 4.460 * * * * [pick]: Picked # 4.460 * * * [progress]: localizing error 4.482 * * * [progress]: generating rewritten candidates 4.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 2) 4.483 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 4.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 4.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 1) 4.490 * * * [progress]: generating series expansions 4.490 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 2) 4.490 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.490 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.490 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.490 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.490 * [taylor]: Taking taylor expansion of 1/9 in x 4.490 * [taylor]: Taking taylor expansion of (log x) in x 4.490 * [taylor]: Taking taylor expansion of x in x 4.491 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.491 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.491 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.491 * [taylor]: Taking taylor expansion of 1/9 in x 4.491 * [taylor]: Taking taylor expansion of (log x) in x 4.491 * [taylor]: Taking taylor expansion of x in x 4.540 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.540 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.540 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.540 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.540 * [taylor]: Taking taylor expansion of 1/9 in x 4.540 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.540 * [taylor]: Taking taylor expansion of x in x 4.541 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.541 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.541 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.541 * [taylor]: Taking taylor expansion of 1/9 in x 4.541 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.541 * [taylor]: Taking taylor expansion of x in x 4.598 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.598 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.598 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.598 * [taylor]: Taking taylor expansion of 1/3 in x 4.598 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.598 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.598 * [taylor]: Taking taylor expansion of -1 in x 4.601 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.602 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.602 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.602 * [taylor]: Taking taylor expansion of 1/9 in x 4.602 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.602 * [taylor]: Taking taylor expansion of x in x 4.602 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.603 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.603 * [taylor]: Taking taylor expansion of 1/3 in x 4.603 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.603 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.603 * [taylor]: Taking taylor expansion of -1 in x 4.606 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.606 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.606 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.606 * [taylor]: Taking taylor expansion of 1/9 in x 4.606 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.606 * [taylor]: Taking taylor expansion of x in x 4.732 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 2) 4.733 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.733 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.733 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.733 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.733 * [taylor]: Taking taylor expansion of 1/9 in x 4.733 * [taylor]: Taking taylor expansion of (log x) in x 4.733 * [taylor]: Taking taylor expansion of x in x 4.733 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.733 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.733 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.733 * [taylor]: Taking taylor expansion of 1/9 in x 4.733 * [taylor]: Taking taylor expansion of (log x) in x 4.733 * [taylor]: Taking taylor expansion of x in x 4.782 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.782 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.782 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.782 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.782 * [taylor]: Taking taylor expansion of 1/9 in x 4.782 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.782 * [taylor]: Taking taylor expansion of x in x 4.783 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.783 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.783 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.783 * [taylor]: Taking taylor expansion of 1/9 in x 4.783 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.783 * [taylor]: Taking taylor expansion of x in x 4.841 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.841 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.841 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.841 * [taylor]: Taking taylor expansion of 1/3 in x 4.841 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.841 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.841 * [taylor]: Taking taylor expansion of -1 in x 4.845 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.845 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.845 * [taylor]: Taking taylor expansion of 1/9 in x 4.845 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.845 * [taylor]: Taking taylor expansion of x in x 4.846 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.846 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.846 * [taylor]: Taking taylor expansion of 1/3 in x 4.846 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.846 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.846 * [taylor]: Taking taylor expansion of -1 in x 4.849 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.849 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.849 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.849 * [taylor]: Taking taylor expansion of 1/9 in x 4.849 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.850 * [taylor]: Taking taylor expansion of x in x 4.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1) 4.979 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.979 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.979 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.979 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.979 * [taylor]: Taking taylor expansion of 1/9 in x 4.979 * [taylor]: Taking taylor expansion of (log x) in x 4.979 * [taylor]: Taking taylor expansion of x in x 4.980 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.980 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.980 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.980 * [taylor]: Taking taylor expansion of 1/9 in x 4.980 * [taylor]: Taking taylor expansion of (log x) in x 4.980 * [taylor]: Taking taylor expansion of x in x 5.034 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 5.034 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.034 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.034 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.034 * [taylor]: Taking taylor expansion of 1/9 in x 5.034 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.034 * [taylor]: Taking taylor expansion of x in x 5.035 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.035 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.035 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.035 * [taylor]: Taking taylor expansion of 1/9 in x 5.035 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.035 * [taylor]: Taking taylor expansion of x in x 5.086 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 5.086 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.086 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.086 * [taylor]: Taking taylor expansion of 1/3 in x 5.086 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.086 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.086 * [taylor]: Taking taylor expansion of -1 in x 5.097 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.097 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.097 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.097 * [taylor]: Taking taylor expansion of 1/9 in x 5.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.097 * [taylor]: Taking taylor expansion of x in x 5.098 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.098 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.098 * [taylor]: Taking taylor expansion of 1/3 in x 5.098 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.098 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.098 * [taylor]: Taking taylor expansion of -1 in x 5.101 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.101 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.101 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.101 * [taylor]: Taking taylor expansion of 1/9 in x 5.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.223 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 1) 5.223 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.223 * [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.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.278 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.278 * [taylor]: Taking taylor expansion of 1/3 in x 5.278 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.278 * [taylor]: Taking taylor expansion of x in x 5.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.279 * [taylor]: Taking taylor expansion of 1/3 in x 5.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.279 * [taylor]: Taking taylor expansion of x in x 5.337 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.337 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.337 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.337 * [taylor]: Taking taylor expansion of -1 in x 5.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.338 * [taylor]: Taking taylor expansion of 1/3 in x 5.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.338 * [taylor]: Taking taylor expansion of x in x 5.339 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.339 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.339 * [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.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.340 * [taylor]: Taking taylor expansion of x in x 5.408 * * * [progress]: simplifying candidates 5.409 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt x)) (log1p (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)) 5.411 * * [simplify]: iteration 0 : 46 enodes (cost 419 ) 5.418 * * [simplify]: iteration 1 : 79 enodes (cost 400 ) 5.430 * * [simplify]: iteration 2 : 151 enodes (cost 370 ) 5.454 * * [simplify]: iteration 3 : 303 enodes (cost 358 ) 5.530 * * [simplify]: iteration 4 : 853 enodes (cost 358 ) 6.166 * * [simplify]: iteration 5 : 3537 enodes (cost 358 ) 7.880 * * [simplify]: iteration done : 5001 enodes (cost 358 ) 7.880 * [simplify]: Simplified to: (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt (cbrt x))) (log1p (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))) (expm1 (cbrt x)) (log1p (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 -1) (cbrt (- x))) 7.881 * * * [progress]: adding candidates to table 8.199 * * [progress]: iteration 4 / 4 8.199 * * * [progress]: picking best candidate 8.210 * * * * [pick]: Picked # 8.210 * * * [progress]: localizing error 8.227 * * * [progress]: generating rewritten candidates 8.227 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1) 8.227 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1) 8.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 8.228 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 2) 8.230 * * * [progress]: generating series expansions 8.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1) 8.230 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.230 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.230 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.230 * [taylor]: Taking taylor expansion of 1/3 in x 8.230 * [taylor]: Taking taylor expansion of (log x) in x 8.230 * [taylor]: Taking taylor expansion of x in x 8.231 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.231 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.231 * [taylor]: Taking taylor expansion of 1/3 in x 8.231 * [taylor]: Taking taylor expansion of (log x) in x 8.231 * [taylor]: Taking taylor expansion of x in x 8.278 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.278 * [taylor]: Taking taylor expansion of 1/3 in x 8.278 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.278 * [taylor]: Taking taylor expansion of x in x 8.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.279 * [taylor]: Taking taylor expansion of 1/3 in x 8.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.279 * [taylor]: Taking taylor expansion of x in x 8.333 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.333 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.333 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.333 * [taylor]: Taking taylor expansion of -1 in x 8.334 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.334 * [taylor]: Taking taylor expansion of 1/3 in x 8.334 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.334 * [taylor]: Taking taylor expansion of x in x 8.335 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.335 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.335 * [taylor]: Taking taylor expansion of -1 in x 8.336 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.336 * [taylor]: Taking taylor expansion of 1/3 in x 8.336 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.336 * [taylor]: Taking taylor expansion of x in x 8.402 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1) 8.402 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.402 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.402 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.402 * [taylor]: Taking taylor expansion of 1/3 in x 8.402 * [taylor]: Taking taylor expansion of (log x) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.403 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.403 * [taylor]: Taking taylor expansion of 1/3 in x 8.403 * [taylor]: Taking taylor expansion of (log x) in x 8.403 * [taylor]: Taking taylor expansion of x in x 8.454 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.454 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.454 * [taylor]: Taking taylor expansion of 1/3 in x 8.454 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.454 * [taylor]: Taking taylor expansion of x in x 8.455 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.455 * [taylor]: Taking taylor expansion of 1/3 in x 8.455 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.455 * [taylor]: Taking taylor expansion of x in x 8.507 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.507 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.508 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.508 * [taylor]: Taking taylor expansion of -1 in x 8.509 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.509 * [taylor]: Taking taylor expansion of 1/3 in x 8.509 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.509 * [taylor]: Taking taylor expansion of x in x 8.511 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.511 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.511 * [taylor]: Taking taylor expansion of -1 in x 8.512 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.512 * [taylor]: Taking taylor expansion of 1/3 in x 8.512 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.512 * [taylor]: Taking taylor expansion of x in x 8.592 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 8.592 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.592 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.592 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.592 * [taylor]: Taking taylor expansion of 1/3 in y 8.592 * [taylor]: Taking taylor expansion of (log y) in y 8.592 * [taylor]: Taking taylor expansion of y in y 8.592 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.593 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.593 * [taylor]: Taking taylor expansion of 1/3 in y 8.593 * [taylor]: Taking taylor expansion of (log y) in y 8.593 * [taylor]: Taking taylor expansion of y in y 8.648 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.648 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.649 * [taylor]: Taking taylor expansion of 1/3 in y 8.649 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.649 * [taylor]: Taking taylor expansion of y in y 8.650 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.650 * [taylor]: Taking taylor expansion of 1/3 in y 8.650 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.650 * [taylor]: Taking taylor expansion of y in y 8.708 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.708 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.708 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.708 * [taylor]: Taking taylor expansion of -1 in y 8.709 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.709 * [taylor]: Taking taylor expansion of 1/3 in y 8.709 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.709 * [taylor]: Taking taylor expansion of y in y 8.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.710 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.710 * [taylor]: Taking taylor expansion of -1 in y 8.711 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.711 * [taylor]: Taking taylor expansion of 1/3 in y 8.711 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.711 * [taylor]: Taking taylor expansion of y in y 8.784 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 2) 8.784 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.784 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.784 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.784 * [taylor]: Taking taylor expansion of 1/3 in y 8.784 * [taylor]: Taking taylor expansion of (log y) in y 8.784 * [taylor]: Taking taylor expansion of y in y 8.785 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.785 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.785 * [taylor]: Taking taylor expansion of 1/3 in y 8.785 * [taylor]: Taking taylor expansion of (log y) in y 8.785 * [taylor]: Taking taylor expansion of y in y 8.836 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.837 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.837 * [taylor]: Taking taylor expansion of 1/3 in y 8.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.837 * [taylor]: Taking taylor expansion of y in y 8.838 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.838 * [taylor]: Taking taylor expansion of 1/3 in y 8.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.838 * [taylor]: Taking taylor expansion of y in y 8.900 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.900 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.900 * [taylor]: Taking taylor expansion of -1 in y 8.901 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.901 * [taylor]: Taking taylor expansion of 1/3 in y 8.901 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.901 * [taylor]: Taking taylor expansion of y in y 8.902 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.902 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.903 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.903 * [taylor]: Taking taylor expansion of 1/3 in y 8.903 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.903 * [taylor]: Taking taylor expansion of y in y 8.975 * * * [progress]: simplifying candidates 8.976 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) 8.977 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 8.984 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 8.995 * * [simplify]: iteration 2 : 148 enodes (cost 244 ) 9.025 * * [simplify]: iteration 3 : 297 enodes (cost 232 ) 9.082 * * [simplify]: iteration 4 : 691 enodes (cost 232 ) 9.406 * * [simplify]: iteration 5 : 2069 enodes (cost 232 ) 10.266 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 10.266 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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))) 10.266 * * * [progress]: adding candidates to table 10.497 * [progress]: [Phase 3 of 3] Extracting. 10.497 * * [regime]: Finding splitpoints for: (# # # # # # #) 10.499 * * * [regime-changes]: Trying 5 branch expressions: ((* x (log (/ x y))) (- (* x (log (/ x y))) z) z y x) 10.499 * * * * [regimes]: Trying to branch on (* x (log (/ x y))) from (# # # # # # #) 10.534 * * * * [regimes]: Trying to branch on (- (* x (log (/ x y))) z) from (# # # # # # #) 10.567 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 10.599 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 10.631 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 10.664 * * * [regime]: Found split indices: #