9.422 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.068 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.068 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.070 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.072 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.079 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 0.095 * * [simplify]: iteration 4 : 210 enodes (cost 11 ) 0.130 * * [simplify]: iteration 5 : 306 enodes (cost 11 ) 0.188 * * [simplify]: iteration 6 : 456 enodes (cost 11 ) 0.286 * * [simplify]: iteration 7 : 619 enodes (cost 11 ) 0.462 * * [simplify]: iteration 8 : 677 enodes (cost 11 ) 0.667 * * [simplify]: iteration 9 : 688 enodes (cost 11 ) 0.885 * * [simplify]: iteration done : 688 enodes (cost 11 ) 0.885 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.885 * * [progress]: iteration 1 / 4 0.886 * * * [progress]: picking best candidate 0.888 * * * * [pick]: Picked # 0.888 * * * [progress]: localizing error 0.898 * * * [progress]: generating rewritten candidates 0.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.902 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.921 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.987 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.994 * * * [progress]: generating series expansions 0.994 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.994 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.994 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.994 * [taylor]: Taking taylor expansion of x in y 0.994 * [taylor]: Taking taylor expansion of (log y) in y 0.994 * [taylor]: Taking taylor expansion of y in y 0.995 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of (log y) in x 0.995 * [taylor]: Taking taylor expansion of y in x 0.995 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of (log y) in x 0.995 * [taylor]: Taking taylor expansion of y in x 0.995 * [taylor]: Taking taylor expansion of 0 in y 0.996 * [taylor]: Taking taylor expansion of (log y) in y 0.996 * [taylor]: Taking taylor expansion of y in y 0.998 * [taylor]: Taking taylor expansion of 0 in y 1.002 * [taylor]: Taking taylor expansion of 0 in y 1.002 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.002 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.002 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.002 * [taylor]: Taking taylor expansion of y in y 1.003 * [taylor]: Taking taylor expansion of x in y 1.003 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.003 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.003 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.003 * [taylor]: Taking taylor expansion of y in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.004 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.004 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.004 * [taylor]: Taking taylor expansion of y in x 1.004 * [taylor]: Taking taylor expansion of x in x 1.004 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.004 * [taylor]: Taking taylor expansion of y in y 1.006 * [taylor]: Taking taylor expansion of 0 in y 1.009 * [taylor]: Taking taylor expansion of 0 in y 1.014 * [taylor]: Taking taylor expansion of 0 in y 1.014 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.014 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.014 * [taylor]: Taking taylor expansion of -1 in y 1.014 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.015 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.015 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.015 * [taylor]: Taking taylor expansion of -1 in y 1.015 * [taylor]: Taking taylor expansion of y in y 1.015 * [taylor]: Taking taylor expansion of x in y 1.016 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.016 * [taylor]: Taking taylor expansion of -1 in x 1.017 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.017 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.017 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.017 * [taylor]: Taking taylor expansion of -1 in x 1.017 * [taylor]: Taking taylor expansion of y in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.017 * [taylor]: Taking taylor expansion of -1 in x 1.017 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.017 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.017 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.017 * [taylor]: Taking taylor expansion of -1 in x 1.017 * [taylor]: Taking taylor expansion of y in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.017 * [taylor]: Taking taylor expansion of -1 in y 1.017 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.017 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.017 * [taylor]: Taking taylor expansion of -1 in y 1.017 * [taylor]: Taking taylor expansion of y in y 1.020 * [taylor]: Taking taylor expansion of 0 in y 1.025 * [taylor]: Taking taylor expansion of 0 in y 1.032 * [taylor]: Taking taylor expansion of 0 in y 1.033 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.033 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 1.033 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 1.033 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.033 * [taylor]: Taking taylor expansion of x in z 1.033 * [taylor]: Taking taylor expansion of (log y) in z 1.033 * [taylor]: Taking taylor expansion of y in z 1.033 * [taylor]: Taking taylor expansion of (+ z y) in z 1.033 * [taylor]: Taking taylor expansion of z in z 1.033 * [taylor]: Taking taylor expansion of y in z 1.033 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 1.033 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.033 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of (log y) in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (+ z y) in y 1.033 * [taylor]: Taking taylor expansion of z in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.033 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (log y) in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of (+ z y) in x 1.033 * [taylor]: Taking taylor expansion of z in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.033 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of (log y) in x 1.034 * [taylor]: Taking taylor expansion of y in x 1.034 * [taylor]: Taking taylor expansion of (+ z y) in x 1.034 * [taylor]: Taking taylor expansion of z in x 1.034 * [taylor]: Taking taylor expansion of y in x 1.034 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 1.034 * [taylor]: Taking taylor expansion of (+ z y) in y 1.034 * [taylor]: Taking taylor expansion of z in y 1.034 * [taylor]: Taking taylor expansion of y in y 1.034 * [taylor]: Taking taylor expansion of (- z) in z 1.034 * [taylor]: Taking taylor expansion of z in z 1.036 * [taylor]: Taking taylor expansion of (log y) in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.037 * [taylor]: Taking taylor expansion of (log y) in z 1.037 * [taylor]: Taking taylor expansion of y in z 1.037 * [taylor]: Taking taylor expansion of -1 in z 1.038 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 1.038 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 1.038 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.038 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.038 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.038 * [taylor]: Taking taylor expansion of y in z 1.038 * [taylor]: Taking taylor expansion of x in z 1.038 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 1.038 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.041 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.041 * [taylor]: Taking taylor expansion of y in z 1.041 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 1.042 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.042 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.042 * [taylor]: Taking taylor expansion of y in y 1.042 * [taylor]: Taking taylor expansion of x in y 1.043 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.043 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.043 * [taylor]: Taking taylor expansion of z in y 1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.043 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 1.043 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.043 * [taylor]: Taking taylor expansion of y in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.043 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.043 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.043 * [taylor]: Taking taylor expansion of z in x 1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.043 * [taylor]: Taking taylor expansion of y in x 1.043 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 1.043 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.044 * [taylor]: Taking taylor expansion of y in x 1.044 * [taylor]: Taking taylor expansion of x in x 1.044 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.044 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.044 * [taylor]: Taking taylor expansion of z in x 1.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.044 * [taylor]: Taking taylor expansion of y in x 1.044 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.044 * [taylor]: Taking taylor expansion of y in y 1.046 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 1.046 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.046 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.046 * [taylor]: Taking taylor expansion of z in y 1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.046 * [taylor]: Taking taylor expansion of y in y 1.047 * [taylor]: Taking taylor expansion of -1 in z 1.047 * [taylor]: Taking taylor expansion of (- (log y)) in z 1.047 * [taylor]: Taking taylor expansion of (log y) in z 1.047 * [taylor]: Taking taylor expansion of y in z 1.050 * [taylor]: Taking taylor expansion of 0 in y 1.050 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.051 * [taylor]: Taking taylor expansion of z in z 1.052 * [taylor]: Taking taylor expansion of 0 in z 1.053 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 1.053 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 1.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.053 * [taylor]: Taking taylor expansion of z in z 1.053 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.053 * [taylor]: Taking taylor expansion of y in z 1.054 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.054 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.054 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.054 * [taylor]: Taking taylor expansion of -1 in z 1.054 * [taylor]: Taking taylor expansion of y in z 1.054 * [taylor]: Taking taylor expansion of x in z 1.054 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 1.054 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.054 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.054 * [taylor]: Taking taylor expansion of z in y 1.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.054 * [taylor]: Taking taylor expansion of y in y 1.054 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.054 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.054 * [taylor]: Taking taylor expansion of -1 in y 1.054 * [taylor]: Taking taylor expansion of y in y 1.055 * [taylor]: Taking taylor expansion of x in y 1.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 1.056 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.056 * [taylor]: Taking taylor expansion of z in x 1.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.056 * [taylor]: Taking taylor expansion of y in x 1.056 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.056 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.056 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.056 * [taylor]: Taking taylor expansion of -1 in x 1.056 * [taylor]: Taking taylor expansion of y in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 1.056 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.056 * [taylor]: Taking taylor expansion of z in x 1.057 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.057 * [taylor]: Taking taylor expansion of y in x 1.057 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.057 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.057 * [taylor]: Taking taylor expansion of -1 in x 1.057 * [taylor]: Taking taylor expansion of y in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 1.057 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.057 * [taylor]: Taking taylor expansion of -1 in y 1.057 * [taylor]: Taking taylor expansion of y in y 1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.059 * [taylor]: Taking taylor expansion of y in y 1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.060 * [taylor]: Taking taylor expansion of z in y 1.060 * [taylor]: Taking taylor expansion of 1 in z 1.061 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.061 * [taylor]: Taking taylor expansion of (log y) in z 1.061 * [taylor]: Taking taylor expansion of y in z 1.061 * [taylor]: Taking taylor expansion of (log -1) in z 1.061 * [taylor]: Taking taylor expansion of -1 in z 1.064 * [taylor]: Taking taylor expansion of 0 in y 1.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.064 * [taylor]: Taking taylor expansion of z in z 1.066 * [taylor]: Taking taylor expansion of 0 in z 1.068 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.069 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 1.069 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 1.069 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 1.069 * [taylor]: Taking taylor expansion of (* x (log y)) in t 1.069 * [taylor]: Taking taylor expansion of x in t 1.069 * [taylor]: Taking taylor expansion of (log y) in t 1.069 * [taylor]: Taking taylor expansion of y in t 1.069 * [taylor]: Taking taylor expansion of (log t) in t 1.069 * [taylor]: Taking taylor expansion of t in t 1.069 * [taylor]: Taking taylor expansion of (+ z y) in t 1.069 * [taylor]: Taking taylor expansion of z in t 1.069 * [taylor]: Taking taylor expansion of y in t 1.069 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 1.069 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 1.069 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.069 * [taylor]: Taking taylor expansion of x in z 1.069 * [taylor]: Taking taylor expansion of (log y) in z 1.069 * [taylor]: Taking taylor expansion of y in z 1.069 * [taylor]: Taking taylor expansion of (log t) in z 1.069 * [taylor]: Taking taylor expansion of t in z 1.069 * [taylor]: Taking taylor expansion of (+ z y) in z 1.069 * [taylor]: Taking taylor expansion of z in z 1.069 * [taylor]: Taking taylor expansion of y in z 1.069 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 1.069 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 1.069 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.069 * [taylor]: Taking taylor expansion of x in y 1.069 * [taylor]: Taking taylor expansion of (log y) in y 1.069 * [taylor]: Taking taylor expansion of y in y 1.070 * [taylor]: Taking taylor expansion of (log t) in y 1.070 * [taylor]: Taking taylor expansion of t in y 1.070 * [taylor]: Taking taylor expansion of (+ z y) in y 1.070 * [taylor]: Taking taylor expansion of z in y 1.070 * [taylor]: Taking taylor expansion of y in y 1.070 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 1.070 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 1.070 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.070 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (log y) in x 1.070 * [taylor]: Taking taylor expansion of y in x 1.070 * [taylor]: Taking taylor expansion of (log t) in x 1.070 * [taylor]: Taking taylor expansion of t in x 1.070 * [taylor]: Taking taylor expansion of (+ z y) in x 1.070 * [taylor]: Taking taylor expansion of z in x 1.070 * [taylor]: Taking taylor expansion of y in x 1.070 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 1.070 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 1.070 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.070 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (log y) in x 1.070 * [taylor]: Taking taylor expansion of y in x 1.070 * [taylor]: Taking taylor expansion of (log t) in x 1.070 * [taylor]: Taking taylor expansion of t in x 1.070 * [taylor]: Taking taylor expansion of (+ z y) in x 1.070 * [taylor]: Taking taylor expansion of z in x 1.070 * [taylor]: Taking taylor expansion of y in x 1.070 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 1.070 * [taylor]: Taking taylor expansion of (log t) in y 1.070 * [taylor]: Taking taylor expansion of t in y 1.070 * [taylor]: Taking taylor expansion of (+ z y) in y 1.070 * [taylor]: Taking taylor expansion of z in y 1.070 * [taylor]: Taking taylor expansion of y in y 1.071 * [taylor]: Taking taylor expansion of (- (log t) z) in z 1.071 * [taylor]: Taking taylor expansion of (log t) in z 1.071 * [taylor]: Taking taylor expansion of t in z 1.071 * [taylor]: Taking taylor expansion of z in z 1.071 * [taylor]: Taking taylor expansion of (log t) in t 1.071 * [taylor]: Taking taylor expansion of t in t 1.073 * [taylor]: Taking taylor expansion of (log y) in y 1.073 * [taylor]: Taking taylor expansion of y in y 1.074 * [taylor]: Taking taylor expansion of (log y) in z 1.074 * [taylor]: Taking taylor expansion of y in z 1.074 * [taylor]: Taking taylor expansion of (log y) in t 1.074 * [taylor]: Taking taylor expansion of y in t 1.075 * [taylor]: Taking taylor expansion of -1 in z 1.075 * [taylor]: Taking taylor expansion of -1 in t 1.076 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 1.076 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 1.076 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 1.076 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.076 * [taylor]: Taking taylor expansion of t in t 1.076 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 1.076 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.076 * [taylor]: Taking taylor expansion of y in t 1.076 * [taylor]: Taking taylor expansion of x in t 1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.077 * [taylor]: Taking taylor expansion of y in t 1.077 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.077 * [taylor]: Taking taylor expansion of z in t 1.077 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 1.077 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 1.077 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 1.077 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.077 * [taylor]: Taking taylor expansion of t in z 1.077 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.077 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.077 * [taylor]: Taking taylor expansion of y in z 1.077 * [taylor]: Taking taylor expansion of x in z 1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.077 * [taylor]: Taking taylor expansion of y in z 1.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.077 * [taylor]: Taking taylor expansion of z in z 1.077 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 1.077 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 1.077 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 1.077 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.077 * [taylor]: Taking taylor expansion of t in y 1.077 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.077 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.077 * [taylor]: Taking taylor expansion of y in y 1.078 * [taylor]: Taking taylor expansion of x in y 1.079 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.079 * [taylor]: Taking taylor expansion of y in y 1.079 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.079 * [taylor]: Taking taylor expansion of z in y 1.079 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 1.079 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 1.079 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.079 * [taylor]: Taking taylor expansion of t in x 1.079 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.079 * [taylor]: Taking taylor expansion of y in x 1.079 * [taylor]: Taking taylor expansion of x in x 1.079 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.079 * [taylor]: Taking taylor expansion of y in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.079 * [taylor]: Taking taylor expansion of z in x 1.079 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 1.079 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.080 * [taylor]: Taking taylor expansion of t in x 1.080 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.080 * [taylor]: Taking taylor expansion of y in x 1.080 * [taylor]: Taking taylor expansion of x in x 1.080 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.080 * [taylor]: Taking taylor expansion of y in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.080 * [taylor]: Taking taylor expansion of z in x 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.080 * [taylor]: Taking taylor expansion of y in y 1.082 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 1.082 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 1.082 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.082 * [taylor]: Taking taylor expansion of t in y 1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.082 * [taylor]: Taking taylor expansion of y in y 1.082 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.082 * [taylor]: Taking taylor expansion of z in y 1.083 * [taylor]: Taking taylor expansion of -1 in z 1.083 * [taylor]: Taking taylor expansion of (- (log y)) in z 1.084 * [taylor]: Taking taylor expansion of (log y) in z 1.084 * [taylor]: Taking taylor expansion of y in z 1.087 * [taylor]: Taking taylor expansion of 0 in y 1.088 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 1.088 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 1.088 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.088 * [taylor]: Taking taylor expansion of t in z 1.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.088 * [taylor]: Taking taylor expansion of z in z 1.089 * [taylor]: Taking taylor expansion of -1 in t 1.090 * [taylor]: Taking taylor expansion of 0 in z 1.090 * [taylor]: Taking taylor expansion of -1 in t 1.090 * [taylor]: Taking taylor expansion of (- (log y)) in t 1.090 * [taylor]: Taking taylor expansion of (log y) in t 1.090 * [taylor]: Taking taylor expansion of y in t 1.091 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 1.091 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 1.091 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 1.091 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 1.091 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.091 * [taylor]: Taking taylor expansion of -1 in t 1.091 * [taylor]: Taking taylor expansion of t in t 1.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 1.092 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.092 * [taylor]: Taking taylor expansion of y in t 1.092 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.092 * [taylor]: Taking taylor expansion of z in t 1.092 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 1.092 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 1.092 * [taylor]: Taking taylor expansion of (/ -1 y) in t 1.092 * [taylor]: Taking taylor expansion of -1 in t 1.092 * [taylor]: Taking taylor expansion of y in t 1.092 * [taylor]: Taking taylor expansion of x in t 1.092 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 1.092 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 1.092 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 1.092 * [taylor]: Taking taylor expansion of (/ -1 t) in z 1.092 * [taylor]: Taking taylor expansion of -1 in z 1.092 * [taylor]: Taking taylor expansion of t in z 1.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.093 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.093 * [taylor]: Taking taylor expansion of y in z 1.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.093 * [taylor]: Taking taylor expansion of z in z 1.093 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.093 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.093 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.093 * [taylor]: Taking taylor expansion of -1 in z 1.093 * [taylor]: Taking taylor expansion of y in z 1.093 * [taylor]: Taking taylor expansion of x in z 1.093 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 1.093 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 1.093 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 1.093 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.093 * [taylor]: Taking taylor expansion of -1 in y 1.093 * [taylor]: Taking taylor expansion of t in y 1.093 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.093 * [taylor]: Taking taylor expansion of y in y 1.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.094 * [taylor]: Taking taylor expansion of z in y 1.094 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.094 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.094 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.094 * [taylor]: Taking taylor expansion of -1 in y 1.094 * [taylor]: Taking taylor expansion of y in y 1.094 * [taylor]: Taking taylor expansion of x in y 1.096 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 1.096 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 1.096 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 1.096 * [taylor]: Taking taylor expansion of (/ -1 t) in x 1.096 * [taylor]: Taking taylor expansion of -1 in x 1.096 * [taylor]: Taking taylor expansion of t in x 1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.096 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.096 * [taylor]: Taking taylor expansion of -1 in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 1.096 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 1.096 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 1.096 * [taylor]: Taking taylor expansion of (/ -1 t) in x 1.096 * [taylor]: Taking taylor expansion of -1 in x 1.096 * [taylor]: Taking taylor expansion of t in x 1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.096 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.096 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.096 * [taylor]: Taking taylor expansion of -1 in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.097 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 1.097 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.097 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.097 * [taylor]: Taking taylor expansion of -1 in y 1.097 * [taylor]: Taking taylor expansion of y in y 1.099 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 1.099 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.099 * [taylor]: Taking taylor expansion of z in y 1.099 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 1.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.099 * [taylor]: Taking taylor expansion of y in y 1.099 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 1.099 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.099 * [taylor]: Taking taylor expansion of -1 in y 1.099 * [taylor]: Taking taylor expansion of t in y 1.100 * [taylor]: Taking taylor expansion of 1 in z 1.101 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.101 * [taylor]: Taking taylor expansion of (log y) in z 1.101 * [taylor]: Taking taylor expansion of y in z 1.101 * [taylor]: Taking taylor expansion of (log -1) in z 1.101 * [taylor]: Taking taylor expansion of -1 in z 1.105 * [taylor]: Taking taylor expansion of 0 in y 1.105 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 1.105 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 1.105 * [taylor]: Taking taylor expansion of (/ -1 t) in z 1.105 * [taylor]: Taking taylor expansion of -1 in z 1.105 * [taylor]: Taking taylor expansion of t in z 1.106 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.106 * [taylor]: Taking taylor expansion of z in z 1.106 * [taylor]: Taking taylor expansion of 1 in t 1.108 * [taylor]: Taking taylor expansion of 0 in z 1.108 * [taylor]: Taking taylor expansion of 1 in t 1.109 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 1.109 * [taylor]: Taking taylor expansion of (log y) in t 1.109 * [taylor]: Taking taylor expansion of y in t 1.109 * [taylor]: Taking taylor expansion of (log -1) in t 1.109 * [taylor]: Taking taylor expansion of -1 in t 1.112 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.112 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 1.112 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 1.112 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.112 * [taylor]: Taking taylor expansion of x in y 1.112 * [taylor]: Taking taylor expansion of (log y) in y 1.112 * [taylor]: Taking taylor expansion of y in y 1.112 * [taylor]: Taking taylor expansion of y in y 1.112 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 1.112 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of (log y) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 1.112 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of (log y) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of (- y) in y 1.112 * [taylor]: Taking taylor expansion of y in y 1.114 * [taylor]: Taking taylor expansion of (log y) in y 1.114 * [taylor]: Taking taylor expansion of y in y 1.117 * [taylor]: Taking taylor expansion of 0 in y 1.120 * [taylor]: Taking taylor expansion of 0 in y 1.122 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 1.122 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 1.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.122 * [taylor]: Taking taylor expansion of y in y 1.123 * [taylor]: Taking taylor expansion of x in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.123 * [taylor]: Taking taylor expansion of y in y 1.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 1.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.124 * [taylor]: Taking taylor expansion of y in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.124 * [taylor]: Taking taylor expansion of y in x 1.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 1.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.124 * [taylor]: Taking taylor expansion of y in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.124 * [taylor]: Taking taylor expansion of y in x 1.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.124 * [taylor]: Taking taylor expansion of y in y 1.126 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.126 * [taylor]: Taking taylor expansion of y in y 1.129 * [taylor]: Taking taylor expansion of 0 in y 1.138 * [taylor]: Taking taylor expansion of 0 in y 1.146 * [taylor]: Taking taylor expansion of 0 in y 1.146 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 1.146 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 1.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.146 * [taylor]: Taking taylor expansion of y in y 1.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.147 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.147 * [taylor]: Taking taylor expansion of -1 in y 1.147 * [taylor]: Taking taylor expansion of y in y 1.147 * [taylor]: Taking taylor expansion of x in y 1.149 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 1.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.149 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.149 * [taylor]: Taking taylor expansion of -1 in x 1.149 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of x in x 1.149 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 1.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.149 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.149 * [taylor]: Taking taylor expansion of -1 in x 1.149 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of x in x 1.149 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 1.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.149 * [taylor]: Taking taylor expansion of -1 in y 1.149 * [taylor]: Taking taylor expansion of y in y 1.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.151 * [taylor]: Taking taylor expansion of y in y 1.155 * [taylor]: Taking taylor expansion of 0 in y 1.161 * [taylor]: Taking taylor expansion of 0 in y 1.169 * [taylor]: Taking taylor expansion of 0 in y 1.170 * * * [progress]: simplifying candidates 1.171 * [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))))) 1.175 * * [simplify]: iteration 0 : 167 enodes (cost 1160 ) 1.207 * * [simplify]: iteration 1 : 379 enodes (cost 1097 ) 1.280 * * [simplify]: iteration 2 : 1117 enodes (cost 1042 ) 1.634 * * [simplify]: iteration 3 : 4470 enodes (cost 994 ) 3.778 * * [simplify]: iteration done : 5000 enodes (cost 994 ) 3.778 * [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 (- (- (* x (log y)) 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) (- (* (log y) x) 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) (- (- (* (log (sqrt y)) x) y) z) (- (- (* x (log y)) y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* x (log y)) y) z) (- (+ y z)) (+ y z) (- z) (* t (/ (pow y x) (exp (+ y z)))) (* t (/ (pow y x) (exp (+ y z)))) (* t (/ (pow y x) (exp (+ y z)))) (log (+ (- (- (* x (log y)) y) z) (log t))) (* t (/ (pow y x) (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))) (pow (+ (- (- (* (log y) x) y) z) (log t)) 3) (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)) y) z) (- (- (- (* 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)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (* 2 (log (cbrt t))) (- (* x (log y)) (+ y z))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* x (log y)) y) z) (- (log t) z) (- (- (log t) y) z) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) 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)) (- (- (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)) (+ (* (+ (* x (log y)) y) (* x (log y))) (* y y)) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) 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) (- (* (log y) x) y) (- (* (log y) x) y) (- (* (log y) x) y) 3.779 * * * [progress]: adding candidates to table 4.037 * * [progress]: iteration 2 / 4 4.037 * * * [progress]: picking best candidate 4.049 * * * * [pick]: Picked # 4.049 * * * [progress]: localizing error 4.062 * * * [progress]: generating rewritten candidates 4.062 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 4.066 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.086 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.092 * * * [progress]: generating series expansions 4.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 4.092 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 4.092 * [taylor]: Taking taylor expansion of (* x (log y)) in y 4.092 * [taylor]: Taking taylor expansion of x in y 4.092 * [taylor]: Taking taylor expansion of (log y) in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.092 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.092 * [taylor]: Taking taylor expansion of x in x 4.092 * [taylor]: Taking taylor expansion of (log y) in x 4.092 * [taylor]: Taking taylor expansion of y in x 4.092 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.092 * [taylor]: Taking taylor expansion of x in x 4.093 * [taylor]: Taking taylor expansion of (log y) in x 4.093 * [taylor]: Taking taylor expansion of y in x 4.093 * [taylor]: Taking taylor expansion of 0 in y 4.093 * [taylor]: Taking taylor expansion of (log y) in y 4.094 * [taylor]: Taking taylor expansion of y in y 4.096 * [taylor]: Taking taylor expansion of 0 in y 4.099 * [taylor]: Taking taylor expansion of 0 in y 4.099 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 4.099 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 4.099 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.099 * [taylor]: Taking taylor expansion of y in y 4.099 * [taylor]: Taking taylor expansion of x in y 4.100 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.100 * [taylor]: Taking taylor expansion of y in x 4.100 * [taylor]: Taking taylor expansion of x in x 4.100 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.100 * [taylor]: Taking taylor expansion of y in x 4.100 * [taylor]: Taking taylor expansion of x in x 4.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.101 * [taylor]: Taking taylor expansion of y in y 4.102 * [taylor]: Taking taylor expansion of 0 in y 4.106 * [taylor]: Taking taylor expansion of 0 in y 4.111 * [taylor]: Taking taylor expansion of 0 in y 4.111 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 4.111 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 4.111 * [taylor]: Taking taylor expansion of -1 in y 4.111 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 4.111 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.111 * [taylor]: Taking taylor expansion of -1 in y 4.111 * [taylor]: Taking taylor expansion of y in y 4.112 * [taylor]: Taking taylor expansion of x in y 4.113 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 4.113 * [taylor]: Taking taylor expansion of -1 in x 4.113 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.113 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.113 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.113 * [taylor]: Taking taylor expansion of -1 in x 4.113 * [taylor]: Taking taylor expansion of y in x 4.113 * [taylor]: Taking taylor expansion of x in x 4.113 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 4.113 * [taylor]: Taking taylor expansion of -1 in x 4.113 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.113 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.113 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.113 * [taylor]: Taking taylor expansion of -1 in x 4.113 * [taylor]: Taking taylor expansion of y in x 4.113 * [taylor]: Taking taylor expansion of x in x 4.113 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 4.113 * [taylor]: Taking taylor expansion of -1 in y 4.113 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.113 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.113 * [taylor]: Taking taylor expansion of -1 in y 4.113 * [taylor]: Taking taylor expansion of y in y 4.117 * [taylor]: Taking taylor expansion of 0 in y 4.122 * [taylor]: Taking taylor expansion of 0 in y 4.129 * [taylor]: Taking taylor expansion of 0 in y 4.130 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.130 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 4.130 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 4.130 * [taylor]: Taking taylor expansion of (* x (log y)) in z 4.130 * [taylor]: Taking taylor expansion of x in z 4.130 * [taylor]: Taking taylor expansion of (log y) in z 4.130 * [taylor]: Taking taylor expansion of y in z 4.130 * [taylor]: Taking taylor expansion of (+ z y) in z 4.130 * [taylor]: Taking taylor expansion of z in z 4.130 * [taylor]: Taking taylor expansion of y in z 4.130 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 4.130 * [taylor]: Taking taylor expansion of (* x (log y)) in y 4.130 * [taylor]: Taking taylor expansion of x in y 4.130 * [taylor]: Taking taylor expansion of (log y) in y 4.130 * [taylor]: Taking taylor expansion of 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 (- (* x (log y)) (+ z y)) in x 4.130 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.130 * [taylor]: Taking taylor expansion of (log 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 y)) (+ z y)) in x 4.131 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.131 * [taylor]: Taking taylor expansion of x in x 4.131 * [taylor]: Taking taylor expansion of (log y) in x 4.131 * [taylor]: Taking taylor expansion of y in x 4.131 * [taylor]: Taking taylor expansion of (+ z y) in x 4.131 * [taylor]: Taking taylor expansion of z in x 4.131 * [taylor]: Taking taylor expansion of y in x 4.131 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 4.131 * [taylor]: Taking taylor expansion of (+ z y) in y 4.131 * [taylor]: Taking taylor expansion of z in y 4.131 * [taylor]: Taking taylor expansion of y in y 4.131 * [taylor]: Taking taylor expansion of (- z) in z 4.131 * [taylor]: Taking taylor expansion of z in z 4.132 * [taylor]: Taking taylor expansion of (log y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of (log y) in z 4.133 * [taylor]: Taking taylor expansion of y in z 4.133 * [taylor]: Taking taylor expansion of -1 in z 4.134 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 4.134 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 4.134 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 4.134 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.134 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.134 * [taylor]: Taking taylor expansion of y in z 4.135 * [taylor]: Taking taylor expansion of x in z 4.135 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.135 * [taylor]: Taking taylor expansion of z in z 4.135 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.135 * [taylor]: Taking taylor expansion of y in z 4.135 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 4.135 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 4.135 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.135 * [taylor]: Taking taylor expansion of y in y 4.135 * [taylor]: Taking taylor expansion of x in y 4.136 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.136 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.136 * [taylor]: Taking taylor expansion of z in y 4.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.136 * [taylor]: Taking taylor expansion of y in y 4.136 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 4.136 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.136 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.137 * [taylor]: Taking taylor expansion of y in x 4.137 * [taylor]: Taking taylor expansion of x in x 4.137 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.137 * [taylor]: Taking taylor expansion of z in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.137 * [taylor]: Taking taylor expansion of y in x 4.137 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 4.137 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.137 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.137 * [taylor]: Taking taylor expansion of y in x 4.137 * [taylor]: Taking taylor expansion of x in x 4.137 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.137 * [taylor]: Taking taylor expansion of z in x 4.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.137 * [taylor]: Taking taylor expansion of y in x 4.137 * [taylor]: Taking taylor expansion of (log (/ 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.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) 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.140 * [taylor]: Taking taylor expansion of -1 in z 4.140 * [taylor]: Taking taylor expansion of (- (log y)) in z 4.140 * [taylor]: Taking taylor expansion of (log y) in z 4.140 * [taylor]: Taking taylor expansion of y in z 4.143 * [taylor]: Taking taylor expansion of 0 in y 4.143 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.144 * [taylor]: Taking taylor expansion of z in z 4.145 * [taylor]: Taking taylor expansion of 0 in z 4.146 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 4.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 4.146 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.146 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.146 * [taylor]: Taking taylor expansion of z in z 4.146 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.146 * [taylor]: Taking taylor expansion of y in z 4.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 4.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 4.146 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.146 * [taylor]: Taking taylor expansion of -1 in z 4.146 * [taylor]: Taking taylor expansion of y in z 4.147 * [taylor]: Taking taylor expansion of x in z 4.147 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 4.147 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.147 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.147 * [taylor]: Taking taylor expansion of z in y 4.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.147 * [taylor]: Taking taylor expansion of y in y 4.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 4.147 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.147 * [taylor]: Taking taylor expansion of -1 in y 4.147 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of x in y 4.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 4.149 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.149 * [taylor]: Taking taylor expansion of z in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.149 * [taylor]: Taking taylor expansion of -1 in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of x in x 4.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 4.149 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.149 * [taylor]: Taking taylor expansion of z in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.149 * [taylor]: Taking taylor expansion of -1 in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of x in x 4.150 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 4.150 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.150 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.150 * [taylor]: Taking taylor expansion of -1 in y 4.150 * [taylor]: Taking taylor expansion of y in y 4.152 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 4.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.152 * [taylor]: Taking taylor expansion of y in y 4.152 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.152 * [taylor]: Taking taylor expansion of z in y 4.152 * [taylor]: Taking taylor expansion of 1 in z 4.153 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 4.153 * [taylor]: Taking taylor expansion of (log y) in z 4.153 * [taylor]: Taking taylor expansion of y in z 4.153 * [taylor]: Taking taylor expansion of (log -1) in z 4.153 * [taylor]: Taking taylor expansion of -1 in z 4.156 * [taylor]: Taking taylor expansion of 0 in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.157 * [taylor]: Taking taylor expansion of z in z 4.159 * [taylor]: Taking taylor expansion of 0 in z 4.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 4.161 * [approximate]: Taking taylor expansion of (log (sqrt t)) in (t) around 0 4.161 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 4.161 * [taylor]: Taking taylor expansion of (sqrt t) in t 4.161 * [taylor]: Taking taylor expansion of t in t 4.163 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 4.163 * [taylor]: Taking taylor expansion of (sqrt t) in t 4.163 * [taylor]: Taking taylor expansion of t in t 4.185 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 t))) in (t) around 0 4.185 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 4.185 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 4.185 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.185 * [taylor]: Taking taylor expansion of t in t 4.186 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 4.186 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 4.186 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.186 * [taylor]: Taking taylor expansion of t in t 4.205 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 t))) in (t) around 0 4.205 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 4.205 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 4.205 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.205 * [taylor]: Taking taylor expansion of -1 in t 4.205 * [taylor]: Taking taylor expansion of t in t 4.206 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 4.206 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 4.206 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.206 * [taylor]: Taking taylor expansion of -1 in t 4.206 * [taylor]: Taking taylor expansion of t in t 4.226 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 4.226 * [approximate]: Taking taylor expansion of (log (sqrt t)) in (t) around 0 4.226 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 4.226 * [taylor]: Taking taylor expansion of (sqrt t) in t 4.226 * [taylor]: Taking taylor expansion of t in t 4.227 * [taylor]: Taking taylor expansion of (log (sqrt t)) in t 4.227 * [taylor]: Taking taylor expansion of (sqrt t) in t 4.227 * [taylor]: Taking taylor expansion of t in t 4.246 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 t))) in (t) around 0 4.246 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 4.246 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 4.246 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.246 * [taylor]: Taking taylor expansion of t in t 4.248 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 t))) in t 4.248 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 4.248 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.248 * [taylor]: Taking taylor expansion of t in t 4.270 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 t))) in (t) around 0 4.270 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 4.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 4.270 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.270 * [taylor]: Taking taylor expansion of -1 in t 4.270 * [taylor]: Taking taylor expansion of t in t 4.271 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t 4.272 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 4.272 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.272 * [taylor]: Taking taylor expansion of -1 in t 4.272 * [taylor]: Taking taylor expansion of t in t 4.290 * * * [progress]: simplifying candidates 4.292 * [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)))))) 4.295 * * [simplify]: iteration 0 : 153 enodes (cost 800 ) 4.319 * * [simplify]: iteration 1 : 294 enodes (cost 765 ) 4.375 * * [simplify]: iteration 2 : 797 enodes (cost 684 ) 4.606 * * [simplify]: iteration 3 : 2838 enodes (cost 668 ) 5.684 * * [simplify]: iteration done : 5001 enodes (cost 663 ) 5.685 * [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 (- (* x (log y)) (+ z y)) 3) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* z z) (* (- (* (log y) x) 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)) z) y) (- (+ y z)) (- (- (* x (log (cbrt y))) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* x (log y)) z) y) (- (- (* x (log (cbrt y))) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* x (log y)) z) y) (- (+ 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))) (* x (log y)) (* x (log y)) (* x (log y)) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (+ (log t) (- (log +nan.0) (* +nan.0 (- t (pow t 2))))) (+ (- (log +nan.0) (/ +nan.0 t)) (/ (/ +nan.0 t) t)) (+ (- (log +nan.0) (/ +nan.0 t)) (/ (/ +nan.0 t) t)) (+ (log t) (- (log +nan.0) (* +nan.0 (- t (pow t 2))))) (+ (- (log +nan.0) (/ +nan.0 t)) (/ (/ +nan.0 t) t)) (+ (- (log +nan.0) (/ +nan.0 t)) (/ (/ +nan.0 t) t)) 5.685 * * * [progress]: adding candidates to table 5.935 * * [progress]: iteration 3 / 4 5.935 * * * [progress]: picking best candidate 5.943 * * * * [pick]: Picked # 5.943 * * * [progress]: localizing error 5.957 * * * [progress]: generating rewritten candidates 5.957 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 5.961 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 5.966 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.128 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.152 * * * [progress]: generating series expansions 6.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 6.153 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (y x) around 0 6.153 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.153 * [taylor]: Taking taylor expansion of x in x 6.153 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.153 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.153 * [taylor]: Taking taylor expansion of y in x 6.153 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.153 * [taylor]: Taking taylor expansion of x in y 6.153 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.153 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.153 * [taylor]: Taking taylor expansion of y in y 6.154 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.155 * [taylor]: Taking taylor expansion of x in y 6.155 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.155 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.155 * [taylor]: Taking taylor expansion of y in y 6.157 * [taylor]: Taking taylor expansion of (* (+ (log +nan.0) (log y)) x) in x 6.157 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in x 6.157 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.157 * [taylor]: Taking taylor expansion of +nan.0 in x 6.157 * [taylor]: Taking taylor expansion of (log y) in x 6.157 * [taylor]: Taking taylor expansion of y in x 6.157 * [taylor]: Taking taylor expansion of x in x 6.164 * [taylor]: Taking taylor expansion of (- (* +nan.0 x)) in x 6.164 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 6.164 * [taylor]: Taking taylor expansion of +nan.0 in x 6.164 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of (- (* +nan.0 x)) in x 6.178 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 6.178 * [taylor]: Taking taylor expansion of +nan.0 in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.204 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) (- (* +nan.0 (/ x (pow +nan.0 2)))))) in x 6.204 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) (- (* +nan.0 (/ x (pow +nan.0 2))))) in x 6.204 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 6.204 * [taylor]: Taking taylor expansion of +nan.0 in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.204 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ x (pow +nan.0 2)))) in x 6.204 * [taylor]: Taking taylor expansion of (* +nan.0 (/ x (pow +nan.0 2))) in x 6.204 * [taylor]: Taking taylor expansion of +nan.0 in x 6.204 * [taylor]: Taking taylor expansion of (/ x (pow +nan.0 2)) in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.204 * [taylor]: Taking taylor expansion of (pow +nan.0 2) in x 6.204 * [taylor]: Taking taylor expansion of +nan.0 in x 6.208 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (y x) around 0 6.208 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.208 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.208 * [taylor]: Taking taylor expansion of y in x 6.208 * [taylor]: Taking taylor expansion of x in x 6.208 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.208 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.208 * [taylor]: Taking taylor expansion of y in y 6.210 * [taylor]: Taking taylor expansion of x in y 6.210 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.210 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.210 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.210 * [taylor]: Taking taylor expansion of y in y 6.212 * [taylor]: Taking taylor expansion of x in y 6.212 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 6.212 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.212 * [taylor]: Taking taylor expansion of +nan.0 in x 6.212 * [taylor]: Taking taylor expansion of x in x 6.219 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.219 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.219 * [taylor]: Taking taylor expansion of +nan.0 in x 6.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.219 * [taylor]: Taking taylor expansion of x in x 6.236 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.236 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.236 * [taylor]: Taking taylor expansion of +nan.0 in x 6.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.236 * [taylor]: Taking taylor expansion of x in x 6.238 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (y x) around 0 6.238 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 6.238 * [taylor]: Taking taylor expansion of -1 in x 6.238 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.238 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.238 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.238 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.238 * [taylor]: Taking taylor expansion of -1 in x 6.238 * [taylor]: Taking taylor expansion of y in x 6.238 * [taylor]: Taking taylor expansion of x in x 6.238 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 6.238 * [taylor]: Taking taylor expansion of -1 in y 6.238 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.238 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.238 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.238 * [taylor]: Taking taylor expansion of -1 in y 6.239 * [taylor]: Taking taylor expansion of y in y 6.240 * [taylor]: Taking taylor expansion of x in y 6.240 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 6.240 * [taylor]: Taking taylor expansion of -1 in y 6.240 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.240 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.240 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.241 * [taylor]: Taking taylor expansion of -1 in y 6.241 * [taylor]: Taking taylor expansion of y in y 6.242 * [taylor]: Taking taylor expansion of x in y 6.243 * [taylor]: Taking taylor expansion of (* -1 (/ (log +nan.0) x)) in x 6.243 * [taylor]: Taking taylor expansion of -1 in x 6.243 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 6.243 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.243 * [taylor]: Taking taylor expansion of +nan.0 in x 6.243 * [taylor]: Taking taylor expansion of x in x 6.251 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.251 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.251 * [taylor]: Taking taylor expansion of +nan.0 in x 6.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.251 * [taylor]: Taking taylor expansion of x in x 6.265 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.265 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.265 * [taylor]: Taking taylor expansion of +nan.0 in x 6.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.265 * [taylor]: Taking taylor expansion of x in x 6.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.268 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 6.268 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.268 * [taylor]: Taking taylor expansion of x in y 6.268 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.268 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.268 * [taylor]: Taking taylor expansion of y in y 6.269 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.269 * [taylor]: Taking taylor expansion of x in x 6.269 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.269 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.269 * [taylor]: Taking taylor expansion of y in x 6.270 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.270 * [taylor]: Taking taylor expansion of x in x 6.270 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.270 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.270 * [taylor]: Taking taylor expansion of y in x 6.270 * [taylor]: Taking taylor expansion of 0 in y 6.271 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.271 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.271 * [taylor]: Taking taylor expansion of y in y 6.275 * [taylor]: Taking taylor expansion of 0 in y 6.283 * [taylor]: Taking taylor expansion of 0 in y 6.294 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 6.294 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.294 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.294 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.294 * [taylor]: Taking taylor expansion of y in y 6.295 * [taylor]: Taking taylor expansion of x in y 6.296 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.296 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.296 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.296 * [taylor]: Taking taylor expansion of y in x 6.296 * [taylor]: Taking taylor expansion of x in x 6.296 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.296 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.296 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.296 * [taylor]: Taking taylor expansion of y in x 6.296 * [taylor]: Taking taylor expansion of x in x 6.296 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.296 * [taylor]: Taking taylor expansion of y in y 6.299 * [taylor]: Taking taylor expansion of 0 in y 6.310 * [taylor]: Taking taylor expansion of 0 in y 6.322 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 6.322 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 6.322 * [taylor]: Taking taylor expansion of -1 in y 6.322 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.322 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.322 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.322 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.322 * [taylor]: Taking taylor expansion of -1 in y 6.322 * [taylor]: Taking taylor expansion of y in y 6.323 * [taylor]: Taking taylor expansion of x in y 6.324 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.324 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.324 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.324 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of y in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.324 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.324 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.324 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of y in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 6.324 * [taylor]: Taking taylor expansion of -1 in y 6.324 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.324 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.324 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.324 * [taylor]: Taking taylor expansion of -1 in y 6.324 * [taylor]: Taking taylor expansion of y in y 6.329 * [taylor]: Taking taylor expansion of 0 in y 6.339 * [taylor]: Taking taylor expansion of 0 in y 6.352 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.353 * [approximate]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in (x y z t) around 0 6.353 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in t 6.353 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in t 6.353 * [taylor]: Taking taylor expansion of (log t) in t 6.353 * [taylor]: Taking taylor expansion of t in t 6.353 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in t 6.353 * [taylor]: Taking taylor expansion of 2 in t 6.353 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in t 6.353 * [taylor]: Taking taylor expansion of x in t 6.353 * [taylor]: Taking taylor expansion of (log (sqrt y)) in t 6.353 * [taylor]: Taking taylor expansion of (sqrt y) in t 6.353 * [taylor]: Taking taylor expansion of y in t 6.353 * [taylor]: Taking taylor expansion of (+ z y) in t 6.353 * [taylor]: Taking taylor expansion of z in t 6.353 * [taylor]: Taking taylor expansion of y in t 6.353 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in z 6.353 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in z 6.353 * [taylor]: Taking taylor expansion of (log t) in z 6.353 * [taylor]: Taking taylor expansion of t in z 6.353 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z 6.353 * [taylor]: Taking taylor expansion of 2 in z 6.353 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 6.353 * [taylor]: Taking taylor expansion of x in z 6.353 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 6.353 * [taylor]: Taking taylor expansion of (sqrt y) in z 6.353 * [taylor]: Taking taylor expansion of y in z 6.354 * [taylor]: Taking taylor expansion of (+ z y) in z 6.354 * [taylor]: Taking taylor expansion of z in z 6.354 * [taylor]: Taking taylor expansion of y in z 6.354 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in y 6.354 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in y 6.354 * [taylor]: Taking taylor expansion of (log t) in y 6.354 * [taylor]: Taking taylor expansion of t in y 6.354 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y 6.354 * [taylor]: Taking taylor expansion of 2 in y 6.354 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.354 * [taylor]: Taking taylor expansion of x in y 6.354 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.354 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.354 * [taylor]: Taking taylor expansion of y in y 6.355 * [taylor]: Taking taylor expansion of (+ z y) in y 6.355 * [taylor]: Taking taylor expansion of z in y 6.355 * [taylor]: Taking taylor expansion of y in y 6.355 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in x 6.355 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in x 6.355 * [taylor]: Taking taylor expansion of (log t) in x 6.355 * [taylor]: Taking taylor expansion of t in x 6.355 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 6.355 * [taylor]: Taking taylor expansion of 2 in x 6.355 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.355 * [taylor]: Taking taylor expansion of x in x 6.355 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.355 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.355 * [taylor]: Taking taylor expansion of y in x 6.355 * [taylor]: Taking taylor expansion of (+ z y) in x 6.355 * [taylor]: Taking taylor expansion of z in x 6.355 * [taylor]: Taking taylor expansion of y in x 6.355 * [taylor]: Taking taylor expansion of (- (+ (log t) (* 2 (* x (log (sqrt y))))) (+ z y)) in x 6.355 * [taylor]: Taking taylor expansion of (+ (log t) (* 2 (* x (log (sqrt y))))) in x 6.355 * [taylor]: Taking taylor expansion of (log t) in x 6.356 * [taylor]: Taking taylor expansion of t in x 6.356 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 6.356 * [taylor]: Taking taylor expansion of 2 in x 6.356 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.356 * [taylor]: Taking taylor expansion of x in x 6.356 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.356 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.356 * [taylor]: Taking taylor expansion of y in x 6.356 * [taylor]: Taking taylor expansion of (+ z y) in x 6.356 * [taylor]: Taking taylor expansion of z in x 6.356 * [taylor]: Taking taylor expansion of y in x 6.356 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 6.356 * [taylor]: Taking taylor expansion of (log t) in y 6.356 * [taylor]: Taking taylor expansion of t in y 6.356 * [taylor]: Taking taylor expansion of (+ z y) in y 6.356 * [taylor]: Taking taylor expansion of z in y 6.356 * [taylor]: Taking taylor expansion of y in y 6.356 * [taylor]: Taking taylor expansion of (- (log t) z) in z 6.357 * [taylor]: Taking taylor expansion of (log t) in z 6.357 * [taylor]: Taking taylor expansion of t in z 6.357 * [taylor]: Taking taylor expansion of z in z 6.357 * [taylor]: Taking taylor expansion of (log t) in t 6.357 * [taylor]: Taking taylor expansion of t in t 6.360 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y 6.360 * [taylor]: Taking taylor expansion of 2 in y 6.360 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.360 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.360 * [taylor]: Taking taylor expansion of y in y 6.362 * [taylor]: Taking taylor expansion of (* 2 (+ (log +nan.0) (log y))) in z 6.362 * [taylor]: Taking taylor expansion of 2 in z 6.362 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z 6.362 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.362 * [taylor]: Taking taylor expansion of +nan.0 in z 6.362 * [taylor]: Taking taylor expansion of (log y) in z 6.362 * [taylor]: Taking taylor expansion of y in z 6.363 * [taylor]: Taking taylor expansion of (* 2 (+ (log +nan.0) (log y))) in t 6.363 * [taylor]: Taking taylor expansion of 2 in t 6.363 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in t 6.363 * [taylor]: Taking taylor expansion of (log +nan.0) in t 6.363 * [taylor]: Taking taylor expansion of +nan.0 in t 6.363 * [taylor]: Taking taylor expansion of (log y) in t 6.363 * [taylor]: Taking taylor expansion of y in t 6.365 * [taylor]: Taking taylor expansion of -1 in z 6.365 * [taylor]: Taking taylor expansion of -1 in t 6.366 * [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 6.366 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in t 6.366 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in t 6.366 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 6.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.366 * [taylor]: Taking taylor expansion of t in t 6.367 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in t 6.367 * [taylor]: Taking taylor expansion of 2 in t 6.367 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in t 6.367 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in t 6.367 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in t 6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.367 * [taylor]: Taking taylor expansion of y in t 6.367 * [taylor]: Taking taylor expansion of x in t 6.367 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 6.367 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.367 * [taylor]: Taking taylor expansion of z in t 6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.367 * [taylor]: Taking taylor expansion of y in t 6.367 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in z 6.367 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in z 6.367 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 6.367 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.367 * [taylor]: Taking taylor expansion of t in z 6.367 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z 6.367 * [taylor]: Taking taylor expansion of 2 in z 6.367 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 6.367 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 6.367 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.367 * [taylor]: Taking taylor expansion of y in z 6.368 * [taylor]: Taking taylor expansion of x in z 6.368 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 6.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.368 * [taylor]: Taking taylor expansion of z in z 6.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.368 * [taylor]: Taking taylor expansion of y in z 6.368 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in y 6.368 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in y 6.368 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 6.368 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.368 * [taylor]: Taking taylor expansion of t in y 6.368 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y 6.368 * [taylor]: Taking taylor expansion of 2 in y 6.368 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.368 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.368 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.368 * [taylor]: Taking taylor expansion of y in y 6.370 * [taylor]: Taking taylor expansion of x in y 6.370 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.370 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.370 * [taylor]: Taking taylor expansion of z in y 6.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.370 * [taylor]: Taking taylor expansion of y in y 6.370 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in x 6.370 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in x 6.370 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.371 * [taylor]: Taking taylor expansion of t in x 6.371 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 6.371 * [taylor]: Taking taylor expansion of 2 in x 6.371 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.371 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.371 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.371 * [taylor]: Taking taylor expansion of y in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.371 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.371 * [taylor]: Taking taylor expansion of z in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.371 * [taylor]: Taking taylor expansion of y in x 6.371 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) (+ (/ 1 z) (/ 1 y))) in x 6.371 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log (sqrt (/ 1 y))) x))) in x 6.371 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.371 * [taylor]: Taking taylor expansion of t in x 6.371 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 6.371 * [taylor]: Taking taylor expansion of 2 in x 6.371 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.371 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.371 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.371 * [taylor]: Taking taylor expansion of y in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.372 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 6.372 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.372 * [taylor]: Taking taylor expansion of z in x 6.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.372 * [taylor]: Taking taylor expansion of y in x 6.372 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y 6.372 * [taylor]: Taking taylor expansion of 2 in y 6.372 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.372 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.372 * [taylor]: Taking taylor expansion of y in y 6.375 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 6.375 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 6.375 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.375 * [taylor]: Taking taylor expansion of t in y 6.375 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.375 * [taylor]: Taking taylor expansion of z in y 6.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.375 * [taylor]: Taking taylor expansion of y in y 6.376 * [taylor]: Taking taylor expansion of -1 in z 6.377 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 6.377 * [taylor]: Taking taylor expansion of 2 in z 6.377 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.377 * [taylor]: Taking taylor expansion of +nan.0 in z 6.382 * [taylor]: Taking taylor expansion of 0 in y 6.383 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 6.383 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 6.383 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.383 * [taylor]: Taking taylor expansion of t in z 6.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.383 * [taylor]: Taking taylor expansion of z in z 6.384 * [taylor]: Taking taylor expansion of -1 in t 6.391 * [taylor]: Taking taylor expansion of (- +nan.0) in z 6.391 * [taylor]: Taking taylor expansion of +nan.0 in z 6.391 * [taylor]: Taking taylor expansion of -1 in t 6.391 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 6.391 * [taylor]: Taking taylor expansion of 2 in t 6.391 * [taylor]: Taking taylor expansion of (log +nan.0) in t 6.391 * [taylor]: Taking taylor expansion of +nan.0 in t 6.397 * [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 6.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in t 6.397 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in t 6.397 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.397 * [taylor]: Taking taylor expansion of z in t 6.397 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in t 6.397 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.397 * [taylor]: Taking taylor expansion of y in t 6.397 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 6.397 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.397 * [taylor]: Taking taylor expansion of -1 in t 6.397 * [taylor]: Taking taylor expansion of t in t 6.398 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in t 6.398 * [taylor]: Taking taylor expansion of 2 in t 6.398 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in t 6.398 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in t 6.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in t 6.398 * [taylor]: Taking taylor expansion of (/ -1 y) in t 6.398 * [taylor]: Taking taylor expansion of -1 in t 6.398 * [taylor]: Taking taylor expansion of y in t 6.398 * [taylor]: Taking taylor expansion of x in t 6.398 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z 6.398 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in z 6.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.398 * [taylor]: Taking taylor expansion of z in z 6.398 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in z 6.398 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.398 * [taylor]: Taking taylor expansion of y in z 6.399 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 6.399 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.399 * [taylor]: Taking taylor expansion of -1 in z 6.399 * [taylor]: Taking taylor expansion of t in z 6.399 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z 6.399 * [taylor]: Taking taylor expansion of 2 in z 6.399 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 6.399 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 6.399 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 6.399 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.399 * [taylor]: Taking taylor expansion of -1 in z 6.399 * [taylor]: Taking taylor expansion of y in z 6.399 * [taylor]: Taking taylor expansion of x in z 6.399 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y 6.399 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 6.399 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.399 * [taylor]: Taking taylor expansion of z in y 6.399 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 6.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.399 * [taylor]: Taking taylor expansion of y in y 6.399 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 6.399 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.399 * [taylor]: Taking taylor expansion of -1 in y 6.399 * [taylor]: Taking taylor expansion of t in y 6.400 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y 6.400 * [taylor]: Taking taylor expansion of 2 in y 6.400 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.400 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.400 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.400 * [taylor]: Taking taylor expansion of -1 in y 6.400 * [taylor]: Taking taylor expansion of y in y 6.401 * [taylor]: Taking taylor expansion of x in y 6.401 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 6.401 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in x 6.402 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.402 * [taylor]: Taking taylor expansion of z in x 6.402 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in x 6.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.402 * [taylor]: Taking taylor expansion of y in x 6.402 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 6.402 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.402 * [taylor]: Taking taylor expansion of -1 in x 6.402 * [taylor]: Taking taylor expansion of t in x 6.402 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 6.402 * [taylor]: Taking taylor expansion of 2 in x 6.402 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.402 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.402 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.402 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.402 * [taylor]: Taking taylor expansion of -1 in x 6.402 * [taylor]: Taking taylor expansion of y in x 6.402 * [taylor]: Taking taylor expansion of x in x 6.402 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 6.402 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in x 6.402 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.402 * [taylor]: Taking taylor expansion of z in x 6.402 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in x 6.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.402 * [taylor]: Taking taylor expansion of y in x 6.402 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 6.402 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.402 * [taylor]: Taking taylor expansion of -1 in x 6.402 * [taylor]: Taking taylor expansion of t in x 6.402 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 6.402 * [taylor]: Taking taylor expansion of 2 in x 6.402 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.402 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.402 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.403 * [taylor]: Taking taylor expansion of -1 in x 6.403 * [taylor]: Taking taylor expansion of y in x 6.403 * [taylor]: Taking taylor expansion of x in x 6.403 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 y))))) in y 6.403 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y 6.403 * [taylor]: Taking taylor expansion of 2 in y 6.403 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.403 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.403 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.403 * [taylor]: Taking taylor expansion of -1 in y 6.403 * [taylor]: Taking taylor expansion of y in y 6.407 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 6.407 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 6.407 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.407 * [taylor]: Taking taylor expansion of -1 in y 6.407 * [taylor]: Taking taylor expansion of t in y 6.407 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.407 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.407 * [taylor]: Taking taylor expansion of z in y 6.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.407 * [taylor]: Taking taylor expansion of y in y 6.408 * [taylor]: Taking taylor expansion of 1 in z 6.409 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in z 6.409 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 6.409 * [taylor]: Taking taylor expansion of 2 in z 6.409 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.409 * [taylor]: Taking taylor expansion of +nan.0 in z 6.414 * [taylor]: Taking taylor expansion of 0 in y 6.415 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ -1 t))) in z 6.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.415 * [taylor]: Taking taylor expansion of z in z 6.415 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 6.415 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.415 * [taylor]: Taking taylor expansion of -1 in z 6.415 * [taylor]: Taking taylor expansion of t in z 6.415 * [taylor]: Taking taylor expansion of 1 in t 6.423 * [taylor]: Taking taylor expansion of (- +nan.0) in z 6.423 * [taylor]: Taking taylor expansion of +nan.0 in z 6.423 * [taylor]: Taking taylor expansion of 1 in t 6.425 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in t 6.425 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 6.425 * [taylor]: Taking taylor expansion of 2 in t 6.425 * [taylor]: Taking taylor expansion of (log +nan.0) in t 6.425 * [taylor]: Taking taylor expansion of +nan.0 in t 6.429 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 6.429 * [approximate]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in (y x z) around 0 6.429 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in z 6.429 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 6.429 * [taylor]: Taking taylor expansion of x in z 6.429 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 6.429 * [taylor]: Taking taylor expansion of (sqrt y) in z 6.429 * [taylor]: Taking taylor expansion of y in z 6.430 * [taylor]: Taking taylor expansion of (+ z y) in z 6.430 * [taylor]: Taking taylor expansion of z in z 6.430 * [taylor]: Taking taylor expansion of y in z 6.430 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in x 6.430 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 6.430 * [taylor]: Taking taylor expansion of x in x 6.430 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 6.430 * [taylor]: Taking taylor expansion of (sqrt y) in x 6.430 * [taylor]: Taking taylor expansion of y in x 6.430 * [taylor]: Taking taylor expansion of (+ z y) in x 6.430 * [taylor]: Taking taylor expansion of z in x 6.430 * [taylor]: Taking taylor expansion of y in x 6.430 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in y 6.430 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.430 * [taylor]: Taking taylor expansion of x in y 6.430 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.430 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.430 * [taylor]: Taking taylor expansion of y in y 6.431 * [taylor]: Taking taylor expansion of (+ z y) in y 6.431 * [taylor]: Taking taylor expansion of z in y 6.431 * [taylor]: Taking taylor expansion of y in y 6.431 * [taylor]: Taking taylor expansion of (- (* x (log (sqrt y))) (+ z y)) in y 6.431 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 6.431 * [taylor]: Taking taylor expansion of x in y 6.431 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 6.431 * [taylor]: Taking taylor expansion of (sqrt y) in y 6.431 * [taylor]: Taking taylor expansion of y in y 6.433 * [taylor]: Taking taylor expansion of (+ z y) in y 6.433 * [taylor]: Taking taylor expansion of z in y 6.433 * [taylor]: Taking taylor expansion of y in y 6.434 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* x (log +nan.0))) z) in x 6.434 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* x (log +nan.0))) in x 6.434 * [taylor]: Taking taylor expansion of (* x (log y)) in x 6.434 * [taylor]: Taking taylor expansion of x in x 6.434 * [taylor]: Taking taylor expansion of (log y) in x 6.434 * [taylor]: Taking taylor expansion of y in x 6.434 * [taylor]: Taking taylor expansion of (* x (log +nan.0)) in x 6.434 * [taylor]: Taking taylor expansion of x in x 6.434 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.434 * [taylor]: Taking taylor expansion of +nan.0 in x 6.434 * [taylor]: Taking taylor expansion of z in x 6.435 * [taylor]: Taking taylor expansion of (- z) in z 6.435 * [taylor]: Taking taylor expansion of z in z 6.442 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) 1)) in x 6.442 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) 1) in x 6.442 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 6.442 * [taylor]: Taking taylor expansion of +nan.0 in x 6.442 * [taylor]: Taking taylor expansion of x in x 6.442 * [taylor]: Taking taylor expansion of 1 in x 6.443 * [taylor]: Taking taylor expansion of -1 in z 6.446 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z 6.447 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.447 * [taylor]: Taking taylor expansion of +nan.0 in z 6.447 * [taylor]: Taking taylor expansion of (log y) in z 6.447 * [taylor]: Taking taylor expansion of y in z 6.449 * [approximate]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in (y x z) around 0 6.449 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in z 6.449 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 6.449 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 6.449 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 6.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.449 * [taylor]: Taking taylor expansion of y in z 6.449 * [taylor]: Taking taylor expansion of x in z 6.449 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 6.449 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.449 * [taylor]: Taking taylor expansion of z in z 6.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.449 * [taylor]: Taking taylor expansion of y in z 6.449 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in x 6.449 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 6.449 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 6.449 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 6.449 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.449 * [taylor]: Taking taylor expansion of y in x 6.450 * [taylor]: Taking taylor expansion of x in x 6.450 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 6.450 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.450 * [taylor]: Taking taylor expansion of z in x 6.450 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.450 * [taylor]: Taking taylor expansion of y in x 6.450 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in y 6.450 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.450 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.450 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.450 * [taylor]: Taking taylor expansion of y in y 6.451 * [taylor]: Taking taylor expansion of x in y 6.452 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.452 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.452 * [taylor]: Taking taylor expansion of z in y 6.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.452 * [taylor]: Taking taylor expansion of y in y 6.452 * [taylor]: Taking taylor expansion of (- (/ (log (sqrt (/ 1 y))) x) (+ (/ 1 z) (/ 1 y))) in y 6.452 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 6.452 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 6.452 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 6.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.452 * [taylor]: Taking taylor expansion of y in y 6.454 * [taylor]: Taking taylor expansion of x in y 6.454 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.454 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.454 * [taylor]: Taking taylor expansion of z in y 6.454 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.454 * [taylor]: Taking taylor expansion of y in y 6.455 * [taylor]: Taking taylor expansion of -1 in x 6.456 * [taylor]: Taking taylor expansion of (- (/ (log +nan.0) x) (/ 1 z)) in x 6.456 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 6.456 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.456 * [taylor]: Taking taylor expansion of +nan.0 in x 6.456 * [taylor]: Taking taylor expansion of x in x 6.457 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.457 * [taylor]: Taking taylor expansion of z in x 6.457 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.457 * [taylor]: Taking taylor expansion of +nan.0 in z 6.458 * [taylor]: Taking taylor expansion of -1 in z 6.465 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.465 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.465 * [taylor]: Taking taylor expansion of +nan.0 in x 6.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.465 * [taylor]: Taking taylor expansion of x in x 6.466 * [taylor]: Taking taylor expansion of (- +nan.0) in z 6.466 * [taylor]: Taking taylor expansion of +nan.0 in z 6.467 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.467 * [taylor]: Taking taylor expansion of z in z 6.468 * [taylor]: Taking taylor expansion of 0 in z 6.469 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in (y x z) around 0 6.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in z 6.469 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 6.469 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.469 * [taylor]: Taking taylor expansion of z in z 6.469 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.470 * [taylor]: Taking taylor expansion of y in z 6.470 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 6.470 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 6.470 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 6.470 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.470 * [taylor]: Taking taylor expansion of -1 in z 6.470 * [taylor]: Taking taylor expansion of y in z 6.470 * [taylor]: Taking taylor expansion of x in z 6.470 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in x 6.470 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 6.470 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.470 * [taylor]: Taking taylor expansion of z in x 6.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.470 * [taylor]: Taking taylor expansion of y in x 6.470 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 6.470 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 6.470 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 6.470 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.470 * [taylor]: Taking taylor expansion of -1 in x 6.470 * [taylor]: Taking taylor expansion of y in x 6.470 * [taylor]: Taking taylor expansion of x in x 6.470 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in y 6.470 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.470 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.470 * [taylor]: Taking taylor expansion of z in y 6.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.471 * [taylor]: Taking taylor expansion of y in y 6.471 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.471 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.471 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.471 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.471 * [taylor]: Taking taylor expansion of -1 in y 6.471 * [taylor]: Taking taylor expansion of y in y 6.472 * [taylor]: Taking taylor expansion of x in y 6.473 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (sqrt (/ -1 y))) x)) in y 6.473 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 6.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.473 * [taylor]: Taking taylor expansion of z in y 6.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.473 * [taylor]: Taking taylor expansion of y in y 6.473 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 6.473 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 6.473 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 6.473 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.473 * [taylor]: Taking taylor expansion of -1 in y 6.473 * [taylor]: Taking taylor expansion of y in y 6.475 * [taylor]: Taking taylor expansion of x in y 6.476 * [taylor]: Taking taylor expansion of 1 in x 6.477 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log +nan.0) x)) in x 6.477 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.477 * [taylor]: Taking taylor expansion of z in x 6.477 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 6.477 * [taylor]: Taking taylor expansion of (log +nan.0) in x 6.477 * [taylor]: Taking taylor expansion of +nan.0 in x 6.477 * [taylor]: Taking taylor expansion of x in x 6.479 * [taylor]: Taking taylor expansion of (- (log +nan.0)) in z 6.479 * [taylor]: Taking taylor expansion of (log +nan.0) in z 6.479 * [taylor]: Taking taylor expansion of +nan.0 in z 6.480 * [taylor]: Taking taylor expansion of 1 in z 6.490 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 6.490 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 6.490 * [taylor]: Taking taylor expansion of +nan.0 in x 6.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.490 * [taylor]: Taking taylor expansion of x in x 6.490 * [taylor]: Taking taylor expansion of (- +nan.0) in z 6.491 * [taylor]: Taking taylor expansion of +nan.0 in z 6.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.492 * [taylor]: Taking taylor expansion of z in z 6.492 * [taylor]: Taking taylor expansion of 0 in z 6.495 * * * [progress]: simplifying candidates 6.496 * [simplify]: Simplifying using # : (* (log (sqrt y)) x) (+ (log (log (sqrt y))) (log x)) (log (* (log (sqrt y)) x)) (exp (* (log (sqrt y)) x)) (* (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))) (* (* x x) x)) (* (cbrt (* (log (sqrt y)) x)) (cbrt (* (log (sqrt y)) x))) (cbrt (* (log (sqrt y)) x)) (* (* (* (log (sqrt y)) x) (* (log (sqrt y)) x)) (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (log (sqrt y)) (* (cbrt x) (cbrt x))) (* (log (sqrt y)) (sqrt x)) (* (log (sqrt y)) 1) (* (log y) x) (* (log (sqrt y)) x) (* (log y) x) (* (cbrt (log (sqrt y))) x) (* (sqrt (log (sqrt y))) x) (* (log (sqrt y)) x) (* 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 (* (log (sqrt y)) x)) (exp y)) (exp z)) t)) (* (exp (* x (log (sqrt y)))) (* (/ (exp (- (* (log (sqrt y)) x) y)) (exp z)) t)) (* (exp (* x (log (sqrt y)))) (* (exp (- (- (* (log (sqrt y)) x) y) z)) t)) (* (exp (* x (log (sqrt y)))) (exp (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (log (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (exp (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (* (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))))) (cbrt (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (* (* (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (sqrt (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (sqrt (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (+ (pow (* x (log (sqrt y))) 3) (pow (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) 3)) (+ (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (- (* (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (* (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))))) (- (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)))) (- (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt y))) (- (- (* (log (sqrt y)) x) y) z)) (+ (* x (log (cbrt (sqrt y)))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt (cbrt y)))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt (sqrt y)))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt (sqrt y)))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt y))) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (cbrt (sqrt y))) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (sqrt (cbrt y))) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (sqrt (sqrt y))) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (sqrt y)) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (sqrt (sqrt y))) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* (log (sqrt y)) x) (+ (- (- (* (log (sqrt y)) x) y) z) (log t))) (+ (* x (log (sqrt y))) (- (* (log (sqrt y)) x) y)) (/ (/ (exp (* (log (sqrt y)) x)) (exp y)) (exp z)) (/ (exp (- (* (log (sqrt y)) x) y)) (exp z)) (log (- (- (* (log (sqrt y)) x) y) z)) (exp (- (- (* (log (sqrt y)) x) y) z)) (* (cbrt (- (- (* (log (sqrt y)) x) y) z)) (cbrt (- (- (* (log (sqrt y)) x) y) z))) (cbrt (- (- (* (log (sqrt y)) x) y) z)) (* (* (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z)) (- (- (* (log (sqrt y)) x) y) z)) (sqrt (- (- (* (log (sqrt y)) x) y) z)) (sqrt (- (- (* (log (sqrt y)) x) y) z)) (- (pow (- (* (log (sqrt y)) x) y) 3) (pow z 3)) (+ (* (- (* (log (sqrt y)) x) y) (- (* (log (sqrt y)) x) y)) (+ (* z z) (* (- (* (log (sqrt y)) x) y) z))) (- z) (- (* (- (* (log (sqrt y)) x) y) (- (* (log (sqrt y)) x) y)) (* z z)) (+ (- (* (log (sqrt y)) x) y) z) (+ (sqrt (- (* (log (sqrt y)) x) y)) (sqrt z)) (- (sqrt (- (* (log (sqrt y)) x) y)) (sqrt z)) (- (- (* (log (sqrt y)) x) y) z) (- (- 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)) (+ z y)) (- (* x (log +nan.0)) (+ z y)) 6.501 * * [simplify]: iteration 0 : 186 enodes (cost 1537 ) 6.533 * * [simplify]: iteration 1 : 428 enodes (cost 1451 ) 6.625 * * [simplify]: iteration 2 : 1398 enodes (cost 1271 ) 7.079 * * [simplify]: iteration done : 5000 enodes (cost 1237 ) 7.079 * [simplify]: Simplified to: (* x (log (sqrt y))) (log (* (log (sqrt y)) x)) (log (* (log (sqrt y)) x)) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* (log (sqrt y)) x)) (cbrt (* (log (sqrt y)) x))) (cbrt (* (log (sqrt y)) x)) (pow (* x (log (sqrt y))) 3) (sqrt (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (log (sqrt y)) (* (cbrt x) (cbrt x))) (* (log (sqrt y)) (sqrt x)) (log (sqrt y)) (* (log y) x) (* x (log (sqrt y))) (* (log y) x) (* (cbrt (log (sqrt y))) x) (* (sqrt (log (sqrt y))) x) (* x (log (sqrt y))) (* x (log (sqrt y))) (log (* (log (sqrt y)) x)) (log (* (log (sqrt y)) x)) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* (log (sqrt y)) x)) (cbrt (* (log (sqrt y)) x))) (cbrt (* (log (sqrt y)) x)) (pow (* x (log (sqrt y))) 3) (sqrt (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (fabs (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) 0 (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (fabs (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) 0 (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) 0 (* x (log (sqrt y))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* (sqrt (log (sqrt y))) x) x (* (cbrt x) (log (sqrt y))) (* (log (sqrt y)) (sqrt x)) (* x (log (sqrt y))) (* (exp (- (* 2 (* x (log (sqrt y)))) (+ z y))) t) (* (exp (- (* 2 (* x (log (sqrt y)))) (+ z y))) t) (* (exp (- (* 2 (* x (log (sqrt y)))) (+ z y))) t) (* (exp (- (* 2 (* x (log (sqrt y)))) (+ z y))) t) (log (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t)))) (* (exp (- (* 2 (* x (log (sqrt y)))) (+ z y))) t) (* (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)))) (pow (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) 3) (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 (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) 3)) (+ (* (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (- (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (* x (log (sqrt y))))) (* (* (log (sqrt y)) x) (* (log (sqrt y)) x))) (* (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (+ (+ (* (log (sqrt y)) (- x x)) y) (- z (log t)))) (+ (+ (* (log (sqrt y)) (- x x)) y) (- z (log t))) (- (* 2 (* x (log (sqrt y)))) (+ z y)) (- (* x (+ (log (cbrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (* x (+ (log (sqrt (cbrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (* x (+ (log (cbrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (* x (+ (log (sqrt (cbrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (+ y (- z (log t)))) (- (- (* 2 (* x (log (sqrt y)))) y) (- z (log t))) (- (* 2 (* x (log (sqrt y)))) y) (/ (pow (sqrt y) x) (exp (+ z y))) (/ (pow (sqrt y) x) (exp (+ z y))) (log (- (- (* (log (sqrt y)) x) y) z)) (/ (pow (sqrt y) x) (exp (+ z y))) (* (cbrt (- (- (* (log (sqrt y)) x) y) z)) (cbrt (- (- (* (log (sqrt y)) x) y) z))) (cbrt (- (- (* (log (sqrt y)) x) y) z)) (pow (- (- (* (log (sqrt y)) x) y) z) 3) (sqrt (- (- (* (log (sqrt y)) x) y) z)) (sqrt (- (- (* (log (sqrt y)) x) y) z)) (- (pow (- (* (log (sqrt y)) x) y) 3) (pow z 3)) (+ (* (+ (- (* (log (sqrt y)) x) y) z) (- (* (log (sqrt y)) x) y)) (* z z)) (- z) (- (* (- (* (log (sqrt y)) x) y) (- (* (log (sqrt y)) x) y)) (* z z)) (+ (- (* (log (sqrt y)) x) y) z) (+ (sqrt (- (* (log (sqrt y)) x) y)) (sqrt z)) (- (sqrt (- (* (log (sqrt y)) x) y)) (sqrt z)) (- (- (* (log (sqrt y)) x) y) z) (- (+ z y)) (- (+ z y)) (+ z y) (- z) (- (* x (+ (log y) (log +nan.0))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* x (log +nan.0)) (* +nan.0 (- (/ x y) (/ x (pow y 2))))) (- (* x (log +nan.0)) (* +nan.0 (- (/ x y) (/ x (pow y 2))))) (- (* x (+ (log y) (log +nan.0))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* x (log +nan.0)) (* +nan.0 (- (/ x y) (/ x (pow y 2))))) (- (* x (log +nan.0)) (* +nan.0 (- (/ x y) (/ x (pow y 2))))) (+ (* 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))) (+ z y)) (- (* x (log +nan.0)) (+ z y)) (- (* x (log +nan.0)) (+ z y)) 7.080 * * * [progress]: adding candidates to table 7.387 * * [progress]: iteration 4 / 4 7.387 * * * [progress]: picking best candidate 7.399 * * * * [pick]: Picked # 7.399 * * * [progress]: localizing error 7.417 * * * [progress]: generating rewritten candidates 7.417 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 7.429 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 7.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 7.462 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 7.468 * * * [progress]: generating series expansions 7.468 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 7.468 * [approximate]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in (y) around 0 7.468 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 7.468 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 7.468 * [taylor]: Taking taylor expansion of (sqrt y) in y 7.468 * [taylor]: Taking taylor expansion of y in y 7.470 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.470 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.470 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.470 * [taylor]: Taking taylor expansion of 1/4 in y 7.470 * [taylor]: Taking taylor expansion of (log y) in y 7.470 * [taylor]: Taking taylor expansion of y in y 7.471 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 7.471 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 7.471 * [taylor]: Taking taylor expansion of (sqrt y) in y 7.471 * [taylor]: Taking taylor expansion of y in y 7.472 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.472 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.472 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.472 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.472 * [taylor]: Taking taylor expansion of 1/4 in y 7.472 * [taylor]: Taking taylor expansion of (log y) in y 7.472 * [taylor]: Taking taylor expansion of y in y 7.501 * [approximate]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in (y) around 0 7.501 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 7.501 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.501 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.501 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.501 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.501 * [taylor]: Taking taylor expansion of 1/4 in y 7.501 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.501 * [taylor]: Taking taylor expansion of y in y 7.502 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 7.502 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 7.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.502 * [taylor]: Taking taylor expansion of y in y 7.504 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 7.504 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.504 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.504 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.504 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.504 * [taylor]: Taking taylor expansion of 1/4 in y 7.504 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.504 * [taylor]: Taking taylor expansion of y in y 7.505 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 7.505 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 7.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.505 * [taylor]: Taking taylor expansion of y in y 7.533 * [approximate]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in (y) around 0 7.533 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 7.533 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 7.533 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.533 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.533 * [taylor]: Taking taylor expansion of -1 in y 7.533 * [taylor]: Taking taylor expansion of y in y 7.535 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.535 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.535 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.535 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.535 * [taylor]: Taking taylor expansion of -1 in y 7.535 * [taylor]: Taking taylor expansion of y in y 7.540 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 7.540 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 7.540 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.540 * [taylor]: Taking taylor expansion of -1 in y 7.540 * [taylor]: Taking taylor expansion of y in y 7.542 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.542 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.542 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.542 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.542 * [taylor]: Taking taylor expansion of -1 in y 7.542 * [taylor]: Taking taylor expansion of y in y 7.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 7.632 * [approximate]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in (x y) around 0 7.632 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in y 7.632 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in y 7.632 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 7.632 * [taylor]: Taking taylor expansion of (sqrt y) in y 7.633 * [taylor]: Taking taylor expansion of y in y 7.634 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.634 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.634 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.634 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.634 * [taylor]: Taking taylor expansion of 1/4 in y 7.634 * [taylor]: Taking taylor expansion of (log y) in y 7.634 * [taylor]: Taking taylor expansion of y in y 7.635 * [taylor]: Taking taylor expansion of x in y 7.635 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in x 7.635 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in x 7.635 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 7.635 * [taylor]: Taking taylor expansion of (sqrt y) in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 7.635 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 7.635 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 7.635 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 7.635 * [taylor]: Taking taylor expansion of 1/4 in x 7.635 * [taylor]: Taking taylor expansion of (log y) in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of x in x 7.635 * [taylor]: Taking taylor expansion of (* (+ (log (sqrt y)) (log (pow y 1/4))) x) in x 7.635 * [taylor]: Taking taylor expansion of (+ (log (sqrt y)) (log (pow y 1/4))) in x 7.635 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 7.635 * [taylor]: Taking taylor expansion of (sqrt y) in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 7.635 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 7.635 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 7.635 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 7.635 * [taylor]: Taking taylor expansion of 1/4 in x 7.635 * [taylor]: Taking taylor expansion of (log y) in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.636 * [taylor]: Taking taylor expansion of x in x 7.636 * [taylor]: Taking taylor expansion of 0 in y 7.639 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/4)) (log (sqrt y))) in y 7.639 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.639 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.639 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.639 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.639 * [taylor]: Taking taylor expansion of 1/4 in y 7.639 * [taylor]: Taking taylor expansion of (log y) in y 7.639 * [taylor]: Taking taylor expansion of y in y 7.640 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 7.640 * [taylor]: Taking taylor expansion of (sqrt y) in y 7.640 * [taylor]: Taking taylor expansion of y in y 7.648 * [taylor]: Taking taylor expansion of 0 in y 7.669 * [taylor]: Taking taylor expansion of 0 in y 7.685 * [approximate]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in (x y) around 0 7.685 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in y 7.685 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 7.685 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.685 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.685 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.685 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.685 * [taylor]: Taking taylor expansion of 1/4 in y 7.685 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.685 * [taylor]: Taking taylor expansion of y in y 7.686 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 7.686 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 7.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.686 * [taylor]: Taking taylor expansion of y in y 7.688 * [taylor]: Taking taylor expansion of x in y 7.689 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in x 7.689 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in x 7.689 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 7.689 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 7.689 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 7.689 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 7.689 * [taylor]: Taking taylor expansion of 1/4 in x 7.689 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.689 * [taylor]: Taking taylor expansion of y in x 7.689 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 7.689 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 7.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.689 * [taylor]: Taking taylor expansion of y in x 7.689 * [taylor]: Taking taylor expansion of x in x 7.690 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) x) in x 7.690 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in x 7.690 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 7.690 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 7.690 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 7.690 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 7.690 * [taylor]: Taking taylor expansion of 1/4 in x 7.690 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.690 * [taylor]: Taking taylor expansion of y in x 7.690 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 7.690 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 7.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.690 * [taylor]: Taking taylor expansion of y in x 7.690 * [taylor]: Taking taylor expansion of x in x 7.691 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/4)) (log (sqrt (/ 1 y)))) in y 7.691 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.691 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.691 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.691 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.691 * [taylor]: Taking taylor expansion of 1/4 in y 7.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.691 * [taylor]: Taking taylor expansion of y in y 7.692 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 7.692 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 7.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.692 * [taylor]: Taking taylor expansion of y in y 7.697 * [taylor]: Taking taylor expansion of 0 in y 7.713 * [taylor]: Taking taylor expansion of 0 in y 7.730 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in (x y) around 0 7.730 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in y 7.730 * [taylor]: Taking taylor expansion of -1 in y 7.730 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in y 7.730 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 7.730 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 7.730 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.730 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.730 * [taylor]: Taking taylor expansion of -1 in y 7.730 * [taylor]: Taking taylor expansion of y in y 7.732 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.732 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.732 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.732 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.732 * [taylor]: Taking taylor expansion of -1 in y 7.732 * [taylor]: Taking taylor expansion of y in y 7.737 * [taylor]: Taking taylor expansion of x in y 7.739 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in x 7.739 * [taylor]: Taking taylor expansion of -1 in x 7.740 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in x 7.740 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in x 7.740 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 7.740 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 7.740 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.740 * [taylor]: Taking taylor expansion of -1 in x 7.740 * [taylor]: Taking taylor expansion of y in x 7.740 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 7.740 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 7.740 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 7.740 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.740 * [taylor]: Taking taylor expansion of -1 in x 7.740 * [taylor]: Taking taylor expansion of y in x 7.740 * [taylor]: Taking taylor expansion of x in x 7.740 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x)) in x 7.740 * [taylor]: Taking taylor expansion of -1 in x 7.740 * [taylor]: Taking taylor expansion of (/ (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) x) in x 7.740 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in x 7.740 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 7.740 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 7.741 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.741 * [taylor]: Taking taylor expansion of -1 in x 7.741 * [taylor]: Taking taylor expansion of y in x 7.741 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 7.741 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 7.741 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 7.741 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.741 * [taylor]: Taking taylor expansion of -1 in x 7.741 * [taylor]: Taking taylor expansion of y in x 7.741 * [taylor]: Taking taylor expansion of x in x 7.741 * [taylor]: Taking taylor expansion of (* -1 (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y)))))) in y 7.741 * [taylor]: Taking taylor expansion of -1 in y 7.741 * [taylor]: Taking taylor expansion of (+ (log (sqrt (/ -1 y))) (log (sqrt (sqrt (/ -1 y))))) in y 7.742 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 7.742 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.742 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.742 * [taylor]: Taking taylor expansion of -1 in y 7.742 * [taylor]: Taking taylor expansion of y in y 7.743 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.743 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.743 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.743 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.743 * [taylor]: Taking taylor expansion of -1 in y 7.743 * [taylor]: Taking taylor expansion of y in y 7.760 * [taylor]: Taking taylor expansion of 0 in y 7.788 * [taylor]: Taking taylor expansion of 0 in y 7.867 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.867 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/4))) in (y x) around 0 7.867 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x 7.867 * [taylor]: Taking taylor expansion of x in x 7.867 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 7.868 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 7.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 7.868 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 7.868 * [taylor]: Taking taylor expansion of 1/4 in x 7.868 * [taylor]: Taking taylor expansion of (log y) in x 7.868 * [taylor]: Taking taylor expansion of y in x 7.868 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in y 7.868 * [taylor]: Taking taylor expansion of x in y 7.868 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.868 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.868 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.868 * [taylor]: Taking taylor expansion of 1/4 in y 7.868 * [taylor]: Taking taylor expansion of (log y) in y 7.868 * [taylor]: Taking taylor expansion of y in y 7.869 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in y 7.869 * [taylor]: Taking taylor expansion of x in y 7.869 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y 7.869 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 7.869 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 7.869 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 7.869 * [taylor]: Taking taylor expansion of 1/4 in y 7.869 * [taylor]: Taking taylor expansion of (log y) in y 7.869 * [taylor]: Taking taylor expansion of y in y 7.869 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x 7.870 * [taylor]: Taking taylor expansion of x in x 7.870 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x 7.870 * [taylor]: Taking taylor expansion of (pow y 1/4) in x 7.870 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x 7.870 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x 7.870 * [taylor]: Taking taylor expansion of 1/4 in x 7.870 * [taylor]: Taking taylor expansion of (log y) in x 7.870 * [taylor]: Taking taylor expansion of y in x 7.872 * [taylor]: Taking taylor expansion of 0 in x 7.879 * [taylor]: Taking taylor expansion of 0 in x 7.889 * [taylor]: Taking taylor expansion of 0 in x 7.890 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in (y x) around 0 7.890 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in x 7.890 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x 7.890 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x 7.890 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x 7.890 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x 7.890 * [taylor]: Taking taylor expansion of 1/4 in x 7.890 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.890 * [taylor]: Taking taylor expansion of y in x 7.890 * [taylor]: Taking taylor expansion of x in x 7.890 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in y 7.890 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.890 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.890 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.890 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.890 * [taylor]: Taking taylor expansion of 1/4 in y 7.890 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.890 * [taylor]: Taking taylor expansion of y in y 7.891 * [taylor]: Taking taylor expansion of x in y 7.891 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in y 7.891 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y 7.891 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 7.891 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 7.891 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 7.891 * [taylor]: Taking taylor expansion of 1/4 in y 7.892 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.892 * [taylor]: Taking taylor expansion of y in y 7.892 * [taylor]: Taking taylor expansion of x in y 7.893 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/4)) x) in x 7.893 * [taylor]: Taking taylor expansion of (log (pow y -1/4)) in x 7.893 * [taylor]: Taking taylor expansion of (pow y -1/4) in x 7.893 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log y))) in x 7.893 * [taylor]: Taking taylor expansion of (* -1/4 (log y)) in x 7.893 * [taylor]: Taking taylor expansion of -1/4 in x 7.893 * [taylor]: Taking taylor expansion of (log y) in x 7.893 * [taylor]: Taking taylor expansion of y in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.896 * [taylor]: Taking taylor expansion of 0 in x 7.903 * [taylor]: Taking taylor expansion of 0 in x 7.914 * [taylor]: Taking taylor expansion of 0 in x 7.926 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in (y x) around 0 7.926 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in x 7.926 * [taylor]: Taking taylor expansion of -1 in x 7.926 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in x 7.926 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x 7.926 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x 7.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 7.926 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.926 * [taylor]: Taking taylor expansion of -1 in x 7.926 * [taylor]: Taking taylor expansion of y in x 7.927 * [taylor]: Taking taylor expansion of x in x 7.927 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in y 7.927 * [taylor]: Taking taylor expansion of -1 in y 7.927 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in y 7.927 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.927 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.927 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.927 * [taylor]: Taking taylor expansion of -1 in y 7.927 * [taylor]: Taking taylor expansion of y in y 7.932 * [taylor]: Taking taylor expansion of x in y 7.933 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in y 7.933 * [taylor]: Taking taylor expansion of -1 in y 7.933 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in y 7.933 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y 7.933 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 7.933 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 7.933 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.933 * [taylor]: Taking taylor expansion of -1 in y 7.933 * [taylor]: Taking taylor expansion of y in y 7.938 * [taylor]: Taking taylor expansion of x in y 7.939 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt +nan.0)) x)) in x 7.940 * [taylor]: Taking taylor expansion of -1 in x 7.940 * [taylor]: Taking taylor expansion of (/ (log (sqrt +nan.0)) x) in x 7.940 * [taylor]: Taking taylor expansion of (log (sqrt +nan.0)) in x 7.940 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 7.940 * [taylor]: Taking taylor expansion of +nan.0 in x 7.941 * [taylor]: Taking taylor expansion of x in x 7.952 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x)))) in x 7.952 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x))) in x 7.952 * [taylor]: Taking taylor expansion of +nan.0 in x 7.952 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 2) x)) in x 7.952 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 2) x) in x 7.952 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 2) in x 7.952 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 7.952 * [taylor]: Taking taylor expansion of +nan.0 in x 7.953 * [taylor]: Taking taylor expansion of x in x 8.000 * [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 8.000 * [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 8.000 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 4) x))) in x 8.000 * [taylor]: Taking taylor expansion of +nan.0 in x 8.000 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 4) x)) in x 8.000 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 4) x) in x 8.000 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 4) in x 8.000 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 8.000 * [taylor]: Taking taylor expansion of +nan.0 in x 8.000 * [taylor]: Taking taylor expansion of x in x 8.012 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x)))) in x 8.012 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) x))) in x 8.012 * [taylor]: Taking taylor expansion of +nan.0 in x 8.012 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt +nan.0) 2) x)) in x 8.012 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 2) x) in x 8.012 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 2) in x 8.012 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in x 8.012 * [taylor]: Taking taylor expansion of +nan.0 in x 8.013 * [taylor]: Taking taylor expansion of x in x 8.048 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 8.048 * [approximate]: Taking taylor expansion of (pow y 1/4) in (y) around 0 8.048 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 8.048 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 8.048 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 8.048 * [taylor]: Taking taylor expansion of 1/4 in y 8.048 * [taylor]: Taking taylor expansion of (log y) in y 8.048 * [taylor]: Taking taylor expansion of y in y 8.049 * [taylor]: Taking taylor expansion of (pow y 1/4) in y 8.049 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y 8.049 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y 8.049 * [taylor]: Taking taylor expansion of 1/4 in y 8.049 * [taylor]: Taking taylor expansion of (log y) in y 8.049 * [taylor]: Taking taylor expansion of y in y 8.103 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/4) in (y) around 0 8.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 8.103 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 8.103 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 8.103 * [taylor]: Taking taylor expansion of 1/4 in y 8.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.103 * [taylor]: Taking taylor expansion of y in y 8.104 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y 8.104 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y 8.104 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y 8.104 * [taylor]: Taking taylor expansion of 1/4 in y 8.104 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.104 * [taylor]: Taking taylor expansion of y in y 8.156 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in (y) around 0 8.156 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 8.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 8.156 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.156 * [taylor]: Taking taylor expansion of -1 in y 8.156 * [taylor]: Taking taylor expansion of y in y 8.161 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y 8.161 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 8.161 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.161 * [taylor]: Taking taylor expansion of -1 in y 8.161 * [taylor]: Taking taylor expansion of y in y 8.188 * * * [progress]: simplifying candidates 8.190 * [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)))))))) 8.196 * * [simplify]: iteration 0 : 230 enodes (cost 1390 ) 8.244 * * [simplify]: iteration 1 : 597 enodes (cost 1271 ) 8.382 * * [simplify]: iteration 2 : 2153 enodes (cost 1103 ) 8.928 * * [simplify]: iteration done : 5000 enodes (cost 1103 ) 8.929 * [simplify]: Simplified to: (pow (sqrt (sqrt y)) 3) (log (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (pow (sqrt (sqrt y)) 3) (* (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt y)))) (pow (+ (log (sqrt (sqrt y))) (log (sqrt y))) 3) (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 y)) (- (log (sqrt y)) (log (sqrt (sqrt y))))) (* (log (sqrt (sqrt y))) (log (sqrt (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))) 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))) (+ (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 (sqrt (sqrt y))) (log (sqrt y))))) (log (* x (+ (log (sqrt (sqrt y))) (log (sqrt y))))) (pow (pow (sqrt (sqrt y)) 3) x) (pow (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) 3) (* (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))))) (pow (* x (+ (log (sqrt (sqrt y))) (log (sqrt y)))) 3) (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))))) (* (log (sqrt (sqrt y))) x) (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* x (log (sqrt y))) (* 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 (* 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) (+ (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 (* x (log (sqrt (sqrt y))))) (log (* x (log (sqrt (sqrt y))))) (pow (sqrt (sqrt y)) x) (pow (* (log (sqrt (sqrt y))) x) 3) (* (cbrt (* (log (sqrt (sqrt y))) x)) (cbrt (* (log (sqrt (sqrt y))) x))) (cbrt (* (log (sqrt (sqrt y))) x)) (pow (* (log (sqrt (sqrt y))) x) 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))) (+ (- (+ (log +nan.0) (log y)) (* +nan.0 (- y (pow y 2)))) (log (pow y 1/4))) (- (+ (log +nan.0) (* -1/4 (- (log y)))) (- (/ +nan.0 y) (/ +nan.0 (pow y 2)))) (- (+ (log +nan.0) (log (sqrt +nan.0))) (+ (- (/ +nan.0 (* +nan.0 (pow y 2))) (/ +nan.0 (pow y 2))) (- (/ +nan.0 (* (* +nan.0 (pow y 2)) +nan.0)) (- (/ +nan.0 (* +nan.0 y)) (/ +nan.0 y))))) (- (* x (+ (log (pow y 1/4)) (+ (log +nan.0) (log y)))) (* (* +nan.0 x) (- (pow y 2) y))) (- (* x (+ (log +nan.0) (* -1/4 (- (log y))))) (* +nan.0 (- (/ x y) (/ x (pow y 2))))) (- (* x (+ (log +nan.0) (log (sqrt +nan.0)))) (- (* +nan.0 (/ x y)) (+ (- (/ (* +nan.0 (/ x y)) +nan.0) (* +nan.0 (/ x (pow y 2)))) (* +nan.0 (- (/ x (* (* +nan.0 (pow y 2)) +nan.0)) (/ x (* +nan.0 (pow y 2)))))))) (* x (log (pow y 1/4))) (* (* x -1/4) (- (log y))) (+ (- (* x (log (sqrt +nan.0))) (/ (* +nan.0 (/ x y)) +nan.0)) (* +nan.0 (- (/ x (* (* +nan.0 (pow y 2)) +nan.0)) (/ x (* +nan.0 (pow y 2)))))) (pow y 1/4) (pow (/ 1 y) -1/4) (- (sqrt +nan.0) (+ (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow y 2))) (/ +nan.0 (* (sqrt +nan.0) (pow y 2)))) (/ +nan.0 (* (sqrt +nan.0) y)))) 8.930 * * * [progress]: adding candidates to table 9.374 * [progress]: [Phase 3 of 3] Extracting. 9.374 * * [regime]: Finding splitpoints for: (# # # # #) 9.377 * * * [regime-changes]: Trying 5 branch expressions: ((log t) t z y x) 9.377 * * * * [regimes]: Trying to branch on (log t) from (# # # # #) 9.409 * * * * [regimes]: Trying to branch on t from (# # # # #) 9.442 * * * * [regimes]: Trying to branch on z from (# # # # #) 9.474 * * * * [regimes]: Trying to branch on y from (# # # # #) 9.506 * * * * [regimes]: Trying to branch on x from (# # # # #) 9.536 * * * [regime]: Found split indices: #