17.352 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.031 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.032 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.034 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.035 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 0.043 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.051 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 0.060 * * [simplify]: iteration 7 : 98 enodes (cost 8 ) 0.076 * * [simplify]: iteration 8 : 128 enodes (cost 8 ) 0.093 * * [simplify]: iteration 9 : 180 enodes (cost 8 ) 0.131 * * [simplify]: iteration 10 : 259 enodes (cost 8 ) 0.177 * * [simplify]: iteration 11 : 272 enodes (cost 8 ) 0.222 * * [simplify]: iteration 12 : 274 enodes (cost 8 ) 0.268 * * [simplify]: iteration done : 274 enodes (cost 8 ) 0.268 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.268 * * [progress]: iteration 1 / 4 0.268 * * * [progress]: picking best candidate 0.270 * * * * [pick]: Picked # 0.270 * * * [progress]: localizing error 0.278 * * * [progress]: generating rewritten candidates 0.278 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.280 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.287 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.300 * * * [progress]: generating series expansions 0.300 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.300 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.301 * [taylor]: Taking taylor expansion of (/ x y) in y 0.301 * [taylor]: Taking taylor expansion of x in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.301 * [taylor]: Taking taylor expansion of (/ x y) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of y in x 0.301 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.301 * [taylor]: Taking taylor expansion of (/ x y) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of y in x 0.301 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.301 * [taylor]: Taking taylor expansion of (log x) in y 0.301 * [taylor]: Taking taylor expansion of x in y 0.301 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.302 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of 0 in y 0.306 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.311 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.311 * [taylor]: Taking taylor expansion of (/ y x) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ y x) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ y x) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.312 * [taylor]: Taking taylor expansion of (log y) in y 0.312 * [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.317 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.323 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.323 * [taylor]: Taking taylor expansion of (/ y x) in y 0.323 * [taylor]: Taking taylor expansion of y in y 0.323 * [taylor]: Taking taylor expansion of x in y 0.323 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ y x) in x 0.324 * [taylor]: Taking taylor expansion of y in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ y x) in x 0.324 * [taylor]: Taking taylor expansion of y in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.324 * [taylor]: Taking taylor expansion of (log y) in y 0.324 * [taylor]: Taking taylor expansion of y in y 0.324 * [taylor]: Taking taylor expansion of (log x) in y 0.324 * [taylor]: Taking taylor expansion of x in y 0.326 * [taylor]: Taking taylor expansion of 0 in y 0.330 * [taylor]: Taking taylor expansion of 0 in y 0.341 * [taylor]: Taking taylor expansion of 0 in y 0.341 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.341 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.341 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.341 * [taylor]: Taking taylor expansion of x in y 0.341 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.341 * [taylor]: Taking taylor expansion of (/ x y) in y 0.341 * [taylor]: Taking taylor expansion of x in y 0.341 * [taylor]: Taking taylor expansion of y in y 0.341 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.341 * [taylor]: Taking taylor expansion of (/ x y) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of y in x 0.341 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.341 * [taylor]: Taking taylor expansion of (/ x y) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of y in x 0.342 * [taylor]: Taking taylor expansion of 0 in y 0.343 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.343 * [taylor]: Taking taylor expansion of (log x) in y 0.343 * [taylor]: Taking taylor expansion of x in y 0.343 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.343 * [taylor]: Taking taylor expansion of y in y 0.346 * [taylor]: Taking taylor expansion of 0 in y 0.351 * [taylor]: Taking taylor expansion of 0 in y 0.352 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.352 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.352 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.352 * [taylor]: Taking taylor expansion of (/ y x) in y 0.352 * [taylor]: Taking taylor expansion of y in y 0.352 * [taylor]: Taking taylor expansion of x in y 0.352 * [taylor]: Taking taylor expansion of x in y 0.352 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.352 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.352 * [taylor]: Taking taylor expansion of (/ y x) in x 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.353 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.353 * [taylor]: Taking taylor expansion of (/ y x) in x 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.354 * [taylor]: Taking taylor expansion of (log y) in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (log x) in y 0.354 * [taylor]: Taking taylor expansion of x in y 0.356 * [taylor]: Taking taylor expansion of 0 in y 0.361 * [taylor]: Taking taylor expansion of 0 in y 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.368 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.368 * [taylor]: Taking taylor expansion of -1 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 (/ (log (/ y x)) x)) in x 0.369 * [taylor]: Taking taylor expansion of -1 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 (/ (log (/ y x)) x)) in x 0.370 * [taylor]: Taking taylor expansion of -1 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 (* -1 (- (log y) (log x))) in y 0.371 * [taylor]: Taking taylor expansion of -1 in y 0.371 * [taylor]: Taking taylor expansion of (- (log y) (log 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) in y 0.371 * [taylor]: Taking taylor expansion of x in y 0.373 * [taylor]: Taking taylor expansion of 0 in y 0.379 * [taylor]: Taking taylor expansion of 0 in y 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.388 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.388 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.388 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.388 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.388 * [taylor]: Taking taylor expansion of x in z 0.388 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.388 * [taylor]: Taking taylor expansion of (/ x y) in z 0.388 * [taylor]: Taking taylor expansion of x in z 0.388 * [taylor]: Taking taylor expansion of y in z 0.388 * [taylor]: Taking taylor expansion of z in z 0.388 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.388 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.388 * [taylor]: Taking taylor expansion of x in y 0.388 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.388 * [taylor]: Taking taylor expansion of (/ x y) in y 0.388 * [taylor]: Taking taylor expansion of x in y 0.388 * [taylor]: Taking taylor expansion of y in y 0.388 * [taylor]: Taking taylor expansion of z in y 0.388 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.388 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.388 * [taylor]: Taking taylor expansion of (/ x y) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of y in x 0.388 * [taylor]: Taking taylor expansion of z in x 0.388 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.388 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.389 * [taylor]: Taking taylor expansion of (/ x y) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of y in x 0.389 * [taylor]: Taking taylor expansion of z in x 0.389 * [taylor]: Taking taylor expansion of (- z) in y 0.389 * [taylor]: Taking taylor expansion of z in y 0.389 * [taylor]: Taking taylor expansion of (- z) in z 0.389 * [taylor]: Taking taylor expansion of z in z 0.391 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.391 * [taylor]: Taking taylor expansion of (log x) in y 0.391 * [taylor]: Taking taylor expansion of x in y 0.391 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.392 * [taylor]: Taking taylor expansion of (log x) in z 0.392 * [taylor]: Taking taylor expansion of x in z 0.392 * [taylor]: Taking taylor expansion of (log y) in z 0.392 * [taylor]: Taking taylor expansion of y in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.395 * [taylor]: Taking taylor expansion of 0 in y 0.395 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [taylor]: Taking taylor expansion of 0 in z 0.399 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.400 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.400 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.400 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.400 * [taylor]: Taking taylor expansion of (/ y x) in z 0.400 * [taylor]: Taking taylor expansion of y in z 0.400 * [taylor]: Taking taylor expansion of x in z 0.400 * [taylor]: Taking taylor expansion of x in z 0.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.400 * [taylor]: Taking taylor expansion of z in z 0.400 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.400 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.400 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.400 * [taylor]: Taking taylor expansion of (/ y x) in y 0.400 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of x in y 0.400 * [taylor]: Taking taylor expansion of x in y 0.401 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.401 * [taylor]: Taking taylor expansion of z in y 0.401 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.401 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.401 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.401 * [taylor]: Taking taylor expansion of (/ y x) in x 0.401 * [taylor]: Taking taylor expansion of y in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.402 * [taylor]: Taking taylor expansion of z in x 0.402 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.402 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.402 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.402 * [taylor]: Taking taylor expansion of (/ y x) in x 0.402 * [taylor]: Taking taylor expansion of y in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.403 * [taylor]: Taking taylor expansion of z in x 0.403 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.403 * [taylor]: Taking taylor expansion of (log y) in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.403 * [taylor]: Taking taylor expansion of (log x) in y 0.403 * [taylor]: Taking taylor expansion of x in y 0.404 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.404 * [taylor]: Taking taylor expansion of (log y) in z 0.404 * [taylor]: Taking taylor expansion of y in z 0.404 * [taylor]: Taking taylor expansion of (log x) in z 0.404 * [taylor]: Taking taylor expansion of x in z 0.405 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.405 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.405 * [taylor]: Taking taylor expansion of z in y 0.406 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.406 * [taylor]: Taking taylor expansion of z in z 0.408 * [taylor]: Taking taylor expansion of 0 in z 0.411 * [taylor]: Taking taylor expansion of 0 in y 0.411 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.415 * [taylor]: Taking taylor expansion of 0 in z 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.422 * [taylor]: Taking taylor expansion of 0 in z 0.422 * [taylor]: Taking taylor expansion of 0 in z 0.422 * [taylor]: Taking taylor expansion of 0 in z 0.427 * [taylor]: Taking taylor expansion of 0 in z 0.432 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.432 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.433 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.433 * [taylor]: Taking taylor expansion of z in z 0.433 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.433 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.433 * [taylor]: Taking taylor expansion of (/ y x) in z 0.433 * [taylor]: Taking taylor expansion of y in z 0.433 * [taylor]: Taking taylor expansion of x in z 0.433 * [taylor]: Taking taylor expansion of x in z 0.433 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.433 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.433 * [taylor]: Taking taylor expansion of z in y 0.433 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.433 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.433 * [taylor]: Taking taylor expansion of (/ y x) in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of x in y 0.433 * [taylor]: Taking taylor expansion of x in y 0.434 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.434 * [taylor]: Taking taylor expansion of z in x 0.434 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.434 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.434 * [taylor]: Taking taylor expansion of (/ y x) in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.435 * [taylor]: Taking taylor expansion of z in x 0.435 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.435 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ y x) in x 0.435 * [taylor]: Taking taylor expansion of y in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.436 * [taylor]: Taking taylor expansion of (- (log x) (log 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 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.439 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.439 * [taylor]: Taking taylor expansion of z in y 0.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.439 * [taylor]: Taking taylor expansion of z in z 0.441 * [taylor]: Taking taylor expansion of 0 in z 0.445 * [taylor]: Taking taylor expansion of 0 in y 0.445 * [taylor]: Taking taylor expansion of 0 in z 0.445 * [taylor]: Taking taylor expansion of 0 in z 0.448 * [taylor]: Taking taylor expansion of 0 in z 0.454 * [taylor]: Taking taylor expansion of 0 in y 0.454 * [taylor]: Taking taylor expansion of 0 in z 0.454 * [taylor]: Taking taylor expansion of 0 in z 0.454 * [taylor]: Taking taylor expansion of 0 in z 0.459 * [taylor]: Taking taylor expansion of 0 in z 0.459 * * * [progress]: simplifying candidates 0.461 * [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.466 * * [simplify]: iteration 0 : 215 enodes (cost 1393 ) 0.514 * * [simplify]: iteration 1 : 396 enodes (cost 1296 ) 0.613 * * [simplify]: iteration 2 : 1074 enodes (cost 1215 ) 1.227 * * [simplify]: iteration 3 : 3974 enodes (cost 1187 ) 2.462 * * [simplify]: iteration done : 5000 enodes (cost 1187 ) 2.462 * [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))) (* (- x) (* 2 (log (cbrt y)))) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* (log x) 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))) (* (- x) (* 2 (log (cbrt y)))) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* (log x) 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 (log (/ x y)) x (- z)) (* z 0) (fma (log (/ x y)) x (- z)) (* z 0) (fma (log (/ x y)) x (- z)) (* z 0) (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 (* (fma x (log (/ x y)) z) (* (log (/ x y)) x))) (- 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 (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- 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 (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- 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 (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- z)) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 2.463 * * * [progress]: adding candidates to table 2.744 * * [progress]: iteration 2 / 4 2.745 * * * [progress]: picking best candidate 2.763 * * * * [pick]: Picked # 2.763 * * * [progress]: localizing error 2.778 * * * [progress]: generating rewritten candidates 2.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 2.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1) 2.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 2.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2) 2.781 * * * [progress]: generating series expansions 2.781 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 2.781 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.781 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.782 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.782 * [taylor]: Taking taylor expansion of 1/3 in x 2.782 * [taylor]: Taking taylor expansion of (log x) in x 2.782 * [taylor]: Taking taylor expansion of x in x 2.782 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.782 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.782 * [taylor]: Taking taylor expansion of 1/3 in x 2.782 * [taylor]: Taking taylor expansion of (log x) in x 2.782 * [taylor]: Taking taylor expansion of x in x 2.834 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.834 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.834 * [taylor]: Taking taylor expansion of 1/3 in x 2.834 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.834 * [taylor]: Taking taylor expansion of x in x 2.835 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.835 * [taylor]: Taking taylor expansion of 1/3 in x 2.835 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.836 * [taylor]: Taking taylor expansion of x in x 2.887 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.887 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.887 * [taylor]: Taking taylor expansion of -1 in x 2.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.887 * [taylor]: Taking taylor expansion of 1/3 in x 2.888 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.888 * [taylor]: Taking taylor expansion of x in x 2.888 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.888 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.888 * [taylor]: Taking taylor expansion of -1 in x 2.889 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.889 * [taylor]: Taking taylor expansion of 1/3 in x 2.889 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.889 * [taylor]: Taking taylor expansion of x in x 2.957 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1) 2.957 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.957 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.957 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.957 * [taylor]: Taking taylor expansion of 1/3 in x 2.957 * [taylor]: Taking taylor expansion of (log x) in x 2.957 * [taylor]: Taking taylor expansion of x in x 2.957 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.957 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.957 * [taylor]: Taking taylor expansion of 1/3 in x 2.957 * [taylor]: Taking taylor expansion of (log x) in x 2.957 * [taylor]: Taking taylor expansion of x in x 3.011 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.011 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.011 * [taylor]: Taking taylor expansion of 1/3 in x 3.011 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.011 * [taylor]: Taking taylor expansion of x in x 3.012 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.012 * [taylor]: Taking taylor expansion of 1/3 in x 3.012 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.012 * [taylor]: Taking taylor expansion of x in x 3.068 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.068 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.068 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.068 * [taylor]: Taking taylor expansion of -1 in x 3.069 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.069 * [taylor]: Taking taylor expansion of 1/3 in x 3.069 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.069 * [taylor]: Taking taylor expansion of x in x 3.070 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.070 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.070 * [taylor]: Taking taylor expansion of -1 in x 3.071 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.071 * [taylor]: Taking taylor expansion of 1/3 in x 3.071 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.071 * [taylor]: Taking taylor expansion of x in x 3.133 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 3.133 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.133 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.133 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.133 * [taylor]: Taking taylor expansion of 1/3 in y 3.133 * [taylor]: Taking taylor expansion of (log y) in y 3.133 * [taylor]: Taking taylor expansion of y in y 3.133 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.134 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.134 * [taylor]: Taking taylor expansion of 1/3 in y 3.134 * [taylor]: Taking taylor expansion of (log y) in y 3.134 * [taylor]: Taking taylor expansion of y in y 3.187 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.187 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.187 * [taylor]: Taking taylor expansion of 1/3 in y 3.187 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.188 * [taylor]: Taking taylor expansion of y in y 3.188 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.188 * [taylor]: Taking taylor expansion of 1/3 in y 3.188 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.189 * [taylor]: Taking taylor expansion of y in y 3.245 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.245 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.245 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.245 * [taylor]: Taking taylor expansion of -1 in y 3.246 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.246 * [taylor]: Taking taylor expansion of 1/3 in y 3.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.247 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.247 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.247 * [taylor]: Taking taylor expansion of -1 in y 3.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.248 * [taylor]: Taking taylor expansion of 1/3 in y 3.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.248 * [taylor]: Taking taylor expansion of y in y 3.315 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2) 3.315 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.316 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.316 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.316 * [taylor]: Taking taylor expansion of 1/3 in y 3.316 * [taylor]: Taking taylor expansion of (log y) in y 3.316 * [taylor]: Taking taylor expansion of y in y 3.316 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.316 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.316 * [taylor]: Taking taylor expansion of 1/3 in y 3.316 * [taylor]: Taking taylor expansion of (log y) in y 3.316 * [taylor]: Taking taylor expansion of y in y 3.370 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.370 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.370 * [taylor]: Taking taylor expansion of 1/3 in y 3.370 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.370 * [taylor]: Taking taylor expansion of y in y 3.371 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.371 * [taylor]: Taking taylor expansion of 1/3 in y 3.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.371 * [taylor]: Taking taylor expansion of y in y 3.423 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.423 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.423 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.423 * [taylor]: Taking taylor expansion of -1 in y 3.424 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.424 * [taylor]: Taking taylor expansion of 1/3 in y 3.424 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.424 * [taylor]: Taking taylor expansion of y in y 3.425 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.425 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.425 * [taylor]: Taking taylor expansion of -1 in y 3.426 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.426 * [taylor]: Taking taylor expansion of 1/3 in y 3.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.426 * [taylor]: Taking taylor expansion of y in y 3.683 * * * [progress]: simplifying candidates 3.684 * [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)) 3.686 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 3.692 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 3.708 * * [simplify]: iteration 2 : 148 enodes (cost 244 ) 3.735 * * [simplify]: iteration 3 : 312 enodes (cost 232 ) 3.833 * * [simplify]: iteration 4 : 1004 enodes (cost 232 ) 4.220 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 4.220 * [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.221 * * * [progress]: adding candidates to table 4.452 * * [progress]: iteration 3 / 4 4.452 * * * [progress]: picking best candidate 4.470 * * * * [pick]: Picked # 4.470 * * * [progress]: localizing error 4.493 * * * [progress]: generating rewritten candidates 4.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 2) 4.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 4.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 4.496 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 1) 4.498 * * * [progress]: generating series expansions 4.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 2) 4.498 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.498 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.498 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.498 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.498 * [taylor]: Taking taylor expansion of 1/9 in x 4.498 * [taylor]: Taking taylor expansion of (log x) in x 4.498 * [taylor]: Taking taylor expansion of x in x 4.499 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.499 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.499 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.499 * [taylor]: Taking taylor expansion of 1/9 in x 4.499 * [taylor]: Taking taylor expansion of (log x) in x 4.499 * [taylor]: Taking taylor expansion of x in x 4.551 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.551 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.551 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.551 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.552 * [taylor]: Taking taylor expansion of 1/9 in x 4.552 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.552 * [taylor]: Taking taylor expansion of x in x 4.552 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.552 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.552 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.552 * [taylor]: Taking taylor expansion of 1/9 in x 4.553 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.603 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.603 * [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.607 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.607 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.607 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.607 * [taylor]: Taking taylor expansion of 1/9 in x 4.607 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.607 * [taylor]: Taking taylor expansion of x in x 4.608 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.608 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.608 * [taylor]: Taking taylor expansion of 1/3 in x 4.608 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.608 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.608 * [taylor]: Taking taylor expansion of -1 in x 4.615 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.615 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.615 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.615 * [taylor]: Taking taylor expansion of 1/9 in x 4.615 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.615 * [taylor]: Taking taylor expansion of x in x 4.735 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 2) 4.735 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.735 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.735 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.735 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.735 * [taylor]: Taking taylor expansion of 1/9 in x 4.735 * [taylor]: Taking taylor expansion of (log x) in x 4.735 * [taylor]: Taking taylor expansion of x in x 4.736 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.736 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.736 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.736 * [taylor]: Taking taylor expansion of 1/9 in x 4.736 * [taylor]: Taking taylor expansion of (log x) in x 4.736 * [taylor]: Taking taylor expansion of x in x 4.787 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.787 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.787 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.787 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.787 * [taylor]: Taking taylor expansion of 1/9 in x 4.788 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.788 * [taylor]: Taking taylor expansion of x in x 4.788 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.788 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.788 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.789 * [taylor]: Taking taylor expansion of 1/9 in x 4.789 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.789 * [taylor]: Taking taylor expansion of x in x 4.844 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.844 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.844 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.844 * [taylor]: Taking taylor expansion of 1/3 in x 4.844 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.844 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.844 * [taylor]: Taking taylor expansion of -1 in x 4.848 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.848 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.848 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.848 * [taylor]: Taking taylor expansion of 1/9 in x 4.848 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.848 * [taylor]: Taking taylor expansion of x in x 4.849 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.849 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.849 * [taylor]: Taking taylor expansion of 1/3 in x 4.849 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.849 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.849 * [taylor]: Taking taylor expansion of -1 in x 4.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.853 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.853 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.853 * [taylor]: Taking taylor expansion of 1/9 in x 4.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.853 * [taylor]: Taking taylor expansion of x in x 4.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1) 4.973 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.973 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.973 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.973 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.973 * [taylor]: Taking taylor expansion of 1/9 in x 4.973 * [taylor]: Taking taylor expansion of (log x) in x 4.973 * [taylor]: Taking taylor expansion of x in x 4.974 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.974 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.974 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.974 * [taylor]: Taking taylor expansion of 1/9 in x 4.974 * [taylor]: Taking taylor expansion of (log x) in x 4.974 * [taylor]: Taking taylor expansion of x in x 5.025 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 5.026 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.026 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.026 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.026 * [taylor]: Taking taylor expansion of 1/9 in x 5.026 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.027 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.027 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.027 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.027 * [taylor]: Taking taylor expansion of 1/9 in x 5.027 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.027 * [taylor]: Taking taylor expansion of x in x 5.082 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 5.082 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.082 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.082 * [taylor]: Taking taylor expansion of 1/3 in x 5.082 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.082 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.082 * [taylor]: Taking taylor expansion of -1 in x 5.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.086 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.086 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.086 * [taylor]: Taking taylor expansion of 1/9 in x 5.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.086 * [taylor]: Taking taylor expansion of x in x 5.087 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.087 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.087 * [taylor]: Taking taylor expansion of 1/3 in x 5.087 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.087 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.087 * [taylor]: Taking taylor expansion of -1 in x 5.090 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.090 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.090 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.090 * [taylor]: Taking taylor expansion of 1/9 in x 5.090 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.091 * [taylor]: Taking taylor expansion of x in x 5.215 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 1) 5.215 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.215 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.215 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.215 * [taylor]: Taking taylor expansion of 1/3 in x 5.215 * [taylor]: Taking taylor expansion of (log x) in x 5.215 * [taylor]: Taking taylor expansion of x in x 5.216 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.216 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.216 * [taylor]: Taking taylor expansion of 1/3 in x 5.216 * [taylor]: Taking taylor expansion of (log x) in x 5.216 * [taylor]: Taking taylor expansion of x in x 5.265 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.265 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.265 * [taylor]: Taking taylor expansion of 1/3 in x 5.265 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.265 * [taylor]: Taking taylor expansion of x in x 5.266 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.266 * [taylor]: Taking taylor expansion of 1/3 in x 5.266 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.266 * [taylor]: Taking taylor expansion of x in x 5.322 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.322 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.322 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.322 * [taylor]: Taking taylor expansion of -1 in x 5.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.323 * [taylor]: Taking taylor expansion of 1/3 in x 5.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.324 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.324 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.324 * [taylor]: Taking taylor expansion of -1 in x 5.325 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.325 * [taylor]: Taking taylor expansion of 1/3 in x 5.325 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.325 * [taylor]: Taking taylor expansion of x in x 5.392 * * * [progress]: simplifying candidates 5.393 * [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.395 * * [simplify]: iteration 0 : 46 enodes (cost 419 ) 5.403 * * [simplify]: iteration 1 : 79 enodes (cost 400 ) 5.417 * * [simplify]: iteration 2 : 151 enodes (cost 370 ) 5.455 * * [simplify]: iteration 3 : 335 enodes (cost 358 ) 5.584 * * [simplify]: iteration 4 : 1129 enodes (cost 358 ) 5.962 * * [simplify]: iteration done : 5001 enodes (cost 358 ) 5.963 * [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))) 5.963 * * * [progress]: adding candidates to table 6.277 * * [progress]: iteration 4 / 4 6.277 * * * [progress]: picking best candidate 6.288 * * * * [pick]: Picked # 6.288 * * * [progress]: localizing error 6.301 * * * [progress]: generating rewritten candidates 6.301 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1) 6.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1) 6.303 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 6.303 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 2) 6.305 * * * [progress]: generating series expansions 6.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1) 6.305 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.305 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.305 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.305 * [taylor]: Taking taylor expansion of 1/3 in x 6.305 * [taylor]: Taking taylor expansion of (log x) in x 6.305 * [taylor]: Taking taylor expansion of x in x 6.306 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.306 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.306 * [taylor]: Taking taylor expansion of 1/3 in x 6.306 * [taylor]: Taking taylor expansion of (log x) in x 6.306 * [taylor]: Taking taylor expansion of x in x 6.359 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.359 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.359 * [taylor]: Taking taylor expansion of 1/3 in x 6.359 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.359 * [taylor]: Taking taylor expansion of x in x 6.360 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.360 * [taylor]: Taking taylor expansion of 1/3 in x 6.360 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.360 * [taylor]: Taking taylor expansion of x in x 6.417 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.418 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.418 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.418 * [taylor]: Taking taylor expansion of -1 in x 6.418 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.418 * [taylor]: Taking taylor expansion of 1/3 in x 6.418 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.418 * [taylor]: Taking taylor expansion of x in x 6.419 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.419 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.419 * [taylor]: Taking taylor expansion of -1 in x 6.420 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.420 * [taylor]: Taking taylor expansion of 1/3 in x 6.420 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.420 * [taylor]: Taking taylor expansion of x in x 6.488 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1) 6.488 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.488 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.488 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.488 * [taylor]: Taking taylor expansion of 1/3 in x 6.488 * [taylor]: Taking taylor expansion of (log x) in x 6.488 * [taylor]: Taking taylor expansion of x in x 6.489 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.489 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.489 * [taylor]: Taking taylor expansion of 1/3 in x 6.489 * [taylor]: Taking taylor expansion of (log x) in x 6.489 * [taylor]: Taking taylor expansion of x in x 6.536 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.536 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.536 * [taylor]: Taking taylor expansion of 1/3 in x 6.536 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.536 * [taylor]: Taking taylor expansion of x in x 6.537 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.537 * [taylor]: Taking taylor expansion of 1/3 in x 6.537 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.537 * [taylor]: Taking taylor expansion of x in x 6.595 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.595 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.595 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.595 * [taylor]: Taking taylor expansion of -1 in x 6.596 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.596 * [taylor]: Taking taylor expansion of 1/3 in x 6.596 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.596 * [taylor]: Taking taylor expansion of x in x 6.597 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.597 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.597 * [taylor]: Taking taylor expansion of -1 in x 6.598 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.598 * [taylor]: Taking taylor expansion of 1/3 in x 6.598 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.598 * [taylor]: Taking taylor expansion of x in x 6.670 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 6.670 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.670 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.670 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.670 * [taylor]: Taking taylor expansion of 1/3 in y 6.670 * [taylor]: Taking taylor expansion of (log y) in y 6.670 * [taylor]: Taking taylor expansion of y in y 6.671 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.671 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.671 * [taylor]: Taking taylor expansion of 1/3 in y 6.671 * [taylor]: Taking taylor expansion of (log y) in y 6.671 * [taylor]: Taking taylor expansion of y in y 6.727 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.727 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.727 * [taylor]: Taking taylor expansion of 1/3 in y 6.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.727 * [taylor]: Taking taylor expansion of y in y 6.728 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.728 * [taylor]: Taking taylor expansion of 1/3 in y 6.728 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.728 * [taylor]: Taking taylor expansion of y in y 6.781 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 6.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.781 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.781 * [taylor]: Taking taylor expansion of -1 in y 6.782 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.782 * [taylor]: Taking taylor expansion of 1/3 in y 6.782 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.782 * [taylor]: Taking taylor expansion of y in y 6.783 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.783 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.783 * [taylor]: Taking taylor expansion of -1 in y 6.783 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.784 * [taylor]: Taking taylor expansion of 1/3 in y 6.784 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.784 * [taylor]: Taking taylor expansion of y in y 6.855 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 2) 6.855 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.855 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.855 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.855 * [taylor]: Taking taylor expansion of 1/3 in y 6.855 * [taylor]: Taking taylor expansion of (log y) in y 6.855 * [taylor]: Taking taylor expansion of y in y 6.856 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.856 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.856 * [taylor]: Taking taylor expansion of 1/3 in y 6.856 * [taylor]: Taking taylor expansion of (log y) in y 6.856 * [taylor]: Taking taylor expansion of y in y 6.931 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.931 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.931 * [taylor]: Taking taylor expansion of 1/3 in y 6.931 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.931 * [taylor]: Taking taylor expansion of y in y 6.932 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.932 * [taylor]: Taking taylor expansion of 1/3 in y 6.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.933 * [taylor]: Taking taylor expansion of y in y 7.018 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.018 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.018 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.018 * [taylor]: Taking taylor expansion of -1 in y 7.019 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.019 * [taylor]: Taking taylor expansion of 1/3 in y 7.019 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.019 * [taylor]: Taking taylor expansion of y in y 7.020 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.020 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.020 * [taylor]: Taking taylor expansion of -1 in y 7.021 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.021 * [taylor]: Taking taylor expansion of 1/3 in y 7.021 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.021 * [taylor]: Taking taylor expansion of y in y 7.088 * * * [progress]: simplifying candidates 7.089 * [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)) 7.091 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 7.098 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 7.109 * * [simplify]: iteration 2 : 148 enodes (cost 244 ) 7.136 * * [simplify]: iteration 3 : 312 enodes (cost 232 ) 7.234 * * [simplify]: iteration 4 : 1004 enodes (cost 232 ) 7.628 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 7.628 * [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))) 7.629 * * * [progress]: adding candidates to table 7.853 * [progress]: [Phase 3 of 3] Extracting. 7.853 * * [regime]: Finding splitpoints for: (# # # # # # #) 7.855 * * * [regime-changes]: Trying 5 branch expressions: ((* x (log (/ x y))) (- (* x (log (/ x y))) z) z y x) 7.855 * * * * [regimes]: Trying to branch on (* x (log (/ x y))) from (# # # # # # #) 7.887 * * * * [regimes]: Trying to branch on (- (* x (log (/ x y))) z) from (# # # # # # #) 7.923 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 7.955 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 7.987 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 8.016 * * * [regime]: Found split indices: #