0.814 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.230 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.232 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.233 * * * * [points]: Setting MPFR precision to 64 0.234 * * * * [points]: Setting MPFR precision to 320 0.235 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.235 * * * * [points]: Setting MPFR precision to 64 0.235 * * * * [points]: Setting MPFR precision to 320 0.235 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.236 * * * * [points]: Setting MPFR precision to 64 0.236 * * * * [points]: Setting MPFR precision to 320 0.237 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.237 * * * * [points]: Setting MPFR precision to 64 0.238 * * * * [points]: Setting MPFR precision to 320 0.240 * * * * [points]: Computing exacts for 256 points 0.240 * * * * [points]: Setting MPFR precision to 64 0.243 * * * * [points]: Setting MPFR precision to 320 0.247 * * * * [points]: Filtering points with unrepresentable outputs 0.248 * * * * [points]: Sampled 256 points with exact outputs 0.254 * * * [progress]: [2/2] Setting up program. 0.258 * [progress]: [Phase 2 of 3] Improving. 0.261 * [simplify]: Simplifying using # : (/ (neg (+ f n)) (- f n)) 0.725 * * [simplify]: iteration 0 : 781 enodes (cost 7 ) 0.725 * * [simplify]: iteration 1 : 781 enodes (cost 7 ) 0.726 * [simplify]: Simplified to: (/ (+ f n) (- n f)) 0.733 * * [progress]: iteration 1 / 4 0.733 * * * [progress]: picking best candidate 0.736 * * * * [pick]: Picked # 0.736 * * * [progress]: localizing error 0.755 * * * [progress]: generating rewritten candidates 0.755 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.769 * * * [progress]: generating series expansions 0.769 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.773 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0 0.774 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n 0.774 * [taylor]: Taking taylor expansion of (+ n f) in n 0.774 * [taylor]: Taking taylor expansion of n in n 0.774 * [taylor]: Taking taylor expansion of f in n 0.774 * [taylor]: Taking taylor expansion of (- n f) in n 0.774 * [taylor]: Taking taylor expansion of n in n 0.774 * [taylor]: Taking taylor expansion of f in n 0.775 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f 0.775 * [taylor]: Taking taylor expansion of (+ n f) in f 0.775 * [taylor]: Taking taylor expansion of n in f 0.775 * [taylor]: Taking taylor expansion of f in f 0.775 * [taylor]: Taking taylor expansion of (- n f) in f 0.775 * [taylor]: Taking taylor expansion of n in f 0.775 * [taylor]: Taking taylor expansion of f in f 0.775 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f 0.775 * [taylor]: Taking taylor expansion of (+ n f) in f 0.775 * [taylor]: Taking taylor expansion of n in f 0.775 * [taylor]: Taking taylor expansion of f in f 0.775 * [taylor]: Taking taylor expansion of (- n f) in f 0.775 * [taylor]: Taking taylor expansion of n in f 0.775 * [taylor]: Taking taylor expansion of f in f 0.775 * [taylor]: Taking taylor expansion of 1 in n 0.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.776 * [taylor]: Taking taylor expansion of 2 in n 0.776 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.776 * [taylor]: Taking taylor expansion of n in n 0.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.777 * [taylor]: Taking taylor expansion of 2 in n 0.777 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.777 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.777 * [taylor]: Taking taylor expansion of n in n 0.778 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.778 * [taylor]: Taking taylor expansion of 2 in n 0.778 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.778 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.778 * [taylor]: Taking taylor expansion of n in n 0.779 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.779 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.779 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.779 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.779 * [taylor]: Taking taylor expansion of f in n 0.779 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.779 * [taylor]: Taking taylor expansion of n in n 0.779 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.779 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.779 * [taylor]: Taking taylor expansion of n in n 0.779 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.779 * [taylor]: Taking taylor expansion of f in n 0.779 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.779 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.779 * [taylor]: Taking taylor expansion of f in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.779 * [taylor]: Taking taylor expansion of n in f 0.779 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.779 * [taylor]: Taking taylor expansion of n in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.779 * [taylor]: Taking taylor expansion of f in f 0.779 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.779 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.779 * [taylor]: Taking taylor expansion of f in f 0.779 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.779 * [taylor]: Taking taylor expansion of n in f 0.780 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.780 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.780 * [taylor]: Taking taylor expansion of n in f 0.780 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.780 * [taylor]: Taking taylor expansion of f in f 0.780 * [taylor]: Taking taylor expansion of -1 in n 0.780 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n 0.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.780 * [taylor]: Taking taylor expansion of 2 in n 0.780 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.780 * [taylor]: Taking taylor expansion of n in n 0.780 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n 0.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.780 * [taylor]: Taking taylor expansion of 2 in n 0.780 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.780 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.780 * [taylor]: Taking taylor expansion of n in n 0.781 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n 0.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.781 * [taylor]: Taking taylor expansion of 2 in n 0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.781 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.781 * [taylor]: Taking taylor expansion of n in n 0.782 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.782 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.782 * [taylor]: Taking taylor expansion of -1 in n 0.782 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.782 * [taylor]: Taking taylor expansion of f in n 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.782 * [taylor]: Taking taylor expansion of n in n 0.782 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.782 * [taylor]: Taking taylor expansion of f in n 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.782 * [taylor]: Taking taylor expansion of n in n 0.782 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.782 * [taylor]: Taking taylor expansion of -1 in f 0.782 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.782 * [taylor]: Taking taylor expansion of f in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.782 * [taylor]: Taking taylor expansion of n in f 0.782 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.782 * [taylor]: Taking taylor expansion of f in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.782 * [taylor]: Taking taylor expansion of n in f 0.782 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.782 * [taylor]: Taking taylor expansion of -1 in f 0.782 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.782 * [taylor]: Taking taylor expansion of f in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.782 * [taylor]: Taking taylor expansion of n in f 0.782 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.782 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.782 * [taylor]: Taking taylor expansion of f in f 0.783 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.783 * [taylor]: Taking taylor expansion of n in f 0.783 * [taylor]: Taking taylor expansion of -1 in n 0.783 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n 0.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.783 * [taylor]: Taking taylor expansion of 2 in n 0.783 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.783 * [taylor]: Taking taylor expansion of n in n 0.783 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n 0.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.783 * [taylor]: Taking taylor expansion of 2 in n 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.783 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.784 * [taylor]: Taking taylor expansion of n in n 0.784 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n 0.784 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.784 * [taylor]: Taking taylor expansion of 2 in n 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.784 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.784 * [taylor]: Taking taylor expansion of n in n 0.785 * * * [progress]: simplifying candidates 0.786 * [simplify]: Simplifying using # : (- (log (+ f n)) (log (- n f))) (log (/ (+ f n) (- n f))) (exp (/ (+ f n) (- n f))) (/ (* (* (+ f n) (+ f n)) (+ f n)) (* (* (- n f) (- n f)) (- n f))) (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) (cbrt (/ (+ f n) (- n f))) (* (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f))) (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))) (neg (+ f n)) (neg (- n f)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (cbrt (+ f n)) (cbrt (- n f))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))) (/ (cbrt (+ f n)) (sqrt (- n f))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (cbrt (+ f n)) (- n f)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))) (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (cbrt (+ f n)) (- n f)) (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt (+ f n)) (cbrt (- n f))) (/ (sqrt (+ f n)) (sqrt (- n f))) (/ (sqrt (+ f n)) (sqrt (- n f))) (/ (sqrt (+ f n)) 1) (/ (sqrt (+ f n)) (- n f)) (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ f n)) 1) (/ (sqrt (+ f n)) (- n f)) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (cbrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ f n) (sqrt (- n f))) (/ 1 1) (/ (+ f n) (- n f)) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ f n) (- (sqrt n) (sqrt f))) (/ 1 1) (/ (+ f n) (- n f)) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (cbrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ f n) (sqrt (- n f))) (/ 1 1) (/ (+ f n) (- n f)) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ f n) (- (sqrt n) (sqrt f))) (/ 1 1) (/ (+ f n) (- n f)) (/ 1 (- n f)) (/ (- n f) (+ f n)) (/ (+ f n) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (sqrt (- n f))) (/ (+ f n) 1) (/ (+ f n) (+ (sqrt n) (sqrt f))) (/ (+ f n) 1) (/ (- n f) (cbrt (+ f n))) (/ (- n f) (sqrt (+ f n))) (/ (- n f) (+ f n)) (/ (- n f) (+ f n)) (/ (+ f n) (- (pow n 3) (pow f 3))) (/ (+ f n) (- (* n n) (* f f))) (* (- n f) (+ (* f f) (- (* n n) (* f n)))) (* (- n f) (- f n)) 1 -1 -1 0.855 * * [simplify]: iteration 0 : 4917 enodes (cost 532 ) 0.855 * * [simplify]: iteration 1 : 4917 enodes (cost 532 ) 0.858 * [simplify]: Simplified to: (log (/ (+ f n) (- n f))) (log (/ (+ f n) (- n f))) (exp (/ (+ f n) (- n f))) (pow (/ (+ f n) (- n f)) 3) (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) (cbrt (/ (+ f n) (- n f))) (pow (/ (+ f n) (- n f)) 3) (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))) (- (neg f) n) (- f n) (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))) (/ (cbrt (+ f n)) (cbrt (- n f))) (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (sqrt (- n f)))) (/ (cbrt (+ f n)) (sqrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (cbrt (+ f n)) (- n f)) (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (+ (sqrt n) (sqrt f)))) (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (cbrt (+ f n)) (- n f)) (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt (+ f n)) (cbrt (- n f))) (/ (sqrt (+ f n)) (sqrt (- n f))) (/ (sqrt (+ f n)) (sqrt (- n f))) (sqrt (+ f n)) (/ (sqrt (+ f n)) (- n f)) (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) (sqrt (+ f n)) (/ (sqrt (+ f n)) (- n f)) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (cbrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ f n) (sqrt (- n f))) 1 (/ (+ f n) (- n f)) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ f n) (- (sqrt n) (sqrt f))) 1 (/ (+ f n) (- n f)) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (cbrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ f n) (sqrt (- n f))) 1 (/ (+ f n) (- n f)) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ f n) (- (sqrt n) (sqrt f))) 1 (/ (+ f n) (- n f)) (/ 1 (- n f)) (/ (- n f) (+ f n)) (/ (+ f n) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ f n) (sqrt (- n f))) (+ f n) (/ (+ f n) (+ (sqrt n) (sqrt f))) (+ f n) (/ (- n f) (cbrt (+ f n))) (/ (- n f) (sqrt (+ f n))) (/ (- n f) (+ f n)) (/ (- n f) (+ f n)) (/ (+ f n) (- (pow n 3) (pow f 3))) (/ 1 (- n f)) (* (- n f) (+ (* n n) (* f (- f n)))) (* (- n f) (- f n)) 1 -1 -1 0.858 * * * [progress]: adding candidates to table 0.904 * * [progress]: iteration 2 / 4 0.904 * * * [progress]: picking best candidate 0.915 * * * * [pick]: Picked # 0.915 * * * [progress]: localizing error 0.921 * * * [progress]: generating rewritten candidates 0.921 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.929 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.949 * * * [progress]: generating series expansions 0.949 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.950 * [approximate]: Taking taylor expansion of (/ (- n f) (+ n f)) in (n f) around 0 0.950 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in f 0.950 * [taylor]: Taking taylor expansion of (- n f) in f 0.950 * [taylor]: Taking taylor expansion of n in f 0.950 * [taylor]: Taking taylor expansion of f in f 0.950 * [taylor]: Taking taylor expansion of (+ n f) in f 0.950 * [taylor]: Taking taylor expansion of n in f 0.950 * [taylor]: Taking taylor expansion of f in f 0.950 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 0.950 * [taylor]: Taking taylor expansion of (- n f) in n 0.950 * [taylor]: Taking taylor expansion of n in n 0.950 * [taylor]: Taking taylor expansion of f in n 0.950 * [taylor]: Taking taylor expansion of (+ n f) in n 0.950 * [taylor]: Taking taylor expansion of n in n 0.950 * [taylor]: Taking taylor expansion of f in n 0.950 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 0.950 * [taylor]: Taking taylor expansion of (- n f) in n 0.950 * [taylor]: Taking taylor expansion of n in n 0.950 * [taylor]: Taking taylor expansion of f in n 0.950 * [taylor]: Taking taylor expansion of (+ n f) in n 0.950 * [taylor]: Taking taylor expansion of n in n 0.950 * [taylor]: Taking taylor expansion of f in n 0.950 * [taylor]: Taking taylor expansion of -1 in f 0.950 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.950 * [taylor]: Taking taylor expansion of 2 in f 0.950 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.950 * [taylor]: Taking taylor expansion of f in f 0.951 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f 0.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.951 * [taylor]: Taking taylor expansion of 2 in f 0.951 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.951 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.951 * [taylor]: Taking taylor expansion of f in f 0.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.951 * [taylor]: Taking taylor expansion of 2 in f 0.951 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.951 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.951 * [taylor]: Taking taylor expansion of f in f 0.952 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (n f) around 0 0.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 0.952 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.952 * [taylor]: Taking taylor expansion of n in f 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.952 * [taylor]: Taking taylor expansion of f in f 0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.952 * [taylor]: Taking taylor expansion of f in f 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.952 * [taylor]: Taking taylor expansion of n in f 0.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 0.952 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.952 * [taylor]: Taking taylor expansion of n in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.952 * [taylor]: Taking taylor expansion of f in n 0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.952 * [taylor]: Taking taylor expansion of f in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.952 * [taylor]: Taking taylor expansion of n in n 0.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 0.952 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.952 * [taylor]: Taking taylor expansion of n in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.952 * [taylor]: Taking taylor expansion of f in n 0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.952 * [taylor]: Taking taylor expansion of f in n 0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.952 * [taylor]: Taking taylor expansion of n in n 0.952 * [taylor]: Taking taylor expansion of 1 in f 0.953 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 0.953 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.953 * [taylor]: Taking taylor expansion of 2 in f 0.953 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.953 * [taylor]: Taking taylor expansion of f in f 0.953 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.953 * [taylor]: Taking taylor expansion of 2 in f 0.953 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.953 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.953 * [taylor]: Taking taylor expansion of f in f 0.954 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 0.954 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.954 * [taylor]: Taking taylor expansion of 2 in f 0.954 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.954 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.954 * [taylor]: Taking taylor expansion of f in f 0.954 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (n f) around 0 0.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 0.954 * [taylor]: Taking taylor expansion of -1 in f 0.954 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 0.954 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.954 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.954 * [taylor]: Taking taylor expansion of f in f 0.954 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.955 * [taylor]: Taking taylor expansion of n in f 0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.955 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.955 * [taylor]: Taking taylor expansion of f in f 0.955 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.955 * [taylor]: Taking taylor expansion of n in f 0.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 0.955 * [taylor]: Taking taylor expansion of -1 in n 0.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 0.955 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.955 * [taylor]: Taking taylor expansion of f in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.955 * [taylor]: Taking taylor expansion of n in n 0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.955 * [taylor]: Taking taylor expansion of f in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.955 * [taylor]: Taking taylor expansion of n in n 0.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 0.955 * [taylor]: Taking taylor expansion of -1 in n 0.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 0.955 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.955 * [taylor]: Taking taylor expansion of f in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.955 * [taylor]: Taking taylor expansion of n in n 0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.955 * [taylor]: Taking taylor expansion of f in n 0.955 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.955 * [taylor]: Taking taylor expansion of n in n 0.956 * [taylor]: Taking taylor expansion of 1 in f 0.956 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 0.956 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.956 * [taylor]: Taking taylor expansion of 2 in f 0.956 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.956 * [taylor]: Taking taylor expansion of f in f 0.956 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.956 * [taylor]: Taking taylor expansion of 2 in f 0.956 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.956 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.956 * [taylor]: Taking taylor expansion of f in f 0.957 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 0.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.957 * [taylor]: Taking taylor expansion of 2 in f 0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.957 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.957 * [taylor]: Taking taylor expansion of f in f 0.958 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.958 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (n f) around 0 0.958 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f 0.958 * [taylor]: Taking taylor expansion of (+ n f) in f 0.958 * [taylor]: Taking taylor expansion of n in f 0.958 * [taylor]: Taking taylor expansion of f in f 0.958 * [taylor]: Taking taylor expansion of (- n f) in f 0.958 * [taylor]: Taking taylor expansion of n in f 0.958 * [taylor]: Taking taylor expansion of f in f 0.958 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n 0.958 * [taylor]: Taking taylor expansion of (+ n f) in n 0.958 * [taylor]: Taking taylor expansion of n in n 0.958 * [taylor]: Taking taylor expansion of f in n 0.958 * [taylor]: Taking taylor expansion of (- n f) in n 0.958 * [taylor]: Taking taylor expansion of n in n 0.958 * [taylor]: Taking taylor expansion of f in n 0.958 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n 0.958 * [taylor]: Taking taylor expansion of (+ n f) in n 0.958 * [taylor]: Taking taylor expansion of n in n 0.958 * [taylor]: Taking taylor expansion of f in n 0.958 * [taylor]: Taking taylor expansion of (- n f) in n 0.958 * [taylor]: Taking taylor expansion of n in n 0.958 * [taylor]: Taking taylor expansion of f in n 0.958 * [taylor]: Taking taylor expansion of -1 in f 0.958 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 0.958 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.958 * [taylor]: Taking taylor expansion of 2 in f 0.958 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.959 * [taylor]: Taking taylor expansion of f in f 0.959 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f 0.959 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.959 * [taylor]: Taking taylor expansion of 2 in f 0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.959 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.959 * [taylor]: Taking taylor expansion of f in f 0.959 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 0.959 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.959 * [taylor]: Taking taylor expansion of 2 in f 0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.959 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.959 * [taylor]: Taking taylor expansion of f in f 0.960 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0 0.960 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.960 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.960 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.960 * [taylor]: Taking taylor expansion of f in f 0.960 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.960 * [taylor]: Taking taylor expansion of n in f 0.960 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.960 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.960 * [taylor]: Taking taylor expansion of n in f 0.960 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.960 * [taylor]: Taking taylor expansion of f in f 0.960 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.960 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.960 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.960 * [taylor]: Taking taylor expansion of f in n 0.960 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.960 * [taylor]: Taking taylor expansion of n in n 0.960 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.960 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.960 * [taylor]: Taking taylor expansion of n in n 0.960 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.960 * [taylor]: Taking taylor expansion of f in n 0.960 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.960 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.960 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.960 * [taylor]: Taking taylor expansion of f in n 0.961 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.961 * [taylor]: Taking taylor expansion of n in n 0.961 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.961 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.961 * [taylor]: Taking taylor expansion of n in n 0.961 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.961 * [taylor]: Taking taylor expansion of f in n 0.961 * [taylor]: Taking taylor expansion of 1 in f 0.961 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.961 * [taylor]: Taking taylor expansion of 2 in f 0.961 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.961 * [taylor]: Taking taylor expansion of f in f 0.961 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.961 * [taylor]: Taking taylor expansion of 2 in f 0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.961 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.961 * [taylor]: Taking taylor expansion of f in f 0.962 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.962 * [taylor]: Taking taylor expansion of 2 in f 0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.962 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.962 * [taylor]: Taking taylor expansion of f in f 0.963 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (n f) around 0 0.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.963 * [taylor]: Taking taylor expansion of -1 in f 0.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.963 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.963 * [taylor]: Taking taylor expansion of f in f 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.963 * [taylor]: Taking taylor expansion of n in f 0.963 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.963 * [taylor]: Taking taylor expansion of f in f 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.963 * [taylor]: Taking taylor expansion of n in f 0.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.963 * [taylor]: Taking taylor expansion of -1 in n 0.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.963 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.963 * [taylor]: Taking taylor expansion of f in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.963 * [taylor]: Taking taylor expansion of n in n 0.963 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.963 * [taylor]: Taking taylor expansion of f in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.963 * [taylor]: Taking taylor expansion of n in n 0.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.963 * [taylor]: Taking taylor expansion of -1 in n 0.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.963 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.963 * [taylor]: Taking taylor expansion of f in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.963 * [taylor]: Taking taylor expansion of n in n 0.963 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.963 * [taylor]: Taking taylor expansion of f in n 0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.963 * [taylor]: Taking taylor expansion of n in n 0.964 * [taylor]: Taking taylor expansion of 1 in f 0.964 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 0.964 * [taylor]: Taking taylor expansion of 2 in f 0.964 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.964 * [taylor]: Taking taylor expansion of f in f 0.964 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 0.964 * [taylor]: Taking taylor expansion of 2 in f 0.964 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 0.964 * [taylor]: Taking taylor expansion of (pow f 2) in f 0.964 * [taylor]: Taking taylor expansion of f in f 0.965 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 0.965 * [taylor]: Taking taylor expansion of 2 in f 0.965 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 0.965 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.965 * [taylor]: Taking taylor expansion of f in f 0.966 * * * [progress]: simplifying candidates 0.968 * [simplify]: Simplifying using # : (- (log (- n f)) (log (+ f n))) (log (/ (- n f) (+ f n))) (exp (/ (- n f) (+ f n))) (/ (* (* (- n f) (- n f)) (- n f)) (* (* (+ f n) (+ f n)) (+ f n))) (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n)))) (cbrt (/ (- n f) (+ f n))) (* (* (/ (- n f) (+ f n)) (/ (- n f) (+ f n))) (/ (- n f) (+ f n))) (sqrt (/ (- n f) (+ f n))) (sqrt (/ (- n f) (+ f n))) (neg (- n f)) (neg (+ f n)) (/ n (+ f n)) (/ f (+ f n)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (cbrt (- n f)) (cbrt (+ f n))) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n))) (/ (cbrt (- n f)) (sqrt (+ f n))) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1) (/ (cbrt (- n f)) (+ f n)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1) (/ (cbrt (- n f)) (+ f n)) (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (sqrt (- n f)) (cbrt (+ f n))) (/ (sqrt (- n f)) (sqrt (+ f n))) (/ (sqrt (- n f)) (sqrt (+ f n))) (/ (sqrt (- n f)) 1) (/ (sqrt (- n f)) (+ f n)) (/ (sqrt (- n f)) 1) (/ (sqrt (- n f)) (+ f n)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (- n f) (cbrt (+ f n))) (/ 1 (sqrt (+ f n))) (/ (- n f) (sqrt (+ f n))) (/ 1 1) (/ (- n f) (+ f n)) (/ 1 1) (/ (- n f) (+ f n)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n))) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n))) (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n))) (/ (+ (sqrt n) (sqrt f)) 1) (/ (- (sqrt n) (sqrt f)) (+ f n)) (/ (+ (sqrt n) (sqrt f)) 1) (/ (- (sqrt n) (sqrt f)) (+ f n)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (- n f) (cbrt (+ f n))) (/ 1 (sqrt (+ f n))) (/ (- n f) (sqrt (+ f n))) (/ 1 1) (/ (- n f) (+ f n)) (/ 1 1) (/ (- n f) (+ f n)) (/ 1 (+ f n)) (/ (+ f n) (- n f)) (/ (- n f) (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (- n f) (sqrt (+ f n))) (/ (- n f) 1) (/ (- n f) 1) (/ (+ f n) (cbrt (- n f))) (/ (+ f n) (sqrt (- n f))) (/ (+ f n) (- n f)) (/ (+ f n) (- (sqrt n) (sqrt f))) (/ (+ f n) (- n f)) (/ (- n f) (+ (pow f 3) (pow n 3))) (/ (- n f) (- (* f f) (* n n))) (* (+ f n) (+ (* n n) (+ (* f f) (* n f)))) (* (+ f n) (+ n f)) (neg 1) (neg (- (log (- n f)) (log (+ f n)))) (neg (log (/ (- n f) (+ f n)))) (- 0 (- (log (- n f)) (log (+ f n)))) (- 0 (log (/ (- n f) (+ f n)))) (- (log 1) (- (log (- n f)) (log (+ f n)))) (- (log 1) (log (/ (- n f) (+ f n)))) (log (/ 1 (/ (- n f) (+ f n)))) (exp (/ 1 (/ (- n f) (+ f n)))) (/ (* (* 1 1) 1) (/ (* (* (- n f) (- n f)) (- n f)) (* (* (+ f n) (+ f n)) (+ f n)))) (/ (* (* 1 1) 1) (* (* (/ (- n f) (+ f n)) (/ (- n f) (+ f n))) (/ (- n f) (+ f n)))) (* (cbrt (/ 1 (/ (- n f) (+ f n)))) (cbrt (/ 1 (/ (- n f) (+ f n))))) (cbrt (/ 1 (/ (- n f) (+ f n)))) (* (* (/ 1 (/ (- n f) (+ f n))) (/ 1 (/ (- n f) (+ f n)))) (/ 1 (/ (- n f) (+ f n)))) (sqrt (/ 1 (/ (- n f) (+ f n)))) (sqrt (/ 1 (/ (- n f) (+ f n)))) (neg 1) (neg (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n))))) (/ (cbrt 1) (cbrt (/ (- n f) (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- n f) (+ f n)))) (/ (cbrt 1) (sqrt (/ (- n f) (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (cbrt 1) (/ (cbrt (- n f)) (cbrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n)))) (/ (cbrt 1) (/ (cbrt (- n f)) (sqrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ (cbrt 1) (/ (cbrt (- n f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ (cbrt 1) (/ (cbrt (- n f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (cbrt 1) (/ (sqrt (- n f)) (cbrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ (cbrt 1) (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) 1)) (/ (cbrt 1) (/ (sqrt (- n f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) 1)) (/ (cbrt 1) (/ (sqrt (- n f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (cbrt 1) (/ (- n f) (cbrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n)))) (/ (cbrt 1) (/ (- n f) (sqrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) 1)) (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) 1)) (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (cbrt 1) (/ (- n f) (cbrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n)))) (/ (cbrt 1) (/ (- n f) (sqrt (+ f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (- n f) (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (- n f)) (/ (cbrt 1) (/ 1 (+ f n))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ (pow f 3) (pow n 3)))) (/ (cbrt 1) (+ (* f f) (- (* n n) (* f n)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (- (* f f) (* n n)))) (/ (cbrt 1) (- f n)) (/ (sqrt 1) (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n))))) (/ (sqrt 1) (cbrt (/ (- n f) (+ f n)))) (/ (sqrt 1) (sqrt (/ (- n f) (+ f n)))) (/ (sqrt 1) (sqrt (/ (- n f) (+ f n)))) (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt 1) (/ (cbrt (- n f)) (cbrt (+ f n)))) (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n)))) (/ (sqrt 1) (/ (cbrt (- n f)) (sqrt (+ f n)))) (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ (sqrt 1) (/ (cbrt (- n f)) (+ f n))) (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ (sqrt 1) (/ (cbrt (- n f)) (+ f n))) (/ (sqrt 1) (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt 1) (/ (sqrt (- n f)) (cbrt (+ f n)))) (/ (sqrt 1) (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ (sqrt 1) (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ (sqrt 1) (/ (sqrt (- n f)) 1)) (/ (sqrt 1) (/ (sqrt (- n f)) (+ f n))) (/ (sqrt 1) (/ (sqrt (- n f)) 1)) (/ (sqrt 1) (/ (sqrt (- n f)) (+ f n))) (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt 1) (/ (- n f) (cbrt (+ f n)))) (/ (sqrt 1) (/ 1 (sqrt (+ f n)))) (/ (sqrt 1) (/ (- n f) (sqrt (+ f n)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- n f) (+ f n))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- n f) (+ f n))) (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n)))) (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) 1)) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) 1)) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt 1) (/ (- n f) (cbrt (+ f n)))) (/ (sqrt 1) (/ 1 (sqrt (+ f n)))) (/ (sqrt 1) (/ (- n f) (sqrt (+ f n)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- n f) (+ f n))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- n f) (+ f n))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (- n f) (+ f n))) (/ (sqrt 1) (- n f)) (/ (sqrt 1) (/ 1 (+ f n))) (/ (sqrt 1) (/ (- n f) (+ (pow f 3) (pow n 3)))) (/ (sqrt 1) (+ (* f f) (- (* n n) (* f n)))) (/ (sqrt 1) (/ (- n f) (- (* f f) (* n n)))) (/ (sqrt 1) (- f n)) (/ 1 (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n))))) (/ 1 (cbrt (/ (- n f) (+ f n)))) (/ 1 (sqrt (/ (- n f) (+ f n)))) (/ 1 (sqrt (/ (- n f) (+ f n)))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (cbrt (- n f)) (cbrt (+ f n)))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n)))) (/ 1 (/ (cbrt (- n f)) (sqrt (+ f n)))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ 1 (/ (cbrt (- n f)) (+ f n))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ 1 (/ (cbrt (- n f)) (+ f n))) (/ 1 (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (sqrt (- n f)) (cbrt (+ f n)))) (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ 1 (/ (sqrt (- n f)) 1)) (/ 1 (/ (sqrt (- n f)) (+ f n))) (/ 1 (/ (sqrt (- n f)) 1)) (/ 1 (/ (sqrt (- n f)) (+ f n))) (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (- n f) (cbrt (+ f n)))) (/ 1 (/ 1 (sqrt (+ f n)))) (/ 1 (/ (- n f) (sqrt (+ f n)))) (/ 1 (/ 1 1)) (/ 1 (/ (- n f) (+ f n))) (/ 1 (/ 1 1)) (/ 1 (/ (- n f) (+ f n))) (/ 1 (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n)))) (/ 1 (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ 1 (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ 1 (/ (+ (sqrt n) (sqrt f)) 1)) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ 1 (/ (+ (sqrt n) (sqrt f)) 1)) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ f n))) (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (- n f) (cbrt (+ f n)))) (/ 1 (/ 1 (sqrt (+ f n)))) (/ 1 (/ (- n f) (sqrt (+ f n)))) (/ 1 (/ 1 1)) (/ 1 (/ (- n f) (+ f n))) (/ 1 (/ 1 1)) (/ 1 (/ (- n f) (+ f n))) (/ 1 1) (/ 1 (/ (- n f) (+ f n))) (/ 1 (- n f)) (/ 1 (/ 1 (+ f n))) (/ 1 (/ (- n f) (+ (pow f 3) (pow n 3)))) (/ 1 (+ (* f f) (- (* n n) (* f n)))) (/ 1 (/ (- n f) (- (* f f) (* n n)))) (/ 1 (- f n)) (/ 1 (/ (- n f) (+ f n))) (/ (/ (- n f) (+ f n)) 1) (/ 1 (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n))))) (/ 1 (sqrt (/ (- n f) (+ f n)))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n)))) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (/ 1 (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n)))) (/ 1 (/ (sqrt (- n f)) 1)) (/ 1 (/ (sqrt (- n f)) 1)) (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ 1 (sqrt (+ f n)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n)))) (/ 1 (/ (+ (sqrt n) (sqrt f)) 1)) (/ 1 (/ (+ (sqrt n) (sqrt f)) 1)) (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ 1 (/ 1 (sqrt (+ f n)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (- n f)) (/ 1 (/ (- n f) (+ (pow f 3) (pow n 3)))) (/ 1 (/ (- n f) (- (* f f) (* n n)))) (/ (/ (- n f) (+ f n)) (cbrt 1)) (/ (/ (- n f) (+ f n)) (sqrt 1)) (/ (/ (- n f) (+ f n)) 1) (/ 1 (- n f)) -1 1 1 -1 1 1 1.025 * * [simplify]: iteration 0 : 5819 enodes (cost 2425 ) 1.034 * [simplify]: Simplified to: (log (/ (- n f) (+ n f))) (log (/ (- n f) (+ n f))) (exp (/ (- n f) (+ n f))) (pow (/ (- n f) (+ n f)) 3) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))) (cbrt (/ (- n f) (+ n f))) (pow (/ (- n f) (+ n f)) 3) (sqrt (/ (- n f) (+ n f))) (sqrt (/ (- n f) (+ n f))) (- f n) (- (neg f) n) (/ n (+ n f)) (/ f (+ n f)) (* (cbrt (- n f)) (/ (cbrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (/ (cbrt (- n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ (cbrt (- n f)) (sqrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))) (/ (cbrt (- n f)) (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))) (/ (cbrt (- n f)) (+ n f)) (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt (- n f)) (cbrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (sqrt (- n f)) (/ (sqrt (- n f)) (+ n f)) (sqrt (- n f)) (/ (sqrt (- n f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) 1 (/ (- n f) (+ n f)) 1 (/ (- n f) (+ n f)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f))) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f))) (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f))) (+ (sqrt n) (sqrt f)) (/ (- (sqrt n) (sqrt f)) (+ n f)) (+ (sqrt n) (sqrt f)) (/ (- (sqrt n) (sqrt f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) 1 (/ (- n f) (+ n f)) 1 (/ (- n f) (+ n f)) (/ 1 (+ n f)) (/ (+ n f) (- n f)) (/ (- n f) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (sqrt (+ n f))) (- n f) (- n f) (/ (+ n f) (cbrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ (+ n f) (- n f)) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ (+ n f) (- n f)) (/ (- n f) (+ (pow f 3) (pow n 3))) (* 1 (/ (/ 1 (+ n f)) -1)) (* (+ n f) (+ (* f f) (* n (+ n f)))) (* (+ n f) (+ n f)) -1 (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (exp (/ (+ n f) (- n f))) (pow (/ (+ n f) (- n f)) 3) (pow (/ (+ n f) (- n f)) 3) (* (cbrt (/ (+ n f) (- n f))) (cbrt (/ (+ n f) (- n f)))) (cbrt (/ (+ n f) (- n f))) (pow (/ (+ n f) (- n f)) 3) (sqrt (/ (+ n f) (- n f))) (sqrt (/ (+ n f) (- n f))) -1 (/ (- f n) (+ n f)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))) (/ (cbrt 1) (cbrt (/ (- n f) (+ n f)))) (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f))))) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))) (* (cbrt (+ n f)) (/ (cbrt 1) (cbrt (- n f)))) (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))) (* (sqrt (+ n f)) (/ (cbrt 1) (cbrt (- n f)))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))) (* (+ n f) (/ (cbrt 1) (cbrt (- n f)))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))) (* (+ n f) (/ (cbrt 1) (cbrt (- n f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))) (* (cbrt (+ n f)) (/ (cbrt 1) (sqrt (- n f)))) (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))) (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f)))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))) (* (+ n f) (/ (cbrt 1) (sqrt (- n f)))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))) (* (+ n f) (/ (cbrt 1) (sqrt (- n f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (* (cbrt 1) (cbrt 1)))) (* (cbrt (+ n f)) (/ (cbrt 1) (- n f))) (* (sqrt (+ n f)) (* (cbrt 1) (cbrt 1))) (* (sqrt (+ n f)) (/ (cbrt 1) (- n f))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))) (* (cbrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f)))) (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))) (* (sqrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f)))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))) (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f)))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))) (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (* (cbrt 1) (cbrt 1)))) (* (cbrt (+ n f)) (/ (cbrt 1) (- n f))) (* (sqrt (+ n f)) (* (cbrt 1) (cbrt 1))) (* (sqrt (+ n f)) (/ (cbrt 1) (- n f))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt 1) (/ (cbrt 1) (- n f))) (* (+ n f) (cbrt 1)) (* (+ (pow f 3) (pow n 3)) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (/ (cbrt 1) (+ (* f f) (* n (- n f)))) (* (cbrt 1) (/ (cbrt 1) (* 1 (/ (/ 1 (+ n f)) -1)))) (/ (cbrt 1) (- f n)) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))) (/ (cbrt (+ n f)) (cbrt (- n f))) (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt (+ n f)) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f)))) (/ (cbrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (cbrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (sqrt (+ n f)) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f)))) (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (cbrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (sqrt (+ n f)) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) (/ 1 (- n f)) (+ n f) (/ (+ (pow f 3) (pow n 3)) (- n f)) (/ 1 (+ (* f f) (* n (- n f)))) (* (- f n) (/ (+ n f) (- n f))) (/ 1 (- f n)) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))) (/ (cbrt (+ n f)) (cbrt (- n f))) (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt (+ n f)) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f)))) (/ (cbrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (cbrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (sqrt (+ n f)) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f)))) (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (cbrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (sqrt (+ n f)) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) (/ 1 (- n f)) (+ n f) (/ (+ (pow f 3) (pow n 3)) (- n f)) (/ 1 (+ (* f f) (* n (- n f)))) (* (- f n) (/ (+ n f) (- n f))) (/ 1 (- f n)) (/ (+ n f) (- n f)) (/ (- n f) (+ n f)) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))) (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f)))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ 1 (sqrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (sqrt (+ n f)) 1 1 (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f)))) (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (* (cbrt (+ n f)) (cbrt (+ n f))) (sqrt (+ n f)) 1 1 1 (/ 1 (- n f)) (/ (+ (pow f 3) (pow n 3)) (- n f)) (* (- f n) (/ (+ n f) (- n f))) (/ (- n f) (* (+ n f) (cbrt 1))) (/ (- n f) (+ n f)) (/ (- n f) (+ n f)) (/ 1 (- n f)) -1 1 1 -1 1 1 1.036 * * * [progress]: adding candidates to table 1.154 * * [progress]: iteration 3 / 4 1.154 * * * [progress]: picking best candidate 1.168 * * * * [pick]: Picked # 1.168 * * * [progress]: localizing error 1.179 * * * [progress]: generating rewritten candidates 1.179 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.187 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.196 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.206 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.240 * * * [progress]: generating series expansions 1.240 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.240 * [approximate]: Taking taylor expansion of (/ (- n f) (+ n f)) in (n f) around 0 1.240 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in f 1.240 * [taylor]: Taking taylor expansion of (- n f) in f 1.240 * [taylor]: Taking taylor expansion of n in f 1.240 * [taylor]: Taking taylor expansion of f in f 1.240 * [taylor]: Taking taylor expansion of (+ n f) in f 1.240 * [taylor]: Taking taylor expansion of n in f 1.240 * [taylor]: Taking taylor expansion of f in f 1.240 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.240 * [taylor]: Taking taylor expansion of (- n f) in n 1.240 * [taylor]: Taking taylor expansion of n in n 1.240 * [taylor]: Taking taylor expansion of f in n 1.240 * [taylor]: Taking taylor expansion of (+ n f) in n 1.240 * [taylor]: Taking taylor expansion of n in n 1.240 * [taylor]: Taking taylor expansion of f in n 1.240 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.240 * [taylor]: Taking taylor expansion of (- n f) in n 1.240 * [taylor]: Taking taylor expansion of n in n 1.240 * [taylor]: Taking taylor expansion of f in n 1.240 * [taylor]: Taking taylor expansion of (+ n f) in n 1.240 * [taylor]: Taking taylor expansion of n in n 1.240 * [taylor]: Taking taylor expansion of f in n 1.240 * [taylor]: Taking taylor expansion of -1 in f 1.241 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.241 * [taylor]: Taking taylor expansion of 2 in f 1.241 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.241 * [taylor]: Taking taylor expansion of f in f 1.241 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f 1.241 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.241 * [taylor]: Taking taylor expansion of 2 in f 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.241 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.241 * [taylor]: Taking taylor expansion of f in f 1.241 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.241 * [taylor]: Taking taylor expansion of 2 in f 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.241 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.241 * [taylor]: Taking taylor expansion of f in f 1.242 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (n f) around 0 1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.242 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.242 * [taylor]: Taking taylor expansion of n in f 1.242 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.242 * [taylor]: Taking taylor expansion of f in f 1.242 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.242 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.242 * [taylor]: Taking taylor expansion of f in f 1.242 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.242 * [taylor]: Taking taylor expansion of n in f 1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.242 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.242 * [taylor]: Taking taylor expansion of n in n 1.242 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.242 * [taylor]: Taking taylor expansion of f in n 1.242 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.242 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.242 * [taylor]: Taking taylor expansion of f in n 1.242 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.242 * [taylor]: Taking taylor expansion of n in n 1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.243 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.243 * [taylor]: Taking taylor expansion of n in n 1.243 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.243 * [taylor]: Taking taylor expansion of f in n 1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.243 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.243 * [taylor]: Taking taylor expansion of f in n 1.243 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.243 * [taylor]: Taking taylor expansion of n in n 1.243 * [taylor]: Taking taylor expansion of 1 in f 1.243 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 1.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.243 * [taylor]: Taking taylor expansion of 2 in f 1.243 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.243 * [taylor]: Taking taylor expansion of f in f 1.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.243 * [taylor]: Taking taylor expansion of 2 in f 1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.243 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.243 * [taylor]: Taking taylor expansion of f in f 1.244 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 1.244 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.244 * [taylor]: Taking taylor expansion of 2 in f 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.244 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.244 * [taylor]: Taking taylor expansion of f in f 1.245 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (n f) around 0 1.245 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 1.245 * [taylor]: Taking taylor expansion of -1 in f 1.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 1.245 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.245 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.245 * [taylor]: Taking taylor expansion of f in f 1.245 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.245 * [taylor]: Taking taylor expansion of n in f 1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.245 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.245 * [taylor]: Taking taylor expansion of f in f 1.245 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.245 * [taylor]: Taking taylor expansion of n in f 1.245 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.245 * [taylor]: Taking taylor expansion of -1 in n 1.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.245 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.245 * [taylor]: Taking taylor expansion of f in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.245 * [taylor]: Taking taylor expansion of n in n 1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.245 * [taylor]: Taking taylor expansion of f in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.245 * [taylor]: Taking taylor expansion of n in n 1.245 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.245 * [taylor]: Taking taylor expansion of -1 in n 1.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.245 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.245 * [taylor]: Taking taylor expansion of f in n 1.245 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.245 * [taylor]: Taking taylor expansion of n in n 1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.246 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.246 * [taylor]: Taking taylor expansion of f in n 1.246 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.246 * [taylor]: Taking taylor expansion of n in n 1.246 * [taylor]: Taking taylor expansion of 1 in f 1.246 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 1.246 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.246 * [taylor]: Taking taylor expansion of 2 in f 1.246 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.246 * [taylor]: Taking taylor expansion of f in f 1.246 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.247 * [taylor]: Taking taylor expansion of 2 in f 1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.247 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.247 * [taylor]: Taking taylor expansion of f in f 1.247 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 1.247 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.247 * [taylor]: Taking taylor expansion of 2 in f 1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.247 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.247 * [taylor]: Taking taylor expansion of f in f 1.248 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.248 * [approximate]: Taking taylor expansion of (exp (/ (- n f) (+ n f))) in (n f) around 0 1.248 * [taylor]: Taking taylor expansion of (exp (/ (- n f) (+ n f))) in f 1.248 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in f 1.248 * [taylor]: Taking taylor expansion of (- n f) in f 1.248 * [taylor]: Taking taylor expansion of n in f 1.248 * [taylor]: Taking taylor expansion of f in f 1.248 * [taylor]: Taking taylor expansion of (+ n f) in f 1.248 * [taylor]: Taking taylor expansion of n in f 1.248 * [taylor]: Taking taylor expansion of f in f 1.248 * [taylor]: Taking taylor expansion of (exp (/ (- n f) (+ n f))) in n 1.248 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.248 * [taylor]: Taking taylor expansion of (- n f) in n 1.248 * [taylor]: Taking taylor expansion of n in n 1.248 * [taylor]: Taking taylor expansion of f in n 1.248 * [taylor]: Taking taylor expansion of (+ n f) in n 1.248 * [taylor]: Taking taylor expansion of n in n 1.248 * [taylor]: Taking taylor expansion of f in n 1.249 * [taylor]: Taking taylor expansion of (exp (/ (- n f) (+ n f))) in n 1.249 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.249 * [taylor]: Taking taylor expansion of (- n f) in n 1.249 * [taylor]: Taking taylor expansion of n in n 1.249 * [taylor]: Taking taylor expansion of f in n 1.249 * [taylor]: Taking taylor expansion of (+ n f) in n 1.249 * [taylor]: Taking taylor expansion of n in n 1.249 * [taylor]: Taking taylor expansion of f in n 1.249 * [taylor]: Taking taylor expansion of (exp -1) in f 1.249 * [taylor]: Taking taylor expansion of -1 in f 1.251 * [taylor]: Taking taylor expansion of (* 2 (/ (exp -1) f)) in f 1.251 * [taylor]: Taking taylor expansion of 2 in f 1.251 * [taylor]: Taking taylor expansion of (/ (exp -1) f) in f 1.251 * [taylor]: Taking taylor expansion of (exp -1) in f 1.251 * [taylor]: Taking taylor expansion of -1 in f 1.251 * [taylor]: Taking taylor expansion of f in f 1.252 * [taylor]: Taking taylor expansion of 0 in f 1.253 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp -1) (pow f 3))) in f 1.253 * [taylor]: Taking taylor expansion of -2/3 in f 1.253 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow f 3)) in f 1.253 * [taylor]: Taking taylor expansion of (exp -1) in f 1.253 * [taylor]: Taking taylor expansion of -1 in f 1.253 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.253 * [taylor]: Taking taylor expansion of f in f 1.254 * [approximate]: Taking taylor expansion of (exp (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in (n f) around 0 1.254 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in f 1.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 1.254 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.254 * [taylor]: Taking taylor expansion of n in f 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.254 * [taylor]: Taking taylor expansion of f in f 1.254 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.254 * [taylor]: Taking taylor expansion of f in f 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.254 * [taylor]: Taking taylor expansion of n in f 1.254 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in n 1.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.254 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.254 * [taylor]: Taking taylor expansion of n in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.254 * [taylor]: Taking taylor expansion of f in n 1.254 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.254 * [taylor]: Taking taylor expansion of f in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.254 * [taylor]: Taking taylor expansion of n in n 1.254 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in n 1.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.254 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.254 * [taylor]: Taking taylor expansion of n in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.254 * [taylor]: Taking taylor expansion of f in n 1.254 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.254 * [taylor]: Taking taylor expansion of f in n 1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.254 * [taylor]: Taking taylor expansion of n in n 1.255 * [taylor]: Taking taylor expansion of E in f 1.255 * [taylor]: Taking taylor expansion of (* -2 (/ E f)) in f 1.255 * [taylor]: Taking taylor expansion of -2 in f 1.255 * [taylor]: Taking taylor expansion of (/ E f) in f 1.255 * [taylor]: Taking taylor expansion of E in f 1.255 * [taylor]: Taking taylor expansion of f in f 1.256 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow f 2))) in f 1.256 * [taylor]: Taking taylor expansion of 4 in f 1.256 * [taylor]: Taking taylor expansion of (/ E (pow f 2)) in f 1.256 * [taylor]: Taking taylor expansion of E in f 1.256 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.256 * [taylor]: Taking taylor expansion of f in f 1.257 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow f 3))) in f 1.257 * [taylor]: Taking taylor expansion of -22/3 in f 1.257 * [taylor]: Taking taylor expansion of (/ E (pow f 3)) in f 1.257 * [taylor]: Taking taylor expansion of E in f 1.257 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.257 * [taylor]: Taking taylor expansion of f in f 1.257 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))))) in (n f) around 0 1.257 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))))) in f 1.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 1.257 * [taylor]: Taking taylor expansion of -1 in f 1.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 1.257 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.257 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.257 * [taylor]: Taking taylor expansion of f in f 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.258 * [taylor]: Taking taylor expansion of n in f 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.258 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.258 * [taylor]: Taking taylor expansion of f in f 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.258 * [taylor]: Taking taylor expansion of n in f 1.258 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))))) in n 1.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.258 * [taylor]: Taking taylor expansion of -1 in n 1.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.258 * [taylor]: Taking taylor expansion of f in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.258 * [taylor]: Taking taylor expansion of n in n 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.258 * [taylor]: Taking taylor expansion of f in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.258 * [taylor]: Taking taylor expansion of n in n 1.258 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))))) in n 1.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.258 * [taylor]: Taking taylor expansion of -1 in n 1.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.258 * [taylor]: Taking taylor expansion of f in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.258 * [taylor]: Taking taylor expansion of n in n 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.258 * [taylor]: Taking taylor expansion of f in n 1.258 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.258 * [taylor]: Taking taylor expansion of n in n 1.258 * [taylor]: Taking taylor expansion of E in f 1.259 * [taylor]: Taking taylor expansion of (* -2 (/ E f)) in f 1.259 * [taylor]: Taking taylor expansion of -2 in f 1.259 * [taylor]: Taking taylor expansion of (/ E f) in f 1.259 * [taylor]: Taking taylor expansion of E in f 1.259 * [taylor]: Taking taylor expansion of f in f 1.260 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow f 2))) in f 1.260 * [taylor]: Taking taylor expansion of 4 in f 1.260 * [taylor]: Taking taylor expansion of (/ E (pow f 2)) in f 1.260 * [taylor]: Taking taylor expansion of E in f 1.260 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.260 * [taylor]: Taking taylor expansion of f in f 1.261 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow f 3))) in f 1.261 * [taylor]: Taking taylor expansion of -22/3 in f 1.261 * [taylor]: Taking taylor expansion of (/ E (pow f 3)) in f 1.261 * [taylor]: Taking taylor expansion of E in f 1.261 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.261 * [taylor]: Taking taylor expansion of f in f 1.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.262 * [approximate]: Taking taylor expansion of (/ (- n f) (+ n f)) in (n f) around 0 1.262 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in f 1.262 * [taylor]: Taking taylor expansion of (- n f) in f 1.262 * [taylor]: Taking taylor expansion of n in f 1.262 * [taylor]: Taking taylor expansion of f in f 1.262 * [taylor]: Taking taylor expansion of (+ n f) in f 1.262 * [taylor]: Taking taylor expansion of n in f 1.262 * [taylor]: Taking taylor expansion of f in f 1.262 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.262 * [taylor]: Taking taylor expansion of (- n f) in n 1.262 * [taylor]: Taking taylor expansion of n in n 1.262 * [taylor]: Taking taylor expansion of f in n 1.262 * [taylor]: Taking taylor expansion of (+ n f) in n 1.262 * [taylor]: Taking taylor expansion of n in n 1.262 * [taylor]: Taking taylor expansion of f in n 1.262 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n 1.262 * [taylor]: Taking taylor expansion of (- n f) in n 1.262 * [taylor]: Taking taylor expansion of n in n 1.262 * [taylor]: Taking taylor expansion of f in n 1.262 * [taylor]: Taking taylor expansion of (+ n f) in n 1.262 * [taylor]: Taking taylor expansion of n in n 1.262 * [taylor]: Taking taylor expansion of f in n 1.262 * [taylor]: Taking taylor expansion of -1 in f 1.262 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.262 * [taylor]: Taking taylor expansion of 2 in f 1.262 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.262 * [taylor]: Taking taylor expansion of f in f 1.262 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f 1.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.263 * [taylor]: Taking taylor expansion of 2 in f 1.263 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.263 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.263 * [taylor]: Taking taylor expansion of f in f 1.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.263 * [taylor]: Taking taylor expansion of 2 in f 1.263 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.263 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.263 * [taylor]: Taking taylor expansion of f in f 1.264 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (n f) around 0 1.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 1.264 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.264 * [taylor]: Taking taylor expansion of n in f 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.264 * [taylor]: Taking taylor expansion of f in f 1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.264 * [taylor]: Taking taylor expansion of f in f 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.264 * [taylor]: Taking taylor expansion of n in f 1.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.264 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.264 * [taylor]: Taking taylor expansion of n in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.264 * [taylor]: Taking taylor expansion of f in n 1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.264 * [taylor]: Taking taylor expansion of f in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.264 * [taylor]: Taking taylor expansion of n in n 1.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 1.264 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.264 * [taylor]: Taking taylor expansion of n in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.264 * [taylor]: Taking taylor expansion of f in n 1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.264 * [taylor]: Taking taylor expansion of f in n 1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.264 * [taylor]: Taking taylor expansion of n in n 1.264 * [taylor]: Taking taylor expansion of 1 in f 1.265 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 1.265 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.265 * [taylor]: Taking taylor expansion of 2 in f 1.265 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.265 * [taylor]: Taking taylor expansion of f in f 1.265 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.265 * [taylor]: Taking taylor expansion of 2 in f 1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.265 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.265 * [taylor]: Taking taylor expansion of f in f 1.266 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 1.266 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.266 * [taylor]: Taking taylor expansion of 2 in f 1.266 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.266 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.266 * [taylor]: Taking taylor expansion of f in f 1.266 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (n f) around 0 1.266 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 1.266 * [taylor]: Taking taylor expansion of -1 in f 1.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 1.266 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.266 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.267 * [taylor]: Taking taylor expansion of f in f 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.267 * [taylor]: Taking taylor expansion of n in f 1.267 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.267 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.267 * [taylor]: Taking taylor expansion of f in f 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.267 * [taylor]: Taking taylor expansion of n in f 1.267 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.267 * [taylor]: Taking taylor expansion of -1 in n 1.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.267 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.267 * [taylor]: Taking taylor expansion of f in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.267 * [taylor]: Taking taylor expansion of n in n 1.267 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.267 * [taylor]: Taking taylor expansion of f in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.267 * [taylor]: Taking taylor expansion of n in n 1.267 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 1.267 * [taylor]: Taking taylor expansion of -1 in n 1.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 1.267 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.267 * [taylor]: Taking taylor expansion of f in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.267 * [taylor]: Taking taylor expansion of n in n 1.267 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.267 * [taylor]: Taking taylor expansion of f in n 1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.267 * [taylor]: Taking taylor expansion of n in n 1.267 * [taylor]: Taking taylor expansion of 1 in f 1.268 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 1.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.268 * [taylor]: Taking taylor expansion of 2 in f 1.268 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.268 * [taylor]: Taking taylor expansion of f in f 1.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.268 * [taylor]: Taking taylor expansion of 2 in f 1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.268 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.268 * [taylor]: Taking taylor expansion of f in f 1.269 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 1.269 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.269 * [taylor]: Taking taylor expansion of 2 in f 1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.269 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.269 * [taylor]: Taking taylor expansion of f in f 1.269 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.270 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (n f) around 0 1.270 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f 1.270 * [taylor]: Taking taylor expansion of (+ n f) in f 1.270 * [taylor]: Taking taylor expansion of n in f 1.270 * [taylor]: Taking taylor expansion of f in f 1.270 * [taylor]: Taking taylor expansion of (- n f) in f 1.270 * [taylor]: Taking taylor expansion of n in f 1.270 * [taylor]: Taking taylor expansion of f in f 1.270 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n 1.270 * [taylor]: Taking taylor expansion of (+ n f) in n 1.270 * [taylor]: Taking taylor expansion of n in n 1.270 * [taylor]: Taking taylor expansion of f in n 1.270 * [taylor]: Taking taylor expansion of (- n f) in n 1.270 * [taylor]: Taking taylor expansion of n in n 1.270 * [taylor]: Taking taylor expansion of f in n 1.270 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n 1.270 * [taylor]: Taking taylor expansion of (+ n f) in n 1.270 * [taylor]: Taking taylor expansion of n in n 1.270 * [taylor]: Taking taylor expansion of f in n 1.270 * [taylor]: Taking taylor expansion of (- n f) in n 1.270 * [taylor]: Taking taylor expansion of n in n 1.270 * [taylor]: Taking taylor expansion of f in n 1.270 * [taylor]: Taking taylor expansion of -1 in f 1.270 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f 1.270 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.270 * [taylor]: Taking taylor expansion of 2 in f 1.270 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.270 * [taylor]: Taking taylor expansion of f in f 1.271 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f 1.271 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.271 * [taylor]: Taking taylor expansion of 2 in f 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.271 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.271 * [taylor]: Taking taylor expansion of f in f 1.271 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f 1.271 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.271 * [taylor]: Taking taylor expansion of 2 in f 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.271 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.271 * [taylor]: Taking taylor expansion of f in f 1.272 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0 1.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.272 * [taylor]: Taking taylor expansion of f in f 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.272 * [taylor]: Taking taylor expansion of n in f 1.272 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.272 * [taylor]: Taking taylor expansion of n in f 1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.272 * [taylor]: Taking taylor expansion of f in f 1.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.272 * [taylor]: Taking taylor expansion of f in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.272 * [taylor]: Taking taylor expansion of n in n 1.272 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.272 * [taylor]: Taking taylor expansion of n in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.272 * [taylor]: Taking taylor expansion of f in n 1.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.272 * [taylor]: Taking taylor expansion of f in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.272 * [taylor]: Taking taylor expansion of n in n 1.272 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.272 * [taylor]: Taking taylor expansion of n in n 1.273 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.273 * [taylor]: Taking taylor expansion of f in n 1.273 * [taylor]: Taking taylor expansion of 1 in f 1.273 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.273 * [taylor]: Taking taylor expansion of 2 in f 1.273 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.273 * [taylor]: Taking taylor expansion of f in f 1.273 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.273 * [taylor]: Taking taylor expansion of 2 in f 1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.273 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.273 * [taylor]: Taking taylor expansion of f in f 1.274 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.274 * [taylor]: Taking taylor expansion of 2 in f 1.274 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.274 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.274 * [taylor]: Taking taylor expansion of f in f 1.275 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (n f) around 0 1.275 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 1.275 * [taylor]: Taking taylor expansion of -1 in f 1.275 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.275 * [taylor]: Taking taylor expansion of f in f 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.275 * [taylor]: Taking taylor expansion of n in f 1.275 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.275 * [taylor]: Taking taylor expansion of f in f 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.275 * [taylor]: Taking taylor expansion of n in f 1.275 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 1.275 * [taylor]: Taking taylor expansion of -1 in n 1.275 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.275 * [taylor]: Taking taylor expansion of f in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.275 * [taylor]: Taking taylor expansion of n in n 1.275 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.275 * [taylor]: Taking taylor expansion of f in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.275 * [taylor]: Taking taylor expansion of n in n 1.275 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 1.275 * [taylor]: Taking taylor expansion of -1 in n 1.275 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.275 * [taylor]: Taking taylor expansion of f in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.275 * [taylor]: Taking taylor expansion of n in n 1.275 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.275 * [taylor]: Taking taylor expansion of f in n 1.275 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.275 * [taylor]: Taking taylor expansion of n in n 1.276 * [taylor]: Taking taylor expansion of 1 in f 1.276 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f 1.276 * [taylor]: Taking taylor expansion of 2 in f 1.276 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.276 * [taylor]: Taking taylor expansion of f in f 1.277 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f 1.277 * [taylor]: Taking taylor expansion of 2 in f 1.277 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f 1.277 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.277 * [taylor]: Taking taylor expansion of f in f 1.278 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f 1.278 * [taylor]: Taking taylor expansion of 2 in f 1.278 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.278 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.278 * [taylor]: Taking taylor expansion of f in f 1.278 * * * [progress]: simplifying candidates 1.281 * [simplify]: Simplifying using # : (- (log (- n f)) (log (+ n f))) (log (/ (- n f) (+ n f))) (exp (/ (- n f) (+ n f))) (/ (* (* (- n f) (- n f)) (- n f)) (* (* (+ n f) (+ n f)) (+ n f))) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))) (cbrt (/ (- n f) (+ n f))) (* (* (/ (- n f) (+ n f)) (/ (- n f) (+ n f))) (/ (- n f) (+ n f))) (sqrt (/ (- n f) (+ n f))) (sqrt (/ (- n f) (+ n f))) (neg (- n f)) (neg (+ n f)) (/ n (+ n f)) (/ f (+ n f)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (cbrt (- n f)) (cbrt (+ n f))) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f))) (/ (cbrt (- n f)) (sqrt (+ n f))) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1) (/ (cbrt (- n f)) (+ n f)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1) (/ (cbrt (- n f)) (+ n f)) (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt (- n f)) (cbrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (/ (sqrt (- n f)) 1) (/ (sqrt (- n f)) (+ n f)) (/ (sqrt (- n f)) 1) (/ (sqrt (- n f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) (/ 1 1) (/ (- n f) (+ n f)) (/ 1 1) (/ (- n f) (+ n f)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f))) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f))) (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f))) (/ (+ (sqrt n) (sqrt f)) 1) (/ (- (sqrt n) (sqrt f)) (+ n f)) (/ (+ (sqrt n) (sqrt f)) 1) (/ (- (sqrt n) (sqrt f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) (/ 1 1) (/ (- n f) (+ n f)) (/ 1 1) (/ (- n f) (+ n f)) (/ 1 (+ n f)) (/ (+ n f) (- n f)) (/ (- n f) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (sqrt (+ n f))) (/ (- n f) 1) (/ (- n f) 1) (/ (+ n f) (cbrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ (+ n f) (- n f)) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ (+ n f) (- n f)) (/ (- n f) (+ (pow n 3) (pow f 3))) (/ (- n f) (- (* n n) (* f f))) (* (+ n f) (+ (* n n) (+ (* f f) (* n f)))) (* (+ n f) (+ n f)) (exp (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (exp (sqrt (/ (- n f) (+ n f)))) (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f)))) (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)) (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (sqrt (- n f)) (sqrt (+ n f)))) (exp (/ (sqrt (- n f)) 1)) (exp (/ (sqrt (- n f)) 1)) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) (exp (/ 1 1)) (exp (/ 1 1)) (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))) (exp (/ (+ (sqrt n) (sqrt f)) 1)) (exp (/ (+ (sqrt n) (sqrt f)) 1)) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) (exp (/ 1 1)) (exp (/ 1 1)) (exp 1) (exp (- n f)) (exp (/ (- n f) (+ (pow n 3) (pow f 3)))) (exp (/ (- n f) (- (* n n) (* f f)))) (exp (/ n (+ n f))) (exp (/ f (+ n f))) (log (exp (/ (- n f) (+ n f)))) (exp (exp (/ (- n f) (+ n f)))) (* (cbrt (exp (/ (- n f) (+ n f)))) (cbrt (exp (/ (- n f) (+ n f))))) (cbrt (exp (/ (- n f) (+ n f)))) (* (* (exp (/ (- n f) (+ n f))) (exp (/ (- n f) (+ n f)))) (exp (/ (- n f) (+ n f)))) (sqrt (exp (/ (- n f) (+ n f)))) (sqrt (exp (/ (- n f) (+ n f)))) (log (* (cbrt (exp (/ (- n f) (+ n f)))) (cbrt (exp (/ (- n f) (+ n f)))))) (log (cbrt (exp (/ (- n f) (+ n f))))) (log (sqrt (exp (/ (- n f) (+ n f))))) (log (sqrt (exp (/ (- n f) (+ n f))))) (log 1) (log (exp (/ (- n f) (+ n f)))) (log (exp (/ n (+ n f)))) (log (exp (/ f (+ n f)))) (log (exp (/ (- n f) (+ n f)))) (log (exp (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))) (log (exp (sqrt (/ (- n f) (+ n f))))) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f))))) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))) (log (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ (sqrt (- n f)) (sqrt (+ n f))))) (log (exp (/ (sqrt (- n f)) 1))) (log (exp (/ (sqrt (- n f)) 1))) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ 1 (sqrt (+ n f))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f))))) (log (exp (/ (+ (sqrt n) (sqrt f)) 1))) (log (exp (/ (+ (sqrt n) (sqrt f)) 1))) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ 1 (sqrt (+ n f))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp (- n f))) (log (exp (/ (- n f) (+ (pow n 3) (pow f 3))))) (log (exp (/ (- n f) (- (* n n) (* f f))))) (log (log (exp (/ (- n f) (+ n f))))) (exp (log (exp (/ (- n f) (+ n f))))) (* (cbrt (log (exp (/ (- n f) (+ n f))))) (cbrt (log (exp (/ (- n f) (+ n f)))))) (cbrt (log (exp (/ (- n f) (+ n f))))) (* (* (log (exp (/ (- n f) (+ n f)))) (log (exp (/ (- n f) (+ n f))))) (log (exp (/ (- n f) (+ n f))))) (sqrt (log (exp (/ (- n f) (+ n f))))) (sqrt (log (exp (/ (- n f) (+ n f))))) (neg 1) (neg (log (log (exp (/ (- n f) (+ n f)))))) (- 0 (log (log (exp (/ (- n f) (+ n f)))))) (- (log 1) (log (log (exp (/ (- n f) (+ n f)))))) (log (/ 1 (log (exp (/ (- n f) (+ n f)))))) (exp (/ 1 (log (exp (/ (- n f) (+ n f)))))) (/ (* (* 1 1) 1) (* (* (log (exp (/ (- n f) (+ n f)))) (log (exp (/ (- n f) (+ n f))))) (log (exp (/ (- n f) (+ n f)))))) (* (cbrt (/ 1 (log (exp (/ (- n f) (+ n f)))))) (cbrt (/ 1 (log (exp (/ (- n f) (+ n f))))))) (cbrt (/ 1 (log (exp (/ (- n f) (+ n f)))))) (* (* (/ 1 (log (exp (/ (- n f) (+ n f))))) (/ 1 (log (exp (/ (- n f) (+ n f)))))) (/ 1 (log (exp (/ (- n f) (+ n f)))))) (sqrt (/ 1 (log (exp (/ (- n f) (+ n f)))))) (sqrt (/ 1 (log (exp (/ (- n f) (+ n f)))))) (neg 1) (neg (log (exp (/ (- n f) (+ n f))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (log (exp (/ (- n f) (+ n f))))) (/ (* (cbrt 1) (cbrt 1)) (cbrt (/ (- n f) (+ n f)))) (/ (cbrt 1) (log (exp (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- n f) (+ n f)))) (/ (cbrt 1) (log (exp (sqrt (/ (- n f) (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (cbrt (- n f)) (cbrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (cbrt (- n f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (cbrt (- n f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (cbrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (sqrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (sqrt (- n f)) (sqrt (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (sqrt (- n f)) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (sqrt (- n f)) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (cbrt (+ n f)))) (/ (cbrt 1) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (sqrt (+ n f)))) (/ (cbrt 1) (log (exp (/ 1 (sqrt (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ n f))) (/ (cbrt 1) (log (exp (/ 1 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ n f))) (/ (cbrt 1) (log (exp (/ 1 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f)))) (/ (cbrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ (cbrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (cbrt (+ n f)))) (/ (cbrt 1) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (sqrt (+ n f)))) (/ (cbrt 1) (log (exp (/ 1 (sqrt (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ n f))) (/ (cbrt 1) (log (exp (/ 1 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ n f))) (/ (cbrt 1) (log (exp (/ 1 1)))) (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ n f))) (/ (cbrt 1) (log (exp 1))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ n f))) (/ (cbrt 1) (log (exp (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (+ (* n n) (- (* f f) (* n f)))) (/ (cbrt 1) (log (exp (/ (- n f) (+ (pow n 3) (pow f 3)))))) (/ (* (cbrt 1) (cbrt 1)) (- n f)) (/ (cbrt 1) (log (exp (/ (- n f) (- (* n n) (* f f)))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (log (exp (/ (- n f) (+ n f))))) (cbrt (log (exp (/ (- n f) (+ n f))))))) (/ (cbrt 1) (cbrt (log (exp (/ (- n f) (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ (cbrt 1) (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (log (exp (/ (- n f) (+ n f))))) (/ (sqrt 1) 1) (/ (sqrt 1) (log (exp (/ (- n f) (+ n f))))) (/ (sqrt 1) (cbrt (/ (- n f) (+ n f)))) (/ (sqrt 1) (log (exp (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))))) (/ (sqrt 1) (sqrt (/ (- n f) (+ n f)))) (/ (sqrt 1) (log (exp (sqrt (/ (- n f) (+ n f)))))) (/ (sqrt 1) (/ (cbrt (- n f)) (cbrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (sqrt 1) (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f)))))) (/ (sqrt 1) (/ (cbrt (- n f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ (sqrt 1) (/ (cbrt (- n f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ (sqrt 1) (/ (sqrt (- n f)) (cbrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (sqrt 1) (/ (sqrt (- n f)) (sqrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (sqrt (- n f)) (sqrt (+ n f)))))) (/ (sqrt 1) (/ (sqrt (- n f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (sqrt (- n f)) 1)))) (/ (sqrt 1) (/ (sqrt (- n f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (sqrt (- n f)) 1)))) (/ (sqrt 1) (/ (- n f) (cbrt (+ n f)))) (/ (sqrt 1) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (sqrt 1) (/ (- n f) (sqrt (+ n f)))) (/ (sqrt 1) (log (exp (/ 1 (sqrt (+ n f)))))) (/ (sqrt 1) (/ (- n f) (+ n f))) (/ (sqrt 1) (log (exp (/ 1 1)))) (/ (sqrt 1) (/ (- n f) (+ n f))) (/ (sqrt 1) (log (exp (/ 1 1)))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f)))) (/ (sqrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ (sqrt 1) (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ (sqrt 1) (/ (- n f) (cbrt (+ n f)))) (/ (sqrt 1) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ (sqrt 1) (/ (- n f) (sqrt (+ n f)))) (/ (sqrt 1) (log (exp (/ 1 (sqrt (+ n f)))))) (/ (sqrt 1) (/ (- n f) (+ n f))) (/ (sqrt 1) (log (exp (/ 1 1)))) (/ (sqrt 1) (/ (- n f) (+ n f))) (/ (sqrt 1) (log (exp (/ 1 1)))) (/ (sqrt 1) (/ (- n f) (+ n f))) (/ (sqrt 1) (log (exp 1))) (/ (sqrt 1) (/ 1 (+ n f))) (/ (sqrt 1) (log (exp (- n f)))) (/ (sqrt 1) (+ (* n n) (- (* f f) (* n f)))) (/ (sqrt 1) (log (exp (/ (- n f) (+ (pow n 3) (pow f 3)))))) (/ (sqrt 1) (- n f)) (/ (sqrt 1) (log (exp (/ (- n f) (- (* n n) (* f f)))))) (/ (sqrt 1) (* (cbrt (log (exp (/ (- n f) (+ n f))))) (cbrt (log (exp (/ (- n f) (+ n f))))))) (/ (sqrt 1) (cbrt (log (exp (/ (- n f) (+ n f)))))) (/ (sqrt 1) (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ (sqrt 1) (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ (sqrt 1) 1) (/ (sqrt 1) (log (exp (/ (- n f) (+ n f))))) (/ 1 1) (/ 1 (log (exp (/ (- n f) (+ n f))))) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (log (exp (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (log (exp (sqrt (/ (- n f) (+ n f)))))) (/ 1 (/ (cbrt (- n f)) (cbrt (+ n f)))) (/ 1 (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ 1 (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ 1 (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ n f)))))) (/ 1 (/ (cbrt (- n f)) (+ n f))) (/ 1 (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ 1 (/ (cbrt (- n f)) (+ n f))) (/ 1 (log (exp (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)))) (/ 1 (/ (sqrt (- n f)) (cbrt (+ n f)))) (/ 1 (log (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ 1 (/ (sqrt (- n f)) (sqrt (+ n f)))) (/ 1 (log (exp (/ (sqrt (- n f)) (sqrt (+ n f)))))) (/ 1 (/ (sqrt (- n f)) (+ n f))) (/ 1 (log (exp (/ (sqrt (- n f)) 1)))) (/ 1 (/ (sqrt (- n f)) (+ n f))) (/ 1 (log (exp (/ (sqrt (- n f)) 1)))) (/ 1 (/ (- n f) (cbrt (+ n f)))) (/ 1 (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ 1 (/ (- n f) (sqrt (+ n f)))) (/ 1 (log (exp (/ 1 (sqrt (+ n f)))))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (log (exp (/ 1 1)))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (log (exp (/ 1 1)))) (/ 1 (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ 1 (log (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ 1 (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f)))) (/ 1 (log (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))))) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ 1 (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ 1 (log (exp (/ (+ (sqrt n) (sqrt f)) 1)))) (/ 1 (/ (- n f) (cbrt (+ n f)))) (/ 1 (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))))) (/ 1 (/ (- n f) (sqrt (+ n f)))) (/ 1 (log (exp (/ 1 (sqrt (+ n f)))))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (log (exp (/ 1 1)))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (log (exp (/ 1 1)))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (log (exp 1))) (/ 1 (/ 1 (+ n f))) (/ 1 (log (exp (- n f)))) (/ 1 (+ (* n n) (- (* f f) (* n f)))) (/ 1 (log (exp (/ (- n f) (+ (pow n 3) (pow f 3)))))) (/ 1 (- n f)) (/ 1 (log (exp (/ (- n f) (- (* n n) (* f f)))))) (/ 1 (* (cbrt (log (exp (/ (- n f) (+ n f))))) (cbrt (log (exp (/ (- n f) (+ n f))))))) (/ 1 (cbrt (log (exp (/ (- n f) (+ n f)))))) (/ 1 (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ 1 (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ 1 1) (/ 1 (log (exp (/ (- n f) (+ n f))))) (/ 1 (log (exp (/ (- n f) (+ n f))))) (/ (log (exp (/ (- n f) (+ n f)))) 1) (/ 1 1) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (/ (cbrt (- n f)) (cbrt (+ n f)))) (/ 1 (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ 1 (/ (cbrt (- n f)) (+ n f))) (/ 1 (/ (cbrt (- n f)) (+ n f))) (/ 1 (/ (sqrt (- n f)) (cbrt (+ n f)))) (/ 1 (/ (sqrt (- n f)) (sqrt (+ n f)))) (/ 1 (/ (sqrt (- n f)) (+ n f))) (/ 1 (/ (sqrt (- n f)) (+ n f))) (/ 1 (/ (- n f) (cbrt (+ n f)))) (/ 1 (/ (- n f) (sqrt (+ n f)))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ 1 (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f)))) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ 1 (/ (- (sqrt n) (sqrt f)) (+ n f))) (/ 1 (/ (- n f) (cbrt (+ n f)))) (/ 1 (/ (- n f) (sqrt (+ n f)))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (/ (- n f) (+ n f))) (/ 1 (/ 1 (+ n f))) (/ 1 (+ (* n n) (- (* f f) (* n f)))) (/ 1 (- n f)) (/ 1 (* (cbrt (log (exp (/ (- n f) (+ n f))))) (cbrt (log (exp (/ (- n f) (+ n f))))))) (/ 1 (sqrt (log (exp (/ (- n f) (+ n f)))))) (/ 1 1) (/ (log (exp (/ (- n f) (+ n f)))) (cbrt 1)) (/ (log (exp (/ (- n f) (+ n f)))) (sqrt 1)) (/ (log (exp (/ (- n f) (+ n f)))) 1) -1 1 1 (exp -1) E E -1 1 1 -1 1 1 1.337 * * [simplify]: iteration 0 : 5216 enodes (cost 3253 ) 1.348 * [simplify]: Simplified to: (log (/ (- n f) (+ n f))) (log (/ (- n f) (+ n f))) (exp (/ (- n f) (+ n f))) (pow (/ (- n f) (+ n f)) 3) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))) (cbrt (/ (- n f) (+ n f))) (pow (/ (- n f) (+ n f)) 3) (sqrt (/ (- n f) (+ n f))) (sqrt (/ (- n f) (+ n f))) (- f n) (- (neg f) n) (/ n (+ n f)) (/ f (+ n f)) (* (cbrt (- n f)) (/ (cbrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (/ (cbrt (- n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (/ (cbrt (- n f)) (sqrt (+ n f)))) (/ (cbrt (- n f)) (sqrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))) (/ (cbrt (- n f)) (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))) (/ (cbrt (- n f)) (+ n f)) (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt (- n f)) (cbrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (/ (sqrt (- n f)) (sqrt (+ n f))) (sqrt (- n f)) (/ (sqrt (- n f)) (+ n f)) (sqrt (- n f)) (/ (sqrt (- n f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) 1 (/ (- n f) (+ n f)) 1 (/ (- n f) (+ n f)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f))) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f))) (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f))) (+ (sqrt n) (sqrt f)) (/ (- (sqrt n) (sqrt f)) (+ n f)) (+ (sqrt n) (sqrt f)) (/ (- (sqrt n) (sqrt f)) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ (- n f) (sqrt (+ n f))) 1 (/ (- n f) (+ n f)) 1 (/ (- n f) (+ n f)) (/ 1 (+ n f)) (/ (+ n f) (- n f)) (/ (- n f) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (- n f) (sqrt (+ n f))) (- n f) (- n f) (/ (+ n f) (cbrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ (+ n f) (- n f)) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ (+ n f) (- n f)) (/ (- n f) (+ (pow n 3) (pow f 3))) (/ 1 (+ n f)) (* (+ n f) (+ (* n n) (* f (+ n f)))) (* (+ n f) (+ n f)) (pow (exp (cbrt (/ (- n f) (+ n f)))) (cbrt (/ (- n f) (+ n f)))) (exp (sqrt (/ (- n f) (+ n f)))) (pow (exp (/ (cbrt (- n f)) (cbrt (+ n f)))) (/ (cbrt (- n f)) (cbrt (+ n f)))) (pow (exp (cbrt (- n f))) (/ (cbrt (- n f)) (sqrt (+ n f)))) (pow (exp (cbrt (- n f))) (cbrt (- n f))) (pow (exp (cbrt (- n f))) (cbrt (- n f))) (exp (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (sqrt (- n f)) (sqrt (+ n f)))) (exp (sqrt (- n f))) (exp (sqrt (- n f))) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) E E (exp (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))) (exp (+ (sqrt n) (sqrt f))) (exp (+ (sqrt n) (sqrt f))) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) E E E (exp (- n f)) (exp (/ (- n f) (+ (pow n 3) (pow f 3)))) (exp (/ 1 (+ n f))) (exp (/ n (+ n f))) (exp (/ f (+ n f))) (/ (- n f) (+ n f)) (exp (exp (/ (- n f) (+ n f)))) (* (cbrt (exp (/ (- n f) (+ n f)))) (cbrt (exp (/ (- n f) (+ n f))))) (cbrt (exp (/ (- n f) (+ n f)))) (pow (exp (/ (- n f) (+ n f))) 3) (sqrt (exp (/ (- n f) (+ n f)))) (sqrt (exp (/ (- n f) (+ n f)))) (* (log (cbrt (exp (/ (- n f) (+ n f))))) 2) (log (cbrt (exp (/ (- n f) (+ n f))))) (log (sqrt (exp (/ (- n f) (+ n f))))) (log (sqrt (exp (/ (- n f) (+ n f))))) (log 1) (/ (- n f) (+ n f)) (/ n (+ n f)) (/ f (+ n f)) (/ (- n f) (+ n f)) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))) (sqrt (/ (- n f) (+ n f))) (* (cbrt (- n f)) (/ (cbrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (* (cbrt (- n f)) (/ (cbrt (- n f)) (sqrt (+ n f)))) (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (- n f)) (cbrt (- n f))) (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt (- n f)) (sqrt (+ n f))) (sqrt (- n f)) (sqrt (- n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ 1 (sqrt (+ n f))) 1 1 (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f))) (+ (sqrt n) (sqrt f)) (+ (sqrt n) (sqrt f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ 1 (sqrt (+ n f))) 1 1 1 (- n f) (/ (- n f) (+ (pow n 3) (pow f 3))) (/ 1 (+ n f)) (log (/ (- n f) (+ n f))) (exp (/ (- n f) (+ n f))) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))) (cbrt (/ (- n f) (+ n f))) (pow (/ (- n f) (+ n f)) 3) (sqrt (/ (- n f) (+ n f))) (sqrt (/ (- n f) (+ n f))) -1 (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (log (/ (+ n f) (- n f))) (exp (/ (+ n f) (- n f))) (pow (/ (+ n f) (- n f)) 3) (* (cbrt (/ (+ n f) (- n f))) (cbrt (/ (+ n f) (- n f)))) (cbrt (/ (+ n f) (- n f))) (pow (/ (+ n f) (- n f)) 3) (sqrt (/ (+ n f) (- n f))) (sqrt (/ (+ n f) (- n f))) -1 (/ (- f n) (+ n f)) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) (* (cbrt 1) (/ (cbrt 1) (cbrt (/ (- n f) (+ n f))))) (/ (cbrt 1) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f))))) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f)))) (* (cbrt (+ n f)) (* (/ (cbrt 1) (cbrt (- n f))) (cbrt 1))) (* (cbrt (+ n f)) (* (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (cbrt (+ n f)))) (* (sqrt (+ n f)) (* (/ (cbrt 1) (cbrt (- n f))) (cbrt 1))) (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))) (* (+ n f) (* (/ (cbrt 1) (cbrt (- n f))) (cbrt 1))) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (* (+ n f) (* (/ (cbrt 1) (cbrt (- n f))) (cbrt 1))) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (* (cbrt (+ n f)) (* (/ (cbrt 1) (sqrt (- n f))) (cbrt 1))) (* (cbrt (+ n f)) (* (/ (cbrt 1) (sqrt (- n f))) (cbrt (+ n f)))) (* (sqrt (+ n f)) (* (/ (cbrt 1) (sqrt (- n f))) (cbrt 1))) (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f)))) (* (+ n f) (* (/ (cbrt 1) (sqrt (- n f))) (cbrt 1))) (/ (cbrt 1) (sqrt (- n f))) (* (+ n f) (* (/ (cbrt 1) (sqrt (- n f))) (cbrt 1))) (/ (cbrt 1) (sqrt (- n f))) (* (cbrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (cbrt 1))) (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (* (sqrt (+ n f)) (cbrt 1)) (* (+ n f) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (cbrt 1) (* (+ n f) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (cbrt 1) (* (cbrt (+ n f)) (* (/ (cbrt 1) (- (sqrt n) (sqrt f))) (cbrt 1))) (* (cbrt (+ n f)) (* (/ (cbrt 1) (+ (sqrt n) (sqrt f))) (cbrt (+ n f)))) (* (sqrt (+ n f)) (* (/ (cbrt 1) (- (sqrt n) (sqrt f))) (cbrt 1))) (* (sqrt (+ n f)) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))) (* (+ n f) (* (/ (cbrt 1) (- (sqrt n) (sqrt f))) (cbrt 1))) (/ (cbrt 1) (+ (sqrt n) (sqrt f))) (* (+ n f) (* (/ (cbrt 1) (- (sqrt n) (sqrt f))) (cbrt 1))) (/ (cbrt 1) (+ (sqrt n) (sqrt f))) (* (cbrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (* (cbrt (+ n f)) (* (cbrt (+ n f)) (cbrt 1))) (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (* (sqrt (+ n f)) (cbrt 1)) (* (+ n f) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (cbrt 1) (* (+ n f) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (cbrt 1) (* (+ n f) (* (cbrt 1) (/ (cbrt 1) (- n f)))) (cbrt 1) (* (+ n f) (* (cbrt 1) (cbrt 1))) (/ (cbrt 1) (- n f)) (* (cbrt 1) (/ (cbrt 1) (+ (* n n) (* f (- f n))))) (* (+ (pow n 3) (pow f 3)) (/ (cbrt 1) (- n f))) (* (cbrt 1) (/ (cbrt 1) (- n f))) (* (+ n f) (cbrt 1)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))) (/ (cbrt 1) (cbrt (/ (- n f) (+ n f)))) (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f))))) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f)))) (* (cbrt 1) (cbrt 1)) (* (+ n f) (/ (cbrt 1) (- n f))) 1 (/ (+ n f) (- n f)) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ (cbrt (+ n f)) (cbrt (- n f))) (* (/ (cbrt (+ n f)) (cbrt (- n f))) (/ (cbrt (+ n f)) (cbrt (- n f)))) (/ (sqrt (+ n f)) (cbrt (- n f))) (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (cbrt (+ n f)) (sqrt (- n f))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f)))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (cbrt (+ n f)) (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (sqrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (cbrt (+ n f)) (/ (+ (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (cbrt (+ n f)) (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (sqrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (+ n f) (/ 1 (- n f)) (/ 1 (+ (* n n) (* f (- f n)))) (/ (+ (pow n 3) (pow f 3)) (- n f)) (/ 1 (- n f)) (+ n f) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ (cbrt (+ n f)) (cbrt (- n f))) (* (/ (cbrt (+ n f)) (cbrt (- n f))) (/ (cbrt (+ n f)) (cbrt (- n f)))) (/ (sqrt (+ n f)) (cbrt (- n f))) (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (+ n f) (cbrt (- n f))) (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (cbrt (+ n f)) (sqrt (- n f))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f)))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ 1 (sqrt (- n f))) (/ (cbrt (+ n f)) (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (sqrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (cbrt (+ n f)) (/ (+ (sqrt n) (sqrt f)) (cbrt (+ n f)))) (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ 1 (+ (sqrt n) (sqrt f))) (/ (cbrt (+ n f)) (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (sqrt (+ n f)) (- n f)) (sqrt (+ n f)) (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (/ (+ n f) (- n f)) 1 (+ n f) (/ 1 (- n f)) (/ 1 (+ (* n n) (* f (- f n)))) (/ (+ (pow n 3) (pow f 3)) (- n f)) (/ 1 (- n f)) (+ n f) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) 1 (/ (+ n f) (- n f)) (/ (+ n f) (- n f)) (/ (- n f) (+ n f)) 1 (/ 1 (cbrt (/ (- n f) (+ n f)))) (/ 1 (sqrt (/ (- n f) (+ n f)))) (/ (cbrt (+ n f)) (cbrt (- n f))) (/ (sqrt (+ n f)) (cbrt (- n f))) (/ (+ n f) (cbrt (- n f))) (/ (+ n f) (cbrt (- n f))) (/ (cbrt (+ n f)) (sqrt (- n f))) (/ (sqrt (+ n f)) (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ (+ n f) (sqrt (- n f))) (/ (cbrt (+ n f)) (- n f)) (/ (sqrt (+ n f)) (- n f)) (/ (+ n f) (- n f)) (/ (+ n f) (- n f)) (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ (+ n f) (- (sqrt n) (sqrt f))) (/ (cbrt (+ n f)) (- n f)) (/ (sqrt (+ n f)) (- n f)) (/ (+ n f) (- n f)) (/ (+ n f) (- n f)) (/ (+ n f) (- n f)) (+ n f) (/ 1 (+ (* n n) (* f (- f n)))) (/ 1 (- n f)) (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))) (/ 1 (sqrt (/ (- n f) (+ n f)))) 1 (/ (- n f) (* (+ n f) (cbrt 1))) (/ (- n f) (+ n f)) (/ (- n f) (+ n f)) -1 1 1 (exp -1) E E -1 1 1 -1 1 1 1.350 * * * [progress]: adding candidates to table 1.553 * * [progress]: iteration 4 / 4 1.553 * * * [progress]: picking best candidate 1.560 * * * * [pick]: Picked # 1.560 * * * [progress]: localizing error 1.572 * * * [progress]: generating rewritten candidates 1.572 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.591 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.597 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.602 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.627 * * * [progress]: generating series expansions 1.627 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.627 * [approximate]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in (n f) around 0 1.627 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in f 1.627 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in f 1.627 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in f 1.627 * [taylor]: Taking taylor expansion of n in f 1.628 * [taylor]: Taking taylor expansion of (+ n f) in f 1.628 * [taylor]: Taking taylor expansion of n in f 1.628 * [taylor]: Taking taylor expansion of f in f 1.628 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in f 1.628 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.628 * [taylor]: Taking taylor expansion of f in f 1.628 * [taylor]: Taking taylor expansion of (+ n f) in f 1.628 * [taylor]: Taking taylor expansion of n in f 1.628 * [taylor]: Taking taylor expansion of f in f 1.628 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in n 1.628 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in n 1.628 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of (+ n f) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in n 1.628 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (+ n f) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in n 1.628 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in n 1.628 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of (+ n f) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in n 1.628 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (+ n f) in n 1.628 * [taylor]: Taking taylor expansion of n in n 1.628 * [taylor]: Taking taylor expansion of f in n 1.628 * [taylor]: Taking taylor expansion of (/ 1 E) in f 1.628 * [taylor]: Taking taylor expansion of E in f 1.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* E f))) in f 1.629 * [taylor]: Taking taylor expansion of 2 in f 1.629 * [taylor]: Taking taylor expansion of (/ 1 (* E f)) in f 1.629 * [taylor]: Taking taylor expansion of (* E f) in f 1.629 * [taylor]: Taking taylor expansion of E in f 1.629 * [taylor]: Taking taylor expansion of f in f 1.630 * [taylor]: Taking taylor expansion of 0 in f 1.632 * [taylor]: Taking taylor expansion of (neg (* 2/3 (/ 1 (* E (pow f 3))))) in f 1.632 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (* E (pow f 3)))) in f 1.632 * [taylor]: Taking taylor expansion of 2/3 in f 1.632 * [taylor]: Taking taylor expansion of (/ 1 (* E (pow f 3))) in f 1.632 * [taylor]: Taking taylor expansion of (* E (pow f 3)) in f 1.632 * [taylor]: Taking taylor expansion of E in f 1.632 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.632 * [taylor]: Taking taylor expansion of f in f 1.632 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in (n f) around 0 1.632 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in f 1.632 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in f 1.632 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in f 1.632 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in f 1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.632 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.632 * [taylor]: Taking taylor expansion of f in f 1.632 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.632 * [taylor]: Taking taylor expansion of n in f 1.632 * [taylor]: Taking taylor expansion of n in f 1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.633 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.633 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.633 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.633 * [taylor]: Taking taylor expansion of f in f 1.633 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.633 * [taylor]: Taking taylor expansion of n in f 1.633 * [taylor]: Taking taylor expansion of f in f 1.633 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.633 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.633 * [taylor]: Taking taylor expansion of f in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.633 * [taylor]: Taking taylor expansion of n in n 1.633 * [taylor]: Taking taylor expansion of n in n 1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.633 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.633 * [taylor]: Taking taylor expansion of f in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.633 * [taylor]: Taking taylor expansion of n in n 1.633 * [taylor]: Taking taylor expansion of f in n 1.633 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.633 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.633 * [taylor]: Taking taylor expansion of f in n 1.633 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.633 * [taylor]: Taking taylor expansion of n in n 1.634 * [taylor]: Taking taylor expansion of n in n 1.634 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.634 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.634 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.634 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.634 * [taylor]: Taking taylor expansion of f in n 1.634 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.634 * [taylor]: Taking taylor expansion of n in n 1.634 * [taylor]: Taking taylor expansion of f in n 1.634 * [taylor]: Taking taylor expansion of E in f 1.634 * [taylor]: Taking taylor expansion of (neg (* 2 (/ E f))) in f 1.634 * [taylor]: Taking taylor expansion of (* 2 (/ E f)) in f 1.634 * [taylor]: Taking taylor expansion of 2 in f 1.634 * [taylor]: Taking taylor expansion of (/ E f) in f 1.634 * [taylor]: Taking taylor expansion of E in f 1.634 * [taylor]: Taking taylor expansion of f in f 1.636 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow f 2))) in f 1.636 * [taylor]: Taking taylor expansion of 4 in f 1.636 * [taylor]: Taking taylor expansion of (/ E (pow f 2)) in f 1.636 * [taylor]: Taking taylor expansion of E in f 1.636 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.636 * [taylor]: Taking taylor expansion of f in f 1.638 * [taylor]: Taking taylor expansion of (neg (* 22/3 (/ E (pow f 3)))) in f 1.638 * [taylor]: Taking taylor expansion of (* 22/3 (/ E (pow f 3))) in f 1.638 * [taylor]: Taking taylor expansion of 22/3 in f 1.638 * [taylor]: Taking taylor expansion of (/ E (pow f 3)) in f 1.638 * [taylor]: Taking taylor expansion of E in f 1.638 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.638 * [taylor]: Taking taylor expansion of f in f 1.639 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in (n f) around 0 1.639 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in f 1.639 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in f 1.639 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in f 1.639 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.639 * [taylor]: Taking taylor expansion of f in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.639 * [taylor]: Taking taylor expansion of n in f 1.639 * [taylor]: Taking taylor expansion of n in f 1.639 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.639 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.639 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.639 * [taylor]: Taking taylor expansion of f in f 1.639 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.639 * [taylor]: Taking taylor expansion of n in f 1.639 * [taylor]: Taking taylor expansion of f in f 1.639 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.639 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.639 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.639 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.639 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.639 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.639 * [taylor]: Taking taylor expansion of f in n 1.639 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.639 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.640 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.640 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.640 * [taylor]: Taking taylor expansion of f in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.640 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of f in n 1.640 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.640 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.640 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.640 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.640 * [taylor]: Taking taylor expansion of f in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.640 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.640 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.640 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.640 * [taylor]: Taking taylor expansion of f in n 1.640 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.640 * [taylor]: Taking taylor expansion of n in n 1.640 * [taylor]: Taking taylor expansion of f in n 1.640 * [taylor]: Taking taylor expansion of E in f 1.641 * [taylor]: Taking taylor expansion of (neg (* 2 (/ E f))) in f 1.641 * [taylor]: Taking taylor expansion of (* 2 (/ E f)) in f 1.641 * [taylor]: Taking taylor expansion of 2 in f 1.641 * [taylor]: Taking taylor expansion of (/ E f) in f 1.641 * [taylor]: Taking taylor expansion of E in f 1.641 * [taylor]: Taking taylor expansion of f in f 1.642 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow f 2))) in f 1.642 * [taylor]: Taking taylor expansion of 4 in f 1.642 * [taylor]: Taking taylor expansion of (/ E (pow f 2)) in f 1.642 * [taylor]: Taking taylor expansion of E in f 1.642 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.642 * [taylor]: Taking taylor expansion of f in f 1.644 * [taylor]: Taking taylor expansion of (neg (* 22/3 (/ E (pow f 3)))) in f 1.644 * [taylor]: Taking taylor expansion of (* 22/3 (/ E (pow f 3))) in f 1.644 * [taylor]: Taking taylor expansion of 22/3 in f 1.644 * [taylor]: Taking taylor expansion of (/ E (pow f 3)) in f 1.644 * [taylor]: Taking taylor expansion of E in f 1.644 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.644 * [taylor]: Taking taylor expansion of f in f 1.645 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.645 * [approximate]: Taking taylor expansion of (exp (/ f (+ n f))) in (f n) around 0 1.645 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in n 1.645 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.645 * [taylor]: Taking taylor expansion of f in n 1.645 * [taylor]: Taking taylor expansion of (+ n f) in n 1.645 * [taylor]: Taking taylor expansion of n in n 1.645 * [taylor]: Taking taylor expansion of f in n 1.645 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in f 1.645 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.645 * [taylor]: Taking taylor expansion of f in f 1.645 * [taylor]: Taking taylor expansion of (+ n f) in f 1.645 * [taylor]: Taking taylor expansion of n in f 1.645 * [taylor]: Taking taylor expansion of f in f 1.645 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in f 1.645 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.645 * [taylor]: Taking taylor expansion of f in f 1.645 * [taylor]: Taking taylor expansion of (+ n f) in f 1.645 * [taylor]: Taking taylor expansion of n in f 1.645 * [taylor]: Taking taylor expansion of f in f 1.645 * [taylor]: Taking taylor expansion of 1 in n 1.645 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.645 * [taylor]: Taking taylor expansion of n in n 1.646 * [taylor]: Taking taylor expansion of (/ -1/2 (pow n 2)) in n 1.646 * [taylor]: Taking taylor expansion of -1/2 in n 1.646 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.646 * [taylor]: Taking taylor expansion of n in n 1.647 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 3)) in n 1.647 * [taylor]: Taking taylor expansion of 1/6 in n 1.647 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.647 * [taylor]: Taking taylor expansion of n in n 1.647 * [approximate]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in (f n) around 0 1.647 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.647 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.647 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.647 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.647 * [taylor]: Taking taylor expansion of f in n 1.647 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.647 * [taylor]: Taking taylor expansion of n in n 1.647 * [taylor]: Taking taylor expansion of f in n 1.647 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.647 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.647 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.647 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.647 * [taylor]: Taking taylor expansion of f in f 1.647 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.647 * [taylor]: Taking taylor expansion of n in f 1.647 * [taylor]: Taking taylor expansion of f in f 1.647 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.648 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.648 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.648 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.648 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.648 * [taylor]: Taking taylor expansion of f in f 1.648 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.648 * [taylor]: Taking taylor expansion of n in f 1.648 * [taylor]: Taking taylor expansion of f in f 1.648 * [taylor]: Taking taylor expansion of E in n 1.648 * [taylor]: Taking taylor expansion of (* -1 (/ E n)) in n 1.648 * [taylor]: Taking taylor expansion of -1 in n 1.648 * [taylor]: Taking taylor expansion of (/ E n) in n 1.648 * [taylor]: Taking taylor expansion of E in n 1.648 * [taylor]: Taking taylor expansion of n in n 1.649 * [taylor]: Taking taylor expansion of (* 3/2 (/ E (pow n 2))) in n 1.649 * [taylor]: Taking taylor expansion of 3/2 in n 1.649 * [taylor]: Taking taylor expansion of (/ E (pow n 2)) in n 1.649 * [taylor]: Taking taylor expansion of E in n 1.649 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.649 * [taylor]: Taking taylor expansion of n in n 1.650 * [taylor]: Taking taylor expansion of (* -13/6 (/ E (pow n 3))) in n 1.650 * [taylor]: Taking taylor expansion of -13/6 in n 1.650 * [taylor]: Taking taylor expansion of (/ E (pow n 3)) in n 1.650 * [taylor]: Taking taylor expansion of E in n 1.650 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.650 * [taylor]: Taking taylor expansion of n in n 1.650 * [approximate]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in (f n) around 0 1.650 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.650 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.650 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.650 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.650 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.650 * [taylor]: Taking taylor expansion of f in n 1.650 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.650 * [taylor]: Taking taylor expansion of n in n 1.651 * [taylor]: Taking taylor expansion of f in n 1.651 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.651 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.651 * [taylor]: Taking taylor expansion of n in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.651 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.651 * [taylor]: Taking taylor expansion of n in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of E in n 1.651 * [taylor]: Taking taylor expansion of (* -1 (/ E n)) in n 1.651 * [taylor]: Taking taylor expansion of -1 in n 1.651 * [taylor]: Taking taylor expansion of (/ E n) in n 1.651 * [taylor]: Taking taylor expansion of E in n 1.652 * [taylor]: Taking taylor expansion of n in n 1.652 * [taylor]: Taking taylor expansion of (* 3/2 (/ E (pow n 2))) in n 1.652 * [taylor]: Taking taylor expansion of 3/2 in n 1.652 * [taylor]: Taking taylor expansion of (/ E (pow n 2)) in n 1.652 * [taylor]: Taking taylor expansion of E in n 1.652 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.652 * [taylor]: Taking taylor expansion of n in n 1.653 * [taylor]: Taking taylor expansion of (* -13/6 (/ E (pow n 3))) in n 1.653 * [taylor]: Taking taylor expansion of -13/6 in n 1.653 * [taylor]: Taking taylor expansion of (/ E (pow n 3)) in n 1.653 * [taylor]: Taking taylor expansion of E in n 1.653 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.653 * [taylor]: Taking taylor expansion of n in n 1.654 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 1.654 * [approximate]: Taking taylor expansion of (/ f (+ n f)) in (f n) around 0 1.654 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.654 * [taylor]: Taking taylor expansion of f in n 1.654 * [taylor]: Taking taylor expansion of (+ n f) in n 1.654 * [taylor]: Taking taylor expansion of n in n 1.654 * [taylor]: Taking taylor expansion of f in n 1.654 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.654 * [taylor]: Taking taylor expansion of (+ n f) in f 1.654 * [taylor]: Taking taylor expansion of n in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.654 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.654 * [taylor]: Taking taylor expansion of (+ n f) in f 1.654 * [taylor]: Taking taylor expansion of n in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.654 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.654 * [taylor]: Taking taylor expansion of n in n 1.654 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n 1.654 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.654 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.654 * [taylor]: Taking taylor expansion of n in n 1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.655 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.655 * [taylor]: Taking taylor expansion of n in n 1.655 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in (f n) around 0 1.655 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.655 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.655 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.655 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.655 * [taylor]: Taking taylor expansion of f in n 1.655 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.655 * [taylor]: Taking taylor expansion of n in n 1.655 * [taylor]: Taking taylor expansion of f in n 1.655 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.655 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.655 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.655 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.655 * [taylor]: Taking taylor expansion of f in f 1.655 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.655 * [taylor]: Taking taylor expansion of n in f 1.655 * [taylor]: Taking taylor expansion of f in f 1.656 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.656 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.656 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.656 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.656 * [taylor]: Taking taylor expansion of f in f 1.656 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.656 * [taylor]: Taking taylor expansion of n in f 1.656 * [taylor]: Taking taylor expansion of f in f 1.656 * [taylor]: Taking taylor expansion of 1 in n 1.656 * [taylor]: Taking taylor expansion of (neg (/ 1 n)) in n 1.656 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.656 * [taylor]: Taking taylor expansion of n in n 1.656 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.656 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.656 * [taylor]: Taking taylor expansion of n in n 1.657 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in (f n) around 0 1.657 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.657 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.657 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.657 * [taylor]: Taking taylor expansion of f in n 1.657 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.657 * [taylor]: Taking taylor expansion of n in n 1.657 * [taylor]: Taking taylor expansion of f in n 1.657 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.657 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.657 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.657 * [taylor]: Taking taylor expansion of f in f 1.657 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.657 * [taylor]: Taking taylor expansion of n in f 1.657 * [taylor]: Taking taylor expansion of f in f 1.657 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.657 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.657 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.657 * [taylor]: Taking taylor expansion of f in f 1.657 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.657 * [taylor]: Taking taylor expansion of n in f 1.657 * [taylor]: Taking taylor expansion of f in f 1.658 * [taylor]: Taking taylor expansion of 1 in n 1.658 * [taylor]: Taking taylor expansion of (neg (/ 1 n)) in n 1.658 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.658 * [taylor]: Taking taylor expansion of n in n 1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.658 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.658 * [taylor]: Taking taylor expansion of n in n 1.658 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.659 * [approximate]: Taking taylor expansion of (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) in (n f) around 0 1.659 * [taylor]: Taking taylor expansion of (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) in f 1.659 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in f 1.659 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in f 1.659 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in f 1.659 * [taylor]: Taking taylor expansion of n in f 1.659 * [taylor]: Taking taylor expansion of (+ n f) in f 1.659 * [taylor]: Taking taylor expansion of n in f 1.659 * [taylor]: Taking taylor expansion of f in f 1.659 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in f 1.659 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in f 1.659 * [taylor]: Taking taylor expansion of f in f 1.659 * [taylor]: Taking taylor expansion of (+ n f) in f 1.659 * [taylor]: Taking taylor expansion of n in f 1.659 * [taylor]: Taking taylor expansion of f in f 1.659 * [taylor]: Taking taylor expansion of (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) in n 1.659 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in n 1.659 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in n 1.659 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in n 1.659 * [taylor]: Taking taylor expansion of n in n 1.659 * [taylor]: Taking taylor expansion of (+ n f) in n 1.659 * [taylor]: Taking taylor expansion of n in n 1.659 * [taylor]: Taking taylor expansion of f in n 1.659 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in n 1.659 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.659 * [taylor]: Taking taylor expansion of f in n 1.659 * [taylor]: Taking taylor expansion of (+ n f) in n 1.659 * [taylor]: Taking taylor expansion of n in n 1.659 * [taylor]: Taking taylor expansion of f in n 1.659 * [taylor]: Taking taylor expansion of (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) in n 1.659 * [taylor]: Taking taylor expansion of (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) in n 1.659 * [taylor]: Taking taylor expansion of (exp (/ n (+ n f))) in n 1.659 * [taylor]: Taking taylor expansion of (/ n (+ n f)) in n 1.659 * [taylor]: Taking taylor expansion of n in n 1.659 * [taylor]: Taking taylor expansion of (+ n f) in n 1.659 * [taylor]: Taking taylor expansion of n in n 1.659 * [taylor]: Taking taylor expansion of f in n 1.660 * [taylor]: Taking taylor expansion of (exp (/ f (+ n f))) in n 1.660 * [taylor]: Taking taylor expansion of (/ f (+ n f)) in n 1.660 * [taylor]: Taking taylor expansion of f in n 1.660 * [taylor]: Taking taylor expansion of (+ n f) in n 1.660 * [taylor]: Taking taylor expansion of n in n 1.660 * [taylor]: Taking taylor expansion of f in n 1.660 * [taylor]: Taking taylor expansion of (log (/ 1 E)) in f 1.660 * [taylor]: Taking taylor expansion of (/ 1 E) in f 1.660 * [taylor]: Taking taylor expansion of E in f 1.661 * [taylor]: Taking taylor expansion of (/ 2 f) in f 1.661 * [taylor]: Taking taylor expansion of 2 in f 1.661 * [taylor]: Taking taylor expansion of f in f 1.663 * [taylor]: Taking taylor expansion of (/ -2 (pow f 2)) in f 1.663 * [taylor]: Taking taylor expansion of -2 in f 1.663 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.663 * [taylor]: Taking taylor expansion of f in f 1.665 * [taylor]: Taking taylor expansion of (/ 2 (pow f 3)) in f 1.665 * [taylor]: Taking taylor expansion of 2 in f 1.665 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.665 * [taylor]: Taking taylor expansion of f in f 1.666 * [approximate]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in (n f) around 0 1.666 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in f 1.666 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in f 1.666 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in f 1.666 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in f 1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.666 * [taylor]: Taking taylor expansion of f in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.666 * [taylor]: Taking taylor expansion of n in f 1.666 * [taylor]: Taking taylor expansion of n in f 1.666 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.666 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.666 * [taylor]: Taking taylor expansion of f in f 1.666 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.666 * [taylor]: Taking taylor expansion of n in f 1.666 * [taylor]: Taking taylor expansion of f in f 1.667 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in n 1.667 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.667 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.667 * [taylor]: Taking taylor expansion of f in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.667 * [taylor]: Taking taylor expansion of n in n 1.667 * [taylor]: Taking taylor expansion of n in n 1.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.667 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.667 * [taylor]: Taking taylor expansion of f in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.667 * [taylor]: Taking taylor expansion of n in n 1.667 * [taylor]: Taking taylor expansion of f in n 1.667 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in n 1.667 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.667 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.667 * [taylor]: Taking taylor expansion of f in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.667 * [taylor]: Taking taylor expansion of n in n 1.667 * [taylor]: Taking taylor expansion of n in n 1.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.667 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.668 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.668 * [taylor]: Taking taylor expansion of f in n 1.668 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.668 * [taylor]: Taking taylor expansion of n in n 1.668 * [taylor]: Taking taylor expansion of f in n 1.668 * [taylor]: Taking taylor expansion of 1 in f 1.668 * [taylor]: Taking taylor expansion of (/ -2 f) in f 1.668 * [taylor]: Taking taylor expansion of -2 in f 1.668 * [taylor]: Taking taylor expansion of f in f 1.670 * [taylor]: Taking taylor expansion of (/ 2 (pow f 2)) in f 1.670 * [taylor]: Taking taylor expansion of 2 in f 1.670 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.670 * [taylor]: Taking taylor expansion of f in f 1.672 * [taylor]: Taking taylor expansion of (/ -2 (pow f 3)) in f 1.672 * [taylor]: Taking taylor expansion of -2 in f 1.672 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.672 * [taylor]: Taking taylor expansion of f in f 1.673 * [approximate]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in (n f) around 0 1.673 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in f 1.673 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in f 1.673 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in f 1.673 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in f 1.673 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.673 * [taylor]: Taking taylor expansion of f in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.673 * [taylor]: Taking taylor expansion of n in f 1.673 * [taylor]: Taking taylor expansion of n in f 1.673 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in f 1.673 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in f 1.673 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.673 * [taylor]: Taking taylor expansion of f in f 1.673 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.673 * [taylor]: Taking taylor expansion of n in f 1.674 * [taylor]: Taking taylor expansion of f in f 1.674 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in n 1.674 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.674 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.674 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.674 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.674 * [taylor]: Taking taylor expansion of f in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.674 * [taylor]: Taking taylor expansion of n in n 1.674 * [taylor]: Taking taylor expansion of n in n 1.674 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.674 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.674 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.674 * [taylor]: Taking taylor expansion of f in n 1.674 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.674 * [taylor]: Taking taylor expansion of n in n 1.674 * [taylor]: Taking taylor expansion of f in n 1.675 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))))) in n 1.675 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)))) in n 1.675 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) n))) in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) n)) in n 1.675 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) n) in n 1.675 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.675 * [taylor]: Taking taylor expansion of f in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.675 * [taylor]: Taking taylor expansion of n in n 1.675 * [taylor]: Taking taylor expansion of n in n 1.675 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (+ (/ 1 f) (/ 1 n)) f))) in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 f) (/ 1 n)) f)) in n 1.675 * [taylor]: Taking taylor expansion of (* (+ (/ 1 f) (/ 1 n)) f) in n 1.675 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.675 * [taylor]: Taking taylor expansion of f in n 1.675 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.675 * [taylor]: Taking taylor expansion of n in n 1.675 * [taylor]: Taking taylor expansion of f in n 1.675 * [taylor]: Taking taylor expansion of 1 in f 1.676 * [taylor]: Taking taylor expansion of (/ -2 f) in f 1.676 * [taylor]: Taking taylor expansion of -2 in f 1.676 * [taylor]: Taking taylor expansion of f in f 1.677 * [taylor]: Taking taylor expansion of (/ 2 (pow f 2)) in f 1.677 * [taylor]: Taking taylor expansion of 2 in f 1.677 * [taylor]: Taking taylor expansion of (pow f 2) in f 1.677 * [taylor]: Taking taylor expansion of f in f 1.680 * [taylor]: Taking taylor expansion of (/ -2 (pow f 3)) in f 1.680 * [taylor]: Taking taylor expansion of -2 in f 1.680 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.680 * [taylor]: Taking taylor expansion of f in f 1.680 * * * [progress]: simplifying candidates 1.682 * [simplify]: Simplifying using # : (- (/ n (cbrt (+ n f))) (/ f (cbrt (+ n f)))) (- (/ n (sqrt (+ n f))) (/ f (sqrt (+ n f)))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (exp (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (/ (* (* (exp (/ n (+ n f))) (exp (/ n (+ n f)))) (exp (/ n (+ n f)))) (* (* (exp (/ f (+ n f))) (exp (/ f (+ n f)))) (exp (/ f (+ n f))))) (* (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (* (* (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (sqrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (sqrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (neg (exp (/ n (+ n f)))) (neg (exp (/ f (+ n f)))) (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f))))) (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) (sqrt (exp (/ f (+ n f))))) (/ (cbrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) 1) (/ (cbrt (exp (/ n (+ n f)))) (exp (/ f (+ n f)))) (/ (sqrt (exp (/ n (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (sqrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f))))) (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (/ (sqrt (exp (/ n (+ n f)))) 1) (/ (sqrt (exp (/ n (+ n f)))) (exp (/ f (+ n f)))) (/ 1 (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (exp (/ n (+ n f))) (cbrt (exp (/ f (+ n f))))) (/ 1 (sqrt (exp (/ f (+ n f))))) (/ (exp (/ n (+ n f))) (sqrt (exp (/ f (+ n f))))) (/ 1 1) (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))) (/ 1 (exp (/ f (+ n f)))) (/ (exp (/ f (+ n f))) (exp (/ n (+ n f)))) (/ (exp (/ n (+ n f))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (exp (/ n (+ n f))) (sqrt (exp (/ f (+ n f))))) (/ (exp (/ n (+ n f))) 1) (/ (exp (/ f (+ n f))) (cbrt (exp (/ n (+ n f))))) (/ (exp (/ f (+ n f))) (sqrt (exp (/ n (+ n f))))) (/ (exp (/ f (+ n f))) (exp (/ n (+ n f)))) (exp (* (cbrt (/ f (+ n f))) (cbrt (/ f (+ n f))))) (exp (sqrt (/ f (+ n f)))) (exp (/ (* (cbrt f) (cbrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (* (cbrt f) (cbrt f)) (sqrt (+ n f)))) (exp (/ (* (cbrt f) (cbrt f)) 1)) (exp (/ (* (cbrt f) (cbrt f)) 1)) (exp (/ (sqrt f) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (sqrt f) (sqrt (+ n f)))) (exp (/ (sqrt f) 1)) (exp (/ (sqrt f) 1)) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) (exp (/ 1 1)) (exp (/ 1 1)) (exp 1) (exp f) (exp (/ f (+ (pow n 3) (pow f 3)))) (exp (/ f (- (* n n) (* f f)))) (log (exp (/ f (+ n f)))) (exp (exp (/ f (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))) (cbrt (exp (/ f (+ n f)))) (* (* (exp (/ f (+ n f))) (exp (/ f (+ n f)))) (exp (/ f (+ n f)))) (sqrt (exp (/ f (+ n f)))) (sqrt (exp (/ f (+ n f)))) (- (log f) (log (+ n f))) (log (/ f (+ n f))) (exp (/ f (+ n f))) (/ (* (* f f) f) (* (* (+ n f) (+ n f)) (+ n f))) (* (cbrt (/ f (+ n f))) (cbrt (/ f (+ n f)))) (cbrt (/ f (+ n f))) (* (* (/ f (+ n f)) (/ f (+ n f))) (/ f (+ n f))) (sqrt (/ f (+ n f))) (sqrt (/ f (+ n f))) (neg f) (neg (+ n f)) (/ (* (cbrt f) (cbrt f)) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (cbrt f) (cbrt (+ n f))) (/ (* (cbrt f) (cbrt f)) (sqrt (+ n f))) (/ (cbrt f) (sqrt (+ n f))) (/ (* (cbrt f) (cbrt f)) 1) (/ (cbrt f) (+ n f)) (/ (* (cbrt f) (cbrt f)) 1) (/ (cbrt f) (+ n f)) (/ (sqrt f) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt f) (cbrt (+ n f))) (/ (sqrt f) (sqrt (+ n f))) (/ (sqrt f) (sqrt (+ n f))) (/ (sqrt f) 1) (/ (sqrt f) (+ n f)) (/ (sqrt f) 1) (/ (sqrt f) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ f (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ f (sqrt (+ n f))) (/ 1 1) (/ f (+ n f)) (/ 1 1) (/ f (+ n f)) (/ 1 (+ n f)) (/ (+ n f) f) (/ f (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ f (sqrt (+ n f))) (/ f 1) (/ f 1) (/ (+ n f) (cbrt f)) (/ (+ n f) (sqrt f)) (/ (+ n f) f) (/ f (+ (pow n 3) (pow f 3))) (/ f (- (* n n) (* f f))) (log (* (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))))) (log (cbrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (log (sqrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (log (sqrt (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (log (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))))) (log (/ (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (log (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) (sqrt (exp (/ f (+ n f)))))) (log (/ (cbrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (log (/ (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) 1)) (log (/ (cbrt (exp (/ n (+ n f)))) (exp (/ f (+ n f))))) (log (/ (sqrt (exp (/ n (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))))) (log (/ (sqrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (log (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (log (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (log (/ (sqrt (exp (/ n (+ n f)))) 1)) (log (/ (sqrt (exp (/ n (+ n f)))) (exp (/ f (+ n f))))) (log (/ 1 (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))))) (log (/ (exp (/ n (+ n f))) (cbrt (exp (/ f (+ n f)))))) (log (/ 1 (sqrt (exp (/ f (+ n f)))))) (log (/ (exp (/ n (+ n f))) (sqrt (exp (/ f (+ n f)))))) (log (/ 1 1)) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (log 1) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (log (exp (/ n (+ n f)))) (log (/ 1 (exp (/ f (+ n f))))) (log (exp (/ n (+ n f)))) (log (exp (/ f (+ n f)))) (log (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))))) (log (exp (/ 1 (sqrt (+ n f))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp 1)) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (log (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (exp (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (* (cbrt (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (cbrt (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))))) (cbrt (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (* (* (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (sqrt (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (sqrt (log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))) (/ 1 E) E E 1 E E 0 0 0 (log (/ 1 E)) 1 1 1.729 * * [simplify]: iteration 0 : 4978 enodes (cost 1543 ) 1.730 * * [simplify]: iteration 1 : 4978 enodes (cost 1543 ) 1.735 * [simplify]: Simplified to: (- (/ n (cbrt (+ n f))) (/ f (cbrt (+ n f)))) (- (/ n (sqrt (+ n f))) (/ f (sqrt (+ n f)))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (- (/ n (+ n f)) (/ f (+ n f))) (exp (exp (- (/ n (+ n f)) (/ f (+ n f))))) (pow (exp (- (/ n (+ n f)) (/ f (+ n f)))) 3) (* (cbrt (exp (- (/ n (+ n f)) (/ f (+ n f))))) (cbrt (exp (- (/ n (+ n f)) (/ f (+ n f)))))) (cbrt (exp (- (/ n (+ n f)) (/ f (+ n f))))) (pow (exp (- (/ n (+ n f)) (/ f (+ n f)))) 3) (sqrt (exp (- (/ n (+ n f)) (/ f (+ n f))))) (sqrt (exp (- (/ n (+ n f)) (/ f (+ n f))))) (neg (exp (/ n (+ n f)))) (neg (exp (/ f (+ n f)))) (* (cbrt (exp (/ n (+ n f)))) (/ (cbrt (exp (/ n (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))))) (/ (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f))))) (* (cbrt (exp (/ n (+ n f)))) (/ (cbrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (/ (cbrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (* (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ n (+ n f))))) (/ (cbrt (exp (/ n (+ n f)))) (exp (/ f (+ n f)))) (/ (sqrt (exp (/ n (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (sqrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f))))) (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f))))) (sqrt (exp (/ n (+ n f)))) (/ (sqrt (exp (/ n (+ n f)))) (exp (/ f (+ n f)))) (/ 1 (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (exp (/ n (+ n f))) (cbrt (exp (/ f (+ n f))))) (/ 1 (sqrt (exp (/ f (+ n f))))) (/ (exp (/ n (+ n f))) (sqrt (exp (/ f (+ n f))))) 1 (exp (- (/ n (+ n f)) (/ f (+ n f)))) (exp (/ (neg f) (+ n f))) (exp (- (/ f (+ n f)) (/ n (+ n f)))) (/ (exp (/ n (+ n f))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (/ (exp (/ n (+ n f))) (sqrt (exp (/ f (+ n f))))) (exp (/ n (+ n f))) (/ (exp (/ f (+ n f))) (cbrt (exp (/ n (+ n f))))) (/ (exp (/ f (+ n f))) (sqrt (exp (/ n (+ n f))))) (exp (- (/ f (+ n f)) (/ n (+ n f)))) (pow (exp (cbrt (/ f (+ n f)))) (cbrt (/ f (+ n f)))) (exp (sqrt (/ f (+ n f)))) (pow (exp (/ (cbrt f) (cbrt (+ n f)))) (/ (cbrt f) (cbrt (+ n f)))) (pow (exp (cbrt f)) (/ (cbrt f) (sqrt (+ n f)))) (pow (exp (cbrt f)) (cbrt f)) (pow (exp (cbrt f)) (cbrt f)) (exp (/ (sqrt f) (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ (sqrt f) (sqrt (+ n f)))) (exp (sqrt f)) (exp (sqrt f)) (exp (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))) (exp (/ 1 (sqrt (+ n f)))) E E E (exp f) (exp (/ f (+ (pow n 3) (pow f 3)))) (exp (/ f (- (* n n) (* f f)))) (/ f (+ n f)) (exp (exp (/ f (+ n f)))) (* (cbrt (exp (/ f (+ n f)))) (cbrt (exp (/ f (+ n f))))) (cbrt (exp (/ f (+ n f)))) (pow (exp (/ f (+ n f))) 3) (sqrt (exp (/ f (+ n f)))) (sqrt (exp (/ f (+ n f)))) (log (/ f (+ n f))) (log (/ f (+ n f))) (exp (/ f (+ n f))) (pow (/ f (+ n f)) 3) (* (cbrt (/ f (+ n f))) (cbrt (/ f (+ n f)))) (cbrt (/ f (+ n f))) (pow (/ f (+ n f)) 3) (sqrt (/ f (+ n f))) (sqrt (/ f (+ n f))) (neg f) (- (neg f) n) (* (cbrt f) (/ (cbrt f) (* (cbrt (+ n f)) (cbrt (+ n f))))) (/ (cbrt f) (cbrt (+ n f))) (* (cbrt f) (/ (cbrt f) (sqrt (+ n f)))) (/ (cbrt f) (sqrt (+ n f))) (* (cbrt f) (cbrt f)) (/ (cbrt f) (+ n f)) (* (cbrt f) (cbrt f)) (/ (cbrt f) (+ n f)) (/ (sqrt f) (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ (sqrt f) (cbrt (+ n f))) (/ (sqrt f) (sqrt (+ n f))) (/ (sqrt f) (sqrt (+ n f))) (sqrt f) (/ (sqrt f) (+ n f)) (sqrt f) (/ (sqrt f) (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ f (cbrt (+ n f))) (/ 1 (sqrt (+ n f))) (/ f (sqrt (+ n f))) 1 (/ f (+ n f)) 1 (/ f (+ n f)) (/ 1 (+ n f)) (/ (+ n f) f) (/ f (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ f (sqrt (+ n f))) f f (/ (+ n f) (cbrt f)) (/ (+ n f) (sqrt f)) (/ (+ n f) f) (/ f (+ (pow n 3) (pow f 3))) (/ f (- (* n n) (* f f))) (* (log (cbrt (exp (- (/ n (+ n f)) (/ f (+ n f)))))) 2) (log (cbrt (exp (- (/ n (+ n f)) (/ f (+ n f)))))) (log (sqrt (exp (- (/ n (+ n f)) (/ f (+ n f)))))) (log (sqrt (exp (- (/ n (+ n f)) (/ f (+ n f)))))) (* 2 (log (/ (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f))))))) (log (/ (cbrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (- (* 2 (log (cbrt (exp (/ n (+ n f)))))) (log (sqrt (exp (/ f (+ n f)))))) (log (/ (cbrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (* 2 (log (cbrt (exp (/ n (+ n f)))))) (- (log (cbrt (exp (/ n (+ n f))))) (/ f (+ n f))) (+ (log (sqrt (exp (/ n (+ n f))))) (* (log (cbrt (exp (/ f (+ n f))))) -2)) (log (/ (sqrt (exp (/ n (+ n f)))) (cbrt (exp (/ f (+ n f)))))) (log (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (log (/ (sqrt (exp (/ n (+ n f)))) (sqrt (exp (/ f (+ n f)))))) (log (sqrt (exp (/ n (+ n f))))) (- (log (sqrt (exp (/ n (+ n f))))) (/ f (+ n f))) (* (log (cbrt (exp (/ f (+ n f))))) -2) (- (/ n (+ n f)) (log (cbrt (exp (/ f (+ n f)))))) (neg (log (sqrt (exp (/ f (+ n f)))))) (- (/ n (+ n f)) (log (sqrt (exp (/ f (+ n f)))))) (log 1) (- (/ n (+ n f)) (/ f (+ n f))) (log 1) (- (/ n (+ n f)) (/ f (+ n f))) (/ n (+ n f)) (/ (neg f) (+ n f)) (/ n (+ n f)) (/ f (+ n f)) (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f)))) (/ 1 (sqrt (+ n f))) 1 1 1 1 1 (- (/ n (+ n f)) (/ f (+ n f))) (log (- (/ n (+ n f)) (/ f (+ n f)))) (exp (- (/ n (+ n f)) (/ f (+ n f)))) (* (cbrt (- (/ n (+ n f)) (/ f (+ n f)))) (cbrt (- (/ n (+ n f)) (/ f (+ n f))))) (cbrt (- (/ n (+ n f)) (/ f (+ n f)))) (pow (- (/ n (+ n f)) (/ f (+ n f))) 3) (sqrt (- (/ n (+ n f)) (/ f (+ n f)))) (sqrt (- (/ n (+ n f)) (/ f (+ n f)))) (exp -1) E E 1 E E 0 0 0 -1 1 1 1.736 * * * [progress]: adding candidates to table 1.871 * [progress]: [Phase 3 of 3] Extracting. 1.872 * * [regime]: Finding splitpoints for: (# # #) 1.872 * * * [regime-changes]: Trying 2 branch expressions: (n f) 1.873 * * * * [regimes]: Trying to branch on n from (# # #) 1.911 * * * * [regimes]: Trying to branch on f from (# # #) 1.952 * * * [regime]: Found split indices: #