26.062 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.041 * * [simplify]: iteration 0 : 21 enodes (cost 6 ) 0.043 * * [simplify]: iteration 1 : 61 enodes (cost 6 ) 0.044 * * [simplify]: iteration 2 : 192 enodes (cost 6 ) 0.048 * * [simplify]: iteration 3 : 649 enodes (cost 6 ) 0.054 * * [simplify]: iteration 4 : 1602 enodes (cost 6 ) 0.067 * * [simplify]: iteration 5 : 2720 enodes (cost 6 ) 0.086 * * [simplify]: iteration 6 : 3667 enodes (cost 6 ) 0.107 * * [simplify]: iteration 7 : 4387 enodes (cost 6 ) 0.129 * * [simplify]: iteration 8 : 4711 enodes (cost 6 ) 0.153 * * [simplify]: iteration 9 : 4956 enodes (cost 6 ) 0.180 * * [simplify]: iteration 10 : 5001 enodes (cost 6 ) 0.180 * [simplify]: Simplified to: (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.181 * * [progress]: iteration 1 / 4 0.181 * * * [progress]: picking best candidate 0.182 * * * * [pick]: Picked # 0.183 * * * [progress]: localizing error 0.194 * * * [progress]: generating rewritten candidates 0.194 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.214 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.217 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.276 * * * [progress]: generating series expansions 0.276 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.277 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 0.277 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 0.277 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of 0.5 in y 0.277 * [taylor]: Taking taylor expansion of (log y) in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 0.277 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of 0.5 in y 0.277 * [taylor]: Taking taylor expansion of (log y) in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.349 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 0.350 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 0.350 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.350 * [taylor]: Taking taylor expansion of y in y 0.350 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.350 * [taylor]: Taking taylor expansion of y in y 0.350 * [taylor]: Taking taylor expansion of 0.5 in y 0.350 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 0.350 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.350 * [taylor]: Taking taylor expansion of y in y 0.351 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.351 * [taylor]: Taking taylor expansion of y in y 0.351 * [taylor]: Taking taylor expansion of 0.5 in y 0.426 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 0.426 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 0.426 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 0.426 * [taylor]: Taking taylor expansion of 0.5 in y 0.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.426 * [taylor]: Taking taylor expansion of y in y 0.426 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.426 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.426 * [taylor]: Taking taylor expansion of -1 in y 0.426 * [taylor]: Taking taylor expansion of y in y 0.427 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 0.427 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 0.427 * [taylor]: Taking taylor expansion of 0.5 in y 0.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.427 * [taylor]: Taking taylor expansion of y in y 0.427 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.427 * [taylor]: Taking taylor expansion of -1 in y 0.427 * [taylor]: Taking taylor expansion of y in y 0.516 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.516 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 0.516 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 0.516 * [taylor]: Taking taylor expansion of (+ x y) in y 0.516 * [taylor]: Taking taylor expansion of x in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 0.517 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.517 * [taylor]: Taking taylor expansion of 0.5 in y 0.517 * [taylor]: Taking taylor expansion of (log y) in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of (log y) in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 0.517 * [taylor]: Taking taylor expansion of (+ x y) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of y in x 0.517 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.517 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.517 * [taylor]: Taking taylor expansion of 0.5 in x 0.517 * [taylor]: Taking taylor expansion of (log y) in x 0.517 * [taylor]: Taking taylor expansion of y in x 0.517 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.517 * [taylor]: Taking taylor expansion of y in x 0.517 * [taylor]: Taking taylor expansion of (log y) in x 0.518 * [taylor]: Taking taylor expansion of y in x 0.518 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 0.518 * [taylor]: Taking taylor expansion of (+ x y) in x 0.518 * [taylor]: Taking taylor expansion of x in x 0.518 * [taylor]: Taking taylor expansion of y in x 0.518 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.518 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.518 * [taylor]: Taking taylor expansion of 0.5 in x 0.518 * [taylor]: Taking taylor expansion of (log y) in x 0.518 * [taylor]: Taking taylor expansion of y in x 0.518 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.518 * [taylor]: Taking taylor expansion of y in x 0.518 * [taylor]: Taking taylor expansion of (log y) in x 0.518 * [taylor]: Taking taylor expansion of y in x 0.518 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.518 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 0.518 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.518 * [taylor]: Taking taylor expansion of 0.5 in y 0.518 * [taylor]: Taking taylor expansion of (log y) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.519 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.519 * [taylor]: Taking taylor expansion of y in y 0.519 * [taylor]: Taking taylor expansion of (log y) in y 0.519 * [taylor]: Taking taylor expansion of y in y 0.522 * [taylor]: Taking taylor expansion of 1 in y 0.525 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 0.525 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 0.525 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.525 * [taylor]: Taking taylor expansion of y in y 0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.526 * [taylor]: Taking taylor expansion of x in y 0.526 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 0.526 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.526 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.526 * [taylor]: Taking taylor expansion of y in y 0.526 * [taylor]: Taking taylor expansion of y in y 0.527 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.527 * [taylor]: Taking taylor expansion of 0.5 in y 0.527 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.527 * [taylor]: Taking taylor expansion of y in y 0.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 0.527 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.527 * [taylor]: Taking taylor expansion of y in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 0.528 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.528 * [taylor]: Taking taylor expansion of y in x 0.528 * [taylor]: Taking taylor expansion of y in x 0.528 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.528 * [taylor]: Taking taylor expansion of 0.5 in x 0.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.528 * [taylor]: Taking taylor expansion of y in x 0.528 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 0.528 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.528 * [taylor]: Taking taylor expansion of y in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.528 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 0.528 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.528 * [taylor]: Taking taylor expansion of y in x 0.529 * [taylor]: Taking taylor expansion of y in x 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.529 * [taylor]: Taking taylor expansion of 0.5 in x 0.529 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.529 * [taylor]: Taking taylor expansion of y in x 0.529 * [taylor]: Taking taylor expansion of 1 in y 0.530 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 0.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.530 * [taylor]: Taking taylor expansion of y in y 0.530 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 0.531 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.531 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.532 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.532 * [taylor]: Taking taylor expansion of 0.5 in y 0.532 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.535 * [taylor]: Taking taylor expansion of 0 in y 0.538 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 0.538 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 0.538 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.539 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.540 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 0.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.540 * [taylor]: Taking taylor expansion of y in y 0.541 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 0.541 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.541 * [taylor]: Taking taylor expansion of 0.5 in y 0.541 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.541 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.541 * [taylor]: Taking taylor expansion of -1 in y 0.541 * [taylor]: Taking taylor expansion of y in y 0.541 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.541 * [taylor]: Taking taylor expansion of x in y 0.541 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 0.541 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.541 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.541 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.541 * [taylor]: Taking taylor expansion of -1 in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.542 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.542 * [taylor]: Taking taylor expansion of 0.5 in x 0.542 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.542 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.542 * [taylor]: Taking taylor expansion of -1 in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 0.542 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.542 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.542 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.542 * [taylor]: Taking taylor expansion of -1 in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.542 * [taylor]: Taking taylor expansion of y in x 0.542 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.542 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.542 * [taylor]: Taking taylor expansion of 0.5 in x 0.543 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.543 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.543 * [taylor]: Taking taylor expansion of -1 in x 0.543 * [taylor]: Taking taylor expansion of y in x 0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of -1 in y 0.545 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 0.545 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.545 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.545 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.545 * [taylor]: Taking taylor expansion of -1 in y 0.545 * [taylor]: Taking taylor expansion of y in y 0.545 * [taylor]: Taking taylor expansion of y in y 0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.547 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.547 * [taylor]: Taking taylor expansion of 0.5 in y 0.547 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.547 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.547 * [taylor]: Taking taylor expansion of -1 in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of 0 in y 0.558 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.558 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 0.558 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 0.558 * [taylor]: Taking taylor expansion of x in y 0.558 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 0.558 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.558 * [taylor]: Taking taylor expansion of 0.5 in y 0.558 * [taylor]: Taking taylor expansion of (log y) in y 0.558 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.559 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of (log y) in y 0.559 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.559 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.559 * [taylor]: Taking taylor expansion of 0.5 in x 0.559 * [taylor]: Taking taylor expansion of (log y) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.559 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.559 * [taylor]: Taking taylor expansion of (log y) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.559 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.559 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.559 * [taylor]: Taking taylor expansion of 0.5 in x 0.559 * [taylor]: Taking taylor expansion of (log y) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.559 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.559 * [taylor]: Taking taylor expansion of (log y) in x 0.559 * [taylor]: Taking taylor expansion of y in x 0.560 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 0.560 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 0.560 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.560 * [taylor]: Taking taylor expansion of y in y 0.560 * [taylor]: Taking taylor expansion of (log y) in y 0.560 * [taylor]: Taking taylor expansion of y in y 0.560 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.560 * [taylor]: Taking taylor expansion of 0.5 in y 0.560 * [taylor]: Taking taylor expansion of (log y) in y 0.560 * [taylor]: Taking taylor expansion of y in y 0.563 * [taylor]: Taking taylor expansion of 1 in y 0.566 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 0.566 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.566 * [taylor]: Taking taylor expansion of x in y 0.566 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 0.566 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.566 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.567 * [taylor]: Taking taylor expansion of 0.5 in y 0.567 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.568 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 0.568 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.568 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.568 * [taylor]: Taking taylor expansion of 0.5 in x 0.568 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 0.569 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.569 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.569 * [taylor]: Taking taylor expansion of 0.5 in x 0.569 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of 1 in y 0.570 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 0.570 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 0.570 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.570 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.570 * [taylor]: Taking taylor expansion of y in y 0.576 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.577 * [taylor]: Taking taylor expansion of 0.5 in y 0.577 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.580 * [taylor]: Taking taylor expansion of 0 in y 0.583 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 0.583 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 0.583 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.583 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.583 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.583 * [taylor]: Taking taylor expansion of -1 in y 0.583 * [taylor]: Taking taylor expansion of y in y 0.583 * [taylor]: Taking taylor expansion of y in y 0.585 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 0.585 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.585 * [taylor]: Taking taylor expansion of 0.5 in y 0.585 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.585 * [taylor]: Taking taylor expansion of -1 in y 0.585 * [taylor]: Taking taylor expansion of y in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.585 * [taylor]: Taking taylor expansion of x in y 0.585 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.585 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.585 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.585 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.585 * [taylor]: Taking taylor expansion of -1 in x 0.585 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.586 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.586 * [taylor]: Taking taylor expansion of 0.5 in x 0.586 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.586 * [taylor]: Taking taylor expansion of -1 in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.586 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.586 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.586 * [taylor]: Taking taylor expansion of -1 in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.586 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.586 * [taylor]: Taking taylor expansion of 0.5 in x 0.586 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.586 * [taylor]: Taking taylor expansion of -1 in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of -1 in y 0.588 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 0.588 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.588 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.588 * [taylor]: Taking taylor expansion of -1 in y 0.588 * [taylor]: Taking taylor expansion of y in y 0.589 * [taylor]: Taking taylor expansion of y in y 0.590 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.590 * [taylor]: Taking taylor expansion of 0.5 in y 0.590 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.590 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.590 * [taylor]: Taking taylor expansion of -1 in y 0.590 * [taylor]: Taking taylor expansion of y in y 0.594 * [taylor]: Taking taylor expansion of 0 in y 0.599 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.599 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 0.599 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 0.600 * [taylor]: Taking taylor expansion of (+ x y) in z 0.600 * [taylor]: Taking taylor expansion of x in z 0.600 * [taylor]: Taking taylor expansion of y in z 0.600 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 0.600 * [taylor]: Taking taylor expansion of z in z 0.600 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 0.600 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 0.600 * [taylor]: Taking taylor expansion of 0.5 in z 0.600 * [taylor]: Taking taylor expansion of (log y) in z 0.600 * [taylor]: Taking taylor expansion of y in z 0.600 * [taylor]: Taking taylor expansion of (* y (log y)) in z 0.600 * [taylor]: Taking taylor expansion of y in z 0.600 * [taylor]: Taking taylor expansion of (log y) in z 0.600 * [taylor]: Taking taylor expansion of y in z 0.600 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 0.600 * [taylor]: Taking taylor expansion of (+ x y) in y 0.600 * [taylor]: Taking taylor expansion of x in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 0.600 * [taylor]: Taking taylor expansion of z in y 0.600 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 0.600 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.600 * [taylor]: Taking taylor expansion of 0.5 in y 0.600 * [taylor]: Taking taylor expansion of (log y) in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of (log y) in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.601 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 0.601 * [taylor]: Taking taylor expansion of (+ x y) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 0.601 * [taylor]: Taking taylor expansion of z in x 0.601 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.601 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.601 * [taylor]: Taking taylor expansion of 0.5 in x 0.601 * [taylor]: Taking taylor expansion of (log y) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (log y) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 0.601 * [taylor]: Taking taylor expansion of (+ x y) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 0.601 * [taylor]: Taking taylor expansion of z in x 0.601 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 0.601 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 0.601 * [taylor]: Taking taylor expansion of 0.5 in x 0.601 * [taylor]: Taking taylor expansion of (log y) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (* y (log y)) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of (log y) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.602 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 0.602 * [taylor]: Taking taylor expansion of y in y 0.602 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 0.602 * [taylor]: Taking taylor expansion of z in y 0.602 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 0.602 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 0.602 * [taylor]: Taking taylor expansion of 0.5 in y 0.602 * [taylor]: Taking taylor expansion of (log y) in y 0.602 * [taylor]: Taking taylor expansion of y in y 0.602 * [taylor]: Taking taylor expansion of (* y (log y)) in y 0.602 * [taylor]: Taking taylor expansion of y in y 0.602 * [taylor]: Taking taylor expansion of (log y) in y 0.602 * [taylor]: Taking taylor expansion of y in y 0.603 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 0.603 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 0.603 * [taylor]: Taking taylor expansion of z in z 0.603 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 0.603 * [taylor]: Taking taylor expansion of 0.5 in z 0.603 * [taylor]: Taking taylor expansion of (log y) in z 0.603 * [taylor]: Taking taylor expansion of y in z 0.606 * [taylor]: Taking taylor expansion of 1 in y 0.606 * [taylor]: Taking taylor expansion of 1 in z 0.608 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 0.609 * [taylor]: Taking taylor expansion of 1 in z 0.609 * [taylor]: Taking taylor expansion of (log y) in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.609 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in (x y z) around 0 0.609 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.609 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.609 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.609 * [taylor]: Taking taylor expansion of x in z 0.609 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 0.609 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 0.609 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.609 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 0.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.609 * [taylor]: Taking taylor expansion of z in z 0.610 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 0.610 * [taylor]: Taking taylor expansion of 0.5 in z 0.610 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.610 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.610 * [taylor]: Taking taylor expansion of y in z 0.610 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.610 * [taylor]: Taking taylor expansion of y in y 0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.610 * [taylor]: Taking taylor expansion of x in y 0.610 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 0.610 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.610 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.610 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 0.611 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.611 * [taylor]: Taking taylor expansion of z in y 0.612 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.612 * [taylor]: Taking taylor expansion of 0.5 in y 0.612 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.612 * [taylor]: Taking taylor expansion of y in x 0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 0.612 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.612 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.613 * [taylor]: Taking taylor expansion of z in x 0.613 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.613 * [taylor]: Taking taylor expansion of 0.5 in x 0.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 0.613 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 0.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.614 * [taylor]: Taking taylor expansion of z in x 0.614 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 0.614 * [taylor]: Taking taylor expansion of 0.5 in x 0.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.614 * [taylor]: Taking taylor expansion of y in x 0.614 * [taylor]: Taking taylor expansion of 1 in y 0.615 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 0.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.615 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 0.616 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 0.616 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 0.617 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.617 * [taylor]: Taking taylor expansion of z in y 0.617 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 0.617 * [taylor]: Taking taylor expansion of 0.5 in y 0.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.617 * [taylor]: Taking taylor expansion of y in y 0.618 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 0.618 * [taylor]: Taking taylor expansion of (log y) in z 0.618 * [taylor]: Taking taylor expansion of y in z 0.618 * [taylor]: Taking taylor expansion of 1 in z 0.618 * [taylor]: Taking taylor expansion of 1 in z 0.621 * [taylor]: Taking taylor expansion of 0 in y 0.623 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 0.624 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 0.624 * [taylor]: Taking taylor expansion of 0.5 in z 0.624 * [taylor]: Taking taylor expansion of (log y) in z 0.624 * [taylor]: Taking taylor expansion of y in z 0.624 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.624 * [taylor]: Taking taylor expansion of z in z 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.625 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y z) around 0 0.625 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.625 * [taylor]: Taking taylor expansion of z in z 0.626 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 0.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.626 * [taylor]: Taking taylor expansion of -1 in z 0.626 * [taylor]: Taking taylor expansion of y in z 0.626 * [taylor]: Taking taylor expansion of y in z 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.626 * [taylor]: Taking taylor expansion of y in z 0.626 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 0.626 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 0.626 * [taylor]: Taking taylor expansion of 0.5 in z 0.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.626 * [taylor]: Taking taylor expansion of -1 in z 0.626 * [taylor]: Taking taylor expansion of y in z 0.626 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.626 * [taylor]: Taking taylor expansion of x in z 0.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 0.626 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.626 * [taylor]: Taking taylor expansion of z in y 0.626 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.626 * [taylor]: Taking taylor expansion of -1 in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.627 * [taylor]: Taking taylor expansion of y in y 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.628 * [taylor]: Taking taylor expansion of y in y 0.628 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 0.628 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.628 * [taylor]: Taking taylor expansion of 0.5 in y 0.628 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.628 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.628 * [taylor]: Taking taylor expansion of -1 in y 0.628 * [taylor]: Taking taylor expansion of y in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.629 * [taylor]: Taking taylor expansion of x in y 0.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.629 * [taylor]: Taking taylor expansion of z in x 0.629 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.629 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.629 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.629 * [taylor]: Taking taylor expansion of -1 in x 0.629 * [taylor]: Taking taylor expansion of y in x 0.629 * [taylor]: Taking taylor expansion of y in x 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.629 * [taylor]: Taking taylor expansion of y in x 0.629 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.629 * [taylor]: Taking taylor expansion of 0.5 in x 0.629 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.630 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.630 * [taylor]: Taking taylor expansion of -1 in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.630 * [taylor]: Taking taylor expansion of z in x 0.630 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 0.630 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.630 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.630 * [taylor]: Taking taylor expansion of -1 in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 0.630 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 0.630 * [taylor]: Taking taylor expansion of 0.5 in x 0.630 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.630 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.630 * [taylor]: Taking taylor expansion of -1 in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of -1 in y 0.633 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.633 * [taylor]: Taking taylor expansion of z in y 0.633 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 0.633 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.633 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.633 * [taylor]: Taking taylor expansion of -1 in y 0.633 * [taylor]: Taking taylor expansion of y in y 0.634 * [taylor]: Taking taylor expansion of y in y 0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 0.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.635 * [taylor]: Taking taylor expansion of y in y 0.635 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 0.635 * [taylor]: Taking taylor expansion of 0.5 in y 0.635 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.635 * [taylor]: Taking taylor expansion of -1 in y 0.635 * [taylor]: Taking taylor expansion of y in y 0.637 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 0.637 * [taylor]: Taking taylor expansion of (log -1) in z 0.637 * [taylor]: Taking taylor expansion of -1 in z 0.637 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 0.637 * [taylor]: Taking taylor expansion of (log y) in z 0.637 * [taylor]: Taking taylor expansion of y in z 0.637 * [taylor]: Taking taylor expansion of 1 in z 0.637 * [taylor]: Taking taylor expansion of -1 in z 0.640 * [taylor]: Taking taylor expansion of 0 in y 0.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 0.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.645 * [taylor]: Taking taylor expansion of z in z 0.645 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 0.646 * [taylor]: Taking taylor expansion of 0.5 in z 0.646 * [taylor]: Taking taylor expansion of (log y) in z 0.646 * [taylor]: Taking taylor expansion of y in z 0.646 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 0.646 * [taylor]: Taking taylor expansion of 0.5 in z 0.646 * [taylor]: Taking taylor expansion of (log -1) in z 0.646 * [taylor]: Taking taylor expansion of -1 in z 0.646 * [taylor]: Taking taylor expansion of 0 in z 0.648 * * * [progress]: simplifying candidates 0.649 * [simplify]: Simplifying using # : (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (log (* (+ y 0.5) (log y))) (exp (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log 1)) (* (+ y 0.5) (log y)) (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log 1) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ y 0.5) 1) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (* (+ y 0.5) 1) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (/ (exp x) (exp (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y))))) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x (* (+ y 0.5) (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* (log 1) (+ y 0.5))) (- (* (+ y 0.5) (log y))) (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z)) (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) 0.655 * * [simplify]: iteration 0 : 446 enodes (cost 640 ) 0.662 * * [simplify]: iteration 1 : 1624 enodes (cost 599 ) 0.688 * * [simplify]: iteration 2 : 5001 enodes (cost 591 ) 0.692 * [simplify]: Simplified to: (* (log y) (+ y 0.5)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 3) (sqrt (* (+ y 0.5) (log y))) (sqrt (* (+ y 0.5) (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) 0 (* (log y) (+ y 0.5)) (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) (* (log (sqrt y)) (+ y 0.5)) 0 (* (log y) (+ y 0.5)) (+ y 0.5) (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y)))) (* (+ y 0.5) (sqrt (log y))) (+ y 0.5) (* (cbrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (* (- (* y y) (* 0.5 0.5)) (log y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (log (+ (- x (* (+ y 0.5) (log y))) y)) (exp (+ (- x (* (+ y 0.5) (log y))) y)) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (+ (* y (- y (- x (* (+ y 0.5) (log y))))) (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))))) (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y) (+ x (- y (* (log y) (+ 0.5 y)))) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (exp (- x (* (+ y 0.5) (log y)))) (log (- x (* (+ y 0.5) (log y)))) (exp (- x (* (+ y 0.5) (log y)))) (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y))))) (cbrt (- x (* (+ y 0.5) (log y)))) (pow (- x (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (+ (* (* (+ y 0.5) (log y)) (+ (* (+ y 0.5) (log y)) x)) (* x x)) (- (* (+ y 0.5) (log y))) (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)))) (+ x (* (+ y 0.5) (log y))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* y (log 1))) (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x (* y (log 1))) (- (* (+ y 0.5) (log y))) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (pow (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (+ (* z (+ z (+ (- x (* (+ y 0.5) (log y))) y))) (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y))) (- z) (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z) (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (* (log y) (+ y 0.5)) (* (log y) (+ y 0.5)) (+ (- (* (log (/ -1 y)) (+ y 0.5))) (* (log -1) (+ y 0.5))) (+ x (- y (* (log y) (+ 0.5 y)))) (+ x (- y (* (log y) (+ 0.5 y)))) (- (+ (+ (* (log (/ -1 y)) (+ y 0.5)) x) y) (* (log -1) (+ y 0.5))) (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y))) (- (+ (* (log (/ -1 y)) (+ y 0.5)) x) (* (log -1) (+ y 0.5))) (+ x (- y (* (log y) (+ 0.5 y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) 0.692 * * * [progress]: adding candidates to table 0.899 * * [progress]: iteration 2 / 4 0.900 * * * [progress]: picking best candidate 0.919 * * * * [pick]: Picked # 0.920 * * * [progress]: localizing error 0.936 * * * [progress]: generating rewritten candidates 0.936 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 0.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1 2) 0.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1) 0.937 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1) 0.945 * * * [progress]: generating series expansions 0.945 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 0.945 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.945 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.945 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.945 * [taylor]: Taking taylor expansion of 1/3 in y 0.945 * [taylor]: Taking taylor expansion of (log y) in y 0.945 * [taylor]: Taking taylor expansion of y in y 0.946 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.946 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.946 * [taylor]: Taking taylor expansion of 1/3 in y 0.946 * [taylor]: Taking taylor expansion of (log y) in y 0.946 * [taylor]: Taking taylor expansion of y in y 0.998 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.999 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.999 * [taylor]: Taking taylor expansion of 1/3 in y 0.999 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.999 * [taylor]: Taking taylor expansion of y in y 1.000 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.000 * [taylor]: Taking taylor expansion of 1/3 in y 1.000 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.000 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.000 * [taylor]: Taking taylor expansion of y in y 1.051 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.051 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.051 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.051 * [taylor]: Taking taylor expansion of -1 in y 1.057 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.057 * [taylor]: Taking taylor expansion of 1/3 in y 1.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.057 * [taylor]: Taking taylor expansion of y in y 1.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.058 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.058 * [taylor]: Taking taylor expansion of -1 in y 1.059 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.059 * [taylor]: Taking taylor expansion of 1/3 in y 1.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.059 * [taylor]: Taking taylor expansion of y in y 1.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1 2) 1.119 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.119 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.119 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.119 * [taylor]: Taking taylor expansion of 1/3 in y 1.119 * [taylor]: Taking taylor expansion of (log y) in y 1.119 * [taylor]: Taking taylor expansion of y in y 1.120 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.120 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.120 * [taylor]: Taking taylor expansion of 1/3 in y 1.120 * [taylor]: Taking taylor expansion of (log y) in y 1.120 * [taylor]: Taking taylor expansion of y in y 1.172 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.173 * [taylor]: Taking taylor expansion of 1/3 in y 1.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.173 * [taylor]: Taking taylor expansion of y in y 1.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.174 * [taylor]: Taking taylor expansion of 1/3 in y 1.174 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.174 * [taylor]: Taking taylor expansion of y in y 1.230 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.230 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.230 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.230 * [taylor]: Taking taylor expansion of -1 in y 1.231 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.231 * [taylor]: Taking taylor expansion of 1/3 in y 1.231 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.231 * [taylor]: Taking taylor expansion of y in y 1.232 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.232 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.232 * [taylor]: Taking taylor expansion of -1 in y 1.232 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.232 * [taylor]: Taking taylor expansion of 1/3 in y 1.232 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.297 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1) 1.297 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.297 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.297 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.297 * [taylor]: Taking taylor expansion of 1/3 in y 1.297 * [taylor]: Taking taylor expansion of (log y) in y 1.297 * [taylor]: Taking taylor expansion of y in y 1.297 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.298 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.298 * [taylor]: Taking taylor expansion of 1/3 in y 1.298 * [taylor]: Taking taylor expansion of (log y) in y 1.298 * [taylor]: Taking taylor expansion of y in y 1.343 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.343 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.343 * [taylor]: Taking taylor expansion of 1/3 in y 1.343 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.343 * [taylor]: Taking taylor expansion of y in y 1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.344 * [taylor]: Taking taylor expansion of 1/3 in y 1.344 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.344 * [taylor]: Taking taylor expansion of y in y 1.399 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.399 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.399 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.399 * [taylor]: Taking taylor expansion of -1 in y 1.400 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.400 * [taylor]: Taking taylor expansion of 1/3 in y 1.400 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.400 * [taylor]: Taking taylor expansion of y in y 1.401 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.401 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.401 * [taylor]: Taking taylor expansion of -1 in y 1.401 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.401 * [taylor]: Taking taylor expansion of 1/3 in y 1.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.401 * [taylor]: Taking taylor expansion of y in y 1.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1) 1.467 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 1.467 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 1.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 1.467 * [taylor]: Taking taylor expansion of 1/3 in y 1.467 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 1.467 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.467 * [taylor]: Taking taylor expansion of y in y 1.467 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 1.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 1.468 * [taylor]: Taking taylor expansion of 1/3 in y 1.468 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 1.468 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.468 * [taylor]: Taking taylor expansion of y in y 1.523 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 1.523 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.523 * [taylor]: Taking taylor expansion of 1/3 in y 1.523 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.523 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.523 * [taylor]: Taking taylor expansion of y in y 1.524 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.524 * [taylor]: Taking taylor expansion of 1/3 in y 1.524 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.524 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.524 * [taylor]: Taking taylor expansion of y in y 1.583 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 1.583 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 1.583 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.583 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.583 * [taylor]: Taking taylor expansion of -1 in y 1.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.584 * [taylor]: Taking taylor expansion of 1/3 in y 1.584 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.584 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.585 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 1.585 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.585 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.585 * [taylor]: Taking taylor expansion of -1 in y 1.586 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.586 * [taylor]: Taking taylor expansion of 1/3 in y 1.586 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.586 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.586 * [taylor]: Taking taylor expansion of y in y 1.661 * * * [progress]: simplifying candidates 1.662 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt 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)) (+ 1/3 1/3) (+ 1 1) (* y y) (* (cbrt y) (cbrt y)) (+ 1 1) (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 1 1) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 2 1/3) (* 2 1) (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* (cbrt y) (cbrt 1)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (* (cbrt y) 1) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (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)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 2/3) (pow (/ 1 y) -2/3) (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3)) 1.665 * * [simplify]: iteration 0 : 115 enodes (cost 288 ) 1.668 * * [simplify]: iteration 1 : 472 enodes (cost 261 ) 1.681 * * [simplify]: iteration 2 : 2959 enodes (cost 238 ) 1.744 * * [simplify]: iteration 3 : 5003 enodes (cost 235 ) 1.746 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) 2/3 2 (pow y 2) (pow y 2/3) 2 (* 2/3 (log y)) (* 2/3 (log y)) (exp (pow y 2/3)) (pow y 2) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (pow y 2) (fabs (pow y 1/3)) (fabs (pow y 1/3)) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (pow y 2/3) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (pow y 1/3) (pow y 1/3) 1 (pow y 2/3) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (pow y 1/3) (pow y 1/3) 2/3 2 (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (pow y 1/3) (pow (cbrt (cbrt y)) 5) (pow (sqrt (cbrt y)) 3) (pow y 1/3) (pow (cbrt (cbrt y)) 4) (* (cbrt y) (cbrt (sqrt y))) (pow y 2/3) (pow (cbrt (cbrt y)) 4) (pow (sqrt (cbrt y)) 3) (pow y 2/3) (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)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 2/3) (pow (/ 1 y) -2/3) (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3)) 1.746 * * * [progress]: adding candidates to table 2.019 * * [progress]: iteration 3 / 4 2.019 * * * [progress]: picking best candidate 2.033 * * * * [pick]: Picked # 2.033 * * * [progress]: localizing error 2.053 * * * [progress]: generating rewritten candidates 2.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2) 2.054 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1) 2.055 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 2) 2.056 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1 1) 2.057 * * * [progress]: generating series expansions 2.057 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2) 2.057 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 2.057 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.057 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.057 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.057 * [taylor]: Taking taylor expansion of 1/6 in y 2.057 * [taylor]: Taking taylor expansion of (log y) in y 2.057 * [taylor]: Taking taylor expansion of y in y 2.058 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.058 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.058 * [taylor]: Taking taylor expansion of 1/6 in y 2.058 * [taylor]: Taking taylor expansion of (log y) in y 2.058 * [taylor]: Taking taylor expansion of y in y 2.110 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 2.110 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.110 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.110 * [taylor]: Taking taylor expansion of 1/6 in y 2.110 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.110 * [taylor]: Taking taylor expansion of y in y 2.111 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.111 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.111 * [taylor]: Taking taylor expansion of 1/6 in y 2.111 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.111 * [taylor]: Taking taylor expansion of y in y 2.169 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 2.169 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.169 * [taylor]: Taking taylor expansion of 1/3 in y 2.169 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.169 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.169 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.169 * [taylor]: Taking taylor expansion of -1 in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.172 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.172 * [taylor]: Taking taylor expansion of 1/3 in y 2.172 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.172 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.172 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.172 * [taylor]: Taking taylor expansion of -1 in y 2.172 * [taylor]: Taking taylor expansion of y in y 2.207 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1) 2.207 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 2.207 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.207 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.207 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.207 * [taylor]: Taking taylor expansion of 1/6 in y 2.207 * [taylor]: Taking taylor expansion of (log y) in y 2.207 * [taylor]: Taking taylor expansion of y in y 2.207 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.207 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.207 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.207 * [taylor]: Taking taylor expansion of 1/6 in y 2.207 * [taylor]: Taking taylor expansion of (log y) in y 2.207 * [taylor]: Taking taylor expansion of y in y 2.260 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 2.260 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.260 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.260 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.260 * [taylor]: Taking taylor expansion of 1/6 in y 2.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.260 * [taylor]: Taking taylor expansion of y in y 2.261 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.261 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.261 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.261 * [taylor]: Taking taylor expansion of 1/6 in y 2.261 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.261 * [taylor]: Taking taylor expansion of y in y 2.317 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 2.317 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.317 * [taylor]: Taking taylor expansion of 1/3 in y 2.317 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.317 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.317 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.317 * [taylor]: Taking taylor expansion of -1 in y 2.317 * [taylor]: Taking taylor expansion of y in y 2.320 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.321 * [taylor]: Taking taylor expansion of 1/3 in y 2.321 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.321 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.321 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.321 * [taylor]: Taking taylor expansion of -1 in y 2.321 * [taylor]: Taking taylor expansion of y in y 2.354 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 2) 2.354 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.354 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.354 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.354 * [taylor]: Taking taylor expansion of 1/3 in y 2.354 * [taylor]: Taking taylor expansion of (log y) in y 2.354 * [taylor]: Taking taylor expansion of y in y 2.355 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.355 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.355 * [taylor]: Taking taylor expansion of 1/3 in y 2.355 * [taylor]: Taking taylor expansion of (log y) in y 2.355 * [taylor]: Taking taylor expansion of y in y 2.407 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.407 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.407 * [taylor]: Taking taylor expansion of 1/3 in y 2.407 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.408 * [taylor]: Taking taylor expansion of y in y 2.409 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.409 * [taylor]: Taking taylor expansion of 1/3 in y 2.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.409 * [taylor]: Taking taylor expansion of y in y 2.464 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.464 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.464 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.464 * [taylor]: Taking taylor expansion of -1 in y 2.465 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.465 * [taylor]: Taking taylor expansion of 1/3 in y 2.465 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.465 * [taylor]: Taking taylor expansion of y in y 2.466 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.466 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.466 * [taylor]: Taking taylor expansion of -1 in y 2.466 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.467 * [taylor]: Taking taylor expansion of 1/3 in y 2.467 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.467 * [taylor]: Taking taylor expansion of y in y 2.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1 1) 2.533 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.533 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.533 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.533 * [taylor]: Taking taylor expansion of 1/3 in y 2.533 * [taylor]: Taking taylor expansion of (log y) in y 2.533 * [taylor]: Taking taylor expansion of y in y 2.533 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.534 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.534 * [taylor]: Taking taylor expansion of 1/3 in y 2.534 * [taylor]: Taking taylor expansion of (log y) in y 2.534 * [taylor]: Taking taylor expansion of y in y 2.580 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.580 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.580 * [taylor]: Taking taylor expansion of 1/3 in y 2.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.580 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.581 * [taylor]: Taking taylor expansion of 1/3 in y 2.581 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.637 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.637 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.637 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.637 * [taylor]: Taking taylor expansion of -1 in y 2.638 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.638 * [taylor]: Taking taylor expansion of 1/3 in y 2.638 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.638 * [taylor]: Taking taylor expansion of y in y 2.639 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.639 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.639 * [taylor]: Taking taylor expansion of -1 in y 2.640 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.640 * [taylor]: Taking taylor expansion of 1/3 in y 2.640 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.640 * [taylor]: Taking taylor expansion of y in y 2.705 * * * [progress]: simplifying candidates 2.706 * [simplify]: Simplifying using # : (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt 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 y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (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.709 * * [simplify]: iteration 0 : 105 enodes (cost 242 ) 2.711 * * [simplify]: iteration 1 : 277 enodes (cost 224 ) 2.717 * * [simplify]: iteration 2 : 1136 enodes (cost 210 ) 2.745 * * [simplify]: iteration 3 : 5002 enodes (cost 208 ) 2.747 * [simplify]: Simplified to: (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/6) (pow (/ 1 y) -1/6) (+ (/ (pow +nan.0 4/3) y) (* (pow +nan.0 1/3) (- 1 (* (/ 1 (pow y 2)) +nan.0)))) (pow y 1/6) (pow (/ 1 y) -1/6) (+ (/ (pow +nan.0 4/3) y) (* (pow +nan.0 1/3) (- 1 (* (/ 1 (pow y 2)) +nan.0)))) (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.747 * * * [progress]: adding candidates to table 3.001 * * [progress]: iteration 4 / 4 3.001 * * * [progress]: picking best candidate 3.013 * * * * [pick]: Picked # 3.013 * * * [progress]: localizing error 3.025 * * * [progress]: generating rewritten candidates 3.025 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 3.038 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 3.069 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 3.087 * * * [progress]: generating series expansions 3.087 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 3.087 * [approximate]: Taking taylor expansion of (* (sqrt (+ y 0.5)) (log y)) in (y) around 0 3.087 * [taylor]: Taking taylor expansion of (* (sqrt (+ y 0.5)) (log y)) in y 3.087 * [taylor]: Taking taylor expansion of (sqrt (+ y 0.5)) in y 3.087 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.087 * [taylor]: Taking taylor expansion of 0.5 in y 3.090 * [taylor]: Taking taylor expansion of (log y) in y 3.090 * [taylor]: Taking taylor expansion of y in y 3.090 * [taylor]: Taking taylor expansion of (* (sqrt (+ y 0.5)) (log y)) in y 3.090 * [taylor]: Taking taylor expansion of (sqrt (+ y 0.5)) in y 3.090 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 3.090 * [taylor]: Taking taylor expansion of y in y 3.090 * [taylor]: Taking taylor expansion of 0.5 in y 3.092 * [taylor]: Taking taylor expansion of (log y) in y 3.092 * [taylor]: Taking taylor expansion of y in y 3.105 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (sqrt (+ (/ 1 y) 0.5))) in (y) around 0 3.105 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (sqrt (+ (/ 1 y) 0.5))) in y 3.105 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.105 * [taylor]: Taking taylor expansion of y in y 3.105 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 0.5)) in y 3.105 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 3.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.105 * [taylor]: Taking taylor expansion of y in y 3.106 * [taylor]: Taking taylor expansion of 0.5 in y 3.107 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (sqrt (+ (/ 1 y) 0.5))) in y 3.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.107 * [taylor]: Taking taylor expansion of y in y 3.107 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 0.5)) in y 3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 3.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.108 * [taylor]: Taking taylor expansion of y in y 3.108 * [taylor]: Taking taylor expansion of 0.5 in y 3.123 * [approximate]: Taking taylor expansion of (* (sqrt (- 0.5 (/ 1 y))) (log (/ -1 y))) in (y) around 0 3.123 * [taylor]: Taking taylor expansion of (* (sqrt (- 0.5 (/ 1 y))) (log (/ -1 y))) in y 3.124 * [taylor]: Taking taylor expansion of (sqrt (- 0.5 (/ 1 y))) in y 3.124 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 3.124 * [taylor]: Taking taylor expansion of 0.5 in y 3.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.124 * [taylor]: Taking taylor expansion of y in y 3.125 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.125 * [taylor]: Taking taylor expansion of -1 in y 3.125 * [taylor]: Taking taylor expansion of y in y 3.126 * [taylor]: Taking taylor expansion of (* (sqrt (- 0.5 (/ 1 y))) (log (/ -1 y))) in y 3.126 * [taylor]: Taking taylor expansion of (sqrt (- 0.5 (/ 1 y))) in y 3.126 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 3.126 * [taylor]: Taking taylor expansion of 0.5 in y 3.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.126 * [taylor]: Taking taylor expansion of y in y 3.128 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.128 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.128 * [taylor]: Taking taylor expansion of -1 in y 3.128 * [taylor]: Taking taylor expansion of y in y 3.156 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.156 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 3.156 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 3.156 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of 0.5 in y 3.156 * [taylor]: Taking taylor expansion of (log y) in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 3.156 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of 0.5 in y 3.156 * [taylor]: Taking taylor expansion of (log y) in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.230 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 3.230 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 3.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.230 * [taylor]: Taking taylor expansion of y in y 3.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 3.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.230 * [taylor]: Taking taylor expansion of y in y 3.231 * [taylor]: Taking taylor expansion of 0.5 in y 3.231 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 3.231 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.231 * [taylor]: Taking taylor expansion of y in y 3.231 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 3.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.231 * [taylor]: Taking taylor expansion of y in y 3.232 * [taylor]: Taking taylor expansion of 0.5 in y 3.309 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 3.309 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 3.309 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 3.309 * [taylor]: Taking taylor expansion of 0.5 in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.309 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.309 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.309 * [taylor]: Taking taylor expansion of -1 in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.310 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 3.310 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 3.310 * [taylor]: Taking taylor expansion of 0.5 in y 3.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.310 * [taylor]: Taking taylor expansion of y in y 3.310 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.310 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.310 * [taylor]: Taking taylor expansion of -1 in y 3.310 * [taylor]: Taking taylor expansion of y in y 3.399 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.399 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 3.399 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 3.399 * [taylor]: Taking taylor expansion of (+ x y) in y 3.399 * [taylor]: Taking taylor expansion of x in y 3.399 * [taylor]: Taking taylor expansion of y in y 3.399 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 3.399 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 3.400 * [taylor]: Taking taylor expansion of 0.5 in y 3.400 * [taylor]: Taking taylor expansion of (log y) in y 3.400 * [taylor]: Taking taylor expansion of y in y 3.400 * [taylor]: Taking taylor expansion of (* y (log y)) in y 3.400 * [taylor]: Taking taylor expansion of y in y 3.400 * [taylor]: Taking taylor expansion of (log y) in y 3.400 * [taylor]: Taking taylor expansion of y in y 3.400 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 3.400 * [taylor]: Taking taylor expansion of (+ x y) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 3.400 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 3.400 * [taylor]: Taking taylor expansion of 0.5 in x 3.400 * [taylor]: Taking taylor expansion of (log y) in x 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [taylor]: Taking taylor expansion of (* y (log y)) in x 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [taylor]: Taking taylor expansion of (log y) in x 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 3.400 * [taylor]: Taking taylor expansion of (+ x y) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 3.400 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 3.401 * [taylor]: Taking taylor expansion of 0.5 in x 3.401 * [taylor]: Taking taylor expansion of (log y) in x 3.401 * [taylor]: Taking taylor expansion of y in x 3.401 * [taylor]: Taking taylor expansion of (* y (log y)) in x 3.401 * [taylor]: Taking taylor expansion of y in x 3.401 * [taylor]: Taking taylor expansion of (log y) in x 3.401 * [taylor]: Taking taylor expansion of y in x 3.401 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 3.401 * [taylor]: Taking taylor expansion of y in y 3.401 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 3.401 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 3.401 * [taylor]: Taking taylor expansion of 0.5 in y 3.401 * [taylor]: Taking taylor expansion of (log y) in y 3.401 * [taylor]: Taking taylor expansion of y in y 3.401 * [taylor]: Taking taylor expansion of (* y (log y)) in y 3.401 * [taylor]: Taking taylor expansion of y in y 3.401 * [taylor]: Taking taylor expansion of (log y) in y 3.401 * [taylor]: Taking taylor expansion of y in y 3.405 * [taylor]: Taking taylor expansion of 1 in y 3.408 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 3.408 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 3.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.408 * [taylor]: Taking taylor expansion of y in y 3.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.408 * [taylor]: Taking taylor expansion of x in y 3.408 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 3.408 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 3.408 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.408 * [taylor]: Taking taylor expansion of y in y 3.409 * [taylor]: Taking taylor expansion of y in y 3.409 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 3.409 * [taylor]: Taking taylor expansion of 0.5 in y 3.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.409 * [taylor]: Taking taylor expansion of y in y 3.410 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 3.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.410 * [taylor]: Taking taylor expansion of y in x 3.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.410 * [taylor]: Taking taylor expansion of x in x 3.410 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 3.410 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 3.410 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.410 * [taylor]: Taking taylor expansion of y in x 3.410 * [taylor]: Taking taylor expansion of y in x 3.410 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 3.410 * [taylor]: Taking taylor expansion of 0.5 in x 3.410 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.410 * [taylor]: Taking taylor expansion of y in x 3.410 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 3.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.410 * [taylor]: Taking taylor expansion of y in x 3.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.411 * [taylor]: Taking taylor expansion of x in x 3.411 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 3.411 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 3.411 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.411 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.411 * [taylor]: Taking taylor expansion of y in x 3.411 * [taylor]: Taking taylor expansion of y in x 3.411 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 3.411 * [taylor]: Taking taylor expansion of 0.5 in x 3.411 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.411 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.411 * [taylor]: Taking taylor expansion of y in x 3.412 * [taylor]: Taking taylor expansion of 1 in y 3.413 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 3.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.413 * [taylor]: Taking taylor expansion of y in y 3.413 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 3.413 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 3.413 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.413 * [taylor]: Taking taylor expansion of y in y 3.413 * [taylor]: Taking taylor expansion of y in y 3.414 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 3.414 * [taylor]: Taking taylor expansion of 0.5 in y 3.414 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.414 * [taylor]: Taking taylor expansion of y in y 3.418 * [taylor]: Taking taylor expansion of 0 in y 3.420 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 3.421 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 3.421 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 3.421 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.421 * [taylor]: Taking taylor expansion of -1 in y 3.421 * [taylor]: Taking taylor expansion of y in y 3.421 * [taylor]: Taking taylor expansion of y in y 3.422 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 3.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.422 * [taylor]: Taking taylor expansion of y in y 3.423 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 3.423 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 3.423 * [taylor]: Taking taylor expansion of 0.5 in y 3.423 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.423 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.423 * [taylor]: Taking taylor expansion of -1 in y 3.423 * [taylor]: Taking taylor expansion of y in y 3.423 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.423 * [taylor]: Taking taylor expansion of x in y 3.423 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 3.423 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 3.423 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.423 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.423 * [taylor]: Taking taylor expansion of -1 in x 3.423 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 3.424 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 3.424 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 3.424 * [taylor]: Taking taylor expansion of 0.5 in x 3.424 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.424 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.424 * [taylor]: Taking taylor expansion of -1 in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.424 * [taylor]: Taking taylor expansion of x in x 3.424 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 3.424 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 3.424 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.424 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.424 * [taylor]: Taking taylor expansion of -1 in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 3.424 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 3.424 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 3.424 * [taylor]: Taking taylor expansion of 0.5 in x 3.425 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.425 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.425 * [taylor]: Taking taylor expansion of -1 in x 3.425 * [taylor]: Taking taylor expansion of y in x 3.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.425 * [taylor]: Taking taylor expansion of x in x 3.426 * [taylor]: Taking taylor expansion of -1 in y 3.427 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 3.427 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 3.427 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.427 * [taylor]: Taking taylor expansion of -1 in y 3.427 * [taylor]: Taking taylor expansion of y in y 3.427 * [taylor]: Taking taylor expansion of y in y 3.429 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 3.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.429 * [taylor]: Taking taylor expansion of y in y 3.429 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 3.429 * [taylor]: Taking taylor expansion of 0.5 in y 3.429 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.429 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.429 * [taylor]: Taking taylor expansion of -1 in y 3.429 * [taylor]: Taking taylor expansion of y in y 3.433 * [taylor]: Taking taylor expansion of 0 in y 3.440 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 3.440 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 3.440 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 3.440 * [taylor]: Taking taylor expansion of x in y 3.440 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 3.440 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 3.440 * [taylor]: Taking taylor expansion of 0.5 in y 3.440 * [taylor]: Taking taylor expansion of (log y) in y 3.440 * [taylor]: Taking taylor expansion of y in y 3.441 * [taylor]: Taking taylor expansion of (* y (log y)) in y 3.441 * [taylor]: Taking taylor expansion of y in y 3.441 * [taylor]: Taking taylor expansion of (log y) in y 3.441 * [taylor]: Taking taylor expansion of y in y 3.441 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 3.441 * [taylor]: Taking taylor expansion of x in x 3.441 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 3.441 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 3.441 * [taylor]: Taking taylor expansion of 0.5 in x 3.441 * [taylor]: Taking taylor expansion of (log y) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.441 * [taylor]: Taking taylor expansion of (* y (log y)) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.441 * [taylor]: Taking taylor expansion of (log y) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.441 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 3.441 * [taylor]: Taking taylor expansion of x in x 3.441 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 3.441 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 3.441 * [taylor]: Taking taylor expansion of 0.5 in x 3.441 * [taylor]: Taking taylor expansion of (log y) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.441 * [taylor]: Taking taylor expansion of (* y (log y)) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.441 * [taylor]: Taking taylor expansion of (log y) in x 3.441 * [taylor]: Taking taylor expansion of y in x 3.442 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 3.442 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 3.442 * [taylor]: Taking taylor expansion of (* y (log y)) in y 3.442 * [taylor]: Taking taylor expansion of y in y 3.442 * [taylor]: Taking taylor expansion of (log y) in y 3.442 * [taylor]: Taking taylor expansion of y in y 3.442 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 3.442 * [taylor]: Taking taylor expansion of 0.5 in y 3.442 * [taylor]: Taking taylor expansion of (log y) in y 3.442 * [taylor]: Taking taylor expansion of y in y 3.445 * [taylor]: Taking taylor expansion of 1 in y 3.448 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 3.448 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 3.448 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.448 * [taylor]: Taking taylor expansion of x in y 3.448 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 3.448 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 3.448 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.448 * [taylor]: Taking taylor expansion of y in y 3.448 * [taylor]: Taking taylor expansion of y in y 3.449 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 3.449 * [taylor]: Taking taylor expansion of 0.5 in y 3.449 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.449 * [taylor]: Taking taylor expansion of y in y 3.455 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 3.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.455 * [taylor]: Taking taylor expansion of x in x 3.455 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 3.455 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 3.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 3.456 * [taylor]: Taking taylor expansion of 0.5 in x 3.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 3.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.456 * [taylor]: Taking taylor expansion of x in x 3.456 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 3.456 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 3.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 3.456 * [taylor]: Taking taylor expansion of 0.5 in x 3.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.457 * [taylor]: Taking taylor expansion of 1 in y 3.458 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 3.458 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 3.458 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 3.458 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.458 * [taylor]: Taking taylor expansion of y in y 3.458 * [taylor]: Taking taylor expansion of y in y 3.459 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 3.459 * [taylor]: Taking taylor expansion of 0.5 in y 3.459 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.459 * [taylor]: Taking taylor expansion of y in y 3.462 * [taylor]: Taking taylor expansion of 0 in y 3.465 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 3.465 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 3.465 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 3.465 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.465 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.465 * [taylor]: Taking taylor expansion of -1 in y 3.465 * [taylor]: Taking taylor expansion of y in y 3.465 * [taylor]: Taking taylor expansion of y in y 3.467 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 3.467 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 3.467 * [taylor]: Taking taylor expansion of 0.5 in y 3.467 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.467 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.467 * [taylor]: Taking taylor expansion of -1 in y 3.467 * [taylor]: Taking taylor expansion of y in y 3.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.467 * [taylor]: Taking taylor expansion of x in y 3.468 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 3.468 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 3.468 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.468 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.468 * [taylor]: Taking taylor expansion of -1 in x 3.468 * [taylor]: Taking taylor expansion of y in x 3.468 * [taylor]: Taking taylor expansion of y in x 3.468 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 3.468 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 3.468 * [taylor]: Taking taylor expansion of 0.5 in x 3.468 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.468 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.468 * [taylor]: Taking taylor expansion of -1 in x 3.468 * [taylor]: Taking taylor expansion of y in x 3.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.468 * [taylor]: Taking taylor expansion of x in x 3.468 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 3.468 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 3.468 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.468 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.468 * [taylor]: Taking taylor expansion of -1 in x 3.468 * [taylor]: Taking taylor expansion of y in x 3.468 * [taylor]: Taking taylor expansion of y in x 3.468 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 3.468 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 3.468 * [taylor]: Taking taylor expansion of 0.5 in x 3.468 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.468 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.469 * [taylor]: Taking taylor expansion of -1 in x 3.469 * [taylor]: Taking taylor expansion of y in x 3.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.469 * [taylor]: Taking taylor expansion of x in x 3.470 * [taylor]: Taking taylor expansion of -1 in y 3.470 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 3.470 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 3.470 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.470 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.470 * [taylor]: Taking taylor expansion of -1 in y 3.470 * [taylor]: Taking taylor expansion of y in y 3.471 * [taylor]: Taking taylor expansion of y in y 3.472 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 3.472 * [taylor]: Taking taylor expansion of 0.5 in y 3.472 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.472 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.472 * [taylor]: Taking taylor expansion of -1 in y 3.472 * [taylor]: Taking taylor expansion of y in y 3.476 * [taylor]: Taking taylor expansion of 0 in y 3.481 * * * [progress]: simplifying candidates 3.483 * [simplify]: Simplifying using # : (* (sqrt (+ y 0.5)) (log y)) (+ (log (sqrt (+ y 0.5))) (log (log y))) (log (* (sqrt (+ y 0.5)) (log y))) (exp (* (sqrt (+ y 0.5)) (log y))) (* (* (* (sqrt (+ y 0.5)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log y) (log y)) (log y))) (* (cbrt (* (sqrt (+ y 0.5)) (log y))) (cbrt (* (sqrt (+ y 0.5)) (log y)))) (cbrt (* (sqrt (+ y 0.5)) (log y))) (* (* (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (log y))) (sqrt (* (sqrt (+ y 0.5)) (log y))) (sqrt (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (+ y 0.5)) (log (* (cbrt y) (cbrt y)))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) (* (sqrt (+ y 0.5)) (log 1)) (* (sqrt (+ y 0.5)) (log y)) (* (log (* (cbrt y) (cbrt y))) (sqrt (+ y 0.5))) (* (log (cbrt y)) (sqrt (+ y 0.5))) (* (log (sqrt y)) (sqrt (+ y 0.5))) (* (log (sqrt y)) (sqrt (+ y 0.5))) (* (log 1) (sqrt (+ y 0.5))) (* (log y) (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) 1) (* (sqrt (+ y 0.5)) (* (cbrt (log y)) (cbrt (log y)))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (* (sqrt (+ y 0.5)) 1) (* (cbrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (cbrt (+ y 0.5))) (log y)) (* (sqrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y)) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y)) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (+ (log (sqrt (+ y 0.5))) (+ (log (sqrt (+ y 0.5))) (log (log y)))) (+ (log (sqrt (+ y 0.5))) (log (* (sqrt (+ y 0.5)) (log y)))) (log (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (exp (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* (* (* (sqrt (+ y 0.5)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (* (sqrt (+ y 0.5)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log y) (log y)) (log y)))) (* (* (* (sqrt (+ y 0.5)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (log y)))) (* (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* (* (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (sqrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (sqrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y))) (* (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (sqrt (- y 0.5))) (* (sqrt (- (* y y) (* 0.5 0.5))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y))) (* (sqrt (- y 0.5)) (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))) (* (sqrt (- (* y y) (* 0.5 0.5))) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (- y 0.5)) (sqrt (- y 0.5))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (* (cbrt y) (cbrt y))))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (cbrt y)))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (sqrt y)))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (sqrt y)))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log 1))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (log (* (cbrt y) (cbrt y))) (sqrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* (log (cbrt y)) (sqrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* (log (sqrt y)) (sqrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* (log (sqrt y)) (sqrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* (log 1) (sqrt (+ y 0.5)))) (* (sqrt (+ y 0.5)) (* (log y) (sqrt (+ y 0.5)))) (* (* (sqrt (+ y 0.5)) (log (* (cbrt y) (cbrt y)))) (sqrt (+ y 0.5))) (* (* (sqrt (+ y 0.5)) (log (cbrt y))) (sqrt (+ y 0.5))) (* (* (sqrt (+ y 0.5)) (log (sqrt y))) (sqrt (+ y 0.5))) (* (* (sqrt (+ y 0.5)) (log (sqrt y))) (sqrt (+ y 0.5))) (* (* (sqrt (+ y 0.5)) (log 1)) (sqrt (+ y 0.5))) (* (* (sqrt (+ y 0.5)) (log y)) (sqrt (+ y 0.5))) (* (* (log (* (cbrt y) (cbrt y))) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log (cbrt y)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log (sqrt y)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log (sqrt y)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log 1) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (* (log y) (sqrt (+ y 0.5))) (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (sqrt (+ y 0.5))) (* (cbrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (cbrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (- (* y y) (* 0.5 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (/ (exp x) (exp (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (exp y)) (* (exp (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (exp y)) (log (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (exp (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (* (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y))) (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (* (* (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y) (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (sqrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (sqrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (+ (pow (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) 3) (pow y 3)) (+ (* (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (- (* y y) (* (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y))) (- (* (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (* y y)) (- (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y) (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y) (+ (- (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y) (+ (- (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y) (- (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) y) (/ (exp x) (exp (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (log (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (exp (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (* (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))))) (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (* (* (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (sqrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (sqrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (- (pow x 3) (pow (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) 3)) (+ (* x x) (+ (* (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))))) (- (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- (* x x) (* (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (+ x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (* (cbrt y) (cbrt y)))))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log (sqrt y))))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log 1)))) (- x (* (sqrt (+ y 0.5)) (* (log (* (cbrt y) (cbrt y))) (sqrt (+ y 0.5))))) (- x (* (sqrt (+ y 0.5)) (* (log (sqrt y)) (sqrt (+ y 0.5))))) (- x (* (sqrt (+ y 0.5)) (* (log 1) (sqrt (+ y 0.5))))) (- x (* (* (sqrt (+ y 0.5)) (log (* (cbrt y) (cbrt y)))) (sqrt (+ y 0.5)))) (- x (* (* (sqrt (+ y 0.5)) (log (sqrt y))) (sqrt (+ y 0.5)))) (- x (* (* (sqrt (+ y 0.5)) (log 1)) (sqrt (+ y 0.5)))) (- x (* (* (log (* (cbrt y) (cbrt y))) (sqrt (+ y 0.5))) (sqrt (+ y 0.5)))) (- x (* (* (log (sqrt y)) (sqrt (+ y 0.5))) (sqrt (+ y 0.5)))) (- x (* (* (log 1) (sqrt (+ y 0.5))) (sqrt (+ y 0.5)))) (- (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- (+ (* (log y) (sqrt 0.5)) (* 1/2 (/ (* y (log y)) (sqrt 0.5)))) (* 1/8 (/ (* (pow y 2) (log y)) (pow (sqrt 0.5) 3)))) (- (+ (* +nan.0 (/ (log (/ 1 y)) y)) (- (+ (* +nan.0 (log (/ 1 y))) (- (* +nan.0 (/ (log (/ 1 y)) (pow y 2)))))))) (- (+ (* +nan.0 (/ (log (/ -1 y)) y)) (- (+ (* +nan.0 (log -1)) (- (+ (* +nan.0 (/ (log (/ -1 y)) (pow y 2))) (- (+ (* +nan.0 (/ (log -1) y)) (- (+ (* +nan.0 (log (/ -1 y))) (- (* +nan.0 (/ (log -1) (pow y 2)))))))))))))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 3.491 * * [simplify]: iteration 0 : 606 enodes (cost 1133 ) 3.500 * * [simplify]: iteration 1 : 2148 enodes (cost 969 ) 3.533 * * [simplify]: iteration 2 : 5001 enodes (cost 942 ) 3.537 * [simplify]: Simplified to: (* (sqrt (+ y 0.5)) (log y)) (log (* (sqrt (+ y 0.5)) (log y))) (log (* (sqrt (+ y 0.5)) (log y))) (pow y (sqrt (+ y 0.5))) (pow (* (sqrt (+ y 0.5)) (log y)) 3) (* (cbrt (* (sqrt (+ y 0.5)) (log y))) (cbrt (* (sqrt (+ y 0.5)) (log y)))) (cbrt (* (sqrt (+ y 0.5)) (log y))) (pow (* (sqrt (+ y 0.5)) (log y)) 3) (sqrt (* (sqrt (+ y 0.5)) (log y))) (sqrt (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (sqrt (+ y 0.5))) (sqrt (log y))) (* (sqrt (+ y 0.5)) (* 2 (log (cbrt y)))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) 0 (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (* 2 (log (cbrt y)))) (* (sqrt (+ y 0.5)) (log (cbrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) (* (sqrt (+ y 0.5)) (log (sqrt y))) 0 (* (sqrt (+ y 0.5)) (log y)) (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (* (cbrt (log y)) (cbrt (log y)))) (* (sqrt (+ y 0.5)) (sqrt (log y))) (sqrt (+ y 0.5)) (* (cbrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (cbrt (+ y 0.5))) (log y)) (* (sqrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (sqrt (+ y 0.5))) (log y)) (* (sqrt (+ y 0.5)) (log y)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y)) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (+ (log (+ y 0.5)) (log (log y))) (+ (log (+ y 0.5)) (log (log y))) (+ (log (+ y 0.5)) (log (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (cbrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (pow (* (+ y 0.5) (log y)) 3) (sqrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (sqrt (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (* (+ (pow y 3) (pow 0.5 3)) (log y)) (+ (* 0.5 (- 0.5 y)) (pow y 2)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (sqrt (- y 0.5))) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (sqrt (- y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log y)) (- y 0.5) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (sqrt y))) (* (+ y 0.5) (log (sqrt y))) 0 (* (+ y 0.5) (log y)) (+ y 0.5) (* (cbrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (cbrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (sqrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (sqrt (sqrt (+ y 0.5))) (* (sqrt (+ y 0.5)) (log y))) (* (+ y 0.5) (log y)) (* (sqrt (+ y 0.5)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (+ (pow y 3) (pow 0.5 3))) (log y))) (* (sqrt (+ y 0.5)) (* (sqrt (- (* y y) (* 0.5 0.5))) (log y))) (/ (* (exp y) (exp x)) (pow y (+ y 0.5))) (/ (* (exp y) (exp x)) (pow y (+ y 0.5))) (log (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (/ (* (exp y) (exp x)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y))) (cbrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (pow (+ x (- y (* (log y) (+ 0.5 y)))) 3) (sqrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (sqrt (+ (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) y)) (+ (pow (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) 3) (pow y 3)) (+ (+ (* (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))) (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (pow y 2)) (* (- y) (+ x (- (* (log y) (+ 0.5 y)))))) (* (- x (- (* (+ y 0.5) (log y)) (- y))) (+ x (- y (* (log y) (+ 0.5 y))))) (- x (- (* (+ y 0.5) (log y)) (- y))) (+ x (- y (* (log y) (+ 0.5 y)))) (- y (* (log y) (+ 0.5 y))) (- y (* (log y) (+ 0.5 y))) (- (* (+ y 0.5) (log y)) y) (* (pow (/ 1 y) (+ y 0.5)) (exp x)) (log (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (* (pow (/ 1 y) (+ y 0.5)) (exp x)) (* (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y)))))) (cbrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (pow (+ x (- (* (log y) (+ 0.5 y)))) 3) (sqrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (sqrt (- x (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))))) (- (pow x 3) (pow (* (sqrt (+ y 0.5)) (* (sqrt (+ y 0.5)) (log y))) 3)) (+ (+ (* x x) (* (* (+ y 0.5) (log y)) x)) (* (+ y 0.5) (* (+ y 0.5) (* (log y) (log y))))) (- (* (log y) (+ 0.5 y))) (+ (* x x) (- (* (+ y 0.5) (* (+ y 0.5) (* (log y) (log y)))))) (+ (+ x (* 0.5 (log y))) (* y (log y))) (+ x (- (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))))) (+ x (- (* (+ y 0.5) (log (sqrt y))))) (+ (* (- (+ y 0.5)) 0) x) (+ x (- (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))))) (+ x (- (* (+ y 0.5) (log (sqrt y))))) (+ (* (- (+ y 0.5)) 0) x) (+ x (- (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))))) (+ x (- (* (+ y 0.5) (log (sqrt y))))) (+ (* (- (+ y 0.5)) 0) x) (+ x (- (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))))) (+ x (- (* (+ y 0.5) (log (sqrt y))))) (+ (* (- (+ y 0.5)) 0) x) (- (* (log y) (+ 0.5 y))) (- (+ (* (log y) (sqrt 0.5)) (* 1/2 (/ (* y (log y)) (sqrt 0.5)))) (* 1/8 (/ (* (pow y 2) (log y)) (pow (sqrt 0.5) 3)))) (+ (* +nan.0 (- (log (/ 1 y)) (/ (log (/ 1 y)) (pow y 2)))) (- (* +nan.0 (/ (log (/ 1 y)) y)))) (+ (- (* +nan.0 (/ (log (/ -1 y)) y))) (- (* +nan.0 (log -1)) (- (* +nan.0 (/ (log (/ -1 y)) (pow y 2))) (- (* +nan.0 (/ (log -1) y)) (- (* +nan.0 (log (/ -1 y))) (* +nan.0 (/ (log -1) (pow y 2)))))))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (+ (- (* (log (/ -1 y)) (+ y 0.5))) (* (log -1) (+ y 0.5))) (+ x (- y (* (log y) (+ 0.5 y)))) (+ x (- y (* (log y) (+ 0.5 y)))) (- (+ (+ (* (log (/ -1 y)) (+ y 0.5)) x) y) (* (log -1) (+ y 0.5))) (+ x (- (* (log y) (+ 0.5 y)))) (+ x (- (* (log y) (+ 0.5 y)))) (- (+ (* (log (/ -1 y)) (+ y 0.5)) x) (* (log -1) (+ y 0.5))) 3.538 * * * [progress]: adding candidates to table 3.864 * [progress]: [Phase 3 of 3] Extracting. 3.864 * * [regime]: Finding splitpoints for: (# # # # # # # #) 3.866 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 3.866 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # # # #) 3.903 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # # # # #) 3.939 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 3.972 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 4.004 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 4.033 * * * [regime]: Found split indices: #