34.484 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.426 * * * [progress]: [2/2] Setting up program. 0.434 * [progress]: [Phase 2 of 3] Improving. 0.434 * [simplify]: Simplifying using # : (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t) 0.474 * * [simplify]: iteration 0 : 657 enodes (cost 20 ) 0.474 * * [simplify]: iteration 1 : 657 enodes (cost 20 ) 0.474 * [simplify]: Simplified to: (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t) 0.474 * * [progress]: iteration 1 / 4 0.474 * * * [progress]: picking best candidate 0.482 * * * * [pick]: Picked # 0.482 * * * [progress]: localizing error 0.498 * * * [progress]: generating rewritten candidates 0.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 0.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.509 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.526 * * * [progress]: generating series expansions 0.526 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 0.526 * [approximate]: Taking taylor expansion of (log (- 1 y)) in (y) around 0 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 1 in y 0.526 * [taylor]: Taking taylor expansion of y 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 1 in y 0.527 * [taylor]: Taking taylor expansion of y in y 0.531 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 y))) in (y) around 0 0.531 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.531 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.531 * [taylor]: Taking taylor expansion of 1 in y 0.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.532 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.532 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.532 * [taylor]: Taking taylor expansion of 1 in y 0.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.536 * [approximate]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in (y) around 0 0.536 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of 1 in y 0.536 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of 1 in y 0.540 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.540 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.540 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.540 * [taylor]: Taking taylor expansion of x in y 0.540 * [taylor]: Taking taylor expansion of (log y) in y 0.540 * [taylor]: Taking taylor expansion of y in y 0.541 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (log y) in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.541 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (log y) in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.541 * [taylor]: Taking taylor expansion of 0 in y 0.542 * [taylor]: Taking taylor expansion of (log y) in y 0.542 * [taylor]: Taking taylor expansion of y in y 0.543 * [taylor]: Taking taylor expansion of 0 in y 0.546 * [taylor]: Taking taylor expansion of 0 in y 0.546 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.546 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.546 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.546 * [taylor]: Taking taylor expansion of y in y 0.546 * [taylor]: Taking taylor expansion of x in y 0.547 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.547 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.547 * [taylor]: Taking taylor expansion of y in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.547 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.547 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.547 * [taylor]: Taking taylor expansion of y in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of 0 in y 0.552 * [taylor]: Taking taylor expansion of 0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.556 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.556 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.556 * [taylor]: Taking taylor expansion of -1 in y 0.556 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.556 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.556 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.556 * [taylor]: Taking taylor expansion of -1 in y 0.556 * [taylor]: Taking taylor expansion of y in y 0.556 * [taylor]: Taking taylor expansion of x in y 0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.557 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.557 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.557 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.557 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.558 * [taylor]: Taking taylor expansion of -1 in y 0.558 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.558 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.558 * [taylor]: Taking taylor expansion of -1 in y 0.558 * [taylor]: Taking taylor expansion of y in y 0.560 * [taylor]: Taking taylor expansion of 0 in y 0.563 * [taylor]: Taking taylor expansion of 0 in y 0.568 * [taylor]: Taking taylor expansion of 0 in y 0.569 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.569 * [approximate]: Taking taylor expansion of (* (log (- 1 y)) z) in (z y) around 0 0.569 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in y 0.569 * [taylor]: Taking taylor expansion of (log (- 1 y)) in y 0.569 * [taylor]: Taking taylor expansion of (- 1 y) in y 0.569 * [taylor]: Taking taylor expansion of 1 in y 0.569 * [taylor]: Taking taylor expansion of y in y 0.569 * [taylor]: Taking taylor expansion of z in y 0.569 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in z 0.569 * [taylor]: Taking taylor expansion of (log (- 1 y)) in z 0.569 * [taylor]: Taking taylor expansion of (- 1 y) in z 0.570 * [taylor]: Taking taylor expansion of 1 in z 0.570 * [taylor]: Taking taylor expansion of y in z 0.570 * [taylor]: Taking taylor expansion of z in z 0.570 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in z 0.570 * [taylor]: Taking taylor expansion of (log (- 1 y)) in z 0.570 * [taylor]: Taking taylor expansion of (- 1 y) in z 0.570 * [taylor]: Taking taylor expansion of 1 in z 0.570 * [taylor]: Taking taylor expansion of y in z 0.570 * [taylor]: Taking taylor expansion of z in z 0.570 * [taylor]: Taking taylor expansion of 0 in y 0.571 * [taylor]: Taking taylor expansion of (log (- 1 y)) in y 0.571 * [taylor]: Taking taylor expansion of (- 1 y) in y 0.571 * [taylor]: Taking taylor expansion of 1 in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.573 * [taylor]: Taking taylor expansion of 0 in y 0.576 * [taylor]: Taking taylor expansion of 0 in y 0.580 * [taylor]: Taking taylor expansion of 0 in y 0.582 * [approximate]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in (z y) around 0 0.582 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in y 0.582 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.582 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.582 * [taylor]: Taking taylor expansion of 1 in y 0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.582 * [taylor]: Taking taylor expansion of y in y 0.583 * [taylor]: Taking taylor expansion of z in y 0.584 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in z 0.584 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in z 0.584 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in z 0.584 * [taylor]: Taking taylor expansion of 1 in z 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.584 * [taylor]: Taking taylor expansion of y in z 0.584 * [taylor]: Taking taylor expansion of z in z 0.584 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in z 0.584 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in z 0.584 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in z 0.584 * [taylor]: Taking taylor expansion of 1 in z 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.585 * [taylor]: Taking taylor expansion of y in z 0.585 * [taylor]: Taking taylor expansion of z in z 0.585 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.585 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.585 * [taylor]: Taking taylor expansion of 1 in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.585 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of 0 in y 0.590 * [taylor]: Taking taylor expansion of 0 in y 0.593 * [approximate]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1)) z)) in (z y) around 0 0.593 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1)) z)) in y 0.594 * [taylor]: Taking taylor expansion of -1 in y 0.594 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in y 0.594 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.594 * [taylor]: Taking taylor expansion of y in y 0.594 * [taylor]: Taking taylor expansion of 1 in y 0.594 * [taylor]: Taking taylor expansion of z in y 0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1)) z)) in z 0.595 * [taylor]: Taking taylor expansion of -1 in z 0.595 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in z 0.595 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in z 0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z 0.595 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.595 * [taylor]: Taking taylor expansion of y in z 0.595 * [taylor]: Taking taylor expansion of 1 in z 0.595 * [taylor]: Taking taylor expansion of z in z 0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1)) z)) in z 0.595 * [taylor]: Taking taylor expansion of -1 in z 0.595 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in z 0.596 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in z 0.596 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z 0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.596 * [taylor]: Taking taylor expansion of y in z 0.596 * [taylor]: Taking taylor expansion of 1 in z 0.596 * [taylor]: Taking taylor expansion of z in z 0.596 * [taylor]: Taking taylor expansion of (* -1 (log (+ (/ 1 y) 1))) in y 0.597 * [taylor]: Taking taylor expansion of -1 in y 0.597 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.597 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.597 * [taylor]: Taking taylor expansion of 1 in y 0.599 * [taylor]: Taking taylor expansion of 0 in y 0.603 * [taylor]: Taking taylor expansion of 0 in y 0.607 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.608 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in (x y z t) around 0 0.608 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in t 0.608 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1 y)) z)) in t 0.608 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.608 * [taylor]: Taking taylor expansion of x in t 0.608 * [taylor]: Taking taylor expansion of (log y) in t 0.608 * [taylor]: Taking taylor expansion of y in t 0.608 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in t 0.608 * [taylor]: Taking taylor expansion of (log (- 1 y)) in t 0.608 * [taylor]: Taking taylor expansion of (- 1 y) in t 0.608 * [taylor]: Taking taylor expansion of 1 in t 0.608 * [taylor]: Taking taylor expansion of y in t 0.608 * [taylor]: Taking taylor expansion of z in t 0.608 * [taylor]: Taking taylor expansion of t in t 0.608 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in z 0.608 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1 y)) z)) in z 0.608 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.608 * [taylor]: Taking taylor expansion of x in z 0.608 * [taylor]: Taking taylor expansion of (log y) in z 0.608 * [taylor]: Taking taylor expansion of y in z 0.608 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) 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 1 in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.609 * [taylor]: Taking taylor expansion of z in z 0.609 * [taylor]: Taking taylor expansion of t in z 0.609 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in y 0.609 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1 y)) z)) in y 0.609 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.609 * [taylor]: Taking taylor expansion of x in y 0.609 * [taylor]: Taking taylor expansion of (log y) in y 0.609 * [taylor]: Taking taylor expansion of y in y 0.609 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in y 0.609 * [taylor]: Taking taylor expansion of (log (- 1 y)) in y 0.609 * [taylor]: Taking taylor expansion of (- 1 y) in y 0.609 * [taylor]: Taking taylor expansion of 1 in y 0.609 * [taylor]: Taking taylor expansion of y in y 0.609 * [taylor]: Taking taylor expansion of z in y 0.609 * [taylor]: Taking taylor expansion of t in y 0.609 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in x 0.609 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1 y)) z)) in x 0.610 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (log y) in x 0.610 * [taylor]: Taking taylor expansion of y in x 0.610 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in x 0.610 * [taylor]: Taking taylor expansion of (log (- 1 y)) in x 0.610 * [taylor]: Taking taylor expansion of (- 1 y) in x 0.610 * [taylor]: Taking taylor expansion of 1 in x 0.610 * [taylor]: Taking taylor expansion of y in x 0.610 * [taylor]: Taking taylor expansion of z in x 0.610 * [taylor]: Taking taylor expansion of t in x 0.610 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1 y)) z)) t) in x 0.610 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1 y)) z)) in x 0.610 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (log y) in x 0.610 * [taylor]: Taking taylor expansion of y in x 0.610 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) in x 0.610 * [taylor]: Taking taylor expansion of (log (- 1 y)) in x 0.610 * [taylor]: Taking taylor expansion of (- 1 y) in x 0.610 * [taylor]: Taking taylor expansion of 1 in x 0.610 * [taylor]: Taking taylor expansion of y in x 0.611 * [taylor]: Taking taylor expansion of z in x 0.611 * [taylor]: Taking taylor expansion of t in x 0.612 * [taylor]: Taking taylor expansion of (- (* (log (- 1 y)) z) t) in y 0.612 * [taylor]: Taking taylor expansion of (* (log (- 1 y)) z) 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 1 in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [taylor]: Taking taylor expansion of z in y 0.612 * [taylor]: Taking taylor expansion of t in y 0.613 * [taylor]: Taking taylor expansion of (neg t) in z 0.613 * [taylor]: Taking taylor expansion of t in z 0.613 * [taylor]: Taking taylor expansion of (neg t) in t 0.613 * [taylor]: Taking taylor expansion of t in t 0.615 * [taylor]: Taking taylor expansion of (log y) in y 0.615 * [taylor]: Taking taylor expansion of y in y 0.615 * [taylor]: Taking taylor expansion of (log y) in z 0.615 * [taylor]: Taking taylor expansion of y in z 0.615 * [taylor]: Taking taylor expansion of (log y) in t 0.615 * [taylor]: Taking taylor expansion of y in t 0.616 * [taylor]: Taking taylor expansion of (neg z) in z 0.616 * [taylor]: Taking taylor expansion of z in z 0.616 * [taylor]: Taking taylor expansion of 0 in t 0.616 * [taylor]: Taking taylor expansion of 0 in t 0.619 * [taylor]: Taking taylor expansion of 0 in y 0.619 * [taylor]: Taking taylor expansion of 0 in z 0.619 * [taylor]: Taking taylor expansion of 0 in t 0.620 * [taylor]: Taking taylor expansion of 0 in z 0.620 * [taylor]: Taking taylor expansion of 0 in t 0.621 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.621 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.621 * [taylor]: Taking taylor expansion of 1/2 in z 0.621 * [taylor]: Taking taylor expansion of z in z 0.621 * [taylor]: Taking taylor expansion of 0 in t 0.622 * [taylor]: Taking taylor expansion of 0 in t 0.622 * [taylor]: Taking taylor expansion of -1 in t 0.624 * [approximate]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in (x y z t) around 0 0.624 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in t 0.624 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) in t 0.624 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in t 0.624 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in t 0.624 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in t 0.624 * [taylor]: Taking taylor expansion of 1 in t 0.624 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.624 * [taylor]: Taking taylor expansion of y in t 0.625 * [taylor]: Taking taylor expansion of z in t 0.625 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.625 * [taylor]: Taking taylor expansion of y in t 0.625 * [taylor]: Taking taylor expansion of x in t 0.626 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.626 * [taylor]: Taking taylor expansion of t in t 0.626 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in z 0.626 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) in z 0.626 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in z 0.626 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in z 0.626 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in z 0.626 * [taylor]: Taking taylor expansion of 1 in z 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.626 * [taylor]: Taking taylor expansion of y in z 0.627 * [taylor]: Taking taylor expansion of z in z 0.627 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.627 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.627 * [taylor]: Taking taylor expansion of y in z 0.627 * [taylor]: Taking taylor expansion of x in z 0.627 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.627 * [taylor]: Taking taylor expansion of t in z 0.627 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in y 0.627 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) in y 0.627 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in y 0.627 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.627 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.628 * [taylor]: Taking taylor expansion of 1 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 z in y 0.629 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.629 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.629 * [taylor]: Taking taylor expansion of y in y 0.629 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.630 * [taylor]: Taking taylor expansion of t in y 0.630 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in x 0.630 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) in x 0.630 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in x 0.630 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in x 0.630 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x 0.630 * [taylor]: Taking taylor expansion of 1 in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.631 * [taylor]: Taking taylor expansion of z in x 0.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.631 * [taylor]: Taking taylor expansion of y in x 0.631 * [taylor]: Taking taylor expansion of x in x 0.631 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.631 * [taylor]: Taking taylor expansion of t in x 0.631 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) (/ 1 t)) in x 0.631 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 y))) z) (/ (log (/ 1 y)) x)) in x 0.632 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in x 0.632 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in x 0.632 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x 0.632 * [taylor]: Taking taylor expansion of 1 in x 0.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.632 * [taylor]: Taking taylor expansion of y in x 0.632 * [taylor]: Taking taylor expansion of z in x 0.633 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.633 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.633 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.633 * [taylor]: Taking taylor expansion of y in x 0.633 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.633 * [taylor]: Taking taylor expansion of t in x 0.634 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.634 * [taylor]: Taking taylor expansion of y in y 0.634 * [taylor]: Taking taylor expansion of (neg (log y)) in z 0.634 * [taylor]: Taking taylor expansion of (log y) in z 0.634 * [taylor]: Taking taylor expansion of y in z 0.636 * [taylor]: Taking taylor expansion of (- (/ (log (- 1 (/ 1 y))) z) (/ 1 t)) in y 0.636 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 y))) z) in y 0.636 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 0.636 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 0.636 * [taylor]: Taking taylor expansion of 1 in y 0.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.636 * [taylor]: Taking taylor expansion of y in y 0.637 * [taylor]: Taking taylor expansion of z in y 0.638 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.638 * [taylor]: Taking taylor expansion of t in y 0.638 * [taylor]: Taking taylor expansion of (- (/ (log -1) z) (+ (/ (log y) z) (/ 1 t))) in z 0.638 * [taylor]: Taking taylor expansion of (/ (log -1) z) in z 0.638 * [taylor]: Taking taylor expansion of (log -1) in z 0.638 * [taylor]: Taking taylor expansion of -1 in z 0.638 * [taylor]: Taking taylor expansion of z in z 0.639 * [taylor]: Taking taylor expansion of (+ (/ (log y) z) (/ 1 t)) in z 0.639 * [taylor]: Taking taylor expansion of (/ (log y) z) in z 0.639 * [taylor]: Taking taylor expansion of (log y) in z 0.639 * [taylor]: Taking taylor expansion of y in z 0.639 * [taylor]: Taking taylor expansion of z in z 0.639 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.639 * [taylor]: Taking taylor expansion of t in z 0.640 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in t 0.640 * [taylor]: Taking taylor expansion of (log -1) in t 0.640 * [taylor]: Taking taylor expansion of -1 in t 0.640 * [taylor]: Taking taylor expansion of (log y) in t 0.640 * [taylor]: Taking taylor expansion of y in t 0.640 * [taylor]: Taking taylor expansion of 0 in z 0.641 * [taylor]: Taking taylor expansion of (neg (log y)) in t 0.641 * [taylor]: Taking taylor expansion of (log y) in t 0.641 * [taylor]: Taking taylor expansion of y in t 0.644 * [taylor]: Taking taylor expansion of 0 in y 0.644 * [taylor]: Taking taylor expansion of 0 in z 0.646 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.646 * [taylor]: Taking taylor expansion of z in z 0.646 * [taylor]: Taking taylor expansion of -1 in t 0.647 * [taylor]: Taking taylor expansion of 0 in z 0.649 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 0.649 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.649 * [taylor]: Taking taylor expansion of t in t 0.649 * [taylor]: Taking taylor expansion of 0 in t 0.650 * [taylor]: Taking taylor expansion of 0 in t 0.653 * [approximate]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in (x y z t) around 0 0.653 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in t 0.653 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.653 * [taylor]: Taking taylor expansion of t in t 0.654 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x)) in t 0.654 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in t 0.654 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in t 0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t 0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.654 * [taylor]: Taking taylor expansion of y in t 0.654 * [taylor]: Taking taylor expansion of 1 in t 0.654 * [taylor]: Taking taylor expansion of z in t 0.654 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.654 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.654 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.654 * [taylor]: Taking taylor expansion of -1 in t 0.654 * [taylor]: Taking taylor expansion of y in t 0.654 * [taylor]: Taking taylor expansion of x in t 0.655 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in z 0.655 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.655 * [taylor]: Taking taylor expansion of t in z 0.655 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x)) in z 0.655 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in z 0.655 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in z 0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z 0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.655 * [taylor]: Taking taylor expansion of y in z 0.655 * [taylor]: Taking taylor expansion of 1 in z 0.655 * [taylor]: Taking taylor expansion of z in z 0.655 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.655 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.655 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.656 * [taylor]: Taking taylor expansion of -1 in z 0.656 * [taylor]: Taking taylor expansion of y in z 0.656 * [taylor]: Taking taylor expansion of x in z 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in y 0.656 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.656 * [taylor]: Taking taylor expansion of t in y 0.656 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x)) in y 0.656 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in y 0.656 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.656 * [taylor]: Taking taylor expansion of y in y 0.656 * [taylor]: Taking taylor expansion of 1 in y 0.656 * [taylor]: Taking taylor expansion of z in y 0.657 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.657 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.657 * [taylor]: Taking taylor expansion of -1 in y 0.657 * [taylor]: Taking taylor expansion of y in y 0.657 * [taylor]: Taking taylor expansion of x in y 0.658 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.658 * [taylor]: Taking taylor expansion of t in x 0.658 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x)) in x 0.658 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in x 0.658 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in x 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.658 * [taylor]: Taking taylor expansion of y in x 0.658 * [taylor]: Taking taylor expansion of 1 in x 0.658 * [taylor]: Taking taylor expansion of z in x 0.659 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.659 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.659 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.659 * [taylor]: Taking taylor expansion of -1 in x 0.659 * [taylor]: Taking taylor expansion of y in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x))) in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.659 * [taylor]: Taking taylor expansion of t in x 0.659 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1)) z) (/ (log (/ -1 y)) x)) in x 0.659 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in x 0.659 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in x 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.659 * [taylor]: Taking taylor expansion of y in x 0.659 * [taylor]: Taking taylor expansion of 1 in x 0.660 * [taylor]: Taking taylor expansion of z in x 0.660 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.660 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.660 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.660 * [taylor]: Taking taylor expansion of -1 in x 0.660 * [taylor]: Taking taylor expansion of y in x 0.660 * [taylor]: Taking taylor expansion of x in x 0.661 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 0.661 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.661 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.661 * [taylor]: Taking taylor expansion of -1 in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.662 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.662 * [taylor]: Taking taylor expansion of (log y) in z 0.662 * [taylor]: Taking taylor expansion of y in z 0.662 * [taylor]: Taking taylor expansion of (log -1) in z 0.662 * [taylor]: Taking taylor expansion of -1 in z 0.664 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ (log (+ (/ 1 y) 1)) z)) in y 0.664 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.664 * [taylor]: Taking taylor expansion of t in y 0.664 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1)) z) in y 0.664 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 0.664 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.664 * [taylor]: Taking taylor expansion of y in y 0.664 * [taylor]: Taking taylor expansion of 1 in y 0.664 * [taylor]: Taking taylor expansion of z in y 0.665 * [taylor]: Taking taylor expansion of (+ (/ (log y) z) (/ 1 t)) in z 0.665 * [taylor]: Taking taylor expansion of (/ (log y) z) in z 0.665 * [taylor]: Taking taylor expansion of (log y) in z 0.665 * [taylor]: Taking taylor expansion of y in z 0.665 * [taylor]: Taking taylor expansion of z in z 0.666 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.666 * [taylor]: Taking taylor expansion of t in z 0.666 * [taylor]: Taking taylor expansion of (log y) in t 0.666 * [taylor]: Taking taylor expansion of y in t 0.667 * [taylor]: Taking taylor expansion of 0 in z 0.667 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.667 * [taylor]: Taking taylor expansion of (log y) in t 0.667 * [taylor]: Taking taylor expansion of y in t 0.667 * [taylor]: Taking taylor expansion of (log -1) in t 0.667 * [taylor]: Taking taylor expansion of -1 in t 0.671 * [taylor]: Taking taylor expansion of 0 in y 0.671 * [taylor]: Taking taylor expansion of 0 in z 0.672 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.672 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.672 * [taylor]: Taking taylor expansion of z in z 0.672 * [taylor]: Taking taylor expansion of -1 in t 0.674 * [taylor]: Taking taylor expansion of 0 in z 0.674 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.674 * [taylor]: Taking taylor expansion of t in t 0.674 * [taylor]: Taking taylor expansion of 0 in t 0.675 * [taylor]: Taking taylor expansion of 0 in t 0.678 * * * [progress]: simplifying candidates 0.679 * [simplify]: Simplifying using # : (sqrt.f64 (log.f64 (-.f64 1 y))) (sqrt.f64 (log.f64 (-.f64 1 y))) (*.f64 (*.f64 (log.f64 (-.f64 1 y)) (log.f64 (-.f64 1 y))) (log.f64 (-.f64 1 y))) (*.f64 (cbrt.f64 (log.f64 (-.f64 1 y))) (cbrt.f64 (log.f64 (-.f64 1 y)))) (cbrt.f64 (log.f64 (-.f64 1 y))) (exp.f64 (log.f64 (-.f64 1 y))) (log.f64 (log.f64 (-.f64 1 y))) (log.f64 (-.f64 1 y)) (log.f64 (-.f64 (*.f64 1 1) (*.f64 y y))) (log.f64 (+.f64 1 y)) (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))) (log.f64 1) (log.f64 (-.f64 1 y)) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y))) (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 y))) (log.f64 1) (log.f64 (-.f64 1 y)) (log.f64 (sqrt.f64 (-.f64 1 y))) (log.f64 (sqrt.f64 (-.f64 1 y))) (log.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (log.f64 (cbrt.f64 (-.f64 1 y))) (*.f64 x (log.f64 y)) (*.f64 (sqrt.f64 x) (log.f64 y)) (*.f64 (cbrt.f64 x) (log.f64 y)) (*.f64 x 1) (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (*.f64 x 1) (*.f64 (log.f64 1) x) (*.f64 (log.f64 y) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 x (log.f64 1)) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y))) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y))) (exp.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (+.f64 (log.f64 x) (log.f64 (log.f64 y))) (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))) (*.f64 (sqrt.f64 z) (log.f64 (-.f64 1 y))) (*.f64 (cbrt.f64 z) (log.f64 (-.f64 1 y))) (*.f64 z 1) (*.f64 z (sqrt.f64 (log.f64 (-.f64 1 y)))) (*.f64 z (*.f64 (cbrt.f64 (log.f64 (-.f64 1 y))) (cbrt.f64 (log.f64 (-.f64 1 y))))) (*.f64 z 1) (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 y))) z) (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (log.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) z) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) z) (*.f64 z (log.f64 1)) (*.f64 z (log.f64 (-.f64 1 y))) (*.f64 z (log.f64 (+.f64 1 (sqrt.f64 y)))) (*.f64 z (log.f64 (-.f64 1 (sqrt.f64 y)))) (*.f64 z (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y)))) (*.f64 z (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 y)))) (*.f64 z (log.f64 1)) (*.f64 z (log.f64 (-.f64 1 y))) (*.f64 z (log.f64 (sqrt.f64 (-.f64 1 y)))) (*.f64 z (log.f64 (sqrt.f64 (-.f64 1 y)))) (*.f64 z (log.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))) (*.f64 z (log.f64 (cbrt.f64 (-.f64 1 y)))) (*.f64 (sqrt.f64 z) (sqrt.f64 (log.f64 (-.f64 1 y)))) (*.f64 (sqrt.f64 z) (sqrt.f64 (log.f64 (-.f64 1 y)))) (sqrt.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (sqrt.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (*.f64 (*.f64 (*.f64 z (log.f64 (-.f64 1 y))) (*.f64 z (log.f64 (-.f64 1 y)))) (*.f64 z (log.f64 (-.f64 1 y)))) (*.f64 (cbrt.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (cbrt.f64 (*.f64 z (log.f64 (-.f64 1 y))))) (cbrt.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (log.f64 (-.f64 1 y)) (log.f64 (-.f64 1 y))) (log.f64 (-.f64 1 y)))) (exp.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (log.f64 (*.f64 z (log.f64 (-.f64 1 y)))) (+.f64 (log.f64 z) (log.f64 (log.f64 (-.f64 1 y)))) (*.f64 z (log.f64 (-.f64 1 y))) (-.f64 (*.f64 z (log.f64 (-.f64 1 y))) t) (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t) (+.f64 (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))))) (sqrt.f64 t)) (-.f64 (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))))) (sqrt.f64 t)) (-.f64 (*.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))))) (*.f64 t t)) (+.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t) (neg.f64 t) (-.f64 (pow.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) 3) (pow.f64 t 3)) (+.f64 (*.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))))) (+.f64 (*.f64 t t) (*.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (sqrt.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t) (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (cbrt.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (exp.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (log.f64 (-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y)))) t)) (/.f64 (exp.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 1 y))))) (exp.f64 t)) (/.f64 (*.f64 (exp.f64 (*.f64 x (log.f64 y))) (exp.f64 (*.f64 z (log.f64 (-.f64 1 y))))) (exp.f64 t)) (neg.f64 (+.f64 (*.f64 1/3 (pow.f64 y 3)) (+.f64 (*.f64 1/2 (pow.f64 y 2)) y))) (-.f64 (log.f64 -1) (+.f64 (/.f64 1 y) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 y 2))) (log.f64 (/.f64 1 y))))) (neg.f64 (+.f64 (/.f64 1 y) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 y 2))) (log.f64 (/.f64 -1 y))))) (*.f64 x (log.f64 y)) (*.f64 -1 (*.f64 x (log.f64 (/.f64 1 y)))) (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x) (neg.f64 (+.f64 (*.f64 z y) (+.f64 (*.f64 1/3 (*.f64 z (pow.f64 y 3))) (*.f64 1/2 (*.f64 z (pow.f64 y 2)))))) (-.f64 (*.f64 (log.f64 -1) z) (+.f64 (*.f64 z (log.f64 (/.f64 1 y))) (+.f64 (*.f64 1/2 (/.f64 z (pow.f64 y 2))) (/.f64 z y)))) (neg.f64 (+.f64 (*.f64 1/2 (/.f64 z (pow.f64 y 2))) (+.f64 (/.f64 z y) (*.f64 z (log.f64 (/.f64 -1 y)))))) (-.f64 (*.f64 x (log.f64 y)) (+.f64 (*.f64 z y) t)) (-.f64 (*.f64 (log.f64 -1) z) (+.f64 (*.f64 x (log.f64 (/.f64 1 y))) (+.f64 (*.f64 z (log.f64 (/.f64 1 y))) t))) (-.f64 (*.f64 (log.f64 -1) x) (+.f64 t (+.f64 (*.f64 x (log.f64 (/.f64 -1 y))) (*.f64 z (log.f64 (/.f64 -1 y)))))) 0.734 * * [simplify]: iteration 0 : 5159 enodes (cost 1530 ) 0.742 * [simplify]: Simplified to: (sqrt.f64 (log.f64 (-.f64 1 y))) (sqrt.f64 (log.f64 (-.f64 1 y))) (pow.f64 (log.f64 (-.f64 1 y)) 3) (*.f64 (cbrt.f64 (log.f64 (-.f64 1 y))) (cbrt.f64 (log.f64 (-.f64 1 y)))) (cbrt.f64 (log.f64 (-.f64 1 y))) (-.f64 1 y) (log.f64 (log.f64 (-.f64 1 y))) (log.f64 (-.f64 1 y)) (log.f64 (-.f64 1 (*.f64 y y))) (log.f64 (+.f64 1 y)) (log.f64 (-.f64 1 (pow.f64 y 3))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y)))) (log.f64 1) (log.f64 (-.f64 1 y)) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 1) (log.f64 (-.f64 1 y)) (log.f64 (sqrt.f64 (-.f64 1 y))) (log.f64 (sqrt.f64 (-.f64 1 y))) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) 2) (log.f64 (cbrt.f64 (-.f64 1 y))) (*.f64 x (log.f64 y)) (*.f64 (log.f64 y) (sqrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x)) x (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) x (*.f64 (log.f64 1) x) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (log.f64 1) x) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (pow.f64 (*.f64 x (log.f64 y)) 3) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (pow.f64 (*.f64 x (log.f64 y)) 3) (pow.f64 y x) (log.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (-.f64 1 y)) (sqrt.f64 z)) (*.f64 (log.f64 (-.f64 1 y)) (cbrt.f64 z)) z (*.f64 (sqrt.f64 (log.f64 (-.f64 1 y))) z) (*.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 1 y))) (cbrt.f64 (log.f64 (-.f64 1 y)))) z) z (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) 2) z) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) z) (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 1) z) (*.f64 (log.f64 (-.f64 1 y)) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 y))) z) (*.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) 2) z) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 y))) z) (*.f64 (sqrt.f64 (log.f64 (-.f64 1 y))) (sqrt.f64 z)) (*.f64 (sqrt.f64 (log.f64 (-.f64 1 y))) (sqrt.f64 z)) (sqrt.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (sqrt.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (pow.f64 (*.f64 (log.f64 (-.f64 1 y)) z) 3) (*.f64 (cbrt.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (cbrt.f64 (*.f64 (log.f64 (-.f64 1 y)) z))) (cbrt.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (pow.f64 (*.f64 (log.f64 (-.f64 1 y)) z) 3) (pow.f64 (-.f64 1 y) z) (log.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (log.f64 (*.f64 (log.f64 (-.f64 1 y)) z)) (*.f64 (log.f64 (-.f64 1 y)) z) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t) (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t)) (+.f64 (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z))) (sqrt.f64 t)) (-.f64 (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z))) (sqrt.f64 t)) (-.f64 (*.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z)) (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z))) (*.f64 t t)) (+.f64 t (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z))) (neg.f64 t) (-.f64 (pow.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z)) 3) (pow.f64 t 3)) (+.f64 (*.f64 t t) (*.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z)) (+.f64 t (+.f64 (*.f64 x (log.f64 y)) (*.f64 (log.f64 (-.f64 1 y)) z))))) (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t))) (sqrt.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t))) (pow.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t)) 3) (*.f64 (cbrt.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t))) (cbrt.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t)))) (cbrt.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t))) (*.f64 (pow.f64 y x) (/.f64 (pow.f64 (-.f64 1 y) z) (exp.f64 t))) (log.f64 (+.f64 (*.f64 x (log.f64 y)) (-.f64 (*.f64 (log.f64 (-.f64 1 y)) z) t))) (*.f64 (pow.f64 y x) (/.f64 (pow.f64 (-.f64 1 y) z) (exp.f64 t))) (*.f64 (pow.f64 y x) (/.f64 (pow.f64 (-.f64 1 y) z) (exp.f64 t))) (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (-.f64 (log.f64 -1) (+.f64 (/.f64 1 y) (-.f64 (/.f64 1/2 (*.f64 y y)) (log.f64 y)))) (-.f64 (/.f64 -1 y) (+.f64 (/.f64 1/2 (*.f64 y y)) (log.f64 (/.f64 -1 y)))) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y)) (-.f64 (neg.f64 (*.f64 y z)) (*.f64 z (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (-.f64 (*.f64 z (+.f64 (log.f64 -1) (log.f64 y))) (*.f64 (/.f64 z y) (+.f64 (/.f64 1/2 y) 1))) (-.f64 (*.f64 z (neg.f64 (log.f64 (/.f64 -1 y)))) (*.f64 (/.f64 z y) (+.f64 (/.f64 1/2 y) 1))) (-.f64 (*.f64 x (log.f64 y)) (+.f64 t (*.f64 y z))) (-.f64 (*.f64 z (log.f64 -1)) (-.f64 t (*.f64 (log.f64 y) (+.f64 x z)))) (-.f64 (*.f64 x (log.f64 -1)) (+.f64 t (*.f64 (log.f64 (/.f64 -1 y)) (+.f64 x z)))) 0.743 * * * [progress]: adding candidates to table 1.089 * * [progress]: iteration 2 / 4 1.089 * * * [progress]: picking best candidate 1.147 * * * * [pick]: Picked # 1.148 * * * [progress]: localizing error 1.172 * * * [progress]: generating rewritten candidates 1.172 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2 1) 1.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 1.189 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.199 * * * [progress]: generating series expansions 1.199 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2 1) 1.199 * [approximate]: Taking taylor expansion of (* 1/3 y) in (y) around 0 1.199 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.199 * [taylor]: Taking taylor expansion of 1/3 in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.199 * [taylor]: Taking taylor expansion of 1/3 in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.203 * [approximate]: Taking taylor expansion of (/ 1/3 y) in (y) around 0 1.203 * [taylor]: Taking taylor expansion of (/ 1/3 y) in y 1.203 * [taylor]: Taking taylor expansion of 1/3 in y 1.203 * [taylor]: Taking taylor expansion of y in y 1.204 * [taylor]: Taking taylor expansion of (/ 1/3 y) in y 1.204 * [taylor]: Taking taylor expansion of 1/3 in y 1.204 * [taylor]: Taking taylor expansion of y in y 1.208 * [approximate]: Taking taylor expansion of (/ -1/3 y) in (y) around 0 1.208 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 1.208 * [taylor]: Taking taylor expansion of -1/3 in y 1.208 * [taylor]: Taking taylor expansion of y in y 1.208 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 1.208 * [taylor]: Taking taylor expansion of -1/3 in y 1.208 * [taylor]: Taking taylor expansion of y in y 1.212 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.212 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 1.212 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.212 * [taylor]: Taking taylor expansion of x in y 1.212 * [taylor]: Taking taylor expansion of (log y) in y 1.212 * [taylor]: Taking taylor expansion of y in y 1.212 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.212 * [taylor]: Taking taylor expansion of x in x 1.212 * [taylor]: Taking taylor expansion of (log y) in x 1.212 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (log y) in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of (log y) in y 1.214 * [taylor]: Taking taylor expansion of y in y 1.215 * [taylor]: Taking taylor expansion of 0 in y 1.218 * [taylor]: Taking taylor expansion of 0 in y 1.218 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.218 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of x in y 1.219 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.220 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.220 * [taylor]: Taking taylor expansion of y in x 1.220 * [taylor]: Taking taylor expansion of x in x 1.220 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.220 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.220 * [taylor]: Taking taylor expansion of y in x 1.220 * [taylor]: Taking taylor expansion of x in x 1.220 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.222 * [taylor]: Taking taylor expansion of 0 in y 1.225 * [taylor]: Taking taylor expansion of 0 in y 1.229 * [taylor]: Taking taylor expansion of 0 in y 1.230 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.230 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.230 * [taylor]: Taking taylor expansion of -1 in y 1.230 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.230 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.230 * [taylor]: Taking taylor expansion of -1 in y 1.230 * [taylor]: Taking taylor expansion of y in y 1.230 * [taylor]: Taking taylor expansion of x in y 1.231 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.231 * [taylor]: Taking taylor expansion of -1 in x 1.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.231 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.231 * [taylor]: Taking taylor expansion of -1 in x 1.231 * [taylor]: Taking taylor expansion of y in x 1.232 * [taylor]: Taking taylor expansion of x in x 1.232 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.232 * [taylor]: Taking taylor expansion of -1 in x 1.232 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.232 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.232 * [taylor]: Taking taylor expansion of -1 in x 1.232 * [taylor]: Taking taylor expansion of y in x 1.232 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.233 * [taylor]: Taking taylor expansion of -1 in y 1.233 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.233 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.233 * [taylor]: Taking taylor expansion of -1 in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.235 * [taylor]: Taking taylor expansion of 0 in y 1.239 * [taylor]: Taking taylor expansion of 0 in y 1.244 * [taylor]: Taking taylor expansion of 0 in y 1.245 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 1.246 * [approximate]: Taking taylor expansion of (* (+ (* 1/3 y) 1/2) (pow y 2)) in (y) around 0 1.246 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 y) 1/2) (pow y 2)) in y 1.246 * [taylor]: Taking taylor expansion of (+ (* 1/3 y) 1/2) in y 1.246 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.246 * [taylor]: Taking taylor expansion of 1/3 in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.246 * [taylor]: Taking taylor expansion of 1/2 in y 1.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.246 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 y) 1/2) (pow y 2)) in y 1.246 * [taylor]: Taking taylor expansion of (+ (* 1/3 y) 1/2) in y 1.246 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.246 * [taylor]: Taking taylor expansion of 1/3 in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.246 * [taylor]: Taking taylor expansion of 1/2 in y 1.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.257 * [approximate]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 y)) 1/2) (pow y 2)) in (y) around 0 1.257 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 y)) 1/2) (pow y 2)) in y 1.257 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 y)) 1/2) in y 1.257 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 1.257 * [taylor]: Taking taylor expansion of 1/3 in y 1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.257 * [taylor]: Taking taylor expansion of y in y 1.257 * [taylor]: Taking taylor expansion of 1/2 in y 1.257 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.257 * [taylor]: Taking taylor expansion of y in y 1.257 * [taylor]: Taking taylor expansion of (/ (+ (* 1/3 (/ 1 y)) 1/2) (pow y 2)) in y 1.257 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 y)) 1/2) in y 1.257 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 1.257 * [taylor]: Taking taylor expansion of 1/3 in y 1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.257 * [taylor]: Taking taylor expansion of y in y 1.257 * [taylor]: Taking taylor expansion of 1/2 in y 1.257 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.257 * [taylor]: Taking taylor expansion of y in y 1.276 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 y))) (pow y 2)) in (y) around 0 1.276 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 y))) (pow y 2)) in y 1.276 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 y))) in y 1.276 * [taylor]: Taking taylor expansion of 1/2 in y 1.276 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 1.276 * [taylor]: Taking taylor expansion of 1/3 in y 1.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.276 * [taylor]: Taking taylor expansion of y in y 1.277 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.277 * [taylor]: Taking taylor expansion of y in y 1.277 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/3 (/ 1 y))) (pow y 2)) in y 1.277 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/3 (/ 1 y))) in y 1.277 * [taylor]: Taking taylor expansion of 1/2 in y 1.277 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 1.277 * [taylor]: Taking taylor expansion of 1/3 in y 1.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.277 * [taylor]: Taking taylor expansion of y in y 1.277 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.277 * [taylor]: Taking taylor expansion of y in y 1.293 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.294 * [approximate]: Taking taylor expansion of (* -1 (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)))) in (z y) around 0 1.294 * [taylor]: Taking taylor expansion of (* -1 (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)))) in y 1.294 * [taylor]: Taking taylor expansion of -1 in y 1.294 * [taylor]: Taking taylor expansion of (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y))) in y 1.294 * [taylor]: Taking taylor expansion of z in y 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) in y 1.294 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 3)) in y 1.294 * [taylor]: Taking taylor expansion of 1/3 in y 1.294 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow y 2)) y) in y 1.294 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y 1.294 * [taylor]: Taking taylor expansion of 1/2 in y 1.294 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of (* -1 (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)))) in z 1.294 * [taylor]: Taking taylor expansion of -1 in z 1.294 * [taylor]: Taking taylor expansion of (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y))) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) in z 1.294 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 3)) in z 1.294 * [taylor]: Taking taylor expansion of 1/3 in z 1.294 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.294 * [taylor]: Taking taylor expansion of y in z 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow y 2)) y) in z 1.294 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in z 1.294 * [taylor]: Taking taylor expansion of 1/2 in z 1.294 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.294 * [taylor]: Taking taylor expansion of y in z 1.294 * [taylor]: Taking taylor expansion of y in z 1.294 * [taylor]: Taking taylor expansion of (* -1 (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)))) in z 1.294 * [taylor]: Taking taylor expansion of -1 in z 1.294 * [taylor]: Taking taylor expansion of (* z (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y))) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) in z 1.294 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 3)) in z 1.294 * [taylor]: Taking taylor expansion of 1/3 in z 1.294 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.294 * [taylor]: Taking taylor expansion of y in z 1.294 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow y 2)) y) in z 1.294 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in z 1.295 * [taylor]: Taking taylor expansion of 1/2 in z 1.295 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.295 * [taylor]: Taking taylor expansion of y in z 1.295 * [taylor]: Taking taylor expansion of y in z 1.296 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y))) in y 1.299 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) in y 1.299 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 3)) in y 1.299 * [taylor]: Taking taylor expansion of 1/3 in y 1.299 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.299 * [taylor]: Taking taylor expansion of y in y 1.299 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow y 2)) y) in y 1.299 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y 1.299 * [taylor]: Taking taylor expansion of 1/2 in y 1.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.299 * [taylor]: Taking taylor expansion of y in y 1.299 * [taylor]: Taking taylor expansion of y in y 1.302 * [taylor]: Taking taylor expansion of 0 in y 1.306 * [taylor]: Taking taylor expansion of 0 in y 1.310 * [taylor]: Taking taylor expansion of 0 in y 1.313 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z)) in (z y) around 0 1.313 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z)) in y 1.313 * [taylor]: Taking taylor expansion of -1 in y 1.313 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z) in y 1.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) in y 1.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.313 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2)))) in y 1.314 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.314 * [taylor]: Taking taylor expansion of 1/3 in y 1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.314 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.314 * [taylor]: Taking taylor expansion of y in y 1.314 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.314 * [taylor]: Taking taylor expansion of 1/2 in y 1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.314 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.314 * [taylor]: Taking taylor expansion of y in y 1.314 * [taylor]: Taking taylor expansion of z in y 1.314 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z)) in z 1.314 * [taylor]: Taking taylor expansion of -1 in z 1.314 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z) in z 1.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) in z 1.314 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.314 * [taylor]: Taking taylor expansion of y in z 1.314 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2)))) in z 1.315 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in z 1.315 * [taylor]: Taking taylor expansion of 1/3 in z 1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 1.315 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.315 * [taylor]: Taking taylor expansion of y in z 1.315 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in z 1.315 * [taylor]: Taking taylor expansion of 1/2 in z 1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.315 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.315 * [taylor]: Taking taylor expansion of y in z 1.315 * [taylor]: Taking taylor expansion of z in z 1.318 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z)) in z 1.318 * [taylor]: Taking taylor expansion of -1 in z 1.318 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) z) in z 1.318 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) in z 1.318 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.318 * [taylor]: Taking taylor expansion of y in z 1.318 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2)))) in z 1.318 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in z 1.318 * [taylor]: Taking taylor expansion of 1/3 in z 1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 1.318 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.318 * [taylor]: Taking taylor expansion of y in z 1.318 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in z 1.318 * [taylor]: Taking taylor expansion of 1/2 in z 1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.318 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.318 * [taylor]: Taking taylor expansion of y in z 1.319 * [taylor]: Taking taylor expansion of z in z 1.322 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2)))))) in y 1.322 * [taylor]: Taking taylor expansion of -1 in y 1.322 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2))))) in y 1.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.322 * [taylor]: Taking taylor expansion of y in y 1.322 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/2 (/ 1 (pow y 2)))) in y 1.322 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.322 * [taylor]: Taking taylor expansion of 1/3 in y 1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.322 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.322 * [taylor]: Taking taylor expansion of y in y 1.322 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.322 * [taylor]: Taking taylor expansion of 1/2 in y 1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.322 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.322 * [taylor]: Taking taylor expansion of y in y 1.327 * [taylor]: Taking taylor expansion of 0 in y 1.333 * [taylor]: Taking taylor expansion of 0 in y 1.338 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z)) in (z y) around 0 1.339 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z)) in y 1.339 * [taylor]: Taking taylor expansion of -1 in y 1.339 * [taylor]: Taking taylor expansion of (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z) in y 1.339 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) in y 1.339 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) in y 1.339 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.339 * [taylor]: Taking taylor expansion of 1/3 in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.339 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.339 * [taylor]: Taking taylor expansion of 1/2 in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of z in y 1.340 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z)) in z 1.340 * [taylor]: Taking taylor expansion of -1 in z 1.340 * [taylor]: Taking taylor expansion of (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z) in z 1.340 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) in z 1.340 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) in z 1.340 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in z 1.340 * [taylor]: Taking taylor expansion of 1/3 in z 1.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 1.340 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.340 * [taylor]: Taking taylor expansion of y in z 1.340 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.340 * [taylor]: Taking taylor expansion of y in z 1.340 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in z 1.340 * [taylor]: Taking taylor expansion of 1/2 in z 1.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.340 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.340 * [taylor]: Taking taylor expansion of y in z 1.341 * [taylor]: Taking taylor expansion of z in z 1.343 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z)) in z 1.343 * [taylor]: Taking taylor expansion of -1 in z 1.343 * [taylor]: Taking taylor expansion of (/ (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) z) in z 1.343 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) (* 1/2 (/ 1 (pow y 2)))) in z 1.343 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (/ 1 y)) in z 1.343 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in z 1.343 * [taylor]: Taking taylor expansion of 1/3 in z 1.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 1.343 * [taylor]: Taking taylor expansion of (pow y 3) in z 1.343 * [taylor]: Taking taylor expansion of y in z 1.344 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.344 * [taylor]: Taking taylor expansion of y in z 1.344 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in z 1.344 * [taylor]: Taking taylor expansion of 1/2 in z 1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.344 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.344 * [taylor]: Taking taylor expansion of y in z 1.344 * [taylor]: Taking taylor expansion of z in z 1.348 * [taylor]: Taking taylor expansion of (* -1 (- (+ (/ 1 y) (* 1/3 (/ 1 (pow y 3)))) (* 1/2 (/ 1 (pow y 2))))) in y 1.348 * [taylor]: Taking taylor expansion of -1 in y 1.348 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 1/3 (/ 1 (pow y 3)))) (* 1/2 (/ 1 (pow y 2)))) in y 1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1/3 (/ 1 (pow y 3)))) in y 1.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.348 * [taylor]: Taking taylor expansion of 1/3 in y 1.348 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.348 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.348 * [taylor]: Taking taylor expansion of 1/2 in y 1.348 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.348 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.353 * [taylor]: Taking taylor expansion of 0 in y 1.359 * [taylor]: Taking taylor expansion of 0 in y 1.363 * * * [progress]: simplifying candidates 1.364 * [simplify]: Simplifying using # : (*.f64 y 1/3) (*.f64 (sqrt.f64 y) 1/3) (*.f64 (cbrt.f64 y) 1/3) (*.f64 y 1) (*.f64 y (sqrt.f64 1/3)) (*.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (sqrt.f64 (*.f64 y 1/3)) (sqrt.f64 (*.f64 y 1/3)) (*.f64 (*.f64 (*.f64 y 1/3) (*.f64 y 1/3)) (*.f64 y 1/3)) (*.f64 (cbrt.f64 (*.f64 y 1/3)) (cbrt.f64 (*.f64 y 1/3))) (cbrt.f64 (*.f64 y 1/3)) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 1/3 1/3) 1/3)) (exp.f64 (*.f64 y 1/3)) (log.f64 (*.f64 y 1/3)) (+.f64 (log.f64 y) (log.f64 1/3)) (*.f64 y 1/3) (*.f64 x (log.f64 y)) (*.f64 (sqrt.f64 x) (log.f64 y)) (*.f64 (cbrt.f64 x) (log.f64 y)) (*.f64 x 1) (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (*.f64 x 1) (*.f64 (log.f64 1) x) (*.f64 (log.f64 y) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 x (log.f64 1)) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y))) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y))) (exp.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (+.f64 (log.f64 x) (log.f64 (log.f64 y))) (*.f64 x (log.f64 y)) (*.f64 (*.f64 y y) (-.f64 (*.f64 (*.f64 y 1/3) (*.f64 y 1/3)) (*.f64 1/2 1/2))) (*.f64 (*.f64 y y) (+.f64 (pow.f64 (*.f64 y 1/3) 3) (pow.f64 1/2 3))) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 (*.f64 y y) 1) (*.f64 (*.f64 y y) (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 y y) (*.f64 (cbrt.f64 (+.f64 (*.f64 y 1/3) 1/2)) (cbrt.f64 (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 (*.f64 y 1/3) (*.f64 y y)) (*.f64 1/2 (*.f64 y y)) (*.f64 (*.f64 y y) (*.f64 y 1/3)) (*.f64 (*.f64 y y) 1/2) (*.f64 y (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 y (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (sqrt.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (sqrt.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (cbrt.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (cbrt.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (cbrt.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 y y)) (*.f64 (*.f64 (+.f64 (*.f64 y 1/3) 1/2) (+.f64 (*.f64 y 1/3) 1/2)) (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (+.f64 (*.f64 y 1/3) 1/2) (+.f64 (*.f64 y 1/3) 1/2)) (+.f64 (*.f64 y 1/3) 1/2))) (exp.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (log.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (+.f64 (log.f64 (*.f64 y y)) (log.f64 (+.f64 (*.f64 y 1/3) 1/2))) (+.f64 (+.f64 (log.f64 y) (log.f64 y)) (log.f64 (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 z (-.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (-.f64 (pow.f64 (neg.f64 y) 3) (pow.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)) 3))) (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 (sqrt.f64 z) (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 (cbrt.f64 z) (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 z 1) (*.f64 z (sqrt.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 (cbrt.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (cbrt.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 (neg.f64 y) z) (*.f64 (neg.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) z) (*.f64 z (neg.f64 y)) (*.f64 z (neg.f64 (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (sqrt.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (sqrt.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (*.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (cbrt.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (cbrt.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))) (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (exp.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (log.f64 (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (+.f64 (log.f64 z) (log.f64 (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (-.f64 (neg.f64 y) (*.f64 (*.f64 y y) (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 1/3 y) (*.f64 1/3 y) (*.f64 1/3 y) (*.f64 x (log.f64 y)) (*.f64 -1 (*.f64 x (log.f64 (/.f64 1 y)))) (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x) (+.f64 (*.f64 1/3 (pow.f64 y 3)) (*.f64 1/2 (pow.f64 y 2))) (+.f64 (*.f64 1/3 (pow.f64 y 3)) (*.f64 1/2 (pow.f64 y 2))) (+.f64 (*.f64 1/3 (pow.f64 y 3)) (*.f64 1/2 (pow.f64 y 2))) (neg.f64 (+.f64 (*.f64 z y) (+.f64 (*.f64 1/3 (*.f64 z (pow.f64 y 3))) (*.f64 1/2 (*.f64 z (pow.f64 y 2)))))) (neg.f64 (+.f64 (*.f64 z y) (+.f64 (*.f64 1/3 (*.f64 z (pow.f64 y 3))) (*.f64 1/2 (*.f64 z (pow.f64 y 2)))))) (neg.f64 (+.f64 (*.f64 z y) (+.f64 (*.f64 1/3 (*.f64 z (pow.f64 y 3))) (*.f64 1/2 (*.f64 z (pow.f64 y 2)))))) 1.402 * * [simplify]: iteration 0 : 5292 enodes (cost 1357 ) 1.410 * [simplify]: Simplified to: (*.f64 y 1/3) (*.f64 1/3 (sqrt.f64 y)) (*.f64 1/3 (cbrt.f64 y)) y (*.f64 y (sqrt.f64 1/3)) (*.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (sqrt.f64 (*.f64 y 1/3)) (sqrt.f64 (*.f64 y 1/3)) (pow.f64 (*.f64 y 1/3) 3) (*.f64 (cbrt.f64 (*.f64 y 1/3)) (cbrt.f64 (*.f64 y 1/3))) (cbrt.f64 (*.f64 y 1/3)) (pow.f64 (*.f64 y 1/3) 3) (cbrt.f64 (exp.f64 y)) (log.f64 (*.f64 y 1/3)) (log.f64 (*.f64 y 1/3)) (*.f64 y 1/3) (*.f64 (log.f64 y) x) (*.f64 (log.f64 y) (sqrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x)) x (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) x (*.f64 x (log.f64 1)) (*.f64 (log.f64 y) x) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 1)) (*.f64 (log.f64 y) x) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 (log.f64 y) x)) (sqrt.f64 (*.f64 (log.f64 y) x)) (pow.f64 (*.f64 (log.f64 y) x) 3) (*.f64 (cbrt.f64 (*.f64 (log.f64 y) x)) (cbrt.f64 (*.f64 (log.f64 y) x))) (cbrt.f64 (*.f64 (log.f64 y) x)) (pow.f64 (*.f64 (log.f64 y) x) 3) (pow.f64 y x) (log.f64 (*.f64 (log.f64 y) x)) (log.f64 (*.f64 (log.f64 y) x)) (*.f64 (log.f64 y) x) (*.f64 (*.f64 y y) (+.f64 (*.f64 y (*.f64 1/9 y)) -1/4)) (*.f64 (*.f64 y y) (+.f64 (pow.f64 (*.f64 y 1/3) 3) 1/8)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y y) (*.f64 (*.f64 y y) (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 (*.f64 y y) (*.f64 (cbrt.f64 (+.f64 (*.f64 y 1/3) 1/2)) (cbrt.f64 (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 1/3 (pow.f64 y 3)) (*.f64 (*.f64 y y) 1/2) (*.f64 1/3 (pow.f64 y 3)) (*.f64 (*.f64 y y) 1/2) (*.f64 y (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 y (sqrt.f64 (+.f64 (*.f64 y 1/3) 1/2))) (sqrt.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (sqrt.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (pow.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3) (*.f64 (cbrt.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (cbrt.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (cbrt.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (pow.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3) (pow.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3) (exp.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (log.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (log.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (log.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 z (+.f64 (*.f64 y y) (*.f64 (*.f64 (+.f64 (*.f64 y 1/3) 1/2) (pow.f64 y 4)) (-.f64 -1/2 (*.f64 y 1/3))))) (*.f64 z (-.f64 (pow.f64 (neg.f64 y) 3) (pow.f64 (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (sqrt.f64 z)) (*.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (cbrt.f64 z)) z (*.f64 z (sqrt.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 z (*.f64 (cbrt.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (cbrt.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (*.f64 z (neg.f64 y)) (*.f64 (*.f64 y y) (*.f64 (-.f64 -1/2 (*.f64 y 1/3)) z)) (*.f64 z (neg.f64 y)) (*.f64 (*.f64 y y) (*.f64 (-.f64 -1/2 (*.f64 y 1/3)) z)) (*.f64 (sqrt.f64 z) (sqrt.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 (sqrt.f64 z) (sqrt.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (sqrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (sqrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (*.f64 (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (pow.f64 (exp.f64 z) (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 y 1/3) (*.f64 y 1/3) (*.f64 y 1/3) (*.f64 (log.f64 y) x) (neg.f64 (*.f64 x (neg.f64 (log.f64 y)))) (*.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y)))) (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 y (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 1.410 * * * [progress]: adding candidates to table 1.759 * * [progress]: iteration 3 / 4 1.759 * * * [progress]: picking best candidate 1.810 * * * * [pick]: Picked # 1.811 * * * [progress]: localizing error 1.846 * * * [progress]: generating rewritten candidates 1.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.850 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 2 2 2 1) 1.853 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.868 * * * [progress]: generating series expansions 1.869 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.870 * [approximate]: Taking taylor expansion of (* (cbrt -1) (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in (z y) around 0 1.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in y 1.870 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.870 * [taylor]: Taking taylor expansion of -1 in y 1.870 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in y 1.870 * [taylor]: Taking taylor expansion of z in y 1.870 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in y 1.870 * [taylor]: Taking taylor expansion of y in y 1.870 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in y 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in y 1.870 * [taylor]: Taking taylor expansion of 1/3 in y 1.870 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.870 * [taylor]: Taking taylor expansion of y in y 1.870 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in y 1.870 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 1.870 * [taylor]: Taking taylor expansion of 1/2 in y 1.870 * [taylor]: Taking taylor expansion of y in y 1.870 * [taylor]: Taking taylor expansion of 1 in y 1.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in z 1.870 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.870 * [taylor]: Taking taylor expansion of -1 in z 1.871 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in z 1.871 * [taylor]: Taking taylor expansion of z in z 1.871 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in z 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in z 1.871 * [taylor]: Taking taylor expansion of 1/3 in z 1.871 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in z 1.871 * [taylor]: Taking taylor expansion of (* 1/2 y) in z 1.871 * [taylor]: Taking taylor expansion of 1/2 in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of 1 in z 1.871 * [taylor]: Taking taylor expansion of (* (cbrt -1) (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in z 1.871 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.871 * [taylor]: Taking taylor expansion of -1 in z 1.871 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in z 1.871 * [taylor]: Taking taylor expansion of z in z 1.871 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in z 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in z 1.871 * [taylor]: Taking taylor expansion of 1/3 in z 1.871 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in z 1.871 * [taylor]: Taking taylor expansion of (* 1/2 y) in z 1.871 * [taylor]: Taking taylor expansion of 1/2 in z 1.871 * [taylor]: Taking taylor expansion of y in z 1.871 * [taylor]: Taking taylor expansion of 1 in z 1.873 * [taylor]: Taking taylor expansion of 0 in y 1.876 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (cbrt -1) (pow y 2))) (+ (* (cbrt -1) y) (* 1/3 (* (cbrt -1) (pow y 3))))) in y 1.876 * [taylor]: Taking taylor expansion of (* 1/2 (* (cbrt -1) (pow y 2))) in y 1.876 * [taylor]: Taking taylor expansion of 1/2 in y 1.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow y 2)) in y 1.876 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.876 * [taylor]: Taking taylor expansion of -1 in y 1.876 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.876 * [taylor]: Taking taylor expansion of y in y 1.876 * [taylor]: Taking taylor expansion of (+ (* (cbrt -1) y) (* 1/3 (* (cbrt -1) (pow y 3)))) in y 1.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) y) in y 1.876 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.876 * [taylor]: Taking taylor expansion of -1 in y 1.877 * [taylor]: Taking taylor expansion of y in y 1.877 * [taylor]: Taking taylor expansion of (* 1/3 (* (cbrt -1) (pow y 3))) in y 1.877 * [taylor]: Taking taylor expansion of 1/3 in y 1.877 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow y 3)) in y 1.877 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.877 * [taylor]: Taking taylor expansion of -1 in y 1.877 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.877 * [taylor]: Taking taylor expansion of y in y 1.881 * [taylor]: Taking taylor expansion of 0 in y 1.886 * [taylor]: Taking taylor expansion of 0 in y 1.892 * [taylor]: Taking taylor expansion of 0 in y 1.898 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) (* y z)) in (z y) around 0 1.898 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) (* y z)) in y 1.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) in y 1.898 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.898 * [taylor]: Taking taylor expansion of -1 in y 1.899 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 1.899 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 1.899 * [taylor]: Taking taylor expansion of 1/2 in y 1.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.899 * [taylor]: Taking taylor expansion of y in y 1.899 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 1.899 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 1.899 * [taylor]: Taking taylor expansion of 1/3 in y 1.899 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.899 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.899 * [taylor]: Taking taylor expansion of y in y 1.899 * [taylor]: Taking taylor expansion of 1 in y 1.899 * [taylor]: Taking taylor expansion of (* y z) in y 1.899 * [taylor]: Taking taylor expansion of y in y 1.899 * [taylor]: Taking taylor expansion of z in y 1.900 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) (* y z)) in z 1.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) in z 1.900 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.900 * [taylor]: Taking taylor expansion of -1 in z 1.900 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 1.900 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 1.900 * [taylor]: Taking taylor expansion of 1/2 in z 1.900 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.900 * [taylor]: Taking taylor expansion of y in z 1.900 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 1.900 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 1.900 * [taylor]: Taking taylor expansion of 1/3 in z 1.900 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.900 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.900 * [taylor]: Taking taylor expansion of y in z 1.901 * [taylor]: Taking taylor expansion of 1 in z 1.901 * [taylor]: Taking taylor expansion of (* y z) in z 1.901 * [taylor]: Taking taylor expansion of y in z 1.901 * [taylor]: Taking taylor expansion of z in z 1.903 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) (* y z)) in z 1.903 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) in z 1.903 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.903 * [taylor]: Taking taylor expansion of -1 in z 1.904 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 1.904 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 1.904 * [taylor]: Taking taylor expansion of 1/2 in z 1.904 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.904 * [taylor]: Taking taylor expansion of y in z 1.904 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 1.904 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 1.904 * [taylor]: Taking taylor expansion of 1/3 in z 1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.904 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.904 * [taylor]: Taking taylor expansion of y in z 1.904 * [taylor]: Taking taylor expansion of 1 in z 1.904 * [taylor]: Taking taylor expansion of (* y z) in z 1.904 * [taylor]: Taking taylor expansion of y in z 1.904 * [taylor]: Taking taylor expansion of z in z 1.907 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) y) in y 1.907 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1))) in y 1.907 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.907 * [taylor]: Taking taylor expansion of -1 in y 1.907 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 1.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 1.907 * [taylor]: Taking taylor expansion of 1/2 in y 1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.907 * [taylor]: Taking taylor expansion of y in y 1.908 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 1.908 * [taylor]: Taking taylor expansion of 1/3 in y 1.908 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.908 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.908 * [taylor]: Taking taylor expansion of y in y 1.908 * [taylor]: Taking taylor expansion of 1 in y 1.908 * [taylor]: Taking taylor expansion of y in y 1.912 * [taylor]: Taking taylor expansion of 0 in y 1.919 * [taylor]: Taking taylor expansion of 0 in y 1.926 * [approximate]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in (z y) around 0 1.926 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in y 1.926 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 1.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 1.926 * [taylor]: Taking taylor expansion of 1/2 in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.926 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 1.927 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 1.927 * [taylor]: Taking taylor expansion of 1/3 in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of 1 in y 1.927 * [taylor]: Taking taylor expansion of (* y z) in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of z in y 1.928 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 1.928 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 1.928 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 1.928 * [taylor]: Taking taylor expansion of 1/2 in z 1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.928 * [taylor]: Taking taylor expansion of y in z 1.928 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 1.928 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 1.928 * [taylor]: Taking taylor expansion of 1/3 in z 1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.928 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.928 * [taylor]: Taking taylor expansion of y in z 1.928 * [taylor]: Taking taylor expansion of 1 in z 1.928 * [taylor]: Taking taylor expansion of (* y z) in z 1.928 * [taylor]: Taking taylor expansion of y in z 1.928 * [taylor]: Taking taylor expansion of z in z 1.931 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 1.931 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 1.931 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 1.931 * [taylor]: Taking taylor expansion of 1/2 in z 1.931 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.931 * [taylor]: Taking taylor expansion of y in z 1.931 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 1.931 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 1.931 * [taylor]: Taking taylor expansion of 1/3 in z 1.931 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 1.931 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.931 * [taylor]: Taking taylor expansion of y in z 1.931 * [taylor]: Taking taylor expansion of 1 in z 1.931 * [taylor]: Taking taylor expansion of (* y z) in z 1.931 * [taylor]: Taking taylor expansion of y in z 1.931 * [taylor]: Taking taylor expansion of z in z 1.933 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) y) in y 1.933 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 1.934 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 1.934 * [taylor]: Taking taylor expansion of 1/2 in y 1.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 1.934 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 1.934 * [taylor]: Taking taylor expansion of 1/3 in y 1.934 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.934 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of 1 in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.937 * [taylor]: Taking taylor expansion of 0 in y 1.942 * [taylor]: Taking taylor expansion of 0 in y 1.946 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 2 2 2 1) 1.946 * [approximate]: Taking taylor expansion of (* 1/3 y) in (y) around 0 1.946 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.946 * [taylor]: Taking taylor expansion of 1/3 in y 1.946 * [taylor]: Taking taylor expansion of y in y 1.946 * [taylor]: Taking taylor expansion of (* 1/3 y) in y 1.946 * [taylor]: Taking taylor expansion of 1/3 in y 1.946 * [taylor]: Taking taylor expansion of y in y 1.950 * [approximate]: Taking taylor expansion of (/ 1/3 y) in (y) around 0 1.950 * [taylor]: Taking taylor expansion of (/ 1/3 y) in y 1.950 * [taylor]: Taking taylor expansion of 1/3 in y 1.950 * [taylor]: Taking taylor expansion of y in y 1.950 * [taylor]: Taking taylor expansion of (/ 1/3 y) in y 1.950 * [taylor]: Taking taylor expansion of 1/3 in y 1.950 * [taylor]: Taking taylor expansion of y in y 1.954 * [approximate]: Taking taylor expansion of (/ -1/3 y) in (y) around 0 1.954 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 1.954 * [taylor]: Taking taylor expansion of -1/3 in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 1.954 * [taylor]: Taking taylor expansion of -1/3 in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.958 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.959 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 1.959 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.959 * [taylor]: Taking taylor expansion of x in y 1.959 * [taylor]: Taking taylor expansion of (log y) in y 1.959 * [taylor]: Taking taylor expansion of y in y 1.959 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (log y) in x 1.959 * [taylor]: Taking taylor expansion of y in x 1.959 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (log y) in x 1.959 * [taylor]: Taking taylor expansion of y in x 1.959 * [taylor]: Taking taylor expansion of 0 in y 1.960 * [taylor]: Taking taylor expansion of (log y) in y 1.960 * [taylor]: Taking taylor expansion of y in y 1.962 * [taylor]: Taking taylor expansion of 0 in y 1.964 * [taylor]: Taking taylor expansion of 0 in y 1.965 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.965 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.965 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.965 * [taylor]: Taking taylor expansion of y in y 1.965 * [taylor]: Taking taylor expansion of x in y 1.965 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.965 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.966 * [taylor]: Taking taylor expansion of y in x 1.966 * [taylor]: Taking taylor expansion of x in x 1.966 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.966 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.966 * [taylor]: Taking taylor expansion of y in x 1.966 * [taylor]: Taking taylor expansion of x in x 1.966 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.966 * [taylor]: Taking taylor expansion of y in y 1.968 * [taylor]: Taking taylor expansion of 0 in y 1.971 * [taylor]: Taking taylor expansion of 0 in y 1.975 * [taylor]: Taking taylor expansion of 0 in y 1.976 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.976 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.976 * [taylor]: Taking taylor expansion of -1 in y 1.976 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.976 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.976 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.976 * [taylor]: Taking taylor expansion of -1 in y 1.976 * [taylor]: Taking taylor expansion of y in y 1.976 * [taylor]: Taking taylor expansion of x in y 1.977 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.977 * [taylor]: Taking taylor expansion of -1 in x 1.977 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.977 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.977 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.977 * [taylor]: Taking taylor expansion of -1 in x 1.977 * [taylor]: Taking taylor expansion of y in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.978 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.978 * [taylor]: Taking taylor expansion of -1 in x 1.978 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.978 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.978 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.978 * [taylor]: Taking taylor expansion of -1 in x 1.978 * [taylor]: Taking taylor expansion of y in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.979 * [taylor]: Taking taylor expansion of -1 in y 1.979 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.979 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.979 * [taylor]: Taking taylor expansion of -1 in y 1.979 * [taylor]: Taking taylor expansion of y in y 1.981 * [taylor]: Taking taylor expansion of 0 in y 1.985 * [taylor]: Taking taylor expansion of 0 in y 1.994 * [taylor]: Taking taylor expansion of 0 in y 1.995 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.995 * [approximate]: Taking taylor expansion of (pow (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) 3) in (z y) around 0 1.996 * [taylor]: Taking taylor expansion of (pow (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) 3) in y 1.996 * [taylor]: Taking taylor expansion of (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in y 1.996 * [taylor]: Taking taylor expansion of -1 in y 1.996 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in y 1.996 * [taylor]: Taking taylor expansion of z in y 1.996 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in y 1.996 * [taylor]: Taking taylor expansion of y in y 1.996 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in y 1.996 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in y 1.996 * [taylor]: Taking taylor expansion of 1/3 in y 1.996 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.996 * [taylor]: Taking taylor expansion of y in y 1.996 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in y 1.996 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 1.996 * [taylor]: Taking taylor expansion of 1/2 in y 1.996 * [taylor]: Taking taylor expansion of y in y 1.996 * [taylor]: Taking taylor expansion of 1 in y 1.997 * [taylor]: Taking taylor expansion of (pow (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) 3) in z 1.997 * [taylor]: Taking taylor expansion of (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in z 1.997 * [taylor]: Taking taylor expansion of -1 in z 1.997 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in z 1.997 * [taylor]: Taking taylor expansion of z in z 1.997 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in z 1.997 * [taylor]: Taking taylor expansion of y in z 1.997 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in z 1.997 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in z 1.997 * [taylor]: Taking taylor expansion of 1/3 in z 1.997 * [taylor]: Taking taylor expansion of (pow y 2) in z 1.997 * [taylor]: Taking taylor expansion of y in z 1.997 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in z 1.997 * [taylor]: Taking taylor expansion of (* 1/2 y) in z 1.997 * [taylor]: Taking taylor expansion of 1/2 in z 1.997 * [taylor]: Taking taylor expansion of y in z 1.997 * [taylor]: Taking taylor expansion of 1 in z 2.001 * [taylor]: Taking taylor expansion of (pow (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) 3) in z 2.001 * [taylor]: Taking taylor expansion of (* -1 (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))))) in z 2.001 * [taylor]: Taking taylor expansion of -1 in z 2.002 * [taylor]: Taking taylor expansion of (* z (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)))) in z 2.002 * [taylor]: Taking taylor expansion of z in z 2.002 * [taylor]: Taking taylor expansion of (* y (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1))) in z 2.002 * [taylor]: Taking taylor expansion of y in z 2.002 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 2)) (+ (* 1/2 y) 1)) in z 2.002 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 2)) in z 2.002 * [taylor]: Taking taylor expansion of 1/3 in z 2.002 * [taylor]: Taking taylor expansion of (pow y 2) in z 2.002 * [taylor]: Taking taylor expansion of y in z 2.002 * [taylor]: Taking taylor expansion of (+ (* 1/2 y) 1) in z 2.002 * [taylor]: Taking taylor expansion of (* 1/2 y) in z 2.002 * [taylor]: Taking taylor expansion of 1/2 in z 2.002 * [taylor]: Taking taylor expansion of y in z 2.002 * [taylor]: Taking taylor expansion of 1 in z 2.009 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) 3)) in y 2.009 * [taylor]: Taking taylor expansion of -1 in y 2.009 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) 3) in y 2.009 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow y 3)) (+ (* 1/2 (pow y 2)) y)) in y 2.009 * [taylor]: Taking taylor expansion of (* 1/3 (pow y 3)) in y 2.009 * [taylor]: Taking taylor expansion of 1/3 in y 2.009 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.009 * [taylor]: Taking taylor expansion of y in y 2.009 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow y 2)) y) in y 2.009 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y 2.009 * [taylor]: Taking taylor expansion of 1/2 in y 2.009 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.009 * [taylor]: Taking taylor expansion of y in y 2.009 * [taylor]: Taking taylor expansion of y in y 2.015 * [taylor]: Taking taylor expansion of 0 in y 2.022 * [taylor]: Taking taylor expansion of 0 in y 2.027 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) 3) in (z y) around 0 2.027 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) 3) in y 2.027 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) in y 2.027 * [taylor]: Taking taylor expansion of -1 in y 2.027 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in y 2.027 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 2.027 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 2.027 * [taylor]: Taking taylor expansion of 1/2 in y 2.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.027 * [taylor]: Taking taylor expansion of y in y 2.027 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 2.027 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 2.027 * [taylor]: Taking taylor expansion of 1/3 in y 2.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.027 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.027 * [taylor]: Taking taylor expansion of y in y 2.027 * [taylor]: Taking taylor expansion of 1 in y 2.027 * [taylor]: Taking taylor expansion of (* y z) in y 2.027 * [taylor]: Taking taylor expansion of y in y 2.027 * [taylor]: Taking taylor expansion of z in y 2.028 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) 3) in z 2.028 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) in z 2.028 * [taylor]: Taking taylor expansion of -1 in z 2.028 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 2.028 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 2.028 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 2.028 * [taylor]: Taking taylor expansion of 1/2 in z 2.028 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.028 * [taylor]: Taking taylor expansion of y in z 2.028 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 2.028 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 2.028 * [taylor]: Taking taylor expansion of 1/3 in z 2.028 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 2.028 * [taylor]: Taking taylor expansion of (pow y 2) in z 2.028 * [taylor]: Taking taylor expansion of y in z 2.029 * [taylor]: Taking taylor expansion of 1 in z 2.029 * [taylor]: Taking taylor expansion of (* y z) in z 2.029 * [taylor]: Taking taylor expansion of y in z 2.029 * [taylor]: Taking taylor expansion of z in z 2.031 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) 3) in z 2.031 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z))) in z 2.031 * [taylor]: Taking taylor expansion of -1 in z 2.031 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 2.031 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 2.031 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 2.031 * [taylor]: Taking taylor expansion of 1/2 in z 2.031 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.031 * [taylor]: Taking taylor expansion of y in z 2.031 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 2.031 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 2.031 * [taylor]: Taking taylor expansion of 1/3 in z 2.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 2.031 * [taylor]: Taking taylor expansion of (pow y 2) in z 2.031 * [taylor]: Taking taylor expansion of y in z 2.032 * [taylor]: Taking taylor expansion of 1 in z 2.032 * [taylor]: Taking taylor expansion of (* y z) in z 2.032 * [taylor]: Taking taylor expansion of y in z 2.032 * [taylor]: Taking taylor expansion of z in z 2.038 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) 3) (pow y 3))) in y 2.038 * [taylor]: Taking taylor expansion of -1 in y 2.038 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) 3) (pow y 3)) in y 2.038 * [taylor]: Taking taylor expansion of (pow (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) 3) in y 2.038 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 2.038 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 2.038 * [taylor]: Taking taylor expansion of 1/2 in y 2.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.038 * [taylor]: Taking taylor expansion of y in y 2.038 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 2.038 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 2.038 * [taylor]: Taking taylor expansion of 1/3 in y 2.038 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.038 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.038 * [taylor]: Taking taylor expansion of y in y 2.038 * [taylor]: Taking taylor expansion of 1 in y 2.038 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.038 * [taylor]: Taking taylor expansion of y in y 2.045 * [taylor]: Taking taylor expansion of 0 in y 2.054 * [taylor]: Taking taylor expansion of 0 in y 2.061 * [approximate]: Taking taylor expansion of (pow (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) 3) in (z y) around 0 2.061 * [taylor]: Taking taylor expansion of (pow (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) 3) in y 2.061 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in y 2.061 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 2.061 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 2.061 * [taylor]: Taking taylor expansion of 1/2 in y 2.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 2.061 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 2.061 * [taylor]: Taking taylor expansion of 1/3 in y 2.061 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.061 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of 1 in y 2.061 * [taylor]: Taking taylor expansion of (* y z) in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of z in y 2.062 * [taylor]: Taking taylor expansion of (pow (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) 3) in z 2.062 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 2.062 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 2.062 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 2.062 * [taylor]: Taking taylor expansion of 1/2 in z 2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.062 * [taylor]: Taking taylor expansion of y in z 2.062 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 2.062 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 2.062 * [taylor]: Taking taylor expansion of 1/3 in z 2.062 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 2.062 * [taylor]: Taking taylor expansion of (pow y 2) in z 2.062 * [taylor]: Taking taylor expansion of y in z 2.062 * [taylor]: Taking taylor expansion of 1 in z 2.063 * [taylor]: Taking taylor expansion of (* y z) in z 2.063 * [taylor]: Taking taylor expansion of y in z 2.063 * [taylor]: Taking taylor expansion of z in z 2.065 * [taylor]: Taking taylor expansion of (pow (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) 3) in z 2.065 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) (* y z)) in z 2.065 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in z 2.065 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in z 2.065 * [taylor]: Taking taylor expansion of 1/2 in z 2.065 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.065 * [taylor]: Taking taylor expansion of y in z 2.065 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in z 2.065 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in z 2.065 * [taylor]: Taking taylor expansion of 1/3 in z 2.065 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 2.065 * [taylor]: Taking taylor expansion of (pow y 2) in z 2.065 * [taylor]: Taking taylor expansion of y in z 2.065 * [taylor]: Taking taylor expansion of 1 in z 2.065 * [taylor]: Taking taylor expansion of (* y z) in z 2.065 * [taylor]: Taking taylor expansion of y in z 2.065 * [taylor]: Taking taylor expansion of z in z 2.072 * [taylor]: Taking taylor expansion of (/ (pow (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) 3) (pow y 3)) in y 2.072 * [taylor]: Taking taylor expansion of (pow (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) 3) in y 2.072 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 2))) 1)) in y 2.072 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 2.072 * [taylor]: Taking taylor expansion of 1/2 in y 2.072 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.072 * [taylor]: Taking taylor expansion of y in y 2.072 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 2))) 1) in y 2.072 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 2))) in y 2.072 * [taylor]: Taking taylor expansion of 1/3 in y 2.072 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.072 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.072 * [taylor]: Taking taylor expansion of y in y 2.072 * [taylor]: Taking taylor expansion of 1 in y 2.072 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.072 * [taylor]: Taking taylor expansion of y in y 2.079 * [taylor]: Taking taylor expansion of 0 in y 2.087 * [taylor]: Taking taylor expansion of 0 in y 2.092 * * * [progress]: simplifying candidates 2.093 * [simplify]: Simplifying using # : (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 (*.f64 -1 -1) (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3)) (cbrt.f64 (pow.f64 (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 (pow.f64 -1 3) (pow.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) 3)))) 3)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 -1 -1) (+.f64 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (/.f64 3 2))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (/.f64 3 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (*.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (cbrt.f64 (pow.f64 z 3)) (cbrt.f64 (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (*.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (pow.f64 z 3)) (cbrt.f64 (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3)) (exp.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (log.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (*.f64 y 1/3) (*.f64 (sqrt.f64 y) 1/3) (*.f64 (cbrt.f64 y) 1/3) (*.f64 y 1) (*.f64 y (sqrt.f64 1/3)) (*.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (sqrt.f64 (*.f64 y 1/3)) (sqrt.f64 (*.f64 y 1/3)) (*.f64 (*.f64 (*.f64 y 1/3) (*.f64 y 1/3)) (*.f64 y 1/3)) (*.f64 (cbrt.f64 (*.f64 y 1/3)) (cbrt.f64 (*.f64 y 1/3))) (cbrt.f64 (*.f64 y 1/3)) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 1/3 1/3) 1/3)) (exp.f64 (*.f64 y 1/3)) (log.f64 (*.f64 y 1/3)) (+.f64 (log.f64 y) (log.f64 1/3)) (*.f64 y 1/3) (*.f64 x (log.f64 y)) (*.f64 (sqrt.f64 x) (log.f64 y)) (*.f64 (cbrt.f64 x) (log.f64 y)) (*.f64 x 1) (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (*.f64 x 1) (*.f64 (log.f64 1) x) (*.f64 (log.f64 y) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 x (log.f64 1)) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y))) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y))) (exp.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (+.f64 (log.f64 x) (log.f64 (log.f64 y))) (*.f64 x (log.f64 y)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (/.f64 3 2)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (/.f64 3 2)) (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (*.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 (*.f64 -1 -1) (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (pow.f64 (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3) (pow.f64 (*.f64 z (*.f64 y (-.f64 (pow.f64 -1 3) (pow.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) 3)))) 3) (pow.f64 (+.f64 (*.f64 -1 -1) (+.f64 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (pow.f64 z 3) (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3) (*.f64 (*.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (exp.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (log.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (*.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (pow.f64 z 3) (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 1) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (sqrt.f64 3)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (*.f64 1 3) (*.f64 1 3) (*.f64 1 3) (*.f64 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (*.f64 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (*.f64 (+.f64 (log.f64 z) (log.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (*.f64 (+.f64 (log.f64 z) (+.f64 (log.f64 y) (log.f64 (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (+.f64 (*.f64 1/3 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 3)))) (+.f64 (*.f64 (cbrt.f64 -1) (*.f64 z y)) (*.f64 1/2 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 2)))))) (+.f64 (*.f64 1/2 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 2)))) (+.f64 (*.f64 (cbrt.f64 -1) (*.f64 z y)) (*.f64 1/3 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 3)))))) (neg.f64 (+.f64 (*.f64 z y) (+.f64 (*.f64 1/3 (*.f64 z (pow.f64 y 3))) (*.f64 1/2 (*.f64 z (pow.f64 y 2)))))) (*.f64 1/3 y) (*.f64 1/3 y) (*.f64 1/3 y) (*.f64 x (log.f64 y)) (*.f64 -1 (*.f64 x (log.f64 (/.f64 1 y)))) (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x) (neg.f64 (+.f64 (*.f64 3/2 (*.f64 (pow.f64 z 3) (pow.f64 y 4))) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 y 3)) (*.f64 7/4 (*.f64 (pow.f64 z 3) (pow.f64 y 5)))))) (neg.f64 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 z 3) (pow.f64 y 9))) (+.f64 (*.f64 7/12 (*.f64 (pow.f64 z 3) (pow.f64 y 7))) (*.f64 1/6 (*.f64 (pow.f64 z 3) (pow.f64 y 8)))))) (neg.f64 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 z 3) (pow.f64 y 9))) (+.f64 (*.f64 7/12 (*.f64 (pow.f64 z 3) (pow.f64 y 7))) (*.f64 1/6 (*.f64 (pow.f64 z 3) (pow.f64 y 8)))))) 2.155 * * [simplify]: iteration 0 : 5573 enodes (cost 1736 ) 2.164 * [simplify]: Simplified to: (sqrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (sqrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (*.f64 (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 z (*.f64 y (-.f64 1 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) (*.f64 z (*.f64 y (-.f64 -1 (pow.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) 3)))) (+.f64 1 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3/2)) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3/2)) (cbrt.f64 1) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3))) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2)) z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2)) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (cbrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2)) (cbrt.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) (exp.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) (*.f64 y 1/3) (*.f64 1/3 (sqrt.f64 y)) (*.f64 1/3 (cbrt.f64 y)) y (*.f64 y (sqrt.f64 1/3)) (*.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 y) (sqrt.f64 1/3)) (sqrt.f64 (*.f64 y 1/3)) (sqrt.f64 (*.f64 y 1/3)) (pow.f64 (*.f64 y 1/3) 3) (*.f64 (cbrt.f64 (*.f64 y 1/3)) (cbrt.f64 (*.f64 y 1/3))) (cbrt.f64 (*.f64 y 1/3)) (*.f64 (pow.f64 y 3) 1/27) (cbrt.f64 (exp.f64 y)) (log.f64 (*.f64 y 1/3)) (log.f64 (*.f64 y 1/3)) (*.f64 y 1/3) (*.f64 (log.f64 y) x) (*.f64 (log.f64 y) (sqrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x)) x (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) x (*.f64 x (log.f64 1)) (*.f64 (log.f64 y) x) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 2 (*.f64 x (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 1)) (*.f64 (log.f64 y) x) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 2 (*.f64 x (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 (log.f64 y) x)) (sqrt.f64 (*.f64 (log.f64 y) x)) (pow.f64 (*.f64 (log.f64 y) x) 3) (*.f64 (cbrt.f64 (*.f64 (log.f64 y) x)) (cbrt.f64 (*.f64 (log.f64 y) x))) (cbrt.f64 (*.f64 (log.f64 y) x)) (pow.f64 (*.f64 (log.f64 y) x) 3) (pow.f64 y x) (log.f64 (*.f64 (log.f64 y) x)) (log.f64 (*.f64 (log.f64 y) x)) (*.f64 (log.f64 y) x) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3/2) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3/2) (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (sqrt.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2) (pow.f64 (*.f64 z (*.f64 y (-.f64 1 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))) 3) (pow.f64 (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))) 3) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (pow.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) 3)))) 3) (pow.f64 (+.f64 1 (*.f64 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)) (+.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) (pow.f64 z 3) (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3) (pow.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3) 3) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (exp.f64 (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 3)) (*.f64 3 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) 2) (pow.f64 z 3) (pow.f64 (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2)))) 3) (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (sqrt.f64 3)) (pow.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) 3 3 3 (*.f64 3 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (*.f64 3 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (*.f64 3 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (*.f64 3 (log.f64 (*.f64 z (*.f64 y (-.f64 -1 (*.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))) (+.f64 (*.f64 1/3 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 3)))) (*.f64 (*.f64 z (cbrt.f64 -1)) (+.f64 y (*.f64 (*.f64 y y) 1/2)))) (+.f64 (*.f64 1/3 (*.f64 (cbrt.f64 -1) (*.f64 z (pow.f64 y 3)))) (*.f64 (*.f64 z (cbrt.f64 -1)) (+.f64 y (*.f64 (*.f64 y y) 1/2)))) (-.f64 (*.f64 z (neg.f64 y)) (*.f64 z (+.f64 (*.f64 1/3 (pow.f64 y 3)) (*.f64 1/2 (*.f64 y y))))) (*.f64 y 1/3) (*.f64 y 1/3) (*.f64 y 1/3) (*.f64 (log.f64 y) x) (*.f64 (log.f64 y) x) (*.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y)))) (-.f64 (*.f64 (pow.f64 y 4) (*.f64 (pow.f64 z 3) -3/2)) (*.f64 (pow.f64 z 3) (+.f64 (pow.f64 y 3) (*.f64 7/4 (pow.f64 y 5))))) (-.f64 (*.f64 (pow.f64 y 9) (*.f64 (pow.f64 z 3) -1/27)) (*.f64 (pow.f64 z 3) (+.f64 (*.f64 7/12 (pow.f64 y 7)) (*.f64 1/6 (pow.f64 y 8))))) (-.f64 (*.f64 (pow.f64 y 9) (*.f64 (pow.f64 z 3) -1/27)) (*.f64 (pow.f64 z 3) (+.f64 (*.f64 7/12 (pow.f64 y 7)) (*.f64 1/6 (pow.f64 y 8))))) 2.165 * * * [progress]: adding candidates to table 2.502 * * [progress]: iteration 4 / 4 2.502 * * * [progress]: picking best candidate 2.544 * * * * [pick]: Picked # 2.544 * * * [progress]: localizing error 2.570 * * * [progress]: generating rewritten candidates 2.570 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1) 2.580 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 2.584 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.589 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.596 * * * [progress]: generating series expansions 2.596 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1) 2.596 * [approximate]: Taking taylor expansion of (log (- 1 (sqrt y))) in (y) around 0 2.596 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt y))) in y 2.596 * [taylor]: Taking taylor expansion of (- 1 (sqrt y)) in y 2.596 * [taylor]: Taking taylor expansion of 1 in y 2.596 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.596 * [taylor]: Taking taylor expansion of y in y 2.597 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt y))) in y 2.597 * [taylor]: Taking taylor expansion of (- 1 (sqrt y)) in y 2.597 * [taylor]: Taking taylor expansion of 1 in y 2.597 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.597 * [taylor]: Taking taylor expansion of y in y 2.608 * [approximate]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in (y) around 0 2.608 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in y 2.608 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 y))) in y 2.608 * [taylor]: Taking taylor expansion of 1 in y 2.608 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.608 * [taylor]: Taking taylor expansion of y in y 2.609 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in y 2.609 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 y))) in y 2.609 * [taylor]: Taking taylor expansion of 1 in y 2.609 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.609 * [taylor]: Taking taylor expansion of y in y 2.621 * [approximate]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in (y) around 0 2.621 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in y 2.621 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 y))) in y 2.621 * [taylor]: Taking taylor expansion of 1 in y 2.621 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.621 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.621 * [taylor]: Taking taylor expansion of -1 in y 2.621 * [taylor]: Taking taylor expansion of y in y 2.622 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in y 2.622 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 y))) in y 2.622 * [taylor]: Taking taylor expansion of 1 in y 2.622 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.622 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.622 * [taylor]: Taking taylor expansion of -1 in y 2.622 * [taylor]: Taking taylor expansion of y in y 2.633 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 2.634 * [approximate]: Taking taylor expansion of (log (+ (sqrt y) 1)) in (y) around 0 2.634 * [taylor]: Taking taylor expansion of (log (+ (sqrt y) 1)) in y 2.634 * [taylor]: Taking taylor expansion of (+ (sqrt y) 1) in y 2.634 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of 1 in y 2.634 * [taylor]: Taking taylor expansion of (log (+ (sqrt y) 1)) in y 2.634 * [taylor]: Taking taylor expansion of (+ (sqrt y) 1) in y 2.634 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of 1 in y 2.644 * [approximate]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in (y) around 0 2.644 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in y 2.644 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) 1) in y 2.644 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.644 * [taylor]: Taking taylor expansion of y in y 2.644 * [taylor]: Taking taylor expansion of 1 in y 2.644 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in y 2.644 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) 1) in y 2.644 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.644 * [taylor]: Taking taylor expansion of y in y 2.645 * [taylor]: Taking taylor expansion of 1 in y 2.653 * [approximate]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in (y) around 0 2.653 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in y 2.653 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) 1) in y 2.653 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.653 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.653 * [taylor]: Taking taylor expansion of -1 in y 2.653 * [taylor]: Taking taylor expansion of y in y 2.654 * [taylor]: Taking taylor expansion of 1 in y 2.654 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in y 2.654 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) 1) in y 2.654 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.654 * [taylor]: Taking taylor expansion of -1 in y 2.654 * [taylor]: Taking taylor expansion of y in y 2.654 * [taylor]: Taking taylor expansion of 1 in y 2.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.663 * [approximate]: Taking taylor expansion of (+ (* (log (+ (sqrt y) 1)) z) (* (log (- 1 (sqrt y))) z)) in (y z) around 0 2.663 * [taylor]: Taking taylor expansion of (+ (* (log (+ (sqrt y) 1)) z) (* (log (- 1 (sqrt y))) z)) in z 2.663 * [taylor]: Taking taylor expansion of (* (log (+ (sqrt y) 1)) z) in z 2.663 * [taylor]: Taking taylor expansion of (log (+ (sqrt y) 1)) in z 2.663 * [taylor]: Taking taylor expansion of (+ (sqrt y) 1) in z 2.663 * [taylor]: Taking taylor expansion of (sqrt y) in z 2.663 * [taylor]: Taking taylor expansion of y in z 2.663 * [taylor]: Taking taylor expansion of 1 in z 2.663 * [taylor]: Taking taylor expansion of z in z 2.663 * [taylor]: Taking taylor expansion of (* (log (- 1 (sqrt y))) z) in z 2.663 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt y))) in z 2.663 * [taylor]: Taking taylor expansion of (- 1 (sqrt y)) in z 2.663 * [taylor]: Taking taylor expansion of 1 in z 2.663 * [taylor]: Taking taylor expansion of (sqrt y) in z 2.663 * [taylor]: Taking taylor expansion of y in z 2.664 * [taylor]: Taking taylor expansion of z in z 2.664 * [taylor]: Taking taylor expansion of (+ (* (log (+ (sqrt y) 1)) z) (* (log (- 1 (sqrt y))) z)) in y 2.664 * [taylor]: Taking taylor expansion of (* (log (+ (sqrt y) 1)) z) in y 2.664 * [taylor]: Taking taylor expansion of (log (+ (sqrt y) 1)) in y 2.664 * [taylor]: Taking taylor expansion of (+ (sqrt y) 1) in y 2.664 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.664 * [taylor]: Taking taylor expansion of y in y 2.664 * [taylor]: Taking taylor expansion of 1 in y 2.665 * [taylor]: Taking taylor expansion of z in y 2.665 * [taylor]: Taking taylor expansion of (* (log (- 1 (sqrt y))) z) in y 2.665 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt y))) in y 2.665 * [taylor]: Taking taylor expansion of (- 1 (sqrt y)) in y 2.665 * [taylor]: Taking taylor expansion of 1 in y 2.665 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.665 * [taylor]: Taking taylor expansion of y in y 2.665 * [taylor]: Taking taylor expansion of z in y 2.665 * [taylor]: Taking taylor expansion of (+ (* (log (+ (sqrt y) 1)) z) (* (log (- 1 (sqrt y))) z)) in y 2.665 * [taylor]: Taking taylor expansion of (* (log (+ (sqrt y) 1)) z) in y 2.665 * [taylor]: Taking taylor expansion of (log (+ (sqrt y) 1)) in y 2.665 * [taylor]: Taking taylor expansion of (+ (sqrt y) 1) in y 2.665 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.665 * [taylor]: Taking taylor expansion of y in y 2.665 * [taylor]: Taking taylor expansion of 1 in y 2.666 * [taylor]: Taking taylor expansion of z in y 2.666 * [taylor]: Taking taylor expansion of (* (log (- 1 (sqrt y))) z) in y 2.666 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt y))) in y 2.666 * [taylor]: Taking taylor expansion of (- 1 (sqrt y)) in y 2.666 * [taylor]: Taking taylor expansion of 1 in y 2.666 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.666 * [taylor]: Taking taylor expansion of y in y 2.666 * [taylor]: Taking taylor expansion of z in y 2.666 * [taylor]: Taking taylor expansion of 0 in z 2.668 * [taylor]: Taking taylor expansion of 0 in z 2.674 * [taylor]: Taking taylor expansion of (neg (* (pow NAN 2) z)) in z 2.674 * [taylor]: Taking taylor expansion of (* (pow NAN 2) z) in z 2.674 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.674 * [taylor]: Taking taylor expansion of NAN in z 2.674 * [taylor]: Taking taylor expansion of z in z 2.675 * [approximate]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ 1 y)) 1)) z) (/ (log (- 1 (sqrt (/ 1 y)))) z)) in (y z) around 0 2.675 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ 1 y)) 1)) z) (/ (log (- 1 (sqrt (/ 1 y)))) z)) in z 2.675 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) 1)) z) in z 2.675 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in z 2.675 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) 1) in z 2.675 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 2.675 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.675 * [taylor]: Taking taylor expansion of y in z 2.676 * [taylor]: Taking taylor expansion of 1 in z 2.676 * [taylor]: Taking taylor expansion of z in z 2.676 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ 1 y)))) z) in z 2.676 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in z 2.677 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 y))) in z 2.677 * [taylor]: Taking taylor expansion of 1 in z 2.677 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 2.677 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.677 * [taylor]: Taking taylor expansion of y in z 2.678 * [taylor]: Taking taylor expansion of z in z 2.678 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ 1 y)) 1)) z) (/ (log (- 1 (sqrt (/ 1 y)))) z)) in y 2.678 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) 1)) z) in y 2.678 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in y 2.678 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) 1) in y 2.678 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.678 * [taylor]: Taking taylor expansion of y in y 2.678 * [taylor]: Taking taylor expansion of 1 in y 2.679 * [taylor]: Taking taylor expansion of z in y 2.679 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ 1 y)))) z) in y 2.679 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in y 2.679 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 y))) in y 2.679 * [taylor]: Taking taylor expansion of 1 in y 2.679 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.679 * [taylor]: Taking taylor expansion of y in y 2.680 * [taylor]: Taking taylor expansion of z in y 2.680 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ 1 y)) 1)) z) (/ (log (- 1 (sqrt (/ 1 y)))) z)) in y 2.680 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) 1)) z) in y 2.680 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) 1)) in y 2.680 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) 1) in y 2.680 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.680 * [taylor]: Taking taylor expansion of y in y 2.680 * [taylor]: Taking taylor expansion of 1 in y 2.681 * [taylor]: Taking taylor expansion of z in y 2.681 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ 1 y)))) z) in y 2.681 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ 1 y)))) in y 2.681 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 y))) in y 2.681 * [taylor]: Taking taylor expansion of 1 in y 2.681 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.681 * [taylor]: Taking taylor expansion of y in y 2.682 * [taylor]: Taking taylor expansion of z in y 2.682 * [taylor]: Taking taylor expansion of (+ (/ (log (+ NAN 1)) z) (/ (log (- 1 NAN)) z)) in z 2.682 * [taylor]: Taking taylor expansion of (/ (log (+ NAN 1)) z) in z 2.682 * [taylor]: Taking taylor expansion of (log (+ NAN 1)) in z 2.682 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.682 * [taylor]: Taking taylor expansion of NAN in z 2.682 * [taylor]: Taking taylor expansion of 1 in z 2.682 * [taylor]: Taking taylor expansion of z in z 2.683 * [taylor]: Taking taylor expansion of (/ (log (- 1 NAN)) z) in z 2.683 * [taylor]: Taking taylor expansion of (log (- 1 NAN)) in z 2.683 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.683 * [taylor]: Taking taylor expansion of 1 in z 2.683 * [taylor]: Taking taylor expansion of NAN in z 2.683 * [taylor]: Taking taylor expansion of z in z 2.689 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) (* (+ NAN 1) z)) (/ (pow NAN 3) (* z (- 1 NAN)))) in z 2.689 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* (+ NAN 1) z)) in z 2.689 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 2.689 * [taylor]: Taking taylor expansion of NAN in z 2.689 * [taylor]: Taking taylor expansion of (* (+ NAN 1) z) in z 2.689 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.689 * [taylor]: Taking taylor expansion of NAN in z 2.689 * [taylor]: Taking taylor expansion of 1 in z 2.689 * [taylor]: Taking taylor expansion of z in z 2.690 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* z (- 1 NAN))) in z 2.690 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 2.690 * [taylor]: Taking taylor expansion of NAN in z 2.690 * [taylor]: Taking taylor expansion of (* z (- 1 NAN)) in z 2.690 * [taylor]: Taking taylor expansion of z in z 2.690 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.690 * [taylor]: Taking taylor expansion of 1 in z 2.690 * [taylor]: Taking taylor expansion of NAN in z 2.707 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 5) (* (+ NAN 1) z)) (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN)))))) in z 2.707 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* (+ NAN 1) z)) in z 2.707 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 2.707 * [taylor]: Taking taylor expansion of NAN in z 2.707 * [taylor]: Taking taylor expansion of (* (+ NAN 1) z) in z 2.707 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.707 * [taylor]: Taking taylor expansion of NAN in z 2.707 * [taylor]: Taking taylor expansion of 1 in z 2.707 * [taylor]: Taking taylor expansion of z in z 2.708 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN))))) in z 2.708 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) in z 2.708 * [taylor]: Taking taylor expansion of 1/2 in z 2.708 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z)) in z 2.708 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 2.708 * [taylor]: Taking taylor expansion of NAN in z 2.708 * [taylor]: Taking taylor expansion of (* (pow (+ NAN 1) 2) z) in z 2.708 * [taylor]: Taking taylor expansion of (pow (+ NAN 1) 2) in z 2.708 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.708 * [taylor]: Taking taylor expansion of NAN in z 2.708 * [taylor]: Taking taylor expansion of 1 in z 2.708 * [taylor]: Taking taylor expansion of z in z 2.710 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN)))) in z 2.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) in z 2.710 * [taylor]: Taking taylor expansion of 1/2 in z 2.710 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* z (pow (- 1 NAN) 2))) in z 2.710 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 2.710 * [taylor]: Taking taylor expansion of NAN in z 2.710 * [taylor]: Taking taylor expansion of (* z (pow (- 1 NAN) 2)) in z 2.710 * [taylor]: Taking taylor expansion of z in z 2.710 * [taylor]: Taking taylor expansion of (pow (- 1 NAN) 2) in z 2.710 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.711 * [taylor]: Taking taylor expansion of 1 in z 2.711 * [taylor]: Taking taylor expansion of NAN in z 2.713 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* z (- 1 NAN))) in z 2.713 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 2.713 * [taylor]: Taking taylor expansion of NAN in z 2.713 * [taylor]: Taking taylor expansion of (* z (- 1 NAN)) in z 2.713 * [taylor]: Taking taylor expansion of z in z 2.713 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.713 * [taylor]: Taking taylor expansion of 1 in z 2.713 * [taylor]: Taking taylor expansion of NAN in z 2.730 * [approximate]: Taking taylor expansion of (neg (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z))) in (y z) around 0 2.730 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z))) in z 2.730 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z)) in z 2.730 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ -1 y)))) z) in z 2.730 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in z 2.730 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 y))) in z 2.730 * [taylor]: Taking taylor expansion of 1 in z 2.730 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 2.730 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.730 * [taylor]: Taking taylor expansion of -1 in z 2.730 * [taylor]: Taking taylor expansion of y in z 2.731 * [taylor]: Taking taylor expansion of z in z 2.731 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) 1)) z) in z 2.731 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in z 2.732 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) 1) in z 2.732 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 2.732 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.732 * [taylor]: Taking taylor expansion of -1 in z 2.732 * [taylor]: Taking taylor expansion of y in z 2.732 * [taylor]: Taking taylor expansion of 1 in z 2.733 * [taylor]: Taking taylor expansion of z in z 2.733 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z))) in y 2.733 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z)) in y 2.733 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ -1 y)))) z) in y 2.733 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in y 2.733 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 y))) in y 2.733 * [taylor]: Taking taylor expansion of 1 in y 2.733 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.733 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.733 * [taylor]: Taking taylor expansion of -1 in y 2.733 * [taylor]: Taking taylor expansion of y in y 2.734 * [taylor]: Taking taylor expansion of z in y 2.734 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) 1)) z) in y 2.734 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in y 2.734 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) 1) in y 2.734 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.734 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.734 * [taylor]: Taking taylor expansion of -1 in y 2.734 * [taylor]: Taking taylor expansion of y in y 2.734 * [taylor]: Taking taylor expansion of 1 in y 2.735 * [taylor]: Taking taylor expansion of z in y 2.735 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z))) in y 2.735 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (sqrt (/ -1 y)))) z) (/ (log (+ (sqrt (/ -1 y)) 1)) z)) in y 2.735 * [taylor]: Taking taylor expansion of (/ (log (- 1 (sqrt (/ -1 y)))) z) in y 2.735 * [taylor]: Taking taylor expansion of (log (- 1 (sqrt (/ -1 y)))) in y 2.735 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 y))) in y 2.735 * [taylor]: Taking taylor expansion of 1 in y 2.735 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.735 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.735 * [taylor]: Taking taylor expansion of -1 in y 2.735 * [taylor]: Taking taylor expansion of y in y 2.736 * [taylor]: Taking taylor expansion of z in y 2.736 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) 1)) z) in y 2.736 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) 1)) in y 2.736 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) 1) in y 2.736 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.736 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.736 * [taylor]: Taking taylor expansion of -1 in y 2.736 * [taylor]: Taking taylor expansion of y in y 2.736 * [taylor]: Taking taylor expansion of 1 in y 2.736 * [taylor]: Taking taylor expansion of z in y 2.738 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ NAN 1)) z) (/ (log (- 1 NAN)) z))) in z 2.738 * [taylor]: Taking taylor expansion of (+ (/ (log (+ NAN 1)) z) (/ (log (- 1 NAN)) z)) in z 2.738 * [taylor]: Taking taylor expansion of (/ (log (+ NAN 1)) z) in z 2.738 * [taylor]: Taking taylor expansion of (log (+ NAN 1)) in z 2.738 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.738 * [taylor]: Taking taylor expansion of NAN in z 2.738 * [taylor]: Taking taylor expansion of 1 in z 2.738 * [taylor]: Taking taylor expansion of z in z 2.738 * [taylor]: Taking taylor expansion of (/ (log (- 1 NAN)) z) in z 2.738 * [taylor]: Taking taylor expansion of (log (- 1 NAN)) in z 2.738 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.738 * [taylor]: Taking taylor expansion of 1 in z 2.738 * [taylor]: Taking taylor expansion of NAN in z 2.738 * [taylor]: Taking taylor expansion of z in z 2.748 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) (* z (- 1 NAN))) (/ (pow NAN 3) (* (+ NAN 1) z))) in z 2.748 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* z (- 1 NAN))) in z 2.748 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 2.748 * [taylor]: Taking taylor expansion of NAN in z 2.748 * [taylor]: Taking taylor expansion of (* z (- 1 NAN)) in z 2.748 * [taylor]: Taking taylor expansion of z in z 2.748 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.748 * [taylor]: Taking taylor expansion of 1 in z 2.748 * [taylor]: Taking taylor expansion of NAN in z 2.750 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* (+ NAN 1) z)) in z 2.750 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 2.750 * [taylor]: Taking taylor expansion of NAN in z 2.750 * [taylor]: Taking taylor expansion of (* (+ NAN 1) z) in z 2.750 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.750 * [taylor]: Taking taylor expansion of NAN in z 2.750 * [taylor]: Taking taylor expansion of 1 in z 2.750 * [taylor]: Taking taylor expansion of z in z 2.770 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN))))) (/ (pow NAN 5) (* (+ NAN 1) z))) in z 2.770 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN))))) in z 2.770 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z))) in z 2.770 * [taylor]: Taking taylor expansion of 1/2 in z 2.770 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* (pow (+ NAN 1) 2) z)) in z 2.770 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 2.770 * [taylor]: Taking taylor expansion of NAN in z 2.770 * [taylor]: Taking taylor expansion of (* (pow (+ NAN 1) 2) z) in z 2.770 * [taylor]: Taking taylor expansion of (pow (+ NAN 1) 2) in z 2.770 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.770 * [taylor]: Taking taylor expansion of NAN in z 2.770 * [taylor]: Taking taylor expansion of 1 in z 2.770 * [taylor]: Taking taylor expansion of z in z 2.772 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) (/ (pow NAN 5) (* z (- 1 NAN)))) in z 2.772 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* z (pow (- 1 NAN) 2)))) in z 2.772 * [taylor]: Taking taylor expansion of 1/2 in z 2.772 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* z (pow (- 1 NAN) 2))) in z 2.772 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 2.772 * [taylor]: Taking taylor expansion of NAN in z 2.772 * [taylor]: Taking taylor expansion of (* z (pow (- 1 NAN) 2)) in z 2.772 * [taylor]: Taking taylor expansion of z in z 2.772 * [taylor]: Taking taylor expansion of (pow (- 1 NAN) 2) in z 2.772 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.772 * [taylor]: Taking taylor expansion of 1 in z 2.772 * [taylor]: Taking taylor expansion of NAN in z 2.775 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* z (- 1 NAN))) in z 2.775 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 2.775 * [taylor]: Taking taylor expansion of NAN in z 2.775 * [taylor]: Taking taylor expansion of (* z (- 1 NAN)) in z 2.775 * [taylor]: Taking taylor expansion of z in z 2.775 * [taylor]: Taking taylor expansion of (- 1 NAN) in z 2.775 * [taylor]: Taking taylor expansion of 1 in z 2.775 * [taylor]: Taking taylor expansion of NAN in z 2.776 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* (+ NAN 1) z)) in z 2.776 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 2.776 * [taylor]: Taking taylor expansion of NAN in z 2.776 * [taylor]: Taking taylor expansion of (* (+ NAN 1) z) in z 2.776 * [taylor]: Taking taylor expansion of (+ NAN 1) in z 2.776 * [taylor]: Taking taylor expansion of NAN in z 2.776 * [taylor]: Taking taylor expansion of 1 in z 2.776 * [taylor]: Taking taylor expansion of z in z 2.791 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.791 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 2.792 * [taylor]: Taking taylor expansion of (* x (log y)) in y 2.792 * [taylor]: Taking taylor expansion of x in y 2.792 * [taylor]: Taking taylor expansion of (log y) in y 2.792 * [taylor]: Taking taylor expansion of y in y 2.792 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.792 * [taylor]: Taking taylor expansion of x in x 2.792 * [taylor]: Taking taylor expansion of (log y) in x 2.792 * [taylor]: Taking taylor expansion of y in x 2.792 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.792 * [taylor]: Taking taylor expansion of x in x 2.792 * [taylor]: Taking taylor expansion of (log y) in x 2.792 * [taylor]: Taking taylor expansion of y in x 2.792 * [taylor]: Taking taylor expansion of 0 in y 2.793 * [taylor]: Taking taylor expansion of (log y) in y 2.793 * [taylor]: Taking taylor expansion of y in y 2.795 * [taylor]: Taking taylor expansion of 0 in y 2.796 * [taylor]: Taking taylor expansion of 0 in y 2.797 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 2.797 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 2.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.797 * [taylor]: Taking taylor expansion of y in y 2.797 * [taylor]: Taking taylor expansion of x in y 2.798 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.798 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.798 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.798 * [taylor]: Taking taylor expansion of y in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.798 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.798 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.798 * [taylor]: Taking taylor expansion of y in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.799 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.799 * [taylor]: Taking taylor expansion of y in y 2.801 * [taylor]: Taking taylor expansion of 0 in y 2.803 * [taylor]: Taking taylor expansion of 0 in y 2.807 * [taylor]: Taking taylor expansion of 0 in y 2.808 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 2.808 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 2.808 * [taylor]: Taking taylor expansion of -1 in y 2.808 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 2.808 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.808 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.808 * [taylor]: Taking taylor expansion of -1 in y 2.808 * [taylor]: Taking taylor expansion of y in y 2.809 * [taylor]: Taking taylor expansion of x in y 2.810 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 2.810 * [taylor]: Taking taylor expansion of -1 in x 2.810 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.810 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.810 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.810 * [taylor]: Taking taylor expansion of -1 in x 2.810 * [taylor]: Taking taylor expansion of y in x 2.810 * [taylor]: Taking taylor expansion of x in x 2.810 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 2.810 * [taylor]: Taking taylor expansion of -1 in x 2.810 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.810 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.810 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.810 * [taylor]: Taking taylor expansion of -1 in x 2.810 * [taylor]: Taking taylor expansion of y in x 2.810 * [taylor]: Taking taylor expansion of x in x 2.811 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 2.811 * [taylor]: Taking taylor expansion of -1 in y 2.811 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.811 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.811 * [taylor]: Taking taylor expansion of -1 in y 2.811 * [taylor]: Taking taylor expansion of y in y 2.813 * [taylor]: Taking taylor expansion of 0 in y 2.817 * [taylor]: Taking taylor expansion of 0 in y 2.822 * [taylor]: Taking taylor expansion of 0 in y 2.823 * * * [progress]: simplifying candidates 2.825 * [simplify]: Simplifying using # : (sqrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (*.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 y)))) (*.f64 (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y))))) (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (exp.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 y) 3))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 y) (sqrt.f64 y)) (*.f64 1 (sqrt.f64 y))))) (log.f64 1) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 1)) (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 y)))) (log.f64 1) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (sqrt.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (*.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 y))) (cbrt.f64 (-.f64 1 (sqrt.f64 y))))) (log.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (*.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 y)))) (*.f64 (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y))))) (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (exp.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 y) 3))) (log.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 y) (sqrt.f64 y)) (*.f64 1 (sqrt.f64 y))))) (log.f64 1) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 1)) (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y))) (log.f64 1) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (*.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 y))) (cbrt.f64 (+.f64 1 (sqrt.f64 y))))) (log.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 y)))) (+.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y)))) (-.f64 (*.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z)) (*.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (-.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)) (+.f64 (pow.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) 3) (pow.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) 3)) (+.f64 (*.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z)) (-.f64 (*.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)) (*.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)))) (sqrt.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (sqrt.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (*.f64 (*.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)) (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (cbrt.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)))) (cbrt.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (log.f64 (+.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (*.f64 (exp.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z)) (exp.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z))) (*.f64 x (log.f64 y)) (*.f64 (sqrt.f64 x) (log.f64 y)) (*.f64 (cbrt.f64 x) (log.f64 y)) (*.f64 x 1) (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (*.f64 x 1) (*.f64 (log.f64 1) x) (*.f64 (log.f64 y) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (sqrt.f64 y)) x) (*.f64 (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 x (log.f64 1)) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y))) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y))) (exp.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (+.f64 (log.f64 x) (log.f64 (log.f64 y))) (*.f64 x (log.f64 y)) (neg.f64 (+.f64 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 y 2)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 NAN.f64 2) (pow.f64 y 2))) (+.f64 (*.f64 (pow.f64 NAN.f64 5) (pow.f64 y 3)) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 y 3))) (+.f64 (*.f64 (pow.f64 NAN.f64 4) (pow.f64 y 3)) (*.f64 NAN.f64 y))))))) (-.f64 (log.f64 (-.f64 1 NAN.f64)) (+.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 (-.f64 1 NAN.f64) (pow.f64 y 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 NAN.f64 6) (*.f64 (pow.f64 (-.f64 1 NAN.f64) 2) (pow.f64 y 2)))) (/.f64 (pow.f64 NAN.f64 3) (*.f64 (-.f64 1 NAN.f64) y))))) (-.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) (*.f64 y (-.f64 1 NAN.f64))) (log.f64 (-.f64 1 NAN.f64))) (+.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 (-.f64 1 NAN.f64) (pow.f64 y 2))) (*.f64 1/2 (/.f64 (pow.f64 NAN.f64 6) (*.f64 (pow.f64 (-.f64 1 NAN.f64) 2) (pow.f64 y 2)))))) (-.f64 (+.f64 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 y 2)) (+.f64 (*.f64 (pow.f64 NAN.f64 5) (pow.f64 y 3)) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 y 3))) (*.f64 NAN.f64 y)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 NAN.f64 2) (pow.f64 y 2))) (*.f64 (pow.f64 NAN.f64 4) (pow.f64 y 3)))) (-.f64 (+.f64 (log.f64 (+.f64 NAN.f64 1)) (+.f64 (/.f64 (pow.f64 NAN.f64 5) (*.f64 (+.f64 NAN.f64 1) (pow.f64 y 2))) (/.f64 (pow.f64 NAN.f64 3) (*.f64 (+.f64 NAN.f64 1) y)))) (*.f64 1/2 (/.f64 (pow.f64 NAN.f64 6) (*.f64 (pow.f64 (+.f64 NAN.f64 1) 2) (pow.f64 y 2))))) (-.f64 (+.f64 (log.f64 (+.f64 NAN.f64 1)) (/.f64 (pow.f64 NAN.f64 5) (*.f64 (+.f64 NAN.f64 1) (pow.f64 y 2)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 NAN.f64 6) (*.f64 (pow.f64 (+.f64 NAN.f64 1) 2) (pow.f64 y 2)))) (/.f64 (pow.f64 NAN.f64 3) (*.f64 (+.f64 NAN.f64 1) y)))) 0 (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (*.f64 (+.f64 NAN.f64 1) y)) (+.f64 (*.f64 (log.f64 (+.f64 NAN.f64 1)) z) (+.f64 (*.f64 (log.f64 (-.f64 1 NAN.f64)) z) (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (*.f64 (+.f64 NAN.f64 1) (pow.f64 y 2)))))) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (*.f64 (pow.f64 y 2) (-.f64 1 NAN.f64))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 NAN.f64 6) z) (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (pow.f64 NAN.f64 2) 1) (*.f64 2 NAN.f64))))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 NAN.f64 6) z) (*.f64 (+.f64 (*.f64 2 NAN.f64) (+.f64 (pow.f64 NAN.f64 2) 1)) (pow.f64 y 2)))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (*.f64 (-.f64 1 NAN.f64) y)))))) (-.f64 (+.f64 (*.f64 (log.f64 (+.f64 NAN.f64 1)) z) (+.f64 (*.f64 (log.f64 (-.f64 1 NAN.f64)) z) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (*.f64 (-.f64 1 NAN.f64) y)) (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (*.f64 (+.f64 NAN.f64 1) (pow.f64 y 2)))))) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (*.f64 (+.f64 NAN.f64 1) y)) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (*.f64 (-.f64 1 NAN.f64) (pow.f64 y 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 NAN.f64 6) z) (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (pow.f64 NAN.f64 2) 1) (*.f64 2 NAN.f64))))) (*.f64 1/2 (/.f64 (*.f64 (pow.f64 NAN.f64 6) z) (*.f64 (+.f64 (*.f64 2 NAN.f64) (+.f64 (pow.f64 NAN.f64 2) 1)) (pow.f64 y 2)))))))) (*.f64 x (log.f64 y)) (*.f64 -1 (*.f64 x (log.f64 (/.f64 1 y)))) (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x) 2.889 * * [simplify]: iteration 0 : 5610 enodes (cost 1891 ) 2.899 * [simplify]: Simplified to: (sqrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (pow.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) 3) (*.f64 (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y))))) (cbrt.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (-.f64 1 (sqrt.f64 y)) (log.f64 (log.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 y)) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (*.f64 y (sqrt.f64 y)))) (log.f64 (+.f64 1 (+.f64 y (sqrt.f64 y)))) (log.f64 1) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 1) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 (-.f64 1 (sqrt.f64 (sqrt.f64 y)))) (log.f64 1) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 (-.f64 1 (sqrt.f64 y)))) (log.f64 (sqrt.f64 (-.f64 1 (sqrt.f64 y)))) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 y)))) 2) (log.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (sqrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (pow.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) 3) (*.f64 (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y))))) (cbrt.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (+.f64 1 (sqrt.f64 y)) (log.f64 (log.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 y)) (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (*.f64 y (sqrt.f64 y)))) (log.f64 (+.f64 1 (-.f64 y (sqrt.f64 y)))) (log.f64 1) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 1) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 1) (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 y)))) (log.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 y)))) (*.f64 (log.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 y)))) 2) (log.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 y)))) (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) (*.f64 (-.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y)))) (*.f64 z (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z))) (*.f64 z (-.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))))) (+.f64 (pow.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) 3) (pow.f64 (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z) 3)) (+.f64 (*.f64 (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) z)) (*.f64 (*.f64 z (*.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) z)) (-.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))))) (sqrt.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z)) (sqrt.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z)) (pow.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z) 3) (*.f64 (cbrt.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z)) (cbrt.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z))) (cbrt.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z)) (*.f64 (pow.f64 (+.f64 1 (sqrt.f64 y)) z) (pow.f64 (-.f64 1 (sqrt.f64 y)) z)) (log.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 (sqrt.f64 y))) (log.f64 (+.f64 1 (sqrt.f64 y)))) z)) (*.f64 (pow.f64 (+.f64 1 (sqrt.f64 y)) z) (pow.f64 (-.f64 1 (sqrt.f64 y)) z)) (*.f64 x (log.f64 y)) (*.f64 (log.f64 y) (sqrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x)) x (*.f64 x (sqrt.f64 (log.f64 y))) (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) x (*.f64 (log.f64 1) x) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (log.f64 1) x) (*.f64 x (log.f64 y)) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (log.f64 (sqrt.f64 y))) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y))) (pow.f64 (*.f64 x (log.f64 y)) 3) (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))) (pow.f64 (*.f64 x (log.f64 y)) 3) (pow.f64 y x) (log.f64 (*.f64 x (log.f64 y))) (log.f64 (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y)) (neg.f64 (+.f64 (+.f64 (*.f64 (pow.f64 y 3) (pow.f64 (NAN.f64) 4)) (*.f64 y (NAN.f64))) (+.f64 (*.f64 (pow.f64 y 3) (+.f64 (pow.f64 (NAN.f64) 5) (*.f64 (pow.f64 (NAN.f64) 3) 1/3))) (*.f64 (*.f64 y y) (+.f64 (pow.f64 (NAN.f64) 3) (*.f64 1/2 (pow.f64 (NAN.f64) 2))))))) (-.f64 (log.f64 (-.f64 1 (NAN.f64))) (+.f64 (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (-.f64 1 (NAN.f64)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (NAN.f64) 6) (*.f64 (*.f64 y y) (pow.f64 (-.f64 1 (NAN.f64)) 2)))) (/.f64 (pow.f64 (NAN.f64) 3) (*.f64 y (-.f64 1 (NAN.f64))))))) (-.f64 (+.f64 (log.f64 (-.f64 1 (NAN.f64))) (/.f64 (pow.f64 (NAN.f64) 3) (*.f64 y (-.f64 1 (NAN.f64))))) (+.f64 (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (-.f64 1 (NAN.f64)))) (*.f64 1/2 (/.f64 (pow.f64 (NAN.f64) 6) (*.f64 (*.f64 y y) (pow.f64 (-.f64 1 (NAN.f64)) 2)))))) (+.f64 (*.f64 y (NAN.f64)) (-.f64 (+.f64 (*.f64 (pow.f64 (NAN.f64) 3) (*.f64 y y)) (*.f64 (pow.f64 y 3) (+.f64 (pow.f64 (NAN.f64) 5) (*.f64 (pow.f64 (NAN.f64) 3) 1/3)))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y y) (pow.f64 (NAN.f64) 2))) (*.f64 (pow.f64 y 3) (pow.f64 (NAN.f64) 4))))) (-.f64 (+.f64 (log.f64 (+.f64 1 (NAN.f64))) (+.f64 (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (+.f64 1 (NAN.f64)))) (/.f64 (pow.f64 (NAN.f64) 3) (+.f64 y (*.f64 y (NAN.f64)))))) (*.f64 1/2 (/.f64 (pow.f64 (NAN.f64) 6) (*.f64 (*.f64 y y) (pow.f64 (+.f64 1 (NAN.f64)) 2))))) (-.f64 (+.f64 (log.f64 (+.f64 1 (NAN.f64))) (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (+.f64 1 (NAN.f64))))) (+.f64 (/.f64 (pow.f64 (NAN.f64) 3) (+.f64 y (*.f64 y (NAN.f64)))) (*.f64 1/2 (/.f64 (pow.f64 (NAN.f64) 6) (*.f64 (*.f64 y y) (pow.f64 (+.f64 1 (NAN.f64)) 2)))))) 0 (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 3) (+.f64 y (*.f64 y (NAN.f64))))) (-.f64 (-.f64 (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (+.f64 1 (NAN.f64))))) (*.f64 z (+.f64 (log.f64 (-.f64 1 (NAN.f64))) (log.f64 (+.f64 1 (NAN.f64)))))) (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (-.f64 1 (NAN.f64))))) (*.f64 1/2 (+.f64 (/.f64 (*.f64 z (pow.f64 (NAN.f64) 6)) (*.f64 (*.f64 y y) (-.f64 (+.f64 1 (pow.f64 (NAN.f64) 2)) (*.f64 (NAN.f64) 2)))) (/.f64 (*.f64 z (pow.f64 (NAN.f64) 6)) (*.f64 (*.f64 y y) (+.f64 1 (*.f64 (NAN.f64) (+.f64 (NAN.f64) 2))))))))) (*.f64 z (/.f64 (pow.f64 (NAN.f64) 3) (*.f64 y (-.f64 1 (NAN.f64))))))) (-.f64 (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (+.f64 1 (NAN.f64))))) (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 3) (*.f64 y (-.f64 1 (NAN.f64))))) (*.f64 z (+.f64 (log.f64 (-.f64 1 (NAN.f64))) (log.f64 (+.f64 1 (NAN.f64))))))) (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 3) (+.f64 y (*.f64 y (NAN.f64))))) (+.f64 (*.f64 z (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 (*.f64 y y) (-.f64 1 (NAN.f64))))) (*.f64 1/2 (+.f64 (/.f64 (*.f64 z (pow.f64 (NAN.f64) 6)) (*.f64 (*.f64 y y) (-.f64 (+.f64 1 (pow.f64 (NAN.f64) 2)) (*.f64 (NAN.f64) 2)))) (/.f64 (*.f64 z (pow.f64 (NAN.f64) 6)) (*.f64 (*.f64 y y) (+.f64 1 (*.f64 (NAN.f64) (+.f64 (NAN.f64) 2)))))))))) (*.f64 x (log.f64 y)) (neg.f64 (*.f64 x (neg.f64 (log.f64 y)))) (*.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y)))) 2.899 * * * [progress]: adding candidates to table