28.755 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.073 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.074 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.077 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.083 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 0.102 * * [simplify]: iteration 4 : 207 enodes (cost 11 ) 0.135 * * [simplify]: iteration 5 : 273 enodes (cost 11 ) 0.178 * * [simplify]: iteration 6 : 383 enodes (cost 11 ) 0.258 * * [simplify]: iteration 7 : 546 enodes (cost 11 ) 0.368 * * [simplify]: iteration 8 : 589 enodes (cost 11 ) 0.487 * * [simplify]: iteration 9 : 591 enodes (cost 11 ) 0.602 * * [simplify]: iteration done : 591 enodes (cost 11 ) 0.603 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.603 * * [progress]: iteration 1 / 4 0.603 * * * [progress]: picking best candidate 0.605 * * * * [pick]: Picked # 0.605 * * * [progress]: localizing error 0.616 * * * [progress]: generating rewritten candidates 0.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.620 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.640 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.713 * * * [progress]: generating series expansions 0.713 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.713 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.713 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.713 * [taylor]: Taking taylor expansion of x in y 0.713 * [taylor]: Taking taylor expansion of (log y) in y 0.713 * [taylor]: Taking taylor expansion of y in y 0.714 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (log y) in x 0.714 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (log y) in x 0.714 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of 0 in y 0.715 * [taylor]: Taking taylor expansion of (log y) in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.717 * [taylor]: Taking taylor expansion of 0 in y 0.720 * [taylor]: Taking taylor expansion of 0 in y 0.721 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.721 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.721 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.721 * [taylor]: Taking taylor expansion of y in y 0.721 * [taylor]: Taking taylor expansion of x in y 0.722 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.722 * [taylor]: Taking taylor expansion of y in y 0.725 * [taylor]: Taking taylor expansion of 0 in y 0.728 * [taylor]: Taking taylor expansion of 0 in y 0.732 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.733 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.733 * [taylor]: Taking taylor expansion of -1 in y 0.733 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.733 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.733 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.733 * [taylor]: Taking taylor expansion of -1 in y 0.733 * [taylor]: Taking taylor expansion of y in y 0.733 * [taylor]: Taking taylor expansion of x in y 0.735 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.735 * [taylor]: Taking taylor expansion of -1 in x 0.735 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.735 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.735 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.735 * [taylor]: Taking taylor expansion of -1 in x 0.735 * [taylor]: Taking taylor expansion of y in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.735 * [taylor]: Taking taylor expansion of -1 in x 0.735 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.735 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.735 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.735 * [taylor]: Taking taylor expansion of -1 in x 0.735 * [taylor]: Taking taylor expansion of y in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.735 * [taylor]: Taking taylor expansion of -1 in y 0.735 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.735 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.735 * [taylor]: Taking taylor expansion of -1 in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.739 * [taylor]: Taking taylor expansion of 0 in y 0.746 * [taylor]: Taking taylor expansion of 0 in y 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.754 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.754 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.754 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.754 * [taylor]: Taking taylor expansion of x in z 0.754 * [taylor]: Taking taylor expansion of (log y) in z 0.754 * [taylor]: Taking taylor expansion of y in z 0.754 * [taylor]: Taking taylor expansion of (+ z y) in z 0.754 * [taylor]: Taking taylor expansion of z in z 0.754 * [taylor]: Taking taylor expansion of y in z 0.754 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.754 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of (log y) in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.755 * [taylor]: Taking taylor expansion of (+ z y) in y 0.755 * [taylor]: Taking taylor expansion of z in y 0.755 * [taylor]: Taking taylor expansion of y in y 0.755 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.755 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (log y) in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (+ z y) in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.755 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (log y) in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (+ z y) in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 0.755 * [taylor]: Taking taylor expansion of (+ z y) in y 0.755 * [taylor]: Taking taylor expansion of z in y 0.755 * [taylor]: Taking taylor expansion of y in y 0.755 * [taylor]: Taking taylor expansion of (- z) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of (log y) in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.757 * [taylor]: Taking taylor expansion of (log y) in z 0.757 * [taylor]: Taking taylor expansion of y in z 0.758 * [taylor]: Taking taylor expansion of -1 in z 0.759 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 0.759 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 0.759 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.759 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.759 * [taylor]: Taking taylor expansion of y in z 0.759 * [taylor]: Taking taylor expansion of x in z 0.759 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.759 * [taylor]: Taking taylor expansion of z in z 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.759 * [taylor]: Taking taylor expansion of y in z 0.759 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 0.759 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.759 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.760 * [taylor]: Taking taylor expansion of z in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.761 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.761 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.761 * [taylor]: Taking taylor expansion of z in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.761 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.761 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.761 * [taylor]: Taking taylor expansion of z in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.763 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.763 * [taylor]: Taking taylor expansion of z in y 0.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of -1 in z 0.764 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.764 * [taylor]: Taking taylor expansion of (log y) in z 0.764 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of 0 in y 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.770 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.770 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.770 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.770 * [taylor]: Taking taylor expansion of z in z 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.770 * [taylor]: Taking taylor expansion of y in z 0.771 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.771 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.771 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.771 * [taylor]: Taking taylor expansion of -1 in z 0.771 * [taylor]: Taking taylor expansion of y in z 0.771 * [taylor]: Taking taylor expansion of x in z 0.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.771 * [taylor]: Taking taylor expansion of z in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.771 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.771 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.771 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.771 * [taylor]: Taking taylor expansion of -1 in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.772 * [taylor]: Taking taylor expansion of x in y 0.773 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.773 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.773 * [taylor]: Taking taylor expansion of z in x 0.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.773 * [taylor]: Taking taylor expansion of y in x 0.773 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.773 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.773 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.773 * [taylor]: Taking taylor expansion of -1 in x 0.773 * [taylor]: Taking taylor expansion of y in x 0.773 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.774 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.774 * [taylor]: Taking taylor expansion of -1 in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.774 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.774 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.774 * [taylor]: Taking taylor expansion of -1 in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.777 * [taylor]: Taking taylor expansion of z in y 0.777 * [taylor]: Taking taylor expansion of 1 in z 0.778 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.778 * [taylor]: Taking taylor expansion of (log y) in z 0.778 * [taylor]: Taking taylor expansion of y in z 0.778 * [taylor]: Taking taylor expansion of (log -1) in z 0.778 * [taylor]: Taking taylor expansion of -1 in z 0.781 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.783 * [taylor]: Taking taylor expansion of 0 in z 0.785 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.786 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.786 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.786 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.786 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.786 * [taylor]: Taking taylor expansion of x in t 0.786 * [taylor]: Taking taylor expansion of (log y) in t 0.786 * [taylor]: Taking taylor expansion of y in t 0.786 * [taylor]: Taking taylor expansion of (log t) in t 0.786 * [taylor]: Taking taylor expansion of t in t 0.786 * [taylor]: Taking taylor expansion of (+ z y) in t 0.786 * [taylor]: Taking taylor expansion of z in t 0.786 * [taylor]: Taking taylor expansion of y in t 0.786 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.786 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.786 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.786 * [taylor]: Taking taylor expansion of x in z 0.786 * [taylor]: Taking taylor expansion of (log y) in z 0.786 * [taylor]: Taking taylor expansion of y in z 0.786 * [taylor]: Taking taylor expansion of (log t) in z 0.786 * [taylor]: Taking taylor expansion of t in z 0.786 * [taylor]: Taking taylor expansion of (+ z y) in z 0.786 * [taylor]: Taking taylor expansion of z in z 0.786 * [taylor]: Taking taylor expansion of y in z 0.786 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.786 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.786 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (log y) in y 0.786 * [taylor]: Taking taylor expansion of y in y 0.787 * [taylor]: Taking taylor expansion of (log t) in y 0.787 * [taylor]: Taking taylor expansion of t in y 0.787 * [taylor]: Taking taylor expansion of (+ z y) in y 0.787 * [taylor]: Taking taylor expansion of z in y 0.787 * [taylor]: Taking taylor expansion of y in y 0.787 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.787 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.787 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (log y) in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (log t) in x 0.787 * [taylor]: Taking taylor expansion of t in x 0.787 * [taylor]: Taking taylor expansion of (+ z y) in x 0.787 * [taylor]: Taking taylor expansion of z in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.787 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.787 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (log y) in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (log t) in x 0.787 * [taylor]: Taking taylor expansion of t in x 0.787 * [taylor]: Taking taylor expansion of (+ z y) in x 0.787 * [taylor]: Taking taylor expansion of z in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.787 * [taylor]: Taking taylor expansion of (log t) in y 0.787 * [taylor]: Taking taylor expansion of t in y 0.787 * [taylor]: Taking taylor expansion of (+ z y) in y 0.787 * [taylor]: Taking taylor expansion of z in y 0.787 * [taylor]: Taking taylor expansion of y in y 0.787 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.787 * [taylor]: Taking taylor expansion of (log t) in z 0.788 * [taylor]: Taking taylor expansion of t in z 0.788 * [taylor]: Taking taylor expansion of z in z 0.788 * [taylor]: Taking taylor expansion of (log t) in t 0.788 * [taylor]: Taking taylor expansion of t in t 0.790 * [taylor]: Taking taylor expansion of (log y) in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of (log y) in z 0.791 * [taylor]: Taking taylor expansion of y in z 0.791 * [taylor]: Taking taylor expansion of (log y) in t 0.791 * [taylor]: Taking taylor expansion of y in t 0.792 * [taylor]: Taking taylor expansion of -1 in z 0.792 * [taylor]: Taking taylor expansion of -1 in t 0.793 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.793 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.793 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.793 * [taylor]: Taking taylor expansion of t in t 0.793 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.793 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.793 * [taylor]: Taking taylor expansion of y in t 0.793 * [taylor]: Taking taylor expansion of x in t 0.793 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.794 * [taylor]: Taking taylor expansion of y in t 0.794 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.794 * [taylor]: Taking taylor expansion of z in t 0.794 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.794 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.794 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.794 * [taylor]: Taking taylor expansion of t in z 0.794 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.794 * [taylor]: Taking taylor expansion of y in z 0.794 * [taylor]: Taking taylor expansion of x in z 0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.794 * [taylor]: Taking taylor expansion of y in z 0.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.794 * [taylor]: Taking taylor expansion of z in z 0.794 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.794 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.794 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.794 * [taylor]: Taking taylor expansion of t in y 0.794 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.794 * [taylor]: Taking taylor expansion of y in y 0.795 * [taylor]: Taking taylor expansion of x in y 0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.796 * [taylor]: Taking taylor expansion of z in y 0.796 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.796 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.796 * [taylor]: Taking taylor expansion of t in x 0.796 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.796 * [taylor]: Taking taylor expansion of y in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.796 * [taylor]: Taking taylor expansion of y in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.796 * [taylor]: Taking taylor expansion of z in x 0.796 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.796 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.796 * [taylor]: Taking taylor expansion of t in x 0.796 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.797 * [taylor]: Taking taylor expansion of y in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.797 * [taylor]: Taking taylor expansion of y in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.797 * [taylor]: Taking taylor expansion of z in x 0.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.797 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.799 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.799 * [taylor]: Taking taylor expansion of t in y 0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.799 * [taylor]: Taking taylor expansion of z in y 0.800 * [taylor]: Taking taylor expansion of -1 in z 0.800 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.800 * [taylor]: Taking taylor expansion of (log y) in z 0.800 * [taylor]: Taking taylor expansion of y in z 0.804 * [taylor]: Taking taylor expansion of 0 in y 0.805 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.805 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.805 * [taylor]: Taking taylor expansion of t in z 0.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.805 * [taylor]: Taking taylor expansion of z in z 0.805 * [taylor]: Taking taylor expansion of -1 in t 0.807 * [taylor]: Taking taylor expansion of 0 in z 0.807 * [taylor]: Taking taylor expansion of -1 in t 0.807 * [taylor]: Taking taylor expansion of (- (log y)) in t 0.807 * [taylor]: Taking taylor expansion of (log y) in t 0.807 * [taylor]: Taking taylor expansion of y in t 0.808 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.808 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.808 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.808 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.808 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.808 * [taylor]: Taking taylor expansion of -1 in t 0.808 * [taylor]: Taking taylor expansion of t in t 0.808 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.808 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.808 * [taylor]: Taking taylor expansion of y in t 0.808 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.808 * [taylor]: Taking taylor expansion of z in t 0.808 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.808 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.808 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.808 * [taylor]: Taking taylor expansion of -1 in t 0.808 * [taylor]: Taking taylor expansion of y in t 0.809 * [taylor]: Taking taylor expansion of x in t 0.809 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.809 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.809 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.809 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.809 * [taylor]: Taking taylor expansion of -1 in z 0.809 * [taylor]: Taking taylor expansion of t in z 0.809 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.809 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.809 * [taylor]: Taking taylor expansion of y in z 0.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.809 * [taylor]: Taking taylor expansion of z in z 0.809 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.809 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.809 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.809 * [taylor]: Taking taylor expansion of -1 in z 0.809 * [taylor]: Taking taylor expansion of y in z 0.809 * [taylor]: Taking taylor expansion of x in z 0.809 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.809 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.809 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.809 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.809 * [taylor]: Taking taylor expansion of -1 in y 0.809 * [taylor]: Taking taylor expansion of t in y 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.810 * [taylor]: Taking taylor expansion of z in y 0.810 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.810 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.810 * [taylor]: Taking taylor expansion of -1 in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of x in y 0.812 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.812 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.812 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.812 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.812 * [taylor]: Taking taylor expansion of -1 in x 0.812 * [taylor]: Taking taylor expansion of t in x 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.812 * [taylor]: Taking taylor expansion of y in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.812 * [taylor]: Taking taylor expansion of z in x 0.812 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.812 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.812 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.812 * [taylor]: Taking taylor expansion of -1 in x 0.812 * [taylor]: Taking taylor expansion of y in x 0.812 * [taylor]: Taking taylor expansion of x in x 0.812 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.812 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.812 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.812 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.812 * [taylor]: Taking taylor expansion of -1 in x 0.812 * [taylor]: Taking taylor expansion of t in x 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.812 * [taylor]: Taking taylor expansion of y in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.813 * [taylor]: Taking taylor expansion of z in x 0.813 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.813 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.813 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.813 * [taylor]: Taking taylor expansion of -1 in x 0.813 * [taylor]: Taking taylor expansion of y in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.813 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.813 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.813 * [taylor]: Taking taylor expansion of -1 in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.815 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.815 * [taylor]: Taking taylor expansion of z in y 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.815 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.816 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.816 * [taylor]: Taking taylor expansion of -1 in y 0.816 * [taylor]: Taking taylor expansion of t in y 0.816 * [taylor]: Taking taylor expansion of 1 in z 0.817 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.817 * [taylor]: Taking taylor expansion of (log y) in z 0.817 * [taylor]: Taking taylor expansion of y in z 0.817 * [taylor]: Taking taylor expansion of (log -1) in z 0.817 * [taylor]: Taking taylor expansion of -1 in z 0.821 * [taylor]: Taking taylor expansion of 0 in y 0.821 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.821 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.821 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.821 * [taylor]: Taking taylor expansion of -1 in z 0.821 * [taylor]: Taking taylor expansion of t in z 0.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.822 * [taylor]: Taking taylor expansion of z in z 0.822 * [taylor]: Taking taylor expansion of 1 in t 0.824 * [taylor]: Taking taylor expansion of 0 in z 0.824 * [taylor]: Taking taylor expansion of 1 in t 0.825 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.825 * [taylor]: Taking taylor expansion of (log y) in t 0.825 * [taylor]: Taking taylor expansion of y in t 0.825 * [taylor]: Taking taylor expansion of (log -1) in t 0.825 * [taylor]: Taking taylor expansion of -1 in t 0.827 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.828 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 0.828 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 0.828 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.828 * [taylor]: Taking taylor expansion of x in y 0.828 * [taylor]: Taking taylor expansion of (log y) in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.828 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.828 * [taylor]: Taking taylor expansion of (log y) in x 0.828 * [taylor]: Taking taylor expansion of y in x 0.828 * [taylor]: Taking taylor expansion of y in x 0.828 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.828 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.828 * [taylor]: Taking taylor expansion of (log y) in x 0.828 * [taylor]: Taking taylor expansion of y in x 0.828 * [taylor]: Taking taylor expansion of y in x 0.828 * [taylor]: Taking taylor expansion of (- y) in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.830 * [taylor]: Taking taylor expansion of (log y) in y 0.830 * [taylor]: Taking taylor expansion of y in y 0.832 * [taylor]: Taking taylor expansion of 0 in y 0.839 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 0.841 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 0.841 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.841 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.841 * [taylor]: Taking taylor expansion of y in y 0.841 * [taylor]: Taking taylor expansion of x in y 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.842 * [taylor]: Taking taylor expansion of y in y 0.842 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.842 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.842 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.842 * [taylor]: Taking taylor expansion of y in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.843 * [taylor]: Taking taylor expansion of y in x 0.843 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.843 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.843 * [taylor]: Taking taylor expansion of y in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.843 * [taylor]: Taking taylor expansion of y in x 0.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.843 * [taylor]: Taking taylor expansion of y in y 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.845 * [taylor]: Taking taylor expansion of y in y 0.848 * [taylor]: Taking taylor expansion of 0 in y 0.853 * [taylor]: Taking taylor expansion of 0 in y 0.861 * [taylor]: Taking taylor expansion of 0 in y 0.861 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 0.861 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.862 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.862 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.862 * [taylor]: Taking taylor expansion of -1 in y 0.862 * [taylor]: Taking taylor expansion of y in y 0.862 * [taylor]: Taking taylor expansion of x in y 0.864 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.864 * [taylor]: Taking taylor expansion of y in x 0.864 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.864 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.864 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.864 * [taylor]: Taking taylor expansion of -1 in x 0.864 * [taylor]: Taking taylor expansion of y in x 0.864 * [taylor]: Taking taylor expansion of x in x 0.864 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.864 * [taylor]: Taking taylor expansion of y in x 0.864 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.864 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.864 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.864 * [taylor]: Taking taylor expansion of -1 in x 0.864 * [taylor]: Taking taylor expansion of y in x 0.864 * [taylor]: Taking taylor expansion of x in x 0.864 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.864 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.864 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.864 * [taylor]: Taking taylor expansion of -1 in y 0.864 * [taylor]: Taking taylor expansion of y in y 0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.883 * [taylor]: Taking taylor expansion of 0 in y 0.884 * * * [progress]: simplifying candidates 0.885 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (/ (exp (* x (log y))) (exp y)) (exp z)) (/ (exp (- (* x (log y)) y)) (exp z)) (log (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (- (* x (log y)) y) (- (* x (log y)) y)) (+ (* z z) (* (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) y) z) (- (- y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (- y) z) (+ y z) (- z) (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) t) (* (/ (exp (- (* x (log y)) y)) (exp z)) t) (* (exp (- (- (* x (log y)) y) z)) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (exp (+ (- (- (* x (log y)) y) z) (log t))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t)))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (+ (- (- (* x (log y)) y) z) (log 1)) (+ (- z) (log t)) (+ (- (- y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- y) z) (log t)) (+ (- z) (log t)) (- z (log t)) (/ (exp (* x (log y))) (exp y)) (log (- (* x (log y)) y)) (exp (- (* x (log y)) y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (* (* (- (* x (log y)) y) (- (* x (log y)) y)) (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* y y) (* (* x (log y)) y))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- y) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) (+ z y)) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) (- (+ (* x (log y)) (log t)) y) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) (- (* x (log y)) y) (- (+ (* x (log (/ 1 y))) y)) (- (* (log -1) x) (+ y (* x (log (/ -1 y))))) 0.890 * * [simplify]: iteration 0 : 167 enodes (cost 1160 ) 0.920 * * [simplify]: iteration 1 : 361 enodes (cost 1097 ) 0.996 * * [simplify]: iteration 2 : 918 enodes (cost 1064 ) 1.479 * * [simplify]: iteration 3 : 3312 enodes (cost 1016 ) 2.271 * * [simplify]: iteration done : 5001 enodes (cost 1016 ) 2.271 * [simplify]: Simplified to: (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (pow y x) (exp (+ y z))) (/ (pow y x) (exp (+ y z))) (log (- (- (* x (log y)) y) z)) (/ (pow y x) (exp (+ y z))) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (pow (- (- (* (log y) x) y) z) 3) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (+ (- (* x (log y)) y) z) (- (* x (log y)) y)) (* z z)) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) y) z) (- (+ y z)) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (+ y z)) (+ y z) (- z) (/ (* (pow y x) t) (exp (+ y z))) (/ (* (pow y x) t) (exp (+ y z))) (/ (* (pow y x) t) (exp (+ y z))) (log (+ (- (- (* x (log y)) y) z) (log t))) (/ (* (pow y x) t) (exp (+ y z))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (- (* (log t) (log t)) (* (- (- (* x (log y)) z) y) (- (log t) (- (- (* x (log y)) y) z)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (- (+ (* 2 (log (cbrt t))) (- (* x (log y)) z)) y) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* x (log y)) y) z) (- (log t) z) (- (- (log t) y) z) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (log t) y) z) (- (log t) z) (- z (log t)) (/ (pow y x) (exp y)) (log (- (* x (log y)) y)) (/ (pow y x) (exp y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (pow (- (* (log y) x) y) 3) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* y y) (* (+ (* x (log y)) y) (* x (log y)))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- y) (* x (log y)) (* x (log y)) (* x (log y)) (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z) (- (+ (* x (log y)) (log t)) y) (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (- (* x (log y)) y) (- (* x (log y)) y) 2.272 * * * [progress]: adding candidates to table 2.530 * * [progress]: iteration 2 / 4 2.530 * * * [progress]: picking best candidate 2.542 * * * * [pick]: Picked # 2.542 * * * [progress]: localizing error 2.558 * * * [progress]: generating rewritten candidates 2.558 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 2.562 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.582 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 2.586 * * * [progress]: generating series expansions 2.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 2.586 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 2.586 * [taylor]: Taking taylor expansion of (* x (log y)) in y 2.586 * [taylor]: Taking taylor expansion of x in y 2.586 * [taylor]: Taking taylor expansion of (log y) in y 2.586 * [taylor]: Taking taylor expansion of y in y 2.587 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.587 * [taylor]: Taking taylor expansion of x in x 2.587 * [taylor]: Taking taylor expansion of (log y) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.587 * [taylor]: Taking taylor expansion of x in x 2.587 * [taylor]: Taking taylor expansion of (log y) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [taylor]: Taking taylor expansion of 0 in y 2.588 * [taylor]: Taking taylor expansion of (log y) in y 2.588 * [taylor]: Taking taylor expansion of y in y 2.590 * [taylor]: Taking taylor expansion of 0 in y 2.593 * [taylor]: Taking taylor expansion of 0 in y 2.593 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 2.593 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 2.593 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.593 * [taylor]: Taking taylor expansion of y in y 2.594 * [taylor]: Taking taylor expansion of x in y 2.595 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.595 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.595 * [taylor]: Taking taylor expansion of y in x 2.595 * [taylor]: Taking taylor expansion of x in x 2.595 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.595 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.595 * [taylor]: Taking taylor expansion of y in x 2.595 * [taylor]: Taking taylor expansion of x in x 2.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.595 * [taylor]: Taking taylor expansion of y in y 2.597 * [taylor]: Taking taylor expansion of 0 in y 2.600 * [taylor]: Taking taylor expansion of 0 in y 2.605 * [taylor]: Taking taylor expansion of 0 in y 2.605 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 2.605 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 2.605 * [taylor]: Taking taylor expansion of -1 in y 2.605 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 2.605 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.605 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.605 * [taylor]: Taking taylor expansion of -1 in y 2.605 * [taylor]: Taking taylor expansion of y in y 2.606 * [taylor]: Taking taylor expansion of x in y 2.607 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 2.607 * [taylor]: Taking taylor expansion of -1 in x 2.607 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.607 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.607 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.607 * [taylor]: Taking taylor expansion of -1 in x 2.607 * [taylor]: Taking taylor expansion of y in x 2.607 * [taylor]: Taking taylor expansion of x in x 2.608 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 2.608 * [taylor]: Taking taylor expansion of -1 in x 2.608 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.608 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.608 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.608 * [taylor]: Taking taylor expansion of -1 in x 2.608 * [taylor]: Taking taylor expansion of y in x 2.608 * [taylor]: Taking taylor expansion of x in x 2.608 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 2.608 * [taylor]: Taking taylor expansion of -1 in y 2.608 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.608 * [taylor]: Taking taylor expansion of -1 in y 2.608 * [taylor]: Taking taylor expansion of y in y 2.611 * [taylor]: Taking taylor expansion of 0 in y 2.616 * [taylor]: Taking taylor expansion of 0 in y 2.623 * [taylor]: Taking taylor expansion of 0 in y 2.624 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 2.624 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 2.624 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 2.624 * [taylor]: Taking taylor expansion of (* x (log y)) in z 2.624 * [taylor]: Taking taylor expansion of x in z 2.624 * [taylor]: Taking taylor expansion of (log y) in z 2.624 * [taylor]: Taking taylor expansion of y in z 2.624 * [taylor]: Taking taylor expansion of (+ z y) in z 2.624 * [taylor]: Taking taylor expansion of z in z 2.624 * [taylor]: Taking taylor expansion of y in z 2.624 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 2.624 * [taylor]: Taking taylor expansion of (* x (log y)) in y 2.624 * [taylor]: Taking taylor expansion of x in y 2.624 * [taylor]: Taking taylor expansion of (log y) in y 2.624 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of (+ z y) in y 2.624 * [taylor]: Taking taylor expansion of z in y 2.624 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 2.624 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.624 * [taylor]: Taking taylor expansion of x in x 2.624 * [taylor]: Taking taylor expansion of (log y) in x 2.624 * [taylor]: Taking taylor expansion of y in x 2.624 * [taylor]: Taking taylor expansion of (+ z y) in x 2.624 * [taylor]: Taking taylor expansion of z in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 2.625 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.625 * [taylor]: Taking taylor expansion of x in x 2.625 * [taylor]: Taking taylor expansion of (log y) in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of (+ z y) in x 2.625 * [taylor]: Taking taylor expansion of z in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 2.625 * [taylor]: Taking taylor expansion of (+ z y) in y 2.625 * [taylor]: Taking taylor expansion of z in y 2.625 * [taylor]: Taking taylor expansion of y in y 2.625 * [taylor]: Taking taylor expansion of (- z) in z 2.625 * [taylor]: Taking taylor expansion of z in z 2.626 * [taylor]: Taking taylor expansion of (log y) in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.627 * [taylor]: Taking taylor expansion of (log y) in z 2.627 * [taylor]: Taking taylor expansion of y in z 2.628 * [taylor]: Taking taylor expansion of -1 in z 2.628 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 2.628 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 2.628 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 2.628 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 2.628 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.628 * [taylor]: Taking taylor expansion of y in z 2.629 * [taylor]: Taking taylor expansion of x in z 2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 2.629 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.629 * [taylor]: Taking taylor expansion of z in z 2.629 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.629 * [taylor]: Taking taylor expansion of y in z 2.629 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 2.629 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 2.629 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.629 * [taylor]: Taking taylor expansion of y in y 2.630 * [taylor]: Taking taylor expansion of x in y 2.630 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 2.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.630 * [taylor]: Taking taylor expansion of z in y 2.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.630 * [taylor]: Taking taylor expansion of y in y 2.630 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 2.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.631 * [taylor]: Taking taylor expansion of y in x 2.631 * [taylor]: Taking taylor expansion of x in x 2.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.631 * [taylor]: Taking taylor expansion of z in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.631 * [taylor]: Taking taylor expansion of y in x 2.631 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 2.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.631 * [taylor]: Taking taylor expansion of y in x 2.631 * [taylor]: Taking taylor expansion of x in x 2.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.631 * [taylor]: Taking taylor expansion of z in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.631 * [taylor]: Taking taylor expansion of y in x 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.631 * [taylor]: Taking taylor expansion of y in y 2.633 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 2.633 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 2.633 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.633 * [taylor]: Taking taylor expansion of z in y 2.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.633 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of -1 in z 2.634 * [taylor]: Taking taylor expansion of (- (log y)) in z 2.634 * [taylor]: Taking taylor expansion of (log y) in z 2.634 * [taylor]: Taking taylor expansion of y in z 2.637 * [taylor]: Taking taylor expansion of 0 in y 2.638 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.638 * [taylor]: Taking taylor expansion of z in z 2.643 * [taylor]: Taking taylor expansion of 0 in z 2.644 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 2.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 2.644 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 2.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.644 * [taylor]: Taking taylor expansion of z in z 2.644 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.644 * [taylor]: Taking taylor expansion of y in z 2.644 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 2.644 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 2.644 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.644 * [taylor]: Taking taylor expansion of -1 in z 2.644 * [taylor]: Taking taylor expansion of y in z 2.644 * [taylor]: Taking taylor expansion of x in z 2.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 2.645 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 2.645 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.645 * [taylor]: Taking taylor expansion of z in y 2.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.645 * [taylor]: Taking taylor expansion of y in y 2.645 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 2.645 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.645 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.645 * [taylor]: Taking taylor expansion of -1 in y 2.645 * [taylor]: Taking taylor expansion of y in y 2.646 * [taylor]: Taking taylor expansion of x in y 2.647 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 2.647 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.647 * [taylor]: Taking taylor expansion of z in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.647 * [taylor]: Taking taylor expansion of y in x 2.647 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.647 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.647 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.647 * [taylor]: Taking taylor expansion of -1 in x 2.647 * [taylor]: Taking taylor expansion of y in x 2.647 * [taylor]: Taking taylor expansion of x in x 2.647 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 2.647 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.647 * [taylor]: Taking taylor expansion of z in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.647 * [taylor]: Taking taylor expansion of y in x 2.647 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.647 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.647 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.647 * [taylor]: Taking taylor expansion of -1 in x 2.647 * [taylor]: Taking taylor expansion of y in x 2.647 * [taylor]: Taking taylor expansion of x in x 2.648 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 2.648 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.648 * [taylor]: Taking taylor expansion of -1 in y 2.648 * [taylor]: Taking taylor expansion of y in y 2.650 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 2.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.650 * [taylor]: Taking taylor expansion of y in y 2.650 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.650 * [taylor]: Taking taylor expansion of z in y 2.650 * [taylor]: Taking taylor expansion of 1 in z 2.651 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 2.651 * [taylor]: Taking taylor expansion of (log y) in z 2.651 * [taylor]: Taking taylor expansion of y in z 2.651 * [taylor]: Taking taylor expansion of (log -1) in z 2.651 * [taylor]: Taking taylor expansion of -1 in z 2.654 * [taylor]: Taking taylor expansion of 0 in y 2.655 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.655 * [taylor]: Taking taylor expansion of z in z 2.657 * [taylor]: Taking taylor expansion of 0 in z 2.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.659 * [approximate]: Taking taylor expansion of (log (sqrt t)) in (t) around 0 2.659 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 2.659 * [taylor]: Taking taylor expansion of (sqrt t) in t 2.659 * [taylor]: Taking taylor expansion of t in t 2.660 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 2.660 * [taylor]: Taking taylor expansion of (sqrt t) in t 2.660 * [taylor]: Taking taylor expansion of t in t 2.678 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 t))) in (t) around 0 2.678 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 2.679 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 2.679 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.679 * [taylor]: Taking taylor expansion of t in t 2.680 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 2.680 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 2.680 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.680 * [taylor]: Taking taylor expansion of t in t 2.699 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 t))) in (t) around 0 2.699 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 2.699 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 2.699 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.699 * [taylor]: Taking taylor expansion of -1 in t 2.699 * [taylor]: Taking taylor expansion of t in t 2.701 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 2.701 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 2.701 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.701 * [taylor]: Taking taylor expansion of -1 in t 2.701 * [taylor]: Taking taylor expansion of t in t 2.720 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.720 * [approximate]: Taking taylor expansion of (log (sqrt t)) in (t) around 0 2.720 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 2.720 * [taylor]: Taking taylor expansion of (sqrt t) in t 2.720 * [taylor]: Taking taylor expansion of t in t 2.721 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 2.721 * [taylor]: Taking taylor expansion of (sqrt t) in t 2.721 * [taylor]: Taking taylor expansion of t in t 2.742 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 t))) in (t) around 0 2.742 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 2.742 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 2.742 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.742 * [taylor]: Taking taylor expansion of t in t 2.743 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 2.743 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 2.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.743 * [taylor]: Taking taylor expansion of t in t 2.763 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 t))) in (t) around 0 2.763 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 2.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 2.763 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.763 * [taylor]: Taking taylor expansion of -1 in t 2.763 * [taylor]: Taking taylor expansion of t in t 2.764 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 2.764 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 2.764 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.765 * [taylor]: Taking taylor expansion of -1 in t 2.765 * [taylor]: Taking taylor expansion of t in t 2.783 * * * [progress]: simplifying candidates 2.784 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (/ (exp (* x (log y))) (exp y)) (exp z)) (/ (exp (- (* x (log y)) y)) (exp z)) (log (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (- (* x (log y)) y) (- (* x (log y)) y)) (+ (* z z) (* (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) y) z) (- (- y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (- y) z) (+ y z) (- z) (log (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (log (cbrt (sqrt t))) (log (sqrt (* (cbrt t) (cbrt t)))) (log (sqrt (cbrt t))) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) (log (sqrt 1)) (log (sqrt t)) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) (log 1) (log (sqrt t)) (log t) (log (sqrt t)) (log t) (log (log (sqrt t))) (exp (log (sqrt t))) (* (cbrt (log (sqrt t))) (cbrt (log (sqrt t)))) (cbrt (log (sqrt t))) (* (* (log (sqrt t)) (log (sqrt t))) (log (sqrt t))) (sqrt (log (sqrt t))) (sqrt (log (sqrt t))) (log (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (log (cbrt (sqrt t))) (log (sqrt (* (cbrt t) (cbrt t)))) (log (sqrt (cbrt t))) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) (log (sqrt 1)) (log (sqrt t)) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) (log 1) (log (sqrt t)) (log t) (log (sqrt t)) (log t) (log (log (sqrt t))) (exp (log (sqrt t))) (* (cbrt (log (sqrt t))) (cbrt (log (sqrt t)))) (cbrt (log (sqrt t))) (* (* (log (sqrt t)) (log (sqrt t))) (log (sqrt t))) (sqrt (log (sqrt t))) (sqrt (log (sqrt t))) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) (+ z y)) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) (- (+ (log t) (log +nan.0)) (+ (* +nan.0 t) (- (* +nan.0 (pow t 2))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 t)) (- (* +nan.0 (/ 1 (pow t 2)))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 t)) (- (* +nan.0 (/ 1 (pow t 2)))))) (- (+ (log t) (log +nan.0)) (+ (* +nan.0 t) (- (* +nan.0 (pow t 2))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 t)) (- (* +nan.0 (/ 1 (pow t 2)))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 t)) (- (* +nan.0 (/ 1 (pow t 2)))))) 2.788 * * [simplify]: iteration 0 : 153 enodes (cost 800 ) 2.818 * * [simplify]: iteration 1 : 285 enodes (cost 763 ) 2.865 * * [simplify]: iteration 2 : 621 enodes (cost 704 ) 3.000 * * [simplify]: iteration 3 : 1489 enodes (cost 683 ) 3.371 * * [simplify]: iteration done : 5001 enodes (cost 683 ) 3.371 * [simplify]: Simplified to: (* (log y) x) (log (* x (log y))) (log (* x (log y))) (pow y x) (* (pow x 3) (pow (log y) 3)) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (pow x 3) (pow (log y) 3)) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* (log y) x) (/ (pow y x) (exp (+ y z))) (/ (pow y x) (exp (+ y z))) (log (- (- (* x (log y)) y) z)) (/ (pow y x) (exp (+ y z))) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* z z) (* (- (* x (log y)) y) (+ (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (* x (log y)) (+ y z)) (- (+ y z)) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (* x (log y)) (+ y z)) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (* x (log y)) (+ y z)) (- (+ y z)) (+ y z) (- z) (* 2 (log (cbrt (sqrt t)))) (log (cbrt (sqrt t))) (log (fabs (cbrt t))) (log (sqrt (cbrt t))) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) 0 (log (sqrt t)) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) 0 (log (sqrt t)) (log t) (log (sqrt t)) (log t) (log (log (sqrt t))) (sqrt t) (* (cbrt (log (sqrt t))) (cbrt (log (sqrt t)))) (cbrt (log (sqrt t))) (pow (log (sqrt t)) 3) (sqrt (log (sqrt t))) (sqrt (log (sqrt t))) (* 2 (log (cbrt (sqrt t)))) (log (cbrt (sqrt t))) (log (fabs (cbrt t))) (log (sqrt (cbrt t))) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) 0 (log (sqrt t)) (log (sqrt (sqrt t))) (log (sqrt (sqrt t))) 0 (log (sqrt t)) (log t) (log (sqrt t)) (log t) (log (log (sqrt t))) (sqrt t) (* (cbrt (log (sqrt t))) (cbrt (log (sqrt t)))) (cbrt (log (sqrt t))) (pow (log (sqrt t)) 3) (sqrt (log (sqrt t))) (sqrt (log (sqrt t))) (* (log y) x) (* (log y) x) (* (log y) x) (- (* x (log y)) (+ y z)) (- (* x (log y)) (+ y z)) (- (* x (log y)) (+ y z)) (+ (log t) (- (log +nan.0) (* +nan.0 (- t (pow t 2))))) (- (log +nan.0) (- (/ +nan.0 t) (/ +nan.0 (pow t 2)))) (- (log +nan.0) (- (/ +nan.0 t) (/ +nan.0 (pow t 2)))) (+ (log t) (- (log +nan.0) (* +nan.0 (- t (pow t 2))))) (- (log +nan.0) (- (/ +nan.0 t) (/ +nan.0 (pow t 2)))) (- (log +nan.0) (- (/ +nan.0 t) (/ +nan.0 (pow t 2)))) 3.372 * * * [progress]: adding candidates to table 3.641 * * [progress]: iteration 3 / 4 3.641 * * * [progress]: picking best candidate 3.653 * * * * [pick]: Picked # 3.653 * * * [progress]: localizing error 3.666 * * * [progress]: generating rewritten candidates 3.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.677 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.841 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.870 * * * [progress]: generating series expansions 3.870 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.870 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 3.870 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.870 * [taylor]: Taking taylor expansion of x in y 3.870 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.870 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.870 * [taylor]: Taking taylor expansion of y in y 3.872 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.872 * [taylor]: Taking taylor expansion of x in x 3.872 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.872 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.872 * [taylor]: Taking taylor expansion of y in x 3.872 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.872 * [taylor]: Taking taylor expansion of x in x 3.872 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.872 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.872 * [taylor]: Taking taylor expansion of y in x 3.872 * [taylor]: Taking taylor expansion of 0 in y 3.873 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.873 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.873 * [taylor]: Taking taylor expansion of y in y 3.877 * [taylor]: Taking taylor expansion of 0 in y 3.886 * [taylor]: Taking taylor expansion of 0 in y 3.897 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 3.897 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.897 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.897 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.897 * [taylor]: Taking taylor expansion of y in y 3.899 * [taylor]: Taking taylor expansion of x in y 3.899 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.899 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.899 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.899 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.899 * [taylor]: Taking taylor expansion of y in x 3.899 * [taylor]: Taking taylor expansion of x in x 3.899 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.899 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.899 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.900 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.900 * [taylor]: Taking taylor expansion of y in x 3.900 * [taylor]: Taking taylor expansion of x in x 3.900 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.900 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.900 * [taylor]: Taking taylor expansion of y in y 3.903 * [taylor]: Taking taylor expansion of 0 in y 3.911 * [taylor]: Taking taylor expansion of 0 in y 3.922 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 3.922 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 3.922 * [taylor]: Taking taylor expansion of -1 in y 3.922 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 3.922 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.922 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.922 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.922 * [taylor]: Taking taylor expansion of -1 in y 3.923 * [taylor]: Taking taylor expansion of y in y 3.924 * [taylor]: Taking taylor expansion of x in y 3.924 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 3.924 * [taylor]: Taking taylor expansion of -1 in x 3.924 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 3.924 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.924 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.924 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.924 * [taylor]: Taking taylor expansion of -1 in x 3.924 * [taylor]: Taking taylor expansion of y in x 3.925 * [taylor]: Taking taylor expansion of x in x 3.925 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 3.925 * [taylor]: Taking taylor expansion of -1 in x 3.925 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 3.925 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.925 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.925 * [taylor]: Taking taylor expansion of -1 in x 3.925 * [taylor]: Taking taylor expansion of y in x 3.925 * [taylor]: Taking taylor expansion of x in x 3.925 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 3.925 * [taylor]: Taking taylor expansion of -1 in y 3.925 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.925 * [taylor]: Taking taylor expansion of -1 in y 3.925 * [taylor]: Taking taylor expansion of y in y 3.929 * [taylor]: Taking taylor expansion of 0 in y 3.940 * [taylor]: Taking taylor expansion of 0 in y 3.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 3.959 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 3.959 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.959 * [taylor]: Taking taylor expansion of x in y 3.959 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.959 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.959 * [taylor]: Taking taylor expansion of y in y 3.961 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.961 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.961 * [taylor]: Taking taylor expansion of y in x 3.961 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.961 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.961 * [taylor]: Taking taylor expansion of y in x 3.961 * [taylor]: Taking taylor expansion of 0 in y 3.962 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.962 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.962 * [taylor]: Taking taylor expansion of y in y 3.966 * [taylor]: Taking taylor expansion of 0 in y 3.975 * [taylor]: Taking taylor expansion of 0 in y 3.985 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 3.985 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.985 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.985 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.985 * [taylor]: Taking taylor expansion of y in y 3.987 * [taylor]: Taking taylor expansion of x in y 3.987 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.987 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.987 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.987 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.987 * [taylor]: Taking taylor expansion of y in x 3.988 * [taylor]: Taking taylor expansion of x in x 3.988 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.988 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.988 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.988 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.988 * [taylor]: Taking taylor expansion of y in x 3.988 * [taylor]: Taking taylor expansion of x in x 3.988 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.988 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.988 * [taylor]: Taking taylor expansion of y in y 3.991 * [taylor]: Taking taylor expansion of 0 in y 3.999 * [taylor]: Taking taylor expansion of 0 in y 4.011 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 4.011 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 4.011 * [taylor]: Taking taylor expansion of -1 in y 4.011 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 4.011 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.011 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.011 * [taylor]: Taking taylor expansion of -1 in y 4.011 * [taylor]: Taking taylor expansion of y in y 4.013 * [taylor]: Taking taylor expansion of x in y 4.013 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 4.013 * [taylor]: Taking taylor expansion of -1 in x 4.013 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.013 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.013 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.013 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.013 * [taylor]: Taking taylor expansion of -1 in x 4.013 * [taylor]: Taking taylor expansion of y in x 4.013 * [taylor]: Taking taylor expansion of x in x 4.013 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 4.013 * [taylor]: Taking taylor expansion of -1 in x 4.013 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.013 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.013 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.013 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.013 * [taylor]: Taking taylor expansion of -1 in x 4.013 * [taylor]: Taking taylor expansion of y in x 4.014 * [taylor]: Taking taylor expansion of x in x 4.014 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 4.014 * [taylor]: Taking taylor expansion of -1 in y 4.014 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.014 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.014 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.014 * [taylor]: Taking taylor expansion of -1 in y 4.014 * [taylor]: Taking taylor expansion of y in y 4.018 * [taylor]: Taking taylor expansion of 0 in y 4.033 * [taylor]: Taking taylor expansion of 0 in y 4.048 * * * * [progress]: [ 3 / 4 ] generating series at (2) 4.048 * [approximate]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in (x y z t) around 0 4.048 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in t 4.048 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in t 4.048 * [taylor]: Taking taylor expansion of (log t) in t 4.048 * [taylor]: Taking taylor expansion of t in t 4.048 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in t 4.048 * [taylor]: Taking taylor expansion of 2 in t 4.048 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in t 4.048 * [taylor]: Taking taylor expansion of x in t 4.048 * [taylor]: Taking taylor expansion of (log (sqrt y)) in t 4.048 * [taylor]: Taking taylor expansion of (sqrt y) in t 4.048 * [taylor]: Taking taylor expansion of y in t 4.048 * [taylor]: Taking taylor expansion of (+ z y) in t 4.048 * [taylor]: Taking taylor expansion of z in t 4.049 * [taylor]: Taking taylor expansion of y in t 4.049 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in z 4.049 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in z 4.049 * [taylor]: Taking taylor expansion of (log t) in z 4.049 * [taylor]: Taking taylor expansion of t in z 4.049 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z 4.049 * [taylor]: Taking taylor expansion of 2 in z 4.049 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 4.049 * [taylor]: Taking taylor expansion of x in z 4.049 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 4.049 * [taylor]: Taking taylor expansion of (sqrt y) in z 4.049 * [taylor]: Taking taylor expansion of y in z 4.049 * [taylor]: Taking taylor expansion of (+ z y) in z 4.049 * [taylor]: Taking taylor expansion of z in z 4.049 * [taylor]: Taking taylor expansion of y in z 4.049 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in y 4.049 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in y 4.049 * [taylor]: Taking taylor expansion of (log t) in y 4.049 * [taylor]: Taking taylor expansion of t in y 4.049 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y 4.049 * [taylor]: Taking taylor expansion of 2 in y 4.049 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 4.049 * [taylor]: Taking taylor expansion of x in y 4.049 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 4.049 * [taylor]: Taking taylor expansion of (sqrt y) in y 4.049 * [taylor]: Taking taylor expansion of y in y 4.050 * [taylor]: Taking taylor expansion of (+ z y) in y 4.050 * [taylor]: Taking taylor expansion of z in y 4.050 * [taylor]: Taking taylor expansion of y in y 4.050 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in x 4.050 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in x 4.050 * [taylor]: Taking taylor expansion of (log t) in x 4.050 * [taylor]: Taking taylor expansion of t in x 4.050 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 4.050 * [taylor]: Taking taylor expansion of 2 in x 4.050 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 4.051 * [taylor]: Taking taylor expansion of x in x 4.051 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 4.051 * [taylor]: Taking taylor expansion of (sqrt y) in x 4.051 * [taylor]: Taking taylor expansion of y in x 4.051 * [taylor]: Taking taylor expansion of (+ z y) in x 4.051 * [taylor]: Taking taylor expansion of z in x 4.051 * [taylor]: Taking taylor expansion of y in x 4.051 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in x 4.051 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in x 4.051 * [taylor]: Taking taylor expansion of (log t) in x 4.051 * [taylor]: Taking taylor expansion of t in x 4.051 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 4.051 * [taylor]: Taking taylor expansion of 2 in x 4.051 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 4.051 * [taylor]: Taking taylor expansion of x in x 4.051 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 4.051 * [taylor]: Taking taylor expansion of (sqrt y) in x 4.051 * [taylor]: Taking taylor expansion of y in x 4.051 * [taylor]: Taking taylor expansion of (+ z y) in x 4.051 * [taylor]: Taking taylor expansion of z in x 4.051 * [taylor]: Taking taylor expansion of y in x 4.051 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 4.052 * [taylor]: Taking taylor expansion of (log t) in y 4.052 * [taylor]: Taking taylor expansion of t in y 4.052 * [taylor]: Taking taylor expansion of (+ z y) in y 4.052 * [taylor]: Taking taylor expansion of z in y 4.052 * [taylor]: Taking taylor expansion of y in y 4.052 * [taylor]: Taking taylor expansion of (- (log t) z) in z 4.052 * [taylor]: Taking taylor expansion of (log t) in z 4.052 * [taylor]: Taking taylor expansion of t in z 4.052 * [taylor]: Taking taylor expansion of z in z 4.052 * [taylor]: Taking taylor expansion of (log t) in t 4.052 * [taylor]: Taking taylor expansion of t in t 4.055 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y 4.055 * [taylor]: Taking taylor expansion of 2 in y 4.055 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 4.055 * [taylor]: Taking taylor expansion of (sqrt y) in y 4.055 * [taylor]: Taking taylor expansion of y in y 4.057 * [taylor]: Taking taylor expansion of (* 2 (+ (log +nan.0) (log y))) in z 4.057 * [taylor]: Taking taylor expansion of 2 in z 4.057 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z 4.057 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.057 * [taylor]: Taking taylor expansion of +nan.0 in z 4.058 * [taylor]: Taking taylor expansion of (log y) in z 4.058 * [taylor]: Taking taylor expansion of y in z 4.058 * [taylor]: Taking taylor expansion of (* 2 (+ (log +nan.0) (log y))) in t 4.058 * [taylor]: Taking taylor expansion of 2 in t 4.058 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in t 4.058 * [taylor]: Taking taylor expansion of (log +nan.0) in t 4.058 * [taylor]: Taking taylor expansion of +nan.0 in t 4.059 * [taylor]: Taking taylor expansion of (log y) in t 4.059 * [taylor]: Taking taylor expansion of y in t 4.061 * [taylor]: Taking taylor expansion of -1 in z 4.061 * [taylor]: Taking taylor expansion of -1 in t 4.062 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in (x y z t) around 0 4.062 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in t 4.062 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in t 4.062 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.062 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.062 * [taylor]: Taking taylor expansion of t in t 4.062 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in t 4.062 * [taylor]: Taking taylor expansion of 2 in t 4.062 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in t 4.062 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in t 4.062 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in t 4.062 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.062 * [taylor]: Taking taylor expansion of y in t 4.063 * [taylor]: Taking taylor expansion of x in t 4.063 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 4.063 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.063 * [taylor]: Taking taylor expansion of z in t 4.063 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.063 * [taylor]: Taking taylor expansion of y in t 4.063 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in z 4.063 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in z 4.063 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 4.063 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.063 * [taylor]: Taking taylor expansion of t in z 4.063 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z 4.063 * [taylor]: Taking taylor expansion of 2 in z 4.063 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 4.063 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 4.063 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 4.063 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.063 * [taylor]: Taking taylor expansion of y in z 4.063 * [taylor]: Taking taylor expansion of x in z 4.063 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.063 * [taylor]: Taking taylor expansion of z in z 4.064 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.064 * [taylor]: Taking taylor expansion of y in z 4.064 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in y 4.064 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in y 4.064 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 4.064 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.064 * [taylor]: Taking taylor expansion of t in y 4.064 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y 4.064 * [taylor]: Taking taylor expansion of 2 in y 4.064 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 4.064 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 4.064 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 4.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.064 * [taylor]: Taking taylor expansion of y in y 4.065 * [taylor]: Taking taylor expansion of x in y 4.066 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.066 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.066 * [taylor]: Taking taylor expansion of z in y 4.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.066 * [taylor]: Taking taylor expansion of y in y 4.066 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in x 4.066 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in x 4.066 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 4.066 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.066 * [taylor]: Taking taylor expansion of t in x 4.066 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 4.066 * [taylor]: Taking taylor expansion of 2 in x 4.066 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 4.066 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 4.066 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 4.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.066 * [taylor]: Taking taylor expansion of y in x 4.066 * [taylor]: Taking taylor expansion of x in x 4.067 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.067 * [taylor]: Taking taylor expansion of z in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.067 * [taylor]: Taking taylor expansion of y in x 4.067 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in x 4.067 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in x 4.067 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.067 * [taylor]: Taking taylor expansion of t in x 4.067 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 4.067 * [taylor]: Taking taylor expansion of 2 in x 4.067 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 4.067 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 4.067 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.067 * [taylor]: Taking taylor expansion of y in x 4.067 * [taylor]: Taking taylor expansion of x in x 4.067 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.067 * [taylor]: Taking taylor expansion of z in x 4.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.067 * [taylor]: Taking taylor expansion of y in x 4.067 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y 4.068 * [taylor]: Taking taylor expansion of 2 in y 4.068 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 4.068 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 4.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.068 * [taylor]: Taking taylor expansion of y in y 4.071 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 4.071 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 4.071 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.071 * [taylor]: Taking taylor expansion of t in y 4.071 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.071 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.071 * [taylor]: Taking taylor expansion of z in y 4.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.071 * [taylor]: Taking taylor expansion of y in y 4.072 * [taylor]: Taking taylor expansion of -1 in z 4.073 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 4.073 * [taylor]: Taking taylor expansion of 2 in z 4.073 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.073 * [taylor]: Taking taylor expansion of +nan.0 in z 4.077 * [taylor]: Taking taylor expansion of 0 in y 4.078 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 4.078 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 4.078 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.078 * [taylor]: Taking taylor expansion of t in z 4.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.078 * [taylor]: Taking taylor expansion of z in z 4.079 * [taylor]: Taking taylor expansion of -1 in t 4.086 * [taylor]: Taking taylor expansion of (- +nan.0) in z 4.086 * [taylor]: Taking taylor expansion of +nan.0 in z 4.086 * [taylor]: Taking taylor expansion of -1 in t 4.087 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 4.087 * [taylor]: Taking taylor expansion of 2 in t 4.087 * [taylor]: Taking taylor expansion of (log +nan.0) in t 4.087 * [taylor]: Taking taylor expansion of +nan.0 in t 4.090 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in (x y z t) around 0 4.090 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in t 4.090 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in t 4.090 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.090 * [taylor]: Taking taylor expansion of z in t 4.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in t 4.090 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.090 * [taylor]: Taking taylor expansion of y in t 4.090 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 4.090 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.090 * [taylor]: Taking taylor expansion of -1 in t 4.090 * [taylor]: Taking taylor expansion of t in t 4.090 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in t 4.090 * [taylor]: Taking taylor expansion of 2 in t 4.090 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in t 4.091 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in t 4.091 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in t 4.091 * [taylor]: Taking taylor expansion of (/ -1 y) in t 4.091 * [taylor]: Taking taylor expansion of -1 in t 4.091 * [taylor]: Taking taylor expansion of y in t 4.091 * [taylor]: Taking taylor expansion of x in t 4.091 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z 4.091 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in z 4.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.091 * [taylor]: Taking taylor expansion of z in z 4.091 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in z 4.091 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.091 * [taylor]: Taking taylor expansion of y in z 4.091 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 4.091 * [taylor]: Taking taylor expansion of (/ -1 t) in z 4.091 * [taylor]: Taking taylor expansion of -1 in z 4.091 * [taylor]: Taking taylor expansion of t in z 4.091 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z 4.091 * [taylor]: Taking taylor expansion of 2 in z 4.091 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 4.091 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 4.091 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 4.091 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.091 * [taylor]: Taking taylor expansion of -1 in z 4.091 * [taylor]: Taking taylor expansion of y in z 4.092 * [taylor]: Taking taylor expansion of x in z 4.092 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y 4.092 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 4.092 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.092 * [taylor]: Taking taylor expansion of z in y 4.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 4.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.092 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 4.092 * [taylor]: Taking taylor expansion of (/ -1 t) in y 4.092 * [taylor]: Taking taylor expansion of -1 in y 4.092 * [taylor]: Taking taylor expansion of t in y 4.092 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y 4.092 * [taylor]: Taking taylor expansion of 2 in y 4.092 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 4.092 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.092 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.092 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.092 * [taylor]: Taking taylor expansion of -1 in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.094 * [taylor]: Taking taylor expansion of x in y 4.094 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 4.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in x 4.094 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.094 * [taylor]: Taking taylor expansion of z in x 4.094 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in x 4.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.094 * [taylor]: Taking taylor expansion of y in x 4.095 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 4.095 * [taylor]: Taking taylor expansion of (/ -1 t) in x 4.095 * [taylor]: Taking taylor expansion of -1 in x 4.095 * [taylor]: Taking taylor expansion of t in x 4.095 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 4.095 * [taylor]: Taking taylor expansion of 2 in x 4.095 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.095 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.095 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.095 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.095 * [taylor]: Taking taylor expansion of -1 in x 4.095 * [taylor]: Taking taylor expansion of y in x 4.095 * [taylor]: Taking taylor expansion of x in x 4.095 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 4.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in x 4.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.095 * [taylor]: Taking taylor expansion of z in x 4.095 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in x 4.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.095 * [taylor]: Taking taylor expansion of y in x 4.095 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 4.095 * [taylor]: Taking taylor expansion of (/ -1 t) in x 4.095 * [taylor]: Taking taylor expansion of -1 in x 4.095 * [taylor]: Taking taylor expansion of t in x 4.095 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 4.095 * [taylor]: Taking taylor expansion of 2 in x 4.095 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.095 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.095 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.096 * [taylor]: Taking taylor expansion of -1 in x 4.096 * [taylor]: Taking taylor expansion of y in x 4.096 * [taylor]: Taking taylor expansion of x in x 4.096 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 y))))) in y 4.096 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y 4.096 * [taylor]: Taking taylor expansion of 2 in y 4.096 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.096 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.096 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.096 * [taylor]: Taking taylor expansion of -1 in y 4.096 * [taylor]: Taking taylor expansion of y in y 4.100 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 4.100 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 4.100 * [taylor]: Taking taylor expansion of (/ -1 t) in y 4.100 * [taylor]: Taking taylor expansion of -1 in y 4.100 * [taylor]: Taking taylor expansion of t in y 4.100 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.100 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.100 * [taylor]: Taking taylor expansion of z in y 4.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.100 * [taylor]: Taking taylor expansion of y in y 4.101 * [taylor]: Taking taylor expansion of 1 in z 4.102 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in z 4.102 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 4.102 * [taylor]: Taking taylor expansion of 2 in z 4.102 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.102 * [taylor]: Taking taylor expansion of +nan.0 in z 4.108 * [taylor]: Taking taylor expansion of 0 in y 4.108 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ -1 t))) in z 4.108 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.108 * [taylor]: Taking taylor expansion of z in z 4.108 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 4.108 * [taylor]: Taking taylor expansion of (/ -1 t) in z 4.108 * [taylor]: Taking taylor expansion of -1 in z 4.109 * [taylor]: Taking taylor expansion of t in z 4.109 * [taylor]: Taking taylor expansion of 1 in t 4.116 * [taylor]: Taking taylor expansion of (- +nan.0) in z 4.117 * [taylor]: Taking taylor expansion of +nan.0 in z 4.117 * [taylor]: Taking taylor expansion of 1 in t 4.118 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in t 4.118 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 4.118 * [taylor]: Taking taylor expansion of 2 in t 4.118 * [taylor]: Taking taylor expansion of (log +nan.0) in t 4.118 * [taylor]: Taking taylor expansion of +nan.0 in t 4.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 4.128 * [approximate]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in (x y z) around 0 4.128 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in z 4.128 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 4.128 * [taylor]: Taking taylor expansion of x in z 4.128 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 4.128 * [taylor]: Taking taylor expansion of (sqrt y) in z 4.128 * [taylor]: Taking taylor expansion of y in z 4.128 * [taylor]: Taking taylor expansion of (+ z y) in z 4.128 * [taylor]: Taking taylor expansion of z in z 4.128 * [taylor]: Taking taylor expansion of y in z 4.128 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in y 4.128 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 4.128 * [taylor]: Taking taylor expansion of x in y 4.128 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 4.128 * [taylor]: Taking taylor expansion of (sqrt y) in y 4.128 * [taylor]: Taking taylor expansion of y in y 4.129 * [taylor]: Taking taylor expansion of (+ z y) in y 4.129 * [taylor]: Taking taylor expansion of z in y 4.129 * [taylor]: Taking taylor expansion of y in y 4.129 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in x 4.130 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.130 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 4.130 * [taylor]: Taking taylor expansion of (sqrt y) in x 4.130 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of (+ z y) in x 4.130 * [taylor]: Taking taylor expansion of z in x 4.130 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in x 4.130 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.130 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 4.130 * [taylor]: Taking taylor expansion of (sqrt y) in x 4.130 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of (+ z y) in x 4.130 * [taylor]: Taking taylor expansion of z in x 4.130 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 4.130 * [taylor]: Taking taylor expansion of (+ z y) in y 4.130 * [taylor]: Taking taylor expansion of z in y 4.130 * [taylor]: Taking taylor expansion of y in y 4.130 * [taylor]: Taking taylor expansion of (- z) in z 4.130 * [taylor]: Taking taylor expansion of z in z 4.132 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 4.132 * [taylor]: Taking taylor expansion of (sqrt y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.134 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z 4.134 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.134 * [taylor]: Taking taylor expansion of +nan.0 in z 4.134 * [taylor]: Taking taylor expansion of (log y) in z 4.134 * [taylor]: Taking taylor expansion of y in z 4.135 * [taylor]: Taking taylor expansion of -1 in z 4.136 * [approximate]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 4.136 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in z 4.136 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 4.136 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 4.136 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 4.136 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.136 * [taylor]: Taking taylor expansion of y in z 4.136 * [taylor]: Taking taylor expansion of x in z 4.136 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.137 * [taylor]: Taking taylor expansion of z in z 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.137 * [taylor]: Taking taylor expansion of y in z 4.137 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in y 4.137 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 4.137 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 4.137 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.137 * [taylor]: Taking taylor expansion of y in y 4.138 * [taylor]: Taking taylor expansion of x in y 4.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.139 * [taylor]: Taking taylor expansion of z in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.139 * [taylor]: Taking taylor expansion of y in y 4.139 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in x 4.139 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 4.139 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 4.139 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.139 * [taylor]: Taking taylor expansion of y in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.139 * [taylor]: Taking taylor expansion of z in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.140 * [taylor]: Taking taylor expansion of y in x 4.140 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in x 4.140 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 4.140 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 4.140 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.140 * [taylor]: Taking taylor expansion of y in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.140 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.140 * [taylor]: Taking taylor expansion of z in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.140 * [taylor]: Taking taylor expansion of y in x 4.140 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 4.140 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 4.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.140 * [taylor]: Taking taylor expansion of y in y 4.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 4.143 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.143 * [taylor]: Taking taylor expansion of z in y 4.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.143 * [taylor]: Taking taylor expansion of y in y 4.144 * [taylor]: Taking taylor expansion of -1 in z 4.144 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.144 * [taylor]: Taking taylor expansion of +nan.0 in z 4.148 * [taylor]: Taking taylor expansion of 0 in y 4.148 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.148 * [taylor]: Taking taylor expansion of z in z 4.155 * [taylor]: Taking taylor expansion of +nan.0 in z 4.156 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in (x y z) around 0 4.156 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in z 4.156 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.156 * [taylor]: Taking taylor expansion of z in z 4.156 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.156 * [taylor]: Taking taylor expansion of y in z 4.157 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 4.157 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 4.157 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 4.157 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.157 * [taylor]: Taking taylor expansion of -1 in z 4.157 * [taylor]: Taking taylor expansion of y in z 4.157 * [taylor]: Taking taylor expansion of x in z 4.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in y 4.157 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.157 * [taylor]: Taking taylor expansion of z in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.157 * [taylor]: Taking taylor expansion of y in y 4.157 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 4.157 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.157 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.157 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.157 * [taylor]: Taking taylor expansion of -1 in y 4.157 * [taylor]: Taking taylor expansion of y in y 4.159 * [taylor]: Taking taylor expansion of x in y 4.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in x 4.159 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.159 * [taylor]: Taking taylor expansion of z in x 4.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.159 * [taylor]: Taking taylor expansion of y in x 4.159 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.159 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.159 * [taylor]: Taking taylor expansion of -1 in x 4.159 * [taylor]: Taking taylor expansion of y in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.160 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in x 4.160 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.160 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.160 * [taylor]: Taking taylor expansion of z in x 4.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.160 * [taylor]: Taking taylor expansion of y in x 4.160 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 4.160 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 4.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 4.160 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.160 * [taylor]: Taking taylor expansion of -1 in x 4.160 * [taylor]: Taking taylor expansion of y in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.160 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 y)))) in y 4.160 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 4.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 4.160 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.160 * [taylor]: Taking taylor expansion of -1 in y 4.160 * [taylor]: Taking taylor expansion of y in y 4.163 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 4.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.163 * [taylor]: Taking taylor expansion of y in y 4.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.164 * [taylor]: Taking taylor expansion of z in y 4.164 * [taylor]: Taking taylor expansion of 1 in z 4.165 * [taylor]: Taking taylor expansion of (- (log +nan.0)) in z 4.165 * [taylor]: Taking taylor expansion of (log +nan.0) in z 4.165 * [taylor]: Taking taylor expansion of +nan.0 in z 4.168 * [taylor]: Taking taylor expansion of 0 in y 4.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.169 * [taylor]: Taking taylor expansion of z in z 4.175 * [taylor]: Taking taylor expansion of (- +nan.0) in z 4.175 * [taylor]: Taking taylor expansion of +nan.0 in z 4.178 * * * [progress]: simplifying candidates 4.179 * [simplify]: Simplifying using # : (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* (exp (* x (log (sqrt y)))) (* (/ (/ (exp (* x (log (sqrt y)))) (exp y)) (exp z)) t)) (* (exp (* x (log (sqrt y)))) (* (/ (exp (- (* x (log (sqrt y))) y)) (exp z)) t)) (* (exp (* x (log (sqrt y)))) (* (exp (- (- (* x (log (sqrt y))) y) z)) t)) (* (exp (* x (log (sqrt y)))) (exp (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (log (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (exp (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (* (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))))) (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (* (* (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (sqrt (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (sqrt (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (+ (pow (* x (log (sqrt y))) 3) (pow (+ (- (- (* x (log (sqrt y))) y) z) (log t)) 3)) (+ (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (- (* (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (* (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))))) (- (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)))) (- (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt y))) (- (- (* x (log (sqrt y))) y) z)) (+ (* x (log (cbrt (sqrt y)))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt (cbrt y)))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt (sqrt y)))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt (sqrt y)))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (cbrt (sqrt y))) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (sqrt (cbrt y))) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (sqrt (sqrt y))) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (sqrt y)) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (sqrt (sqrt y))) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* (log (sqrt y)) x) (+ (- (- (* x (log (sqrt y))) y) z) (log t))) (+ (* x (log (sqrt y))) (- (* x (log (sqrt y))) y)) (/ (/ (exp (* x (log (sqrt y)))) (exp y)) (exp z)) (/ (exp (- (* x (log (sqrt y))) y)) (exp z)) (log (- (- (* x (log (sqrt y))) y) z)) (exp (- (- (* x (log (sqrt y))) y) z)) (* (cbrt (- (- (* x (log (sqrt y))) y) z)) (cbrt (- (- (* x (log (sqrt y))) y) z))) (cbrt (- (- (* x (log (sqrt y))) y) z)) (* (* (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log (sqrt y))) y) z)) (- (- (* x (log (sqrt y))) y) z)) (sqrt (- (- (* x (log (sqrt y))) y) z)) (sqrt (- (- (* x (log (sqrt y))) y) z)) (- (pow (- (* x (log (sqrt y))) y) 3) (pow z 3)) (+ (* (- (* x (log (sqrt y))) y) (- (* x (log (sqrt y))) y)) (+ (* z z) (* (- (* x (log (sqrt y))) y) z))) (- z) (- (* (- (* x (log (sqrt y))) y) (- (* x (log (sqrt y))) y)) (* z z)) (+ (- (* x (log (sqrt y))) y) z) (+ (sqrt (- (* x (log (sqrt y))) y)) (sqrt z)) (- (sqrt (- (* x (log (sqrt y))) y)) (sqrt z)) (- (- (* x (log (sqrt y))) y) z) (- (- y) z) (- (- (* x (log (cbrt (sqrt y)))) y) z) (- (- (* x (log (sqrt (cbrt y)))) y) z) (- (- (* x (log (sqrt (sqrt y)))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log (sqrt (sqrt y)))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* (log (cbrt (sqrt y))) x) y) z) (- (- (* (log (sqrt (cbrt y))) x) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- y) z) (+ y z) (- z) (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (+ (* 2 (* x (log y))) (+ (log t) (* 2 (* x (log +nan.0))))) y) (- (* 2 (* x (log +nan.0))) (+ y z)) (- (* 2 (* x (log +nan.0))) (+ y z)) (- (+ (* x (log y)) (* x (log +nan.0))) (+ y z)) (- (* x (log +nan.0)) (+ y z)) (- (* x (log +nan.0)) (+ y z)) 4.184 * * [simplify]: iteration 0 : 182 enodes (cost 1799 ) 4.224 * * [simplify]: iteration 1 : 413 enodes (cost 1707 ) 4.296 * * [simplify]: iteration 2 : 1064 enodes (cost 1551 ) 4.546 * * [simplify]: iteration 3 : 3860 enodes (cost 1492 ) 5.581 * * [simplify]: iteration done : 5000 enodes (cost 1492 ) 5.582 * [simplify]: Simplified to: (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (/ (* t (pow (sqrt y) (* 2 x))) (exp (+ y z))) (/ (* t (pow (sqrt y) (* 2 x))) (exp (+ y z))) (/ (* t (pow (sqrt y) (* 2 x))) (exp (+ y z))) (/ (* t (pow (sqrt y) (* 2 x))) (exp (+ y z))) (log (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (/ (* t (pow (sqrt y) (* 2 x))) (exp (+ y z))) (* (cbrt (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (cbrt (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))))) (cbrt (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (* (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (* (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))))) (sqrt (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (sqrt (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (+ (pow (* x (log (sqrt y))) 3) (pow (+ (- (- (* x (log (sqrt y))) y) z) (log t)) 3)) (+ (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (- (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (* x (log (sqrt y)))))) (* (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (+ (+ 0 y) (- z (log t)))) (+ (+ 0 y) (- z (log t))) (- (- (* 2 (* x (log (sqrt y)))) y) z) (- (+ (log t) (* x (+ (log (cbrt (sqrt y))) (log (sqrt y))))) (+ y z)) (- (* x (+ (log (sqrt (cbrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (+ (log t) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y z))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (+ (log t) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y z))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (+ (log t) (* x (+ (log (cbrt (sqrt y))) (log (sqrt y))))) (+ y z)) (- (* x (+ (log (sqrt (cbrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (+ (log t) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y z))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (+ (log t) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y z))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (* 2 (* x (log (sqrt y)))) y) (/ (pow (sqrt y) x) (exp (+ y z))) (/ (pow (sqrt y) x) (exp (+ y z))) (log (- (- (* x (log (sqrt y))) y) z)) (/ (pow (sqrt y) x) (exp (+ y z))) (* (cbrt (- (- (* x (log (sqrt y))) y) z)) (cbrt (- (- (* x (log (sqrt y))) y) z))) (cbrt (- (- (* x (log (sqrt y))) y) z)) (* (* (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log (sqrt y))) y) z)) (- (- (* x (log (sqrt y))) y) z)) (sqrt (- (- (* x (log (sqrt y))) y) z)) (sqrt (- (- (* x (log (sqrt y))) y) z)) (- (pow (- (* x (log (sqrt y))) y) 3) (pow z 3)) (+ (* (+ (- (* x (log (sqrt y))) y) z) (- (* x (log (sqrt y))) y)) (* z z)) (- z) (- (* (- (* x (log (sqrt y))) y) (- (* x (log (sqrt y))) y)) (* z z)) (+ (- (* x (log (sqrt y))) y) z) (+ (sqrt (- (* x (log (sqrt y))) y)) (sqrt z)) (- (sqrt (- (* x (log (sqrt y))) y)) (sqrt z)) (- (- (* x (log (sqrt y))) y) z) (- (+ y z)) (- (- (* x (log (cbrt (sqrt y)))) y) z) (- (- (* (log (sqrt (cbrt y))) x) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log (cbrt (sqrt y)))) y) z) (- (- (* (log (sqrt (cbrt y))) x) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* (log (sqrt (sqrt y))) x) y) z) (- (- (* x (log (sqrt y))) y) z) (- (+ y z)) (+ y z) (- z) (- (* x (+ (log y) (log +nan.0))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* x (log +nan.0)) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) (- (* x (log +nan.0)) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) (- (* x (+ (log y) (log +nan.0))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* x (log +nan.0)) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) (- (* x (log +nan.0)) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) (+ (* 2 (* x (+ (log y) (log +nan.0)))) (- (log t) y)) (- (* 2 (* x (log +nan.0))) (+ y z)) (- (* 2 (* x (log +nan.0))) (+ y z)) (- (* x (+ (log y) (log +nan.0))) (+ y z)) (- (* x (log +nan.0)) (+ y z)) (- (* x (log +nan.0)) (+ y z)) 5.583 * * * [progress]: adding candidates to table 5.951 * * [progress]: iteration 4 / 4 5.951 * * * [progress]: picking best candidate 5.965 * * * * [pick]: Picked # 5.965 * * * [progress]: localizing error 5.984 * * * [progress]: generating rewritten candidates 5.985 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 5.994 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 6.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 6.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1) 6.036 * * * [progress]: generating series expansions 6.036 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 6.037 * [approximate]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in (y) around 0 6.037 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 6.037 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.037 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.037 * [taylor]: Taking taylor expansion of y in y 6.038 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.038 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.038 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.038 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.038 * [taylor]: Taking taylor expansion of 1/4 in y 6.038 * [taylor]: Taking taylor expansion of (log y) in y 6.038 * [taylor]: Taking taylor expansion of y in y 6.039 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 6.039 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.039 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.039 * [taylor]: Taking taylor expansion of y in y 6.041 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.041 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.041 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.041 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.041 * [taylor]: Taking taylor expansion of 1/4 in y 6.041 * [taylor]: Taking taylor expansion of (log y) in y 6.041 * [taylor]: Taking taylor expansion of y in y 6.067 * [approximate]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in (y) around 0 6.067 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 6.067 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.067 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.067 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.067 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.067 * [taylor]: Taking taylor expansion of 1/4 in y 6.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.067 * [taylor]: Taking taylor expansion of y in y 6.068 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.068 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.068 * [taylor]: Taking taylor expansion of y in y 6.070 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 6.070 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.070 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.070 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.070 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.070 * [taylor]: Taking taylor expansion of 1/4 in y 6.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.070 * [taylor]: Taking taylor expansion of y in y 6.071 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.071 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.071 * [taylor]: Taking taylor expansion of y in y 6.102 * [approximate]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in (y) around 0 6.102 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 6.102 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.102 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.102 * [taylor]: Taking taylor expansion of -1 in y 6.102 * [taylor]: Taking taylor expansion of y in y 6.103 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.103 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.104 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.104 * [taylor]: Taking taylor expansion of -1 in y 6.104 * [taylor]: Taking taylor expansion of y in y 6.109 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 6.109 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.109 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.109 * [taylor]: Taking taylor expansion of -1 in y 6.109 * [taylor]: Taking taylor expansion of y in y 6.110 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.110 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.110 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.110 * [taylor]: Taking taylor expansion of -1 in y 6.110 * [taylor]: Taking taylor expansion of y in y 6.197 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 6.197 * [approximate]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in (x y) around 0 6.197 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in y 6.197 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 6.197 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.197 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.197 * [taylor]: Taking taylor expansion of y in y 6.198 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.198 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.198 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.198 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.199 * [taylor]: Taking taylor expansion of 1/4 in y 6.199 * [taylor]: Taking taylor expansion of (log y) in y 6.199 * [taylor]: Taking taylor expansion of y in y 6.199 * [taylor]: Taking taylor expansion of x in y 6.199 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in x 6.199 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in x 6.199 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.199 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.199 * [taylor]: Taking taylor expansion of y in x 6.199 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 6.199 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 6.199 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 6.199 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 6.199 * [taylor]: Taking taylor expansion of 1/4 in x 6.199 * [taylor]: Taking taylor expansion of (log y) in x 6.199 * [taylor]: Taking taylor expansion of y in x 6.200 * [taylor]: Taking taylor expansion of x in x 6.200 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in x 6.200 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in x 6.200 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.200 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.200 * [taylor]: Taking taylor expansion of y in x 6.200 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 6.200 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 6.200 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 6.200 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 6.200 * [taylor]: Taking taylor expansion of 1/4 in x 6.200 * [taylor]: Taking taylor expansion of (log y) in x 6.200 * [taylor]: Taking taylor expansion of y in x 6.200 * [taylor]: Taking taylor expansion of x in x 6.200 * [taylor]: Taking taylor expansion of 0 in y 6.203 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/4)) (log (sqrt y))) in y 6.203 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.203 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.203 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.203 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.203 * [taylor]: Taking taylor expansion of 1/4 in y 6.203 * [taylor]: Taking taylor expansion of (log y) in y 6.203 * [taylor]: Taking taylor expansion of y in y 6.204 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.204 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.204 * [taylor]: Taking taylor expansion of y in y 6.212 * [taylor]: Taking taylor expansion of 0 in y 6.228 * [taylor]: Taking taylor expansion of 0 in y 6.244 * [approximate]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in (x y) around 0 6.244 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in y 6.244 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 6.244 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.244 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.244 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.244 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.244 * [taylor]: Taking taylor expansion of 1/4 in y 6.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.244 * [taylor]: Taking taylor expansion of y in y 6.245 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.245 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.245 * [taylor]: Taking taylor expansion of y in y 6.247 * [taylor]: Taking taylor expansion of x in y 6.248 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in x 6.248 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in x 6.248 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 6.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 6.248 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 6.248 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 6.248 * [taylor]: Taking taylor expansion of 1/4 in x 6.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 6.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.248 * [taylor]: Taking taylor expansion of y in x 6.248 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.248 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.248 * [taylor]: Taking taylor expansion of y in x 6.248 * [taylor]: Taking taylor expansion of x in x 6.248 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in x 6.248 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in x 6.248 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 6.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 6.249 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 6.249 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 6.249 * [taylor]: Taking taylor expansion of 1/4 in x 6.249 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 6.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.249 * [taylor]: Taking taylor expansion of y in x 6.249 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.249 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.249 * [taylor]: Taking taylor expansion of y in x 6.249 * [taylor]: Taking taylor expansion of x in x 6.249 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 6.249 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.249 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.249 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.249 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.249 * [taylor]: Taking taylor expansion of 1/4 in y 6.249 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.249 * [taylor]: Taking taylor expansion of y in y 6.250 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.250 * [taylor]: Taking taylor expansion of y in y 6.259 * [taylor]: Taking taylor expansion of 0 in y 6.274 * [taylor]: Taking taylor expansion of 0 in y 6.291 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in (x y) around 0 6.292 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in y 6.292 * [taylor]: Taking taylor expansion of -1 in y 6.292 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in y 6.292 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 6.292 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.292 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.292 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.292 * [taylor]: Taking taylor expansion of -1 in y 6.292 * [taylor]: Taking taylor expansion of y in y 6.293 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.293 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.293 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.293 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.293 * [taylor]: Taking taylor expansion of -1 in y 6.293 * [taylor]: Taking taylor expansion of y in y 6.299 * [taylor]: Taking taylor expansion of x in y 6.301 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in x 6.301 * [taylor]: Taking taylor expansion of -1 in x 6.301 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in x 6.301 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in x 6.301 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.301 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.301 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.301 * [taylor]: Taking taylor expansion of -1 in x 6.301 * [taylor]: Taking taylor expansion of y in x 6.301 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 6.301 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 6.302 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.302 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.302 * [taylor]: Taking taylor expansion of -1 in x 6.302 * [taylor]: Taking taylor expansion of y in x 6.302 * [taylor]: Taking taylor expansion of x in x 6.302 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in x 6.302 * [taylor]: Taking taylor expansion of -1 in x 6.302 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in x 6.302 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in x 6.302 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.302 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.302 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.302 * [taylor]: Taking taylor expansion of -1 in x 6.302 * [taylor]: Taking taylor expansion of y in x 6.302 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 6.302 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 6.302 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.302 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.302 * [taylor]: Taking taylor expansion of -1 in x 6.302 * [taylor]: Taking taylor expansion of y in x 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [taylor]: Taking taylor expansion of (* -1 (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y)))))) in y 6.303 * [taylor]: Taking taylor expansion of -1 in y 6.303 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 6.303 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.303 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.303 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.303 * [taylor]: Taking taylor expansion of -1 in y 6.303 * [taylor]: Taking taylor expansion of y in y 6.305 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.305 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.305 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.305 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.305 * [taylor]: Taking taylor expansion of -1 in y 6.305 * [taylor]: Taking taylor expansion of y in y 6.317 * [taylor]: Taking taylor expansion of 0 in y 6.347 * [taylor]: Taking taylor expansion of 0 in y 6.425 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 6.425 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/4))) in (y x) around 0 6.425 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x 6.425 * [taylor]: Taking taylor expansion of x in x 6.425 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 6.425 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 6.425 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 6.425 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 6.425 * [taylor]: Taking taylor expansion of 1/4 in x 6.425 * [taylor]: Taking taylor expansion of (log y) in x 6.425 * [taylor]: Taking taylor expansion of y in x 6.425 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in y 6.425 * [taylor]: Taking taylor expansion of x in y 6.425 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.425 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.425 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.425 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.425 * [taylor]: Taking taylor expansion of 1/4 in y 6.425 * [taylor]: Taking taylor expansion of (log y) in y 6.425 * [taylor]: Taking taylor expansion of y in y 6.426 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in y 6.426 * [taylor]: Taking taylor expansion of x in y 6.426 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 6.426 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.426 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.426 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.426 * [taylor]: Taking taylor expansion of 1/4 in y 6.426 * [taylor]: Taking taylor expansion of (log y) in y 6.426 * [taylor]: Taking taylor expansion of y in y 6.427 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x 6.427 * [taylor]: Taking taylor expansion of x in x 6.427 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 6.427 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 6.427 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 6.427 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 6.427 * [taylor]: Taking taylor expansion of 1/4 in x 6.427 * [taylor]: Taking taylor expansion of (log y) in x 6.427 * [taylor]: Taking taylor expansion of y in x 6.429 * [taylor]: Taking taylor expansion of 0 in x 6.436 * [taylor]: Taking taylor expansion of 0 in x 6.447 * [taylor]: Taking taylor expansion of 0 in x 6.447 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in (y x) around 0 6.447 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in x 6.447 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 6.447 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 6.447 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 6.447 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 6.447 * [taylor]: Taking taylor expansion of 1/4 in x 6.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 6.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.447 * [taylor]: Taking taylor expansion of y in x 6.448 * [taylor]: Taking taylor expansion of x in x 6.448 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in y 6.448 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.448 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.448 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.448 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.448 * [taylor]: Taking taylor expansion of 1/4 in y 6.448 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.448 * [taylor]: Taking taylor expansion of y in y 6.449 * [taylor]: Taking taylor expansion of x in y 6.449 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in y 6.449 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 6.449 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.449 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.449 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.449 * [taylor]: Taking taylor expansion of 1/4 in y 6.449 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.449 * [taylor]: Taking taylor expansion of y in y 6.450 * [taylor]: Taking taylor expansion of x in y 6.450 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/4)) x) in x 6.450 * [taylor]: Taking taylor expansion of (log (pow y -1/4)) in x 6.450 * [taylor]: Taking taylor expansion of (pow y -1/4) in x 6.450 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log y))) in x 6.450 * [taylor]: Taking taylor expansion of (* -1/4 (log y)) in x 6.450 * [taylor]: Taking taylor expansion of -1/4 in x 6.450 * [taylor]: Taking taylor expansion of (log y) in x 6.450 * [taylor]: Taking taylor expansion of y in x 6.450 * [taylor]: Taking taylor expansion of x in x 6.453 * [taylor]: Taking taylor expansion of 0 in x 6.460 * [taylor]: Taking taylor expansion of 0 in x 6.471 * [taylor]: Taking taylor expansion of 0 in x 6.478 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in (y x) around 0 6.478 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in x 6.478 * [taylor]: Taking taylor expansion of -1 in x 6.478 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in x 6.478 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 6.478 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 6.478 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.478 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.478 * [taylor]: Taking taylor expansion of -1 in x 6.478 * [taylor]: Taking taylor expansion of y in x 6.479 * [taylor]: Taking taylor expansion of x in x 6.479 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in y 6.479 * [taylor]: Taking taylor expansion of -1 in y 6.479 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in y 6.479 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.479 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.479 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.479 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.479 * [taylor]: Taking taylor expansion of -1 in y 6.479 * [taylor]: Taking taylor expansion of y in y 6.484 * [taylor]: Taking taylor expansion of x in y 6.485 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in y 6.485 * [taylor]: Taking taylor expansion of -1 in y 6.485 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in y 6.485 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 6.485 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.485 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.485 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.485 * [taylor]: Taking taylor expansion of -1 in y 6.485 * [taylor]: Taking taylor expansion of y in y 6.490 * [taylor]: Taking taylor expansion of x in y 6.491 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt +nan.0)) x)) in x 6.492 * [taylor]: Taking taylor expansion of -1 in x 6.492 * [taylor]: Taking taylor expansion of (/ (log (sqrt +nan.0)) x) in x 6.492 * [taylor]: Taking taylor expansion of (log (sqrt +nan.0)) in x 6.492 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 6.492 * [taylor]: Taking taylor expansion of +nan.0 in x 6.493 * [taylor]: Taking taylor expansion of x in x 6.509 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x)))) in x 6.509 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x))) in x 6.509 * [taylor]: Taking taylor expansion of +nan.0 in x 6.509 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 2) x)) in x 6.509 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 2) x) in x 6.509 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 2) in x 6.509 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 6.509 * [taylor]: Taking taylor expansion of +nan.0 in x 6.510 * [taylor]: Taking taylor expansion of x in x 6.556 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 4) x))) (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x)))))) in x 6.556 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 4) x))) (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x))))) in x 6.556 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 4) x))) in x 6.556 * [taylor]: Taking taylor expansion of +nan.0 in x 6.556 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 4) x)) in x 6.556 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 4) x) in x 6.556 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 4) in x 6.556 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 6.556 * [taylor]: Taking taylor expansion of +nan.0 in x 6.557 * [taylor]: Taking taylor expansion of x in x 6.564 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x)))) in x 6.564 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x))) in x 6.564 * [taylor]: Taking taylor expansion of +nan.0 in x 6.565 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 2) x)) in x 6.565 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 2) x) in x 6.565 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 2) in x 6.565 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 6.565 * [taylor]: Taking taylor expansion of +nan.0 in x 6.565 * [taylor]: Taking taylor expansion of x in x 6.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1) 6.605 * [approximate]: Taking taylor expansion of (pow y 1/4) in (y) around 0 6.605 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.606 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.606 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.606 * [taylor]: Taking taylor expansion of 1/4 in y 6.606 * [taylor]: Taking taylor expansion of (log y) in y 6.606 * [taylor]: Taking taylor expansion of y in y 6.606 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 6.606 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 6.606 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 6.606 * [taylor]: Taking taylor expansion of 1/4 in y 6.606 * [taylor]: Taking taylor expansion of (log y) in y 6.606 * [taylor]: Taking taylor expansion of y in y 6.655 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/4) in (y) around 0 6.655 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.655 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.655 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.655 * [taylor]: Taking taylor expansion of 1/4 in y 6.655 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.655 * [taylor]: Taking taylor expansion of y in y 6.656 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 6.656 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 6.656 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 6.656 * [taylor]: Taking taylor expansion of 1/4 in y 6.656 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.656 * [taylor]: Taking taylor expansion of y in y 6.714 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in (y) around 0 6.714 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.714 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.714 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.714 * [taylor]: Taking taylor expansion of -1 in y 6.714 * [taylor]: Taking taylor expansion of y in y 6.719 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 6.719 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.719 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.719 * [taylor]: Taking taylor expansion of -1 in y 6.719 * [taylor]: Taking taylor expansion of y in y 6.740 * * * [progress]: simplifying candidates 6.741 * [simplify]: Simplifying using # : (* (sqrt (sqrt y)) (sqrt y)) (log (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (exp (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* (* (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ (pow (log (sqrt (sqrt y))) 3) (pow (log (sqrt y)) 3)) (+ (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (- (* (log (sqrt y)) (log (sqrt y))) (* (log (sqrt (sqrt y))) (log (sqrt y))))) (- (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (* (log (sqrt y)) (log (sqrt y)))) (- (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt y)) (log y)) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt y)) (log y)) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ 1/2 1) (+ 1/2 1) (+ (/ 1/2 2) 1/2) (+ (/ 1/2 2) (/ 1 2)) (+ (/ 1 2) 1) (+ (/ 1 2) 1) (+ (/ (/ 1 2) 2) 1/2) (+ (/ (/ 1 2) 2) (/ 1 2)) (+ 1/2 1) (+ (/ 1 2) 1) (+ (log (sqrt (sqrt y))) (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (+ (log (sqrt (sqrt y))) (log (sqrt (* (cbrt y) (cbrt y))))) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt y))) (log (sqrt 1))) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt y))) (log 1)) (+ (log (cbrt (sqrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (cbrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt (cbrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ (log x) (log (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (log (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (exp (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* (* (* x x) x) (* (* (+ (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))))) (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* (* (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (sqrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (sqrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* (sqrt x) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* (sqrt x) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt y)) x) (* x (* (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))))) (* x (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (* x 1) (* x 1/2) (* x 1) (* x 1) (* x (/ 1 2)) (* x 1) (* x 1) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log y)) (* x (log y)) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log y)) (* x (log y)) (* x (+ 1/2 1)) (* x (+ (/ 1 2) 1)) (* (cbrt x) (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* (sqrt x) (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (* x (+ (pow (log (sqrt (sqrt y))) 3) (pow (log (sqrt y)) 3))) (* x (- (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (* (log (sqrt y)) (log (sqrt y))))) (* (log (sqrt (sqrt y))) x) (+ (log (log (sqrt (sqrt y)))) (log x)) (log (* (log (sqrt (sqrt y))) x)) (exp (* (log (sqrt (sqrt y))) x)) (* (* (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (log (sqrt (sqrt y)))) (* (* x x) x)) (* (cbrt (* (log (sqrt (sqrt y))) x)) (cbrt (* (log (sqrt (sqrt y))) x))) (cbrt (* (log (sqrt (sqrt y))) x)) (* (* (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x)) (* (log (sqrt (sqrt y))) x)) (sqrt (* (log (sqrt (sqrt y))) x)) (sqrt (* (log (sqrt (sqrt y))) x)) (* (sqrt (log (sqrt (sqrt y)))) (sqrt x)) (* (sqrt (log (sqrt (sqrt y)))) (sqrt x)) (* (log (sqrt (sqrt y))) (* (cbrt x) (cbrt x))) (* (log (sqrt (sqrt y))) (sqrt x)) (* (log (sqrt (sqrt y))) 1) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log y) x) (* (log (sqrt y)) x) (* (log y) x) (* (cbrt (log (sqrt (sqrt y)))) x) (* (sqrt (log (sqrt (sqrt y)))) x) (* (log (sqrt (sqrt y))) x) (log (sqrt (sqrt y))) (exp (sqrt (sqrt y))) (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y)))) (cbrt (sqrt (sqrt y))) (* (* (sqrt (sqrt y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (sqrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt (sqrt y))) (sqrt (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt (cbrt y))) (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) (sqrt (sqrt 1)) (sqrt (sqrt y)) (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) (sqrt 1) (sqrt (sqrt y)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) (- (+ (log (pow y 1/4)) (+ (log +nan.0) (log y))) (+ (* +nan.0 y) (- (* +nan.0 (pow y 2))))) (- (+ (log +nan.0) (log (pow (/ 1 y) -1/4))) (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) (- (+ (log +nan.0) (log (sqrt +nan.0))) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 4) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) y))) (- (* +nan.0 (/ 1 y))))))))))) (- (+ (* x (log y)) (+ (* x (log +nan.0)) (* x (log (pow y 1/4))))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y))))) (- (+ (* x (log +nan.0)) (* x (log (pow (/ 1 y) -1/4)))) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (+ (* x (log +nan.0)) (* x (log (sqrt +nan.0)))) (+ (* +nan.0 (/ x y)) (- (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) y))) (- (+ (* +nan.0 (/ x (pow y 2))) (- (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 4) (pow y 2)))) (- (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) (pow y 2))))))))))))) (* x (log (pow y 1/4))) (* x (log (pow (/ 1 y) -1/4))) (- (* x (log (sqrt +nan.0))) (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) y))) (- (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 4) (pow y 2)))) (- (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) (pow y 2))))))))) (pow y 1/4) (pow (/ 1 y) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow y 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) y)))))))) 6.755 * * [simplify]: iteration 0 : 230 enodes (cost 1390 ) 6.815 * * [simplify]: iteration 1 : 589 enodes (cost 1255 ) 6.998 * * [simplify]: iteration 2 : 1669 enodes (cost 1107 ) 7.398 * * [simplify]: iteration done : 5000 enodes (cost 1018 ) 7.399 * [simplify]: Simplified to: (pow (sqrt (sqrt y)) 3) (log (* 3 (log (sqrt (sqrt y))))) (pow (sqrt (sqrt y)) 3) (* (cbrt (* 3 (log (sqrt (sqrt y))))) (cbrt (* 3 (log (sqrt (sqrt y)))))) (cbrt (* 3 (log (sqrt (sqrt y))))) (pow (* 3 (log (sqrt (sqrt y)))) 3) (sqrt (* 3 (log (sqrt (sqrt y))))) (sqrt (* 3 (log (sqrt (sqrt y))))) (+ (pow (log (sqrt (sqrt y))) 3) (pow (log (sqrt y)) 3)) (- (* (log (sqrt y)) (log (sqrt y))) (* (log (sqrt (sqrt y))) (- (log (sqrt y)) (log (sqrt (sqrt y)))))) (* (* 3 (log (sqrt (sqrt y)))) (- (log (sqrt (sqrt y))) (log (sqrt y)))) (- (log (sqrt (sqrt y))) (log (sqrt y))) (+ (log (sqrt y)) (log y)) (* 3 (log (sqrt (sqrt y)))) (* 3 (log (sqrt (sqrt y)))) (+ (log (sqrt y)) (log y)) (* 3 (log (sqrt (sqrt y)))) (* 3 (log (sqrt (sqrt y)))) 3/2 3/2 3/4 3/4 3/2 3/2 3/4 3/4 3/2 3/2 (+ (* 2 (log (cbrt (sqrt y)))) (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt y))) (log (fabs (cbrt y)))) (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt y)) (log (sqrt (sqrt y))) (+ (log (cbrt (sqrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (cbrt (sqrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt (cbrt y)))) (log (sqrt y))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (* 3 (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (* 3 (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt (sqrt y)))) (log (sqrt y))) (* 3 (log (sqrt (sqrt y)))) (* x (* 3 (log (sqrt (sqrt y))))) (log (* x (* 3 (log (sqrt (sqrt y)))))) (log (* x (* 3 (log (sqrt (sqrt y)))))) (pow (pow (sqrt (sqrt y)) 3) x) (pow (* x (* 3 (log (sqrt (sqrt y))))) 3) (* (cbrt (* x (* 3 (log (sqrt (sqrt y)))))) (cbrt (* x (* 3 (log (sqrt (sqrt y))))))) (cbrt (* x (* 3 (log (sqrt (sqrt y)))))) (pow (* x (* 3 (log (sqrt (sqrt y))))) 3) (sqrt (* x (* 3 (log (sqrt (sqrt y)))))) (sqrt (* x (* 3 (log (sqrt (sqrt y)))))) (* (sqrt x) (sqrt (* 3 (log (sqrt (sqrt y)))))) (* (sqrt x) (sqrt (* 3 (log (sqrt (sqrt y)))))) (* (log (sqrt (sqrt y))) x) (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* x (log (sqrt y))) (* (* (cbrt (* 3 (log (sqrt (sqrt y))))) (cbrt (* 3 (log (sqrt (sqrt y)))))) x) (* (sqrt (* 3 (log (sqrt (sqrt y))))) x) x (* x 1/2) x x (* x 1/2) x x (* x (log (sqrt y))) (* x (log (sqrt y))) (* (log y) x) (* (log y) x) (* x (log (sqrt y))) (* x (log (sqrt y))) (* (log y) x) (* (log y) x) (* x 3/2) (* x 3/2) (* (cbrt x) (* 3 (log (sqrt (sqrt y))))) (* (* 3 (log (sqrt (sqrt y)))) (sqrt x)) (* x (* 3 (log (sqrt (sqrt y))))) (* x (+ (pow (log (sqrt (sqrt y))) 3) (pow (log (sqrt y)) 3))) (* (* (* 3 (log (sqrt (sqrt y)))) (- (log (sqrt (sqrt y))) (log (sqrt y)))) x) (* (log (sqrt (sqrt y))) x) (log (* (log (sqrt (sqrt y))) x)) (log (* (log (sqrt (sqrt y))) x)) (pow (sqrt (sqrt y)) x) (* (pow x 3) (pow (log (sqrt (sqrt y))) 3)) (* (cbrt (* (log (sqrt (sqrt y))) x)) (cbrt (* (log (sqrt (sqrt y))) x))) (cbrt (* (log (sqrt (sqrt y))) x)) (* (pow x 3) (pow (log (sqrt (sqrt y))) 3)) (sqrt (* (log (sqrt (sqrt y))) x)) (sqrt (* (log (sqrt (sqrt y))) x)) (* (sqrt (log (sqrt (sqrt y)))) (sqrt x)) (* (sqrt (log (sqrt (sqrt y)))) (sqrt x)) (* (log (sqrt (sqrt y))) (* (cbrt x) (cbrt x))) (* (log (sqrt (sqrt y))) (sqrt x)) (log (sqrt (sqrt y))) (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log y) x) (* x (log (sqrt y))) (* (log y) x) (* (cbrt (log (sqrt (sqrt y)))) x) (* (sqrt (log (sqrt (sqrt y)))) x) (* (log (sqrt (sqrt y))) x) (log (sqrt (sqrt y))) (exp (sqrt (sqrt y))) (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y)))) (cbrt (sqrt (sqrt y))) (pow (sqrt (sqrt y)) 3) (fabs (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (fabs (cbrt y))) (sqrt (sqrt (cbrt y))) (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) 1 (sqrt (sqrt y)) (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) 1 (sqrt (sqrt y)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt y))) (sqrt (sqrt (sqrt y))) (+ (* (+ 1/4 1) (log y)) (- (log +nan.0) (* +nan.0 (- y (pow y 2))))) (- (+ (log +nan.0) (* (- (log y)) -1/4)) (- (/ +nan.0 y) (/ (/ +nan.0 y) y))) (+ (+ (- (log +nan.0) (/ (/ (/ +nan.0 y) y) +nan.0)) (+ (* (/ 1 (pow y 2)) (- +nan.0 (/ +nan.0 (* +nan.0 +nan.0)))) (- (/ (/ +nan.0 y) +nan.0) (/ +nan.0 y)))) (log (sqrt +nan.0))) (- (* x (+ (* (+ 1/4 1) (log y)) (log +nan.0))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* (+ (log +nan.0) (* (- (log y)) -1/4)) x) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) (+ (- (* x (+ (log +nan.0) (log (sqrt +nan.0)))) (* +nan.0 (/ x y))) (+ (* (/ x y) (- (/ +nan.0 +nan.0) (/ +nan.0 y))) (* (/ x (pow y 2)) (- (/ +nan.0 (* +nan.0 +nan.0)) (/ +nan.0 +nan.0))))) (* x (log (pow y 1/4))) (* (* x -1/4) (- (log y))) (+ (* (/ x (pow y 2)) (- (/ +nan.0 (* +nan.0 +nan.0)) (/ +nan.0 +nan.0))) (- (* x (log (sqrt +nan.0))) (* +nan.0 (/ (/ x y) +nan.0)))) (pow y 1/4) (pow (/ 1 y) -1/4) (- (sqrt +nan.0) (+ (* (/ 1 (pow y 2)) (- (/ (/ +nan.0 (sqrt +nan.0)) +nan.0) (/ +nan.0 (sqrt +nan.0)))) (/ (/ +nan.0 y) (sqrt +nan.0)))) 7.404 * * * [progress]: adding candidates to table 7.869 * [progress]: [Phase 3 of 3] Extracting. 7.869 * * [regime]: Finding splitpoints for: (# # # # #) 7.871 * * * [regime-changes]: Trying 5 branch expressions: ((log t) t z y x) 7.871 * * * * [regimes]: Trying to branch on (log t) from (# # # # #) 7.904 * * * * [regimes]: Trying to branch on t from (# # # # #) 7.936 * * * * [regimes]: Trying to branch on z from (# # # # #) 7.968 * * * * [regimes]: Trying to branch on y from (# # # # #) 8.000 * * * * [regimes]: Trying to branch on x from (# # # # #) 8.028 * * * [regime]: Found split indices: #