10.760 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) 0.036 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.038 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 0.045 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 0.053 * * [simplify]: iteration 3 : 103 enodes (cost 12 ) 0.083 * * [simplify]: iteration 4 : 244 enodes (cost 12 ) 0.338 * * [simplify]: iteration 5 : 718 enodes (cost 12 ) 0.620 * * [simplify]: iteration 6 : 2693 enodes (cost 12 ) 1.846 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 1.847 * [simplify]: Simplified to: (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) 1.850 * * [progress]: iteration 1 / 4 1.850 * * * [progress]: picking best candidate 1.853 * * * * [pick]: Picked # 1.853 * * * [progress]: localizing error 1.862 * * * [progress]: generating rewritten candidates 1.862 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.864 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.877 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1.880 * * * [progress]: generating series expansions 1.880 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.880 * [approximate]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in (a k) around 0 1.880 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in k 1.880 * [taylor]: Taking taylor expansion of a in k 1.880 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 1.881 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.881 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 1.881 * [taylor]: Taking taylor expansion of k in k 1.881 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 1.881 * [taylor]: Taking taylor expansion of k in k 1.881 * [taylor]: Taking taylor expansion of 10.0 in k 1.881 * [taylor]: Taking taylor expansion of 1.0 in k 1.882 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in a 1.882 * [taylor]: Taking taylor expansion of a in a 1.882 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 1.882 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.882 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 1.882 * [taylor]: Taking taylor expansion of k in a 1.882 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 1.882 * [taylor]: Taking taylor expansion of k in a 1.882 * [taylor]: Taking taylor expansion of 10.0 in a 1.882 * [taylor]: Taking taylor expansion of 1.0 in a 1.883 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in a 1.883 * [taylor]: Taking taylor expansion of a in a 1.883 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 1.883 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.883 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 1.883 * [taylor]: Taking taylor expansion of k in a 1.883 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 1.883 * [taylor]: Taking taylor expansion of k in a 1.883 * [taylor]: Taking taylor expansion of 10.0 in a 1.883 * [taylor]: Taking taylor expansion of 1.0 in a 1.883 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k 1.883 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k 1.883 * [taylor]: Taking taylor expansion of (* 10.0 k) in k 1.883 * [taylor]: Taking taylor expansion of 10.0 in k 1.883 * [taylor]: Taking taylor expansion of k in k 1.883 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k 1.883 * [taylor]: Taking taylor expansion of (pow k 2) in k 1.883 * [taylor]: Taking taylor expansion of k in k 1.883 * [taylor]: Taking taylor expansion of 1.0 in k 1.885 * [taylor]: Taking taylor expansion of 0 in k 1.889 * [taylor]: Taking taylor expansion of 0 in k 1.894 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in (a k) around 0 1.894 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in k 1.894 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in k 1.894 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 1.894 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.894 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 1.894 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.894 * [taylor]: Taking taylor expansion of k in k 1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 1.895 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.895 * [taylor]: Taking taylor expansion of k in k 1.895 * [taylor]: Taking taylor expansion of 10.0 in k 1.895 * [taylor]: Taking taylor expansion of 1.0 in k 1.895 * [taylor]: Taking taylor expansion of a in k 1.896 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 1.896 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 1.896 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 1.896 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.896 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 1.896 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.896 * [taylor]: Taking taylor expansion of k in a 1.896 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 1.896 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.896 * [taylor]: Taking taylor expansion of k in a 1.896 * [taylor]: Taking taylor expansion of 10.0 in a 1.896 * [taylor]: Taking taylor expansion of 1.0 in a 1.896 * [taylor]: Taking taylor expansion of a in a 1.898 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 1.898 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 1.898 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 1.898 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.898 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 1.898 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.898 * [taylor]: Taking taylor expansion of k in a 1.898 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 1.898 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.898 * [taylor]: Taking taylor expansion of k in a 1.898 * [taylor]: Taking taylor expansion of 10.0 in a 1.898 * [taylor]: Taking taylor expansion of 1.0 in a 1.898 * [taylor]: Taking taylor expansion of a in a 1.899 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k 1.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k 1.899 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 1.899 * [taylor]: Taking taylor expansion of (pow k 2) in k 1.900 * [taylor]: Taking taylor expansion of k in k 1.900 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k 1.900 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 1.900 * [taylor]: Taking taylor expansion of 10.0 in k 1.900 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.900 * [taylor]: Taking taylor expansion of k in k 1.900 * [taylor]: Taking taylor expansion of 1.0 in k 1.903 * [taylor]: Taking taylor expansion of 0 in k 1.908 * [taylor]: Taking taylor expansion of 0 in k 1.914 * [approximate]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in (a k) around 0 1.914 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 1.914 * [taylor]: Taking taylor expansion of -1 in k 1.914 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 1.914 * [taylor]: Taking taylor expansion of a in k 1.914 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 1.914 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 1.914 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 1.914 * [taylor]: Taking taylor expansion of (/ -1 k) in k 1.914 * [taylor]: Taking taylor expansion of -1 in k 1.914 * [taylor]: Taking taylor expansion of k in k 1.914 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 1.915 * [taylor]: Taking taylor expansion of 10.0 in k 1.915 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.915 * [taylor]: Taking taylor expansion of k in k 1.915 * [taylor]: Taking taylor expansion of 1.0 in k 1.916 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 1.916 * [taylor]: Taking taylor expansion of -1 in a 1.916 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 1.916 * [taylor]: Taking taylor expansion of a in a 1.916 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 1.916 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 1.916 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 1.916 * [taylor]: Taking taylor expansion of (/ -1 k) in a 1.916 * [taylor]: Taking taylor expansion of -1 in a 1.916 * [taylor]: Taking taylor expansion of k in a 1.916 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 1.916 * [taylor]: Taking taylor expansion of 10.0 in a 1.916 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.916 * [taylor]: Taking taylor expansion of k in a 1.916 * [taylor]: Taking taylor expansion of 1.0 in a 1.918 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 1.918 * [taylor]: Taking taylor expansion of -1 in a 1.918 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 1.918 * [taylor]: Taking taylor expansion of a in a 1.918 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 1.918 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 1.918 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 1.918 * [taylor]: Taking taylor expansion of (/ -1 k) in a 1.918 * [taylor]: Taking taylor expansion of -1 in a 1.918 * [taylor]: Taking taylor expansion of k in a 1.918 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 1.918 * [taylor]: Taking taylor expansion of 10.0 in a 1.918 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.918 * [taylor]: Taking taylor expansion of k in a 1.918 * [taylor]: Taking taylor expansion of 1.0 in a 1.920 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k 1.920 * [taylor]: Taking taylor expansion of -1 in k 1.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k 1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k 1.920 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 1.920 * [taylor]: Taking taylor expansion of (pow k 2) in k 1.920 * [taylor]: Taking taylor expansion of k in k 1.921 * [taylor]: Taking taylor expansion of 1.0 in k 1.921 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 1.921 * [taylor]: Taking taylor expansion of 10.0 in k 1.921 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.921 * [taylor]: Taking taylor expansion of k in k 1.924 * [taylor]: Taking taylor expansion of 0 in k 1.932 * [taylor]: Taking taylor expansion of 0 in k 1.940 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.940 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in (a k m) around 0 1.940 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in m 1.940 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m 1.940 * [taylor]: Taking taylor expansion of a in m 1.940 * [taylor]: Taking taylor expansion of (pow k m) in m 1.940 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m 1.940 * [taylor]: Taking taylor expansion of (* m (log k)) in m 1.940 * [taylor]: Taking taylor expansion of m in m 1.940 * [taylor]: Taking taylor expansion of (log k) in m 1.940 * [taylor]: Taking taylor expansion of k in m 1.941 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in m 1.941 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.941 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in m 1.941 * [taylor]: Taking taylor expansion of k in m 1.941 * [taylor]: Taking taylor expansion of (+ k 10.0) in m 1.941 * [taylor]: Taking taylor expansion of k in m 1.941 * [taylor]: Taking taylor expansion of 10.0 in m 1.941 * [taylor]: Taking taylor expansion of 1.0 in m 1.941 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in k 1.941 * [taylor]: Taking taylor expansion of (* a (pow k m)) in k 1.941 * [taylor]: Taking taylor expansion of a in k 1.941 * [taylor]: Taking taylor expansion of (pow k m) in k 1.941 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k 1.941 * [taylor]: Taking taylor expansion of (* m (log k)) in k 1.941 * [taylor]: Taking taylor expansion of m in k 1.941 * [taylor]: Taking taylor expansion of (log k) in k 1.941 * [taylor]: Taking taylor expansion of k in k 1.942 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 1.942 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.942 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 1.942 * [taylor]: Taking taylor expansion of k in k 1.942 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 1.942 * [taylor]: Taking taylor expansion of k in k 1.942 * [taylor]: Taking taylor expansion of 10.0 in k 1.942 * [taylor]: Taking taylor expansion of 1.0 in k 1.943 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in a 1.943 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a 1.943 * [taylor]: Taking taylor expansion of a in a 1.943 * [taylor]: Taking taylor expansion of (pow k m) in a 1.943 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a 1.943 * [taylor]: Taking taylor expansion of (* m (log k)) in a 1.943 * [taylor]: Taking taylor expansion of m in a 1.943 * [taylor]: Taking taylor expansion of (log k) in a 1.943 * [taylor]: Taking taylor expansion of k in a 1.944 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 1.944 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.944 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 1.944 * [taylor]: Taking taylor expansion of k in a 1.944 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 1.944 * [taylor]: Taking taylor expansion of k in a 1.944 * [taylor]: Taking taylor expansion of 10.0 in a 1.944 * [taylor]: Taking taylor expansion of 1.0 in a 1.945 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in a 1.945 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a 1.945 * [taylor]: Taking taylor expansion of a in a 1.945 * [taylor]: Taking taylor expansion of (pow k m) in a 1.945 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a 1.945 * [taylor]: Taking taylor expansion of (* m (log k)) in a 1.945 * [taylor]: Taking taylor expansion of m in a 1.945 * [taylor]: Taking taylor expansion of (log k) in a 1.946 * [taylor]: Taking taylor expansion of k in a 1.946 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 1.946 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 1.946 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 1.946 * [taylor]: Taking taylor expansion of k in a 1.946 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 1.946 * [taylor]: Taking taylor expansion of k in a 1.946 * [taylor]: Taking taylor expansion of 10.0 in a 1.946 * [taylor]: Taking taylor expansion of 1.0 in a 1.947 * [taylor]: Taking taylor expansion of (/ (pow k m) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k 1.948 * [taylor]: Taking taylor expansion of (pow k m) in k 1.948 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k 1.948 * [taylor]: Taking taylor expansion of (* m (log k)) in k 1.948 * [taylor]: Taking taylor expansion of m in k 1.948 * [taylor]: Taking taylor expansion of (log k) in k 1.948 * [taylor]: Taking taylor expansion of k in k 1.948 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k 1.948 * [taylor]: Taking taylor expansion of (* 10.0 k) in k 1.948 * [taylor]: Taking taylor expansion of 10.0 in k 1.948 * [taylor]: Taking taylor expansion of k in k 1.948 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k 1.948 * [taylor]: Taking taylor expansion of (pow k 2) in k 1.948 * [taylor]: Taking taylor expansion of k in k 1.948 * [taylor]: Taking taylor expansion of 1.0 in k 1.949 * [taylor]: Taking taylor expansion of (* 1.0 (pow k m)) in m 1.949 * [taylor]: Taking taylor expansion of 1.0 in m 1.949 * [taylor]: Taking taylor expansion of (pow k m) in m 1.949 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m 1.949 * [taylor]: Taking taylor expansion of (* m (log k)) in m 1.949 * [taylor]: Taking taylor expansion of m in m 1.949 * [taylor]: Taking taylor expansion of (log k) in m 1.949 * [taylor]: Taking taylor expansion of k in m 1.954 * [taylor]: Taking taylor expansion of 0 in k 1.954 * [taylor]: Taking taylor expansion of 0 in m 1.958 * [taylor]: Taking taylor expansion of (- (* 10.0 (pow k m))) in m 1.958 * [taylor]: Taking taylor expansion of (* 10.0 (pow k m)) in m 1.958 * [taylor]: Taking taylor expansion of 10.0 in m 1.958 * [taylor]: Taking taylor expansion of (pow k m) in m 1.958 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m 1.958 * [taylor]: Taking taylor expansion of (* m (log k)) in m 1.958 * [taylor]: Taking taylor expansion of m in m 1.958 * [taylor]: Taking taylor expansion of (log k) in m 1.958 * [taylor]: Taking taylor expansion of k in m 1.960 * [approximate]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in (a k m) around 0 1.960 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in m 1.960 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in m 1.960 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in m 1.960 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in m 1.960 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.960 * [taylor]: Taking taylor expansion of m in m 1.963 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in m 1.964 * [taylor]: Taking taylor expansion of (/ 1 k) in m 1.964 * [taylor]: Taking taylor expansion of k in m 1.964 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in m 1.964 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in m 1.964 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.964 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in m 1.964 * [taylor]: Taking taylor expansion of (/ 1 k) in m 1.964 * [taylor]: Taking taylor expansion of k in m 1.964 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in m 1.964 * [taylor]: Taking taylor expansion of (/ 1 k) in m 1.964 * [taylor]: Taking taylor expansion of k in m 1.964 * [taylor]: Taking taylor expansion of 10.0 in m 1.964 * [taylor]: Taking taylor expansion of 1.0 in m 1.964 * [taylor]: Taking taylor expansion of a in m 1.965 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in k 1.965 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in k 1.965 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in k 1.965 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in k 1.965 * [taylor]: Taking taylor expansion of (/ 1 m) in k 1.965 * [taylor]: Taking taylor expansion of m in k 1.965 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 1.965 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.965 * [taylor]: Taking taylor expansion of k in k 1.966 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in k 1.966 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 1.966 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.966 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 1.966 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.966 * [taylor]: Taking taylor expansion of k in k 1.966 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 1.966 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.966 * [taylor]: Taking taylor expansion of k in k 1.967 * [taylor]: Taking taylor expansion of 10.0 in k 1.967 * [taylor]: Taking taylor expansion of 1.0 in k 1.967 * [taylor]: Taking taylor expansion of a in k 1.968 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 1.968 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a 1.968 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a 1.968 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a 1.968 * [taylor]: Taking taylor expansion of (/ 1 m) in a 1.968 * [taylor]: Taking taylor expansion of m in a 1.968 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a 1.968 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.968 * [taylor]: Taking taylor expansion of k in a 1.968 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 1.968 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 1.968 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.968 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 1.968 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.968 * [taylor]: Taking taylor expansion of k in a 1.968 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 1.968 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.968 * [taylor]: Taking taylor expansion of k in a 1.968 * [taylor]: Taking taylor expansion of 10.0 in a 1.968 * [taylor]: Taking taylor expansion of 1.0 in a 1.968 * [taylor]: Taking taylor expansion of a in a 1.970 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 1.970 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a 1.970 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a 1.970 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a 1.970 * [taylor]: Taking taylor expansion of (/ 1 m) in a 1.970 * [taylor]: Taking taylor expansion of m in a 1.970 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a 1.970 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.970 * [taylor]: Taking taylor expansion of k in a 1.970 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 1.970 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 1.970 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 1.970 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 1.970 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.970 * [taylor]: Taking taylor expansion of k in a 1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 1.970 * [taylor]: Taking taylor expansion of (/ 1 k) in a 1.970 * [taylor]: Taking taylor expansion of k in a 1.970 * [taylor]: Taking taylor expansion of 10.0 in a 1.970 * [taylor]: Taking taylor expansion of 1.0 in a 1.970 * [taylor]: Taking taylor expansion of a in a 1.972 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 k)) m)) (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k 1.972 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 k)) m)) in k 1.972 * [taylor]: Taking taylor expansion of (/ (log (/ 1 k)) m) in k 1.972 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 1.972 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.972 * [taylor]: Taking taylor expansion of k in k 1.973 * [taylor]: Taking taylor expansion of m in k 1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k 1.974 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 1.974 * [taylor]: Taking taylor expansion of (pow k 2) in k 1.974 * [taylor]: Taking taylor expansion of k in k 1.974 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k 1.974 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 1.974 * [taylor]: Taking taylor expansion of 10.0 in k 1.974 * [taylor]: Taking taylor expansion of (/ 1 k) in k 1.974 * [taylor]: Taking taylor expansion of k in k 1.974 * [taylor]: Taking taylor expansion of 1.0 in k 1.975 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m 1.975 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m 1.975 * [taylor]: Taking taylor expansion of -1 in m 1.975 * [taylor]: Taking taylor expansion of (/ (log k) m) in m 1.975 * [taylor]: Taking taylor expansion of (log k) in m 1.975 * [taylor]: Taking taylor expansion of k in m 1.975 * [taylor]: Taking taylor expansion of m in m 1.979 * [taylor]: Taking taylor expansion of 0 in k 1.979 * [taylor]: Taking taylor expansion of 0 in m 1.983 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (log k) m))))) in m 1.983 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (log k) m)))) in m 1.983 * [taylor]: Taking taylor expansion of 10.0 in m 1.983 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m 1.983 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m 1.983 * [taylor]: Taking taylor expansion of -1 in m 1.983 * [taylor]: Taking taylor expansion of (/ (log k) m) in m 1.983 * [taylor]: Taking taylor expansion of (log k) in m 1.983 * [taylor]: Taking taylor expansion of k in m 1.983 * [taylor]: Taking taylor expansion of m in m 1.989 * [taylor]: Taking taylor expansion of 0 in k 1.989 * [taylor]: Taking taylor expansion of 0 in m 1.989 * [taylor]: Taking taylor expansion of 0 in m 1.995 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (log k) m)))) in m 1.995 * [taylor]: Taking taylor expansion of 99.0 in m 1.995 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m 1.995 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m 1.995 * [taylor]: Taking taylor expansion of -1 in m 1.995 * [taylor]: Taking taylor expansion of (/ (log k) m) in m 1.995 * [taylor]: Taking taylor expansion of (log k) in m 1.995 * [taylor]: Taking taylor expansion of k in m 1.995 * [taylor]: Taking taylor expansion of m in m 1.996 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in (a k m) around 0 1.997 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in m 1.997 * [taylor]: Taking taylor expansion of -1 in m 1.997 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in m 1.997 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in m 1.997 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in m 1.997 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in m 1.997 * [taylor]: Taking taylor expansion of (/ -1 m) in m 1.997 * [taylor]: Taking taylor expansion of -1 in m 1.997 * [taylor]: Taking taylor expansion of m in m 1.997 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in m 1.997 * [taylor]: Taking taylor expansion of (/ -1 k) in m 1.997 * [taylor]: Taking taylor expansion of -1 in m 1.997 * [taylor]: Taking taylor expansion of k in m 1.997 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in m 1.997 * [taylor]: Taking taylor expansion of a in m 1.997 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in m 1.997 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 1.997 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in m 1.997 * [taylor]: Taking taylor expansion of (/ -1 k) in m 1.997 * [taylor]: Taking taylor expansion of -1 in m 1.997 * [taylor]: Taking taylor expansion of k in m 1.997 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in m 1.997 * [taylor]: Taking taylor expansion of 10.0 in m 1.997 * [taylor]: Taking taylor expansion of (/ 1 k) in m 1.998 * [taylor]: Taking taylor expansion of k in m 1.998 * [taylor]: Taking taylor expansion of 1.0 in m 1.998 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in k 1.998 * [taylor]: Taking taylor expansion of -1 in k 1.998 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 1.998 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in k 1.998 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in k 1.998 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in k 1.998 * [taylor]: Taking taylor expansion of (/ -1 m) in k 1.998 * [taylor]: Taking taylor expansion of -1 in k 1.998 * [taylor]: Taking taylor expansion of m in k 1.998 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k 1.998 * [taylor]: Taking taylor expansion of (/ -1 k) in k 1.998 * [taylor]: Taking taylor expansion of -1 in k 1.998 * [taylor]: Taking taylor expansion of k in k 2.000 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 2.000 * [taylor]: Taking taylor expansion of a in k 2.000 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 2.000 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 2.000 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 2.000 * [taylor]: Taking taylor expansion of (/ -1 k) in k 2.000 * [taylor]: Taking taylor expansion of -1 in k 2.000 * [taylor]: Taking taylor expansion of k in k 2.001 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 2.001 * [taylor]: Taking taylor expansion of 10.0 in k 2.001 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.001 * [taylor]: Taking taylor expansion of k in k 2.001 * [taylor]: Taking taylor expansion of 1.0 in k 2.002 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in a 2.002 * [taylor]: Taking taylor expansion of -1 in a 2.002 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 2.002 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a 2.002 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a 2.002 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a 2.002 * [taylor]: Taking taylor expansion of (/ -1 m) in a 2.002 * [taylor]: Taking taylor expansion of -1 in a 2.002 * [taylor]: Taking taylor expansion of m in a 2.002 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a 2.002 * [taylor]: Taking taylor expansion of (/ -1 k) in a 2.002 * [taylor]: Taking taylor expansion of -1 in a 2.002 * [taylor]: Taking taylor expansion of k in a 2.003 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 2.003 * [taylor]: Taking taylor expansion of a in a 2.003 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 2.003 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 2.003 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 2.003 * [taylor]: Taking taylor expansion of (/ -1 k) in a 2.003 * [taylor]: Taking taylor expansion of -1 in a 2.003 * [taylor]: Taking taylor expansion of k in a 2.003 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 2.003 * [taylor]: Taking taylor expansion of 10.0 in a 2.003 * [taylor]: Taking taylor expansion of (/ 1 k) in a 2.003 * [taylor]: Taking taylor expansion of k in a 2.003 * [taylor]: Taking taylor expansion of 1.0 in a 2.005 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in a 2.005 * [taylor]: Taking taylor expansion of -1 in a 2.005 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 2.005 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a 2.005 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a 2.005 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a 2.005 * [taylor]: Taking taylor expansion of (/ -1 m) in a 2.005 * [taylor]: Taking taylor expansion of -1 in a 2.005 * [taylor]: Taking taylor expansion of m in a 2.005 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a 2.005 * [taylor]: Taking taylor expansion of (/ -1 k) in a 2.005 * [taylor]: Taking taylor expansion of -1 in a 2.005 * [taylor]: Taking taylor expansion of k in a 2.005 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 2.005 * [taylor]: Taking taylor expansion of a in a 2.005 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 2.005 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 2.005 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 2.005 * [taylor]: Taking taylor expansion of (/ -1 k) in a 2.005 * [taylor]: Taking taylor expansion of -1 in a 2.005 * [taylor]: Taking taylor expansion of k in a 2.006 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 2.006 * [taylor]: Taking taylor expansion of 10.0 in a 2.006 * [taylor]: Taking taylor expansion of (/ 1 k) in a 2.006 * [taylor]: Taking taylor expansion of k in a 2.006 * [taylor]: Taking taylor expansion of 1.0 in a 2.008 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k 2.008 * [taylor]: Taking taylor expansion of -1 in k 2.008 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k 2.008 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 k)) m))) in k 2.008 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 k)) m)) in k 2.008 * [taylor]: Taking taylor expansion of -1 in k 2.008 * [taylor]: Taking taylor expansion of (/ (log (/ -1 k)) m) in k 2.008 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k 2.008 * [taylor]: Taking taylor expansion of (/ -1 k) in k 2.008 * [taylor]: Taking taylor expansion of -1 in k 2.008 * [taylor]: Taking taylor expansion of k in k 2.008 * [taylor]: Taking taylor expansion of m in k 2.010 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k 2.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k 2.010 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 2.010 * [taylor]: Taking taylor expansion of (pow k 2) in k 2.011 * [taylor]: Taking taylor expansion of k in k 2.011 * [taylor]: Taking taylor expansion of 1.0 in k 2.011 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 2.011 * [taylor]: Taking taylor expansion of 10.0 in k 2.011 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.011 * [taylor]: Taking taylor expansion of k in k 2.012 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m 2.013 * [taylor]: Taking taylor expansion of -1 in m 2.013 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m 2.013 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m 2.013 * [taylor]: Taking taylor expansion of -1 in m 2.013 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m 2.013 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m 2.013 * [taylor]: Taking taylor expansion of (log -1) in m 2.013 * [taylor]: Taking taylor expansion of -1 in m 2.013 * [taylor]: Taking taylor expansion of (log k) in m 2.013 * [taylor]: Taking taylor expansion of k in m 2.013 * [taylor]: Taking taylor expansion of m in m 2.019 * [taylor]: Taking taylor expansion of 0 in k 2.019 * [taylor]: Taking taylor expansion of 0 in m 2.026 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m 2.026 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m 2.026 * [taylor]: Taking taylor expansion of 10.0 in m 2.026 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m 2.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m 2.026 * [taylor]: Taking taylor expansion of -1 in m 2.026 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m 2.026 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m 2.026 * [taylor]: Taking taylor expansion of (log -1) in m 2.026 * [taylor]: Taking taylor expansion of -1 in m 2.027 * [taylor]: Taking taylor expansion of (log k) in m 2.027 * [taylor]: Taking taylor expansion of k in m 2.027 * [taylor]: Taking taylor expansion of m in m 2.036 * [taylor]: Taking taylor expansion of 0 in k 2.036 * [taylor]: Taking taylor expansion of 0 in m 2.036 * [taylor]: Taking taylor expansion of 0 in m 2.045 * [taylor]: Taking taylor expansion of (- (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m 2.045 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m 2.045 * [taylor]: Taking taylor expansion of 99.0 in m 2.045 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m 2.045 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m 2.045 * [taylor]: Taking taylor expansion of -1 in m 2.045 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m 2.045 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m 2.045 * [taylor]: Taking taylor expansion of (log -1) in m 2.045 * [taylor]: Taking taylor expansion of -1 in m 2.046 * [taylor]: Taking taylor expansion of (log k) in m 2.046 * [taylor]: Taking taylor expansion of k in m 2.046 * [taylor]: Taking taylor expansion of m in m 2.050 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 2.050 * [approximate]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in (k) around 0 2.050 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 2.050 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 2.050 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 2.050 * [taylor]: Taking taylor expansion of k in k 2.050 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 2.050 * [taylor]: Taking taylor expansion of k in k 2.050 * [taylor]: Taking taylor expansion of 10.0 in k 2.050 * [taylor]: Taking taylor expansion of 1.0 in k 2.050 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 2.050 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 2.050 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 2.050 * [taylor]: Taking taylor expansion of k in k 2.050 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 2.050 * [taylor]: Taking taylor expansion of k in k 2.050 * [taylor]: Taking taylor expansion of 10.0 in k 2.050 * [taylor]: Taking taylor expansion of 1.0 in k 2.057 * [approximate]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in (k) around 0 2.057 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 2.057 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 2.057 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.057 * [taylor]: Taking taylor expansion of k in k 2.057 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 2.057 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.057 * [taylor]: Taking taylor expansion of k in k 2.057 * [taylor]: Taking taylor expansion of 10.0 in k 2.057 * [taylor]: Taking taylor expansion of 1.0 in k 2.057 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 2.058 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 2.058 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 2.058 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.058 * [taylor]: Taking taylor expansion of k in k 2.058 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 2.058 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.058 * [taylor]: Taking taylor expansion of k in k 2.058 * [taylor]: Taking taylor expansion of 10.0 in k 2.058 * [taylor]: Taking taylor expansion of 1.0 in k 2.063 * [approximate]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in (k) around 0 2.063 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 2.064 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 2.064 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 2.064 * [taylor]: Taking taylor expansion of (/ -1 k) in k 2.064 * [taylor]: Taking taylor expansion of -1 in k 2.064 * [taylor]: Taking taylor expansion of k in k 2.064 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 2.064 * [taylor]: Taking taylor expansion of 10.0 in k 2.064 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.064 * [taylor]: Taking taylor expansion of k in k 2.064 * [taylor]: Taking taylor expansion of 1.0 in k 2.064 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 2.064 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 2.064 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 2.064 * [taylor]: Taking taylor expansion of (/ -1 k) in k 2.064 * [taylor]: Taking taylor expansion of -1 in k 2.064 * [taylor]: Taking taylor expansion of k in k 2.065 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 2.065 * [taylor]: Taking taylor expansion of 10.0 in k 2.065 * [taylor]: Taking taylor expansion of (/ 1 k) in k 2.065 * [taylor]: Taking taylor expansion of k in k 2.065 * [taylor]: Taking taylor expansion of 1.0 in k 2.072 * * * [progress]: simplifying candidates 2.073 * [simplify]: Simplifying using # : (expm1 (/ a (fma k (+ 10.0 k) 1.0))) (log1p (/ a (fma k (+ 10.0 k) 1.0))) (- (log a) (log (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (exp (/ a (fma k (+ 10.0 k) 1.0))) (/ (* (* a a) a) (* (* (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0)) (fma k (+ 10.0 k) 1.0))) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (cbrt (/ a (fma k (+ 10.0 k) 1.0)))) (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (* (* (/ a (fma k (+ 10.0 k) 1.0)) (/ a (fma k (+ 10.0 k) 1.0))) (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (- a) (- (fma k (+ 10.0 k) 1.0)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (/ (sqrt a) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) 1) (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (/ 1 (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (/ 1 (sqrt (fma k (+ 10.0 k) 1.0))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (/ 1 1) (/ a (fma k (+ 10.0 k) 1.0)) (/ 1 (fma k (+ 10.0 k) 1.0)) (/ (fma k (+ 10.0 k) 1.0) a) (/ a (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (/ a 1) (/ (fma k (+ 10.0 k) 1.0) (cbrt a)) (/ (fma k (+ 10.0 k) 1.0) (sqrt a)) (/ (fma k (+ 10.0 k) 1.0) a) (expm1 (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log1p (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (+ (- (log a) (log (fma k (+ 10.0 k) 1.0))) (* (log k) m)) (+ (- (log a) (log (fma k (+ 10.0 k) 1.0))) (* (log k) m)) (+ (- (log a) (log (fma k (+ 10.0 k) 1.0))) (log (pow k m))) (+ (log (/ a (fma k (+ 10.0 k) 1.0))) (* (log k) m)) (+ (log (/ a (fma k (+ 10.0 k) 1.0))) (* (log k) m)) (+ (log (/ a (fma k (+ 10.0 k) 1.0))) (log (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (exp (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (* (/ (* (* a a) a) (* (* (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0)) (fma k (+ 10.0 k) 1.0))) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (* (/ a (fma k (+ 10.0 k) 1.0)) (/ a (fma k (+ 10.0 k) 1.0))) (/ a (fma k (+ 10.0 k) 1.0))) (* (* (pow k m) (pow k m)) (pow k m))) (* (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))) (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (* (* (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (sqrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (sqrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow (* (cbrt k) (cbrt k)) m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow (sqrt k) m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow 1 m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (* (cbrt (pow k m)) (cbrt (pow k m)))) (* (/ a (fma k (+ 10.0 k) 1.0)) (sqrt (pow k m))) (* (/ a (fma k (+ 10.0 k) 1.0)) 1) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k (/ m 2))) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ 1 (fma k (+ 10.0 k) 1.0)) (pow k m)) (* a (pow k m)) (expm1 (fma k (+ 10.0 k) 1.0)) (log1p (fma k (+ 10.0 k) 1.0)) (* k (+ 10.0 k)) (log (fma k (+ 10.0 k) 1.0)) (exp (fma k (+ 10.0 k) 1.0)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (fma k (+ 10.0 k) 1.0)) (* (* (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0)) (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0)) (- (+ (* 1.0 a) (* 99.0 (* (pow k 2) a))) (* 10.0 (* k a))) (- (+ (/ a (pow k 2)) (* 99.0 (/ a (pow k 4)))) (* 10.0 (/ a (pow k 3)))) (- (+ (/ a (pow k 2)) (* 99.0 (/ a (pow k 4)))) (* 10.0 (/ a (pow k 3)))) (- (+ (* 1.0 (* a (* m (log k)))) (* 1.0 a)) (* 10.0 (* k a))) (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3)))) (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3)))) (+ (* 10.0 k) (+ (pow k 2) 1.0)) (+ (* 10.0 k) (+ (pow k 2) 1.0)) (+ (* 10.0 k) (+ (pow k 2) 1.0)) 2.079 * * [simplify]: iteration 0 : 175 enodes (cost 1476 ) 2.109 * * [simplify]: iteration 1 : 427 enodes (cost 1427 ) 2.205 * * [simplify]: iteration 2 : 1712 enodes (cost 1309 ) 2.715 * * [simplify]: iteration done : 5000 enodes (cost 1309 ) 2.716 * [simplify]: Simplified to: (expm1 (/ a (fma k (+ 10.0 k) 1.0))) (log1p (/ a (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (exp (/ a (fma k (+ 10.0 k) 1.0))) (pow (/ a (fma k (+ 10.0 k) 1.0)) 3) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (cbrt (/ a (fma k (+ 10.0 k) 1.0)))) (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (/ a (fma k (+ 10.0 k) 1.0)) 3) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (- a) (- (fma k (+ 10.0 k) 1.0)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (/ (sqrt a) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt a) (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (/ 1 (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (/ 1 (sqrt (fma k (+ 10.0 k) 1.0))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) 1 (/ a (fma k (+ 10.0 k) 1.0)) (/ 1 (fma k (+ 10.0 k) 1.0)) (/ (fma k (+ 10.0 k) 1.0) a) (/ a (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) a (/ (fma k (+ 10.0 k) 1.0) (cbrt a)) (/ (fma k (+ 10.0 k) 1.0) (sqrt a)) (/ (fma k (+ 10.0 k) 1.0) a) (expm1 (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log1p (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (log (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (exp (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (pow (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) 3) (pow (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) 3) (* (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))) (cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (pow (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) 3) (sqrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (sqrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt k) m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (pow k m))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k (/ m 2))) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow (* (cbrt k) (cbrt k)) m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow (sqrt k) m)) (/ a (fma k (+ 10.0 k) 1.0)) (* (/ a (fma k (+ 10.0 k) 1.0)) (* (cbrt (pow k m)) (cbrt (pow k m)))) (* (/ a (fma k (+ 10.0 k) 1.0)) (sqrt (pow k m))) (/ a (fma k (+ 10.0 k) 1.0)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k (/ m 2))) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (pow k m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)) (/ (pow k m) (fma k (+ 10.0 k) 1.0)) (* a (pow k m)) (expm1 (fma k (+ 10.0 k) 1.0)) (log1p (fma k (+ 10.0 k) 1.0)) (* k (+ 10.0 k)) (log (fma k (+ 10.0 k) 1.0)) (exp (fma k (+ 10.0 k) 1.0)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (fma k (+ 10.0 k) 1.0)) (pow (fma k (+ 10.0 k) 1.0) 3) (sqrt (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0)) (fma a 1.0 (* a (- (* 99.0 (pow k 2)) (* 10.0 k)))) (- (fma (/ a (pow k 4)) 99.0 (/ a (pow k 2))) (* 10.0 (/ a (pow k 3)))) (- (fma (/ a (pow k 4)) 99.0 (/ a (pow k 2))) (* 10.0 (/ a (pow k 3)))) (- (* (fma (* a m) (log k) a) 1.0) (* 10.0 (* k a))) (- (fma 99.0 (/ (* a (exp (- (* (- (log k)) m)))) (pow k 4)) (/ (* a (exp (- (* (- (log k)) m)))) (pow k 2))) (/ (* 10.0 (* a (exp (- (* (- (log k)) m))))) (pow k 3))) (- (fma 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4)) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3)))) (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0) 2.717 * * * [progress]: adding candidates to table 3.010 * * [progress]: iteration 2 / 4 3.011 * * * [progress]: picking best candidate 3.020 * * * * [pick]: Picked # 3.020 * * * [progress]: localizing error 3.034 * * * [progress]: generating rewritten candidates 3.034 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.036 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.037 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 3.037 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 3.039 * * * [progress]: generating series expansions 3.039 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.039 * [approximate]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in (a k) around 0 3.039 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in k 3.039 * [taylor]: Taking taylor expansion of a in k 3.039 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 3.039 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 3.039 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 3.039 * [taylor]: Taking taylor expansion of k in k 3.039 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 3.039 * [taylor]: Taking taylor expansion of k in k 3.039 * [taylor]: Taking taylor expansion of 10.0 in k 3.039 * [taylor]: Taking taylor expansion of 1.0 in k 3.040 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in a 3.040 * [taylor]: Taking taylor expansion of a in a 3.040 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 3.041 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 3.041 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 3.041 * [taylor]: Taking taylor expansion of k in a 3.041 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 3.041 * [taylor]: Taking taylor expansion of k in a 3.041 * [taylor]: Taking taylor expansion of 10.0 in a 3.041 * [taylor]: Taking taylor expansion of 1.0 in a 3.041 * [taylor]: Taking taylor expansion of (/ a (fma k (+ k 10.0) 1.0)) in a 3.041 * [taylor]: Taking taylor expansion of a in a 3.041 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in a 3.041 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 3.041 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in a 3.041 * [taylor]: Taking taylor expansion of k in a 3.041 * [taylor]: Taking taylor expansion of (+ k 10.0) in a 3.041 * [taylor]: Taking taylor expansion of k in a 3.041 * [taylor]: Taking taylor expansion of 10.0 in a 3.041 * [taylor]: Taking taylor expansion of 1.0 in a 3.041 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k 3.041 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k 3.042 * [taylor]: Taking taylor expansion of (* 10.0 k) in k 3.042 * [taylor]: Taking taylor expansion of 10.0 in k 3.042 * [taylor]: Taking taylor expansion of k in k 3.042 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k 3.042 * [taylor]: Taking taylor expansion of (pow k 2) in k 3.042 * [taylor]: Taking taylor expansion of k in k 3.042 * [taylor]: Taking taylor expansion of 1.0 in k 3.044 * [taylor]: Taking taylor expansion of 0 in k 3.048 * [taylor]: Taking taylor expansion of 0 in k 3.052 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in (a k) around 0 3.052 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in k 3.052 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in k 3.052 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 3.052 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 3.052 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 3.052 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.053 * [taylor]: Taking taylor expansion of k in k 3.053 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 3.053 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.053 * [taylor]: Taking taylor expansion of k in k 3.053 * [taylor]: Taking taylor expansion of 10.0 in k 3.053 * [taylor]: Taking taylor expansion of 1.0 in k 3.053 * [taylor]: Taking taylor expansion of a in k 3.054 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 3.054 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 3.054 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 3.054 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 3.054 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 3.054 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.054 * [taylor]: Taking taylor expansion of k in a 3.054 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 3.054 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.054 * [taylor]: Taking taylor expansion of k in a 3.054 * [taylor]: Taking taylor expansion of 10.0 in a 3.054 * [taylor]: Taking taylor expansion of 1.0 in a 3.054 * [taylor]: Taking taylor expansion of a in a 3.056 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a)) in a 3.056 * [taylor]: Taking taylor expansion of (* (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) a) in a 3.056 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in a 3.056 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 3.056 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in a 3.056 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.056 * [taylor]: Taking taylor expansion of k in a 3.056 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in a 3.056 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.056 * [taylor]: Taking taylor expansion of k in a 3.056 * [taylor]: Taking taylor expansion of 10.0 in a 3.056 * [taylor]: Taking taylor expansion of 1.0 in a 3.056 * [taylor]: Taking taylor expansion of a in a 3.058 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k 3.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k 3.058 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 3.058 * [taylor]: Taking taylor expansion of (pow k 2) in k 3.058 * [taylor]: Taking taylor expansion of k in k 3.059 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k 3.059 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 3.059 * [taylor]: Taking taylor expansion of 10.0 in k 3.059 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.059 * [taylor]: Taking taylor expansion of k in k 3.059 * [taylor]: Taking taylor expansion of 1.0 in k 3.061 * [taylor]: Taking taylor expansion of 0 in k 3.067 * [taylor]: Taking taylor expansion of 0 in k 3.075 * [approximate]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in (a k) around 0 3.075 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 3.075 * [taylor]: Taking taylor expansion of -1 in k 3.075 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 3.075 * [taylor]: Taking taylor expansion of a in k 3.075 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 3.076 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 3.076 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 3.076 * [taylor]: Taking taylor expansion of (/ -1 k) in k 3.076 * [taylor]: Taking taylor expansion of -1 in k 3.076 * [taylor]: Taking taylor expansion of k in k 3.076 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 3.076 * [taylor]: Taking taylor expansion of 10.0 in k 3.076 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.076 * [taylor]: Taking taylor expansion of k in k 3.076 * [taylor]: Taking taylor expansion of 1.0 in k 3.077 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 3.077 * [taylor]: Taking taylor expansion of -1 in a 3.077 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 3.077 * [taylor]: Taking taylor expansion of a in a 3.077 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 3.077 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 3.077 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 3.077 * [taylor]: Taking taylor expansion of (/ -1 k) in a 3.077 * [taylor]: Taking taylor expansion of -1 in a 3.077 * [taylor]: Taking taylor expansion of k in a 3.078 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 3.078 * [taylor]: Taking taylor expansion of 10.0 in a 3.078 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.078 * [taylor]: Taking taylor expansion of k in a 3.078 * [taylor]: Taking taylor expansion of 1.0 in a 3.079 * [taylor]: Taking taylor expansion of (/ -1 (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in a 3.079 * [taylor]: Taking taylor expansion of -1 in a 3.079 * [taylor]: Taking taylor expansion of (* a (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in a 3.079 * [taylor]: Taking taylor expansion of a in a 3.080 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in a 3.080 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 3.080 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in a 3.080 * [taylor]: Taking taylor expansion of (/ -1 k) in a 3.080 * [taylor]: Taking taylor expansion of -1 in a 3.080 * [taylor]: Taking taylor expansion of k in a 3.080 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in a 3.080 * [taylor]: Taking taylor expansion of 10.0 in a 3.080 * [taylor]: Taking taylor expansion of (/ 1 k) in a 3.080 * [taylor]: Taking taylor expansion of k in a 3.080 * [taylor]: Taking taylor expansion of 1.0 in a 3.082 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k 3.082 * [taylor]: Taking taylor expansion of -1 in k 3.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k 3.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k 3.082 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k 3.082 * [taylor]: Taking taylor expansion of (pow k 2) in k 3.082 * [taylor]: Taking taylor expansion of k in k 3.082 * [taylor]: Taking taylor expansion of 1.0 in k 3.082 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k 3.082 * [taylor]: Taking taylor expansion of 10.0 in k 3.082 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.082 * [taylor]: Taking taylor expansion of k in k 3.086 * [taylor]: Taking taylor expansion of 0 in k 3.093 * [taylor]: Taking taylor expansion of 0 in k 3.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.100 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 3.100 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.100 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.100 * [taylor]: Taking taylor expansion of 1/3 in k 3.100 * [taylor]: Taking taylor expansion of (log k) in k 3.100 * [taylor]: Taking taylor expansion of k in k 3.101 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.101 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.101 * [taylor]: Taking taylor expansion of 1/3 in k 3.101 * [taylor]: Taking taylor expansion of (log k) in k 3.101 * [taylor]: Taking taylor expansion of k in k 3.152 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 3.152 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.153 * [taylor]: Taking taylor expansion of 1/3 in k 3.153 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.153 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.153 * [taylor]: Taking taylor expansion of k in k 3.153 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.153 * [taylor]: Taking taylor expansion of 1/3 in k 3.154 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.154 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.154 * [taylor]: Taking taylor expansion of k in k 3.205 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 3.205 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.205 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.205 * [taylor]: Taking taylor expansion of 1/3 in k 3.205 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.205 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.205 * [taylor]: Taking taylor expansion of k in k 3.206 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.206 * [taylor]: Taking taylor expansion of -1 in k 3.207 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.207 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.207 * [taylor]: Taking taylor expansion of 1/3 in k 3.207 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.207 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.207 * [taylor]: Taking taylor expansion of k in k 3.208 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.208 * [taylor]: Taking taylor expansion of -1 in k 3.270 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 3.270 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 3.270 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.270 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.270 * [taylor]: Taking taylor expansion of 1/3 in k 3.270 * [taylor]: Taking taylor expansion of (log k) in k 3.270 * [taylor]: Taking taylor expansion of k in k 3.270 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.271 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.271 * [taylor]: Taking taylor expansion of 1/3 in k 3.271 * [taylor]: Taking taylor expansion of (log k) in k 3.271 * [taylor]: Taking taylor expansion of k in k 3.321 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 3.321 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.321 * [taylor]: Taking taylor expansion of 1/3 in k 3.321 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.321 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.321 * [taylor]: Taking taylor expansion of k in k 3.322 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.322 * [taylor]: Taking taylor expansion of 1/3 in k 3.322 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.322 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.322 * [taylor]: Taking taylor expansion of k in k 3.375 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 3.375 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.375 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.375 * [taylor]: Taking taylor expansion of 1/3 in k 3.375 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.375 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.375 * [taylor]: Taking taylor expansion of k in k 3.376 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.376 * [taylor]: Taking taylor expansion of -1 in k 3.377 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.377 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.377 * [taylor]: Taking taylor expansion of 1/3 in k 3.377 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.377 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.377 * [taylor]: Taking taylor expansion of k in k 3.378 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.378 * [taylor]: Taking taylor expansion of -1 in k 3.440 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 3.440 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 3.440 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.440 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.440 * [taylor]: Taking taylor expansion of 1/3 in k 3.440 * [taylor]: Taking taylor expansion of (log k) in k 3.440 * [taylor]: Taking taylor expansion of k in k 3.441 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 3.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 3.441 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 3.441 * [taylor]: Taking taylor expansion of 1/3 in k 3.441 * [taylor]: Taking taylor expansion of (log k) in k 3.441 * [taylor]: Taking taylor expansion of k in k 3.488 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 3.489 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.489 * [taylor]: Taking taylor expansion of 1/3 in k 3.489 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.489 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.489 * [taylor]: Taking taylor expansion of k in k 3.490 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.490 * [taylor]: Taking taylor expansion of 1/3 in k 3.490 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.490 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.490 * [taylor]: Taking taylor expansion of k in k 3.554 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 3.554 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.554 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.554 * [taylor]: Taking taylor expansion of 1/3 in k 3.554 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.554 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.554 * [taylor]: Taking taylor expansion of k in k 3.555 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.555 * [taylor]: Taking taylor expansion of -1 in k 3.556 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 3.556 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 3.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 3.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 3.556 * [taylor]: Taking taylor expansion of 1/3 in k 3.556 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 3.556 * [taylor]: Taking taylor expansion of (/ 1 k) in k 3.556 * [taylor]: Taking taylor expansion of k in k 3.557 * [taylor]: Taking taylor expansion of (cbrt -1) in k 3.557 * [taylor]: Taking taylor expansion of -1 in k 3.629 * * * [progress]: simplifying candidates 3.630 * [simplify]: Simplifying using # : (expm1 (/ a (fma k (+ 10.0 k) 1.0))) (log1p (/ a (fma k (+ 10.0 k) 1.0))) (- (log a) (log (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (exp (/ a (fma k (+ 10.0 k) 1.0))) (/ (* (* a a) a) (* (* (fma k (+ 10.0 k) 1.0) (fma k (+ 10.0 k) 1.0)) (fma k (+ 10.0 k) 1.0))) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (cbrt (/ a (fma k (+ 10.0 k) 1.0)))) (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (* (* (/ a (fma k (+ 10.0 k) 1.0)) (/ a (fma k (+ 10.0 k) 1.0))) (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (- a) (- (fma k (+ 10.0 k) 1.0)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (/ (sqrt a) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) 1) (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (/ 1 (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (/ 1 (sqrt (fma k (+ 10.0 k) 1.0))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (/ 1 1) (/ a (fma k (+ 10.0 k) 1.0)) (/ 1 (fma k (+ 10.0 k) 1.0)) (/ (fma k (+ 10.0 k) 1.0) a) (/ a (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) (/ a 1) (/ (fma k (+ 10.0 k) 1.0) (cbrt a)) (/ (fma k (+ 10.0 k) 1.0) (sqrt a)) (/ (fma k (+ 10.0 k) 1.0) a) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (- (+ (* 1.0 a) (* 99.0 (* (pow k 2) a))) (* 10.0 (* k a))) (- (+ (/ a (pow k 2)) (* 99.0 (/ a (pow k 4)))) (* 10.0 (/ a (pow k 3)))) (- (+ (/ a (pow k 2)) (* 99.0 (/ a (pow k 4)))) (* 10.0 (/ a (pow k 3)))) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) 3.634 * * [simplify]: iteration 0 : 100 enodes (cost 682 ) 3.653 * * [simplify]: iteration 1 : 192 enodes (cost 660 ) 3.707 * * [simplify]: iteration 2 : 597 enodes (cost 606 ) 3.906 * * [simplify]: iteration 3 : 2534 enodes (cost 594 ) 4.741 * * [simplify]: iteration done : 5000 enodes (cost 594 ) 4.741 * [simplify]: Simplified to: (expm1 (/ a (fma k (+ 10.0 k) 1.0))) (log1p (/ a (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (log (/ a (fma k (+ 10.0 k) 1.0))) (exp (/ a (fma k (+ 10.0 k) 1.0))) (pow (/ a (fma k (+ 10.0 k) 1.0)) 3) (* (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (cbrt (/ a (fma k (+ 10.0 k) 1.0)))) (cbrt (/ a (fma k (+ 10.0 k) 1.0))) (pow (/ a (fma k (+ 10.0 k) 1.0)) 3) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (sqrt (/ a (fma k (+ 10.0 k) 1.0))) (- a) (- (fma k (+ 10.0 k) 1.0)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (cbrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (* (cbrt a) (cbrt a)) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (cbrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (fma k (+ 10.0 k) 1.0)) (/ (sqrt a) (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ (sqrt a) (cbrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (/ (sqrt a) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt a) (/ (sqrt a) (fma k (+ 10.0 k) 1.0)) (/ 1 (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (cbrt (fma k (+ 10.0 k) 1.0))) (/ 1 (sqrt (fma k (+ 10.0 k) 1.0))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) 1 (/ a (fma k (+ 10.0 k) 1.0)) (/ 1 (fma k (+ 10.0 k) 1.0)) (/ (fma k (+ 10.0 k) 1.0) a) (/ a (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (/ a (sqrt (fma k (+ 10.0 k) 1.0))) a (/ (fma k (+ 10.0 k) 1.0) (cbrt a)) (/ (fma k (+ 10.0 k) 1.0) (sqrt a)) (/ (fma k (+ 10.0 k) 1.0) a) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (* a (+ 1.0 (* k (- (* 99.0 k) 10.0)))) (- (fma (/ a (pow k 4)) 99.0 (/ a (pow k 2))) (* 10.0 (/ a (pow k 3)))) (- (fma (/ a (pow k 4)) 99.0 (/ a (pow k 2))) (* 10.0 (/ a (pow k 3)))) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt (- k)) (cbrt -1)) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt (- k)) (cbrt -1)) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt (- k)) (cbrt -1)) 4.742 * * * [progress]: adding candidates to table 5.011 * * [progress]: iteration 3 / 4 5.011 * * * [progress]: picking best candidate 5.019 * * * * [pick]: Picked # 5.020 * * * [progress]: localizing error 5.039 * * * [progress]: generating rewritten candidates 5.039 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.040 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 5.041 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.042 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 5.043 * * * [progress]: generating series expansions 5.043 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.043 * [approximate]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in (k) around 0 5.043 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 5.043 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 5.043 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 5.043 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 5.043 * [taylor]: Taking taylor expansion of k in k 5.043 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 5.043 * [taylor]: Taking taylor expansion of k in k 5.043 * [taylor]: Taking taylor expansion of 10.0 in k 5.043 * [taylor]: Taking taylor expansion of 1.0 in k 5.047 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 5.047 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 5.047 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 5.047 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 5.047 * [taylor]: Taking taylor expansion of k in k 5.047 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 5.047 * [taylor]: Taking taylor expansion of k in k 5.047 * [taylor]: Taking taylor expansion of 10.0 in k 5.047 * [taylor]: Taking taylor expansion of 1.0 in k 5.064 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in (k) around 0 5.065 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 5.065 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 5.065 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 5.065 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 5.065 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.065 * [taylor]: Taking taylor expansion of k in k 5.065 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 5.065 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.065 * [taylor]: Taking taylor expansion of k in k 5.065 * [taylor]: Taking taylor expansion of 10.0 in k 5.065 * [taylor]: Taking taylor expansion of 1.0 in k 5.069 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 5.069 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 5.069 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 5.069 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 5.069 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.069 * [taylor]: Taking taylor expansion of k in k 5.070 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 5.070 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.070 * [taylor]: Taking taylor expansion of k in k 5.070 * [taylor]: Taking taylor expansion of 10.0 in k 5.070 * [taylor]: Taking taylor expansion of 1.0 in k 5.078 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in (k) around 0 5.078 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 5.078 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 5.078 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 5.078 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 5.078 * [taylor]: Taking taylor expansion of (/ -1 k) in k 5.078 * [taylor]: Taking taylor expansion of -1 in k 5.078 * [taylor]: Taking taylor expansion of k in k 5.078 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 5.078 * [taylor]: Taking taylor expansion of 10.0 in k 5.078 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.078 * [taylor]: Taking taylor expansion of k in k 5.079 * [taylor]: Taking taylor expansion of 1.0 in k 5.084 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 5.084 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 5.084 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 5.084 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 5.084 * [taylor]: Taking taylor expansion of (/ -1 k) in k 5.084 * [taylor]: Taking taylor expansion of -1 in k 5.084 * [taylor]: Taking taylor expansion of k in k 5.084 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 5.084 * [taylor]: Taking taylor expansion of 10.0 in k 5.084 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.084 * [taylor]: Taking taylor expansion of k in k 5.084 * [taylor]: Taking taylor expansion of 1.0 in k 5.094 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 5.094 * [approximate]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in (k) around 0 5.094 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 5.094 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 5.094 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 5.094 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 5.094 * [taylor]: Taking taylor expansion of k in k 5.094 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 5.094 * [taylor]: Taking taylor expansion of k in k 5.094 * [taylor]: Taking taylor expansion of 10.0 in k 5.094 * [taylor]: Taking taylor expansion of 1.0 in k 5.097 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 5.097 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 5.097 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 5.097 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 5.097 * [taylor]: Taking taylor expansion of k in k 5.098 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 5.098 * [taylor]: Taking taylor expansion of k in k 5.098 * [taylor]: Taking taylor expansion of 10.0 in k 5.098 * [taylor]: Taking taylor expansion of 1.0 in k 5.114 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in (k) around 0 5.115 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 5.115 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 5.115 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 5.115 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 5.115 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.115 * [taylor]: Taking taylor expansion of k in k 5.115 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 5.115 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.115 * [taylor]: Taking taylor expansion of k in k 5.115 * [taylor]: Taking taylor expansion of 10.0 in k 5.115 * [taylor]: Taking taylor expansion of 1.0 in k 5.124 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 5.124 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 5.124 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 5.124 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 5.124 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.124 * [taylor]: Taking taylor expansion of k in k 5.125 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 5.125 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.125 * [taylor]: Taking taylor expansion of k in k 5.125 * [taylor]: Taking taylor expansion of 10.0 in k 5.125 * [taylor]: Taking taylor expansion of 1.0 in k 5.133 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in (k) around 0 5.133 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 5.133 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 5.133 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 5.133 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 5.133 * [taylor]: Taking taylor expansion of (/ -1 k) in k 5.133 * [taylor]: Taking taylor expansion of -1 in k 5.133 * [taylor]: Taking taylor expansion of k in k 5.133 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 5.133 * [taylor]: Taking taylor expansion of 10.0 in k 5.134 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.134 * [taylor]: Taking taylor expansion of k in k 5.134 * [taylor]: Taking taylor expansion of 1.0 in k 5.139 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 5.139 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 5.139 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 5.139 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 5.139 * [taylor]: Taking taylor expansion of (/ -1 k) in k 5.139 * [taylor]: Taking taylor expansion of -1 in k 5.139 * [taylor]: Taking taylor expansion of k in k 5.139 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 5.139 * [taylor]: Taking taylor expansion of 10.0 in k 5.139 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.139 * [taylor]: Taking taylor expansion of k in k 5.139 * [taylor]: Taking taylor expansion of 1.0 in k 5.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.149 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 5.149 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 5.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 5.149 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 5.149 * [taylor]: Taking taylor expansion of 1/3 in k 5.149 * [taylor]: Taking taylor expansion of (log k) in k 5.149 * [taylor]: Taking taylor expansion of k in k 5.149 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 5.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 5.149 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 5.150 * [taylor]: Taking taylor expansion of 1/3 in k 5.150 * [taylor]: Taking taylor expansion of (log k) in k 5.150 * [taylor]: Taking taylor expansion of k in k 5.202 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 5.202 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.203 * [taylor]: Taking taylor expansion of 1/3 in k 5.203 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.203 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.203 * [taylor]: Taking taylor expansion of k in k 5.203 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.203 * [taylor]: Taking taylor expansion of 1/3 in k 5.204 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.204 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.204 * [taylor]: Taking taylor expansion of k in k 5.254 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 5.254 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 5.254 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.254 * [taylor]: Taking taylor expansion of 1/3 in k 5.254 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.254 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.254 * [taylor]: Taking taylor expansion of k in k 5.255 * [taylor]: Taking taylor expansion of (cbrt -1) in k 5.255 * [taylor]: Taking taylor expansion of -1 in k 5.256 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 5.256 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.256 * [taylor]: Taking taylor expansion of 1/3 in k 5.256 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.256 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.256 * [taylor]: Taking taylor expansion of k in k 5.257 * [taylor]: Taking taylor expansion of (cbrt -1) in k 5.257 * [taylor]: Taking taylor expansion of -1 in k 5.322 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 5.322 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 5.322 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 5.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 5.322 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 5.322 * [taylor]: Taking taylor expansion of 1/3 in k 5.322 * [taylor]: Taking taylor expansion of (log k) in k 5.322 * [taylor]: Taking taylor expansion of k in k 5.323 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 5.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 5.323 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 5.323 * [taylor]: Taking taylor expansion of 1/3 in k 5.323 * [taylor]: Taking taylor expansion of (log k) in k 5.323 * [taylor]: Taking taylor expansion of k in k 5.376 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 5.376 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.376 * [taylor]: Taking taylor expansion of 1/3 in k 5.376 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.376 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.376 * [taylor]: Taking taylor expansion of k in k 5.377 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.377 * [taylor]: Taking taylor expansion of 1/3 in k 5.377 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.377 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.377 * [taylor]: Taking taylor expansion of k in k 5.434 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 5.434 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 5.434 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.434 * [taylor]: Taking taylor expansion of 1/3 in k 5.434 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.434 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.434 * [taylor]: Taking taylor expansion of k in k 5.435 * [taylor]: Taking taylor expansion of (cbrt -1) in k 5.435 * [taylor]: Taking taylor expansion of -1 in k 5.436 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 5.436 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 5.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 5.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 5.436 * [taylor]: Taking taylor expansion of 1/3 in k 5.436 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 5.436 * [taylor]: Taking taylor expansion of (/ 1 k) in k 5.436 * [taylor]: Taking taylor expansion of k in k 5.436 * [taylor]: Taking taylor expansion of (cbrt -1) in k 5.436 * [taylor]: Taking taylor expansion of -1 in k 5.502 * * * [progress]: simplifying candidates 5.503 * [simplify]: Simplifying using # : (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (* (* (sqrt (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt 1) (sqrt (fma k (+ 10.0 k) 1.0)) (/ 1 2) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (* (* (sqrt (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt 1) (sqrt (fma k (+ 10.0 k) 1.0)) (/ 1 2) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3)))) (- (+ k 5.0) (* 12.0 (/ 1 k))) (- (* 12.0 (/ 1 k)) (+ k 5.0)) (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3)))) (- (+ k 5.0) (* 12.0 (/ 1 k))) (- (* 12.0 (/ 1 k)) (+ k 5.0)) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) 5.505 * * [simplify]: iteration 0 : 68 enodes (cost 532 ) 5.516 * * [simplify]: iteration 1 : 132 enodes (cost 482 ) 5.539 * * [simplify]: iteration 2 : 342 enodes (cost 450 ) 5.626 * * [simplify]: iteration 3 : 1174 enodes (cost 432 ) 6.003 * * [simplify]: iteration done : 5000 enodes (cost 432 ) 6.003 * [simplify]: Simplified to: (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt (fma k (+ 10.0 k) 1.0)) 3) (fabs (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) 1 (sqrt (fma k (+ 10.0 k) 1.0)) 1/2 (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt (fma k (+ 10.0 k) 1.0)) 3) (fabs (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) 1 (sqrt (fma k (+ 10.0 k) 1.0)) 1/2 (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (+ (fma 5.0 (/ k (sqrt 1.0)) (sqrt 1.0)) (* (/ k (/ (sqrt 1.0) k)) (- 1/2 (/ 12.5 1.0)))) (+ (- 5.0 (/ 12.0 k)) k) (- (/ 12.0 k) (+ k 5.0)) (+ (fma 5.0 (/ k (sqrt 1.0)) (sqrt 1.0)) (* (/ k (/ (sqrt 1.0) k)) (- 1/2 (/ 12.5 1.0)))) (+ (- 5.0 (/ 12.0 k)) k) (- (/ 12.0 k) (+ k 5.0)) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt (- k)) (cbrt -1)) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt (- k)) (cbrt -1)) 6.004 * * * [progress]: adding candidates to table 6.271 * * [progress]: iteration 4 / 4 6.271 * * * [progress]: picking best candidate 6.277 * * * * [pick]: Picked # 6.277 * * * [progress]: localizing error 6.298 * * * [progress]: generating rewritten candidates 6.298 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 6.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 6.299 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 6.300 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.301 * * * [progress]: generating series expansions 6.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 6.301 * [approximate]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in (k) around 0 6.301 * [taylor]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in k 6.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma k (+ k 10.0) 1.0)))) in k 6.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma k (+ k 10.0) 1.0))) in k 6.301 * [taylor]: Taking taylor expansion of 1/3 in k 6.301 * [taylor]: Taking taylor expansion of (log (fma k (+ k 10.0) 1.0)) in k 6.301 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.301 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.301 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.302 * [taylor]: Taking taylor expansion of k in k 6.302 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.302 * [taylor]: Taking taylor expansion of k in k 6.302 * [taylor]: Taking taylor expansion of 10.0 in k 6.302 * [taylor]: Taking taylor expansion of 1.0 in k 6.304 * [taylor]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in k 6.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma k (+ k 10.0) 1.0)))) in k 6.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma k (+ k 10.0) 1.0))) in k 6.304 * [taylor]: Taking taylor expansion of 1/3 in k 6.305 * [taylor]: Taking taylor expansion of (log (fma k (+ k 10.0) 1.0)) in k 6.305 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.305 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.305 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.305 * [taylor]: Taking taylor expansion of k in k 6.305 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.305 * [taylor]: Taking taylor expansion of k in k 6.305 * [taylor]: Taking taylor expansion of 10.0 in k 6.305 * [taylor]: Taking taylor expansion of 1.0 in k 6.353 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in (k) around 0 6.353 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in k 6.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)))) in k 6.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0))) in k 6.353 * [taylor]: Taking taylor expansion of 1/3 in k 6.353 * [taylor]: Taking taylor expansion of (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.353 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.353 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.353 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.353 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.353 * [taylor]: Taking taylor expansion of k in k 6.353 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.353 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.353 * [taylor]: Taking taylor expansion of k in k 6.354 * [taylor]: Taking taylor expansion of 10.0 in k 6.354 * [taylor]: Taking taylor expansion of 1.0 in k 6.355 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in k 6.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)))) in k 6.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0))) in k 6.355 * [taylor]: Taking taylor expansion of 1/3 in k 6.355 * [taylor]: Taking taylor expansion of (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.355 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.355 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.355 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.355 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.355 * [taylor]: Taking taylor expansion of k in k 6.355 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.356 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.356 * [taylor]: Taking taylor expansion of k in k 6.356 * [taylor]: Taking taylor expansion of 10.0 in k 6.356 * [taylor]: Taking taylor expansion of 1.0 in k 6.381 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in (k) around 0 6.381 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in k 6.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in k 6.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 6.381 * [taylor]: Taking taylor expansion of 1/3 in k 6.381 * [taylor]: Taking taylor expansion of (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.381 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.381 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.381 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.381 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.381 * [taylor]: Taking taylor expansion of -1 in k 6.381 * [taylor]: Taking taylor expansion of k in k 6.381 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.381 * [taylor]: Taking taylor expansion of 10.0 in k 6.381 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.381 * [taylor]: Taking taylor expansion of k in k 6.382 * [taylor]: Taking taylor expansion of 1.0 in k 6.383 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in k 6.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in k 6.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 6.383 * [taylor]: Taking taylor expansion of 1/3 in k 6.383 * [taylor]: Taking taylor expansion of (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.383 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.383 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.383 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.383 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.383 * [taylor]: Taking taylor expansion of -1 in k 6.383 * [taylor]: Taking taylor expansion of k in k 6.384 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.384 * [taylor]: Taking taylor expansion of 10.0 in k 6.384 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.384 * [taylor]: Taking taylor expansion of k in k 6.384 * [taylor]: Taking taylor expansion of 1.0 in k 6.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 6.412 * [approximate]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in (k) around 0 6.412 * [taylor]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in k 6.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma k (+ k 10.0) 1.0)))) in k 6.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma k (+ k 10.0) 1.0))) in k 6.412 * [taylor]: Taking taylor expansion of 1/3 in k 6.412 * [taylor]: Taking taylor expansion of (log (fma k (+ k 10.0) 1.0)) in k 6.412 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.412 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.412 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.412 * [taylor]: Taking taylor expansion of k in k 6.412 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.412 * [taylor]: Taking taylor expansion of k in k 6.412 * [taylor]: Taking taylor expansion of 10.0 in k 6.412 * [taylor]: Taking taylor expansion of 1.0 in k 6.415 * [taylor]: Taking taylor expansion of (pow (fma k (+ k 10.0) 1.0) 1/3) in k 6.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma k (+ k 10.0) 1.0)))) in k 6.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma k (+ k 10.0) 1.0))) in k 6.415 * [taylor]: Taking taylor expansion of 1/3 in k 6.415 * [taylor]: Taking taylor expansion of (log (fma k (+ k 10.0) 1.0)) in k 6.415 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.415 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.415 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.415 * [taylor]: Taking taylor expansion of k in k 6.415 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.415 * [taylor]: Taking taylor expansion of k in k 6.415 * [taylor]: Taking taylor expansion of 10.0 in k 6.415 * [taylor]: Taking taylor expansion of 1.0 in k 6.463 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in (k) around 0 6.463 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in k 6.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)))) in k 6.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0))) in k 6.463 * [taylor]: Taking taylor expansion of 1/3 in k 6.463 * [taylor]: Taking taylor expansion of (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.463 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.463 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.463 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.463 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.463 * [taylor]: Taking taylor expansion of k in k 6.463 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.463 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.463 * [taylor]: Taking taylor expansion of k in k 6.464 * [taylor]: Taking taylor expansion of 10.0 in k 6.464 * [taylor]: Taking taylor expansion of 1.0 in k 6.465 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) 1/3) in k 6.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)))) in k 6.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0))) in k 6.465 * [taylor]: Taking taylor expansion of 1/3 in k 6.465 * [taylor]: Taking taylor expansion of (log (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.465 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.465 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.465 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.465 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.465 * [taylor]: Taking taylor expansion of k in k 6.465 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.466 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.466 * [taylor]: Taking taylor expansion of k in k 6.466 * [taylor]: Taking taylor expansion of 10.0 in k 6.466 * [taylor]: Taking taylor expansion of 1.0 in k 6.490 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in (k) around 0 6.490 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in k 6.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in k 6.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 6.490 * [taylor]: Taking taylor expansion of 1/3 in k 6.490 * [taylor]: Taking taylor expansion of (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.490 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.491 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.491 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.491 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.491 * [taylor]: Taking taylor expansion of -1 in k 6.491 * [taylor]: Taking taylor expansion of k in k 6.491 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.491 * [taylor]: Taking taylor expansion of 10.0 in k 6.491 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.491 * [taylor]: Taking taylor expansion of k in k 6.491 * [taylor]: Taking taylor expansion of 1.0 in k 6.493 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) 1/3) in k 6.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)))) in k 6.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0))) in k 6.493 * [taylor]: Taking taylor expansion of 1/3 in k 6.493 * [taylor]: Taking taylor expansion of (log (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.493 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.493 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.493 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.493 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.493 * [taylor]: Taking taylor expansion of -1 in k 6.493 * [taylor]: Taking taylor expansion of k in k 6.493 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.493 * [taylor]: Taking taylor expansion of 10.0 in k 6.493 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.493 * [taylor]: Taking taylor expansion of k in k 6.494 * [taylor]: Taking taylor expansion of 1.0 in k 6.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 6.527 * [approximate]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in (k) around 0 6.527 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 6.527 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.527 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.527 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.527 * [taylor]: Taking taylor expansion of k in k 6.527 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.527 * [taylor]: Taking taylor expansion of k in k 6.527 * [taylor]: Taking taylor expansion of 10.0 in k 6.527 * [taylor]: Taking taylor expansion of 1.0 in k 6.530 * [taylor]: Taking taylor expansion of (sqrt (fma k (+ k 10.0) 1.0)) in k 6.530 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in k 6.530 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 6.530 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k 6.530 * [taylor]: Taking taylor expansion of k in k 6.530 * [taylor]: Taking taylor expansion of (+ k 10.0) in k 6.530 * [taylor]: Taking taylor expansion of k in k 6.530 * [taylor]: Taking taylor expansion of 10.0 in k 6.530 * [taylor]: Taking taylor expansion of 1.0 in k 6.547 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in (k) around 0 6.548 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.548 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.548 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.548 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.548 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.548 * [taylor]: Taking taylor expansion of k in k 6.548 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.548 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.548 * [taylor]: Taking taylor expansion of k in k 6.548 * [taylor]: Taking taylor expansion of 10.0 in k 6.548 * [taylor]: Taking taylor expansion of 1.0 in k 6.552 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0)) in k 6.552 * [taylor]: Taking taylor expansion of (fma (/ 1 k) (+ (/ 1 k) 10.0) 1.0) in k 6.552 * [taylor]: Rewrote expression to (+ (* (/ 1 k) (+ (/ 1 k) 10.0)) 1.0) 6.552 * [taylor]: Taking taylor expansion of (* (/ 1 k) (+ (/ 1 k) 10.0)) in k 6.552 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.552 * [taylor]: Taking taylor expansion of k in k 6.553 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k 6.553 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.553 * [taylor]: Taking taylor expansion of k in k 6.553 * [taylor]: Taking taylor expansion of 10.0 in k 6.553 * [taylor]: Taking taylor expansion of 1.0 in k 6.561 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in (k) around 0 6.561 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.561 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.561 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.561 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.561 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.561 * [taylor]: Taking taylor expansion of -1 in k 6.561 * [taylor]: Taking taylor expansion of k in k 6.561 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.561 * [taylor]: Taking taylor expansion of 10.0 in k 6.562 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.562 * [taylor]: Taking taylor expansion of k in k 6.562 * [taylor]: Taking taylor expansion of 1.0 in k 6.567 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0)) in k 6.567 * [taylor]: Taking taylor expansion of (fma (/ -1 k) (- 10.0 (/ 1 k)) 1.0) in k 6.567 * [taylor]: Rewrote expression to (+ (* (/ -1 k) (- 10.0 (/ 1 k))) 1.0) 6.567 * [taylor]: Taking taylor expansion of (* (/ -1 k) (- 10.0 (/ 1 k))) in k 6.567 * [taylor]: Taking taylor expansion of (/ -1 k) in k 6.567 * [taylor]: Taking taylor expansion of -1 in k 6.567 * [taylor]: Taking taylor expansion of k in k 6.567 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k 6.567 * [taylor]: Taking taylor expansion of 10.0 in k 6.567 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.567 * [taylor]: Taking taylor expansion of k in k 6.568 * [taylor]: Taking taylor expansion of 1.0 in k 6.577 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 6.577 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0 6.577 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 6.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 6.577 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 6.577 * [taylor]: Taking taylor expansion of 1/3 in k 6.577 * [taylor]: Taking taylor expansion of (log k) in k 6.577 * [taylor]: Taking taylor expansion of k in k 6.577 * [taylor]: Taking taylor expansion of (pow k 1/3) in k 6.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k 6.577 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k 6.577 * [taylor]: Taking taylor expansion of 1/3 in k 6.577 * [taylor]: Taking taylor expansion of (log k) in k 6.577 * [taylor]: Taking taylor expansion of k in k 6.631 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0 6.631 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 6.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 6.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 6.631 * [taylor]: Taking taylor expansion of 1/3 in k 6.631 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 6.631 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.631 * [taylor]: Taking taylor expansion of k in k 6.632 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 6.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 6.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 6.632 * [taylor]: Taking taylor expansion of 1/3 in k 6.632 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 6.632 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.632 * [taylor]: Taking taylor expansion of k in k 6.690 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0 6.690 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 6.690 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 6.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 6.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 6.690 * [taylor]: Taking taylor expansion of 1/3 in k 6.690 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 6.690 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.690 * [taylor]: Taking taylor expansion of k in k 6.691 * [taylor]: Taking taylor expansion of (cbrt -1) in k 6.691 * [taylor]: Taking taylor expansion of -1 in k 6.692 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k 6.692 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k 6.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k 6.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k 6.692 * [taylor]: Taking taylor expansion of 1/3 in k 6.692 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k 6.692 * [taylor]: Taking taylor expansion of (/ 1 k) in k 6.692 * [taylor]: Taking taylor expansion of k in k 6.693 * [taylor]: Taking taylor expansion of (cbrt -1) in k 6.693 * [taylor]: Taking taylor expansion of -1 in k 6.761 * * * [progress]: simplifying candidates 6.762 * [simplify]: Simplifying using # : (expm1 (cbrt (fma k (+ 10.0 k) 1.0))) (log1p (cbrt (fma k (+ 10.0 k) 1.0))) (log (cbrt (fma k (+ 10.0 k) 1.0))) (exp (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt 1) (cbrt (fma k (+ 10.0 k) 1.0)) (* (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (* (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt (fma k (+ 10.0 k) 1.0))) (log1p (cbrt (fma k (+ 10.0 k) 1.0))) (log (cbrt (fma k (+ 10.0 k) 1.0))) (exp (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt 1) (cbrt (fma k (+ 10.0 k) 1.0)) (* (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (* (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (* (* (sqrt (fma k (+ 10.0 k) 1.0)) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt 1) (sqrt (fma k (+ 10.0 k) 1.0)) (/ 1 2) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (* (cbrt k) (cbrt k))) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) (cbrt 1) (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) (* (* (cbrt k) (cbrt k)) (cbrt k)) (sqrt (cbrt k)) (sqrt (cbrt k)) (- (+ (* 3.333333333333333 (* k (pow 1.0 1/3))) (+ (* 5.8888888888888875 (* (pow k 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 16.666666666666664 (* (pow k 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (* 3.333333333333333 (pow (/ 1 k) 1/3)) (pow (/ 1 k) -2/3)) (* 10.777777777777779 (pow (/ 1 (pow k 4)) 1/3))) (- (+ (pow (/ -1 k) -2/3) (* 3.333333333333333 (pow (/ 1 k) 1/3))) (* 10.777777777777779 (pow (/ 1 (pow k 4)) 1/3))) (- (+ (* 3.333333333333333 (* k (pow 1.0 1/3))) (+ (* 5.8888888888888875 (* (pow k 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 16.666666666666664 (* (pow k 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (* 3.333333333333333 (pow (/ 1 k) 1/3)) (pow (/ 1 k) -2/3)) (* 10.777777777777779 (pow (/ 1 (pow k 4)) 1/3))) (- (+ (pow (/ -1 k) -2/3) (* 3.333333333333333 (pow (/ 1 k) 1/3))) (* 10.777777777777779 (pow (/ 1 (pow k 4)) 1/3))) (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3)))) (- (+ k 5.0) (* 12.0 (/ 1 k))) (- (* 12.0 (/ 1 k)) (+ k 5.0)) (pow k 1/3) (pow (/ 1 k) -1/3) (* (pow (* -1 k) 1/3) (cbrt -1)) 6.765 * * [simplify]: iteration 0 : 109 enodes (cost 718 ) 6.782 * * [simplify]: iteration 1 : 232 enodes (cost 669 ) 6.832 * * [simplify]: iteration 2 : 679 enodes (cost 621 ) 7.018 * * [simplify]: iteration 3 : 2380 enodes (cost 600 ) 7.668 * * [simplify]: iteration done : 5000 enodes (cost 600 ) 7.668 * [simplify]: Simplified to: (expm1 (cbrt (fma k (+ 10.0 k) 1.0))) (log1p (cbrt (fma k (+ 10.0 k) 1.0))) (log (cbrt (fma k (+ 10.0 k) 1.0))) (exp (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) 1 (cbrt (fma k (+ 10.0 k) 1.0)) (* (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (fma k (+ 10.0 k) 1.0) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt (fma k (+ 10.0 k) 1.0))) (log1p (cbrt (fma k (+ 10.0 k) 1.0))) (log (cbrt (fma k (+ 10.0 k) 1.0))) (exp (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (* (cbrt (fma k (+ 10.0 k) 1.0)) (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) 1 (cbrt (fma k (+ 10.0 k) 1.0)) (* (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0)))) (cbrt (cbrt (fma k (+ 10.0 k) 1.0))) (fma k (+ 10.0 k) 1.0) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (expm1 (sqrt (fma k (+ 10.0 k) 1.0))) (log1p (sqrt (fma k (+ 10.0 k) 1.0))) (log (sqrt (fma k (+ 10.0 k) 1.0))) (exp (sqrt (fma k (+ 10.0 k) 1.0))) (* (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0)))) (cbrt (sqrt (fma k (+ 10.0 k) 1.0))) (pow (sqrt (fma k (+ 10.0 k) 1.0)) 3) (fabs (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (cbrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) 1 (sqrt (fma k (+ 10.0 k) 1.0)) 1/2 (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (sqrt (sqrt (fma k (+ 10.0 k) 1.0))) (expm1 (cbrt k)) (log1p (cbrt k)) (log (cbrt k)) (exp (cbrt k)) (cbrt (pow k 2/3)) (cbrt (cbrt k)) (cbrt (sqrt k)) (cbrt (sqrt k)) 1 (cbrt k) (* (cbrt (cbrt k)) (cbrt (cbrt k))) (cbrt (cbrt k)) k (sqrt (cbrt k)) (sqrt (cbrt k)) (fma (- (* (pow k 2) (cbrt (/ 1 (pow 1.0 5))))) 16.666666666666664 (fma (cbrt 1.0) (* k (+ 3.333333333333333 (* 5.8888888888888875 k))) (cbrt 1.0))) (- (fma 3.333333333333333 (cbrt (/ 1 k)) (pow (/ 1 k) -2/3)) (* (cbrt (/ 1 (pow k 4))) 10.777777777777779)) (- (fma (cbrt (/ 1 k)) 3.333333333333333 (pow (/ -1 k) -2/3)) (* (cbrt (/ 1 (pow k 4))) 10.777777777777779)) (fma (- (* (pow k 2) (cbrt (/ 1 (pow 1.0 5))))) 16.666666666666664 (fma (cbrt 1.0) (* k (+ 3.333333333333333 (* 5.8888888888888875 k))) (cbrt 1.0))) (- (fma 3.333333333333333 (cbrt (/ 1 k)) (pow (/ 1 k) -2/3)) (* (cbrt (/ 1 (pow k 4))) 10.777777777777779)) (- (fma (cbrt (/ 1 k)) 3.333333333333333 (pow (/ -1 k) -2/3)) (* (cbrt (/ 1 (pow k 4))) 10.777777777777779)) (+ (fma (/ k (sqrt 1.0)) 5.0 (sqrt 1.0)) (* (/ (pow k 2) (sqrt 1.0)) (- 1/2 (/ 12.5 1.0)))) (- (+ k 5.0) (/ 12.0 k)) (- (/ 12.0 k) (+ k 5.0)) (cbrt k) (pow (/ 1 k) -1/3) (* (cbrt -1) (cbrt (- k))) 7.669 * * * [progress]: adding candidates to table 8.023 * [progress]: [Phase 3 of 3] Extracting. 8.023 * * [regime]: Finding splitpoints for: (# # # #) 8.026 * * * [regime-changes]: Trying 3 branch expressions: (m k a) 8.026 * * * * [regimes]: Trying to branch on m from (# # # #) 8.051 * * * * [regimes]: Trying to branch on k from (# # # #) 8.080 * * * * [regimes]: Trying to branch on a from (# # # #) 8.107 * * * [regime]: Found split indices: #