0.353 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.082 * * * [progress]: [2/2] Setting up program. 0.086 * [progress]: [Phase 2 of 3] Improving. 0.088 * [simplify]: Simplifying: (- (* (+ x 1.0) (+ x 1.0)) 1.0) 0.089 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.090 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.090 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.090 * * [simplify]: Extracting # 3 : cost 4 inf + 1 0.090 * * [simplify]: Extracting # 4 : cost 3 inf + 2 0.090 * * [simplify]: Extracting # 5 : cost 0 inf + 248 0.090 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.094 * * [simplify]: Extracting # 0 : cost 0 inf + 248 0.095 * * [simplify]: Extracting # 1 : cost 5 inf + 248 0.095 * * [simplify]: Extracting # 2 : cost 0 inf + 617 0.095 * * [simplify]: iteration 1 : 15 enodes (cost 122 ) 0.098 * * [simplify]: Extracting # 0 : cost 0 inf + 617 0.098 * * [simplify]: Extracting # 1 : cost 6 inf + 453 0.098 * * [simplify]: Extracting # 2 : cost 0 inf + 903 0.099 * * [simplify]: iteration 2 : 40 enodes (cost 122 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 inf + 903 0.107 * * [simplify]: Extracting # 1 : cost 22 inf + 699 0.108 * * [simplify]: Extracting # 2 : cost 0 inf + 4221 0.109 * * [simplify]: iteration 3 : 130 enodes (cost 122 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 inf + 4221 0.160 * * [simplify]: Extracting # 1 : cost 52 inf + 1886 0.162 * * [simplify]: Extracting # 2 : cost 0 inf + 9105 0.164 * * [simplify]: Extracting # 3 : cost 0 inf + 9015 0.167 * * [simplify]: Extracting # 4 : cost 0 inf + 9000 0.169 * * [simplify]: iteration 4 : 386 enodes (cost 122 ) 0.304 * * [simplify]: Extracting # 0 : cost 0 inf + 9000 0.309 * * [simplify]: Extracting # 1 : cost 138 inf + 2413 0.313 * * [simplify]: Extracting # 2 : cost 0 inf + 24640 0.319 * * [simplify]: iteration 5 : 1067 enodes (cost 122 ) 0.693 * * [simplify]: Extracting # 0 : cost 0 inf + 24640 0.715 * * [simplify]: Extracting # 1 : cost 125 inf + 3745 0.720 * * [simplify]: Extracting # 2 : cost 0 inf + 27761 0.726 * * [simplify]: iteration 6 : 1922 enodes (cost 122 ) 1.238 * * [simplify]: Extracting # 0 : cost 0 inf + 27761 1.280 * * [simplify]: Extracting # 1 : cost 47 inf + 5649 1.286 * * [simplify]: Extracting # 2 : cost 0 inf + 13927 1.292 * * [simplify]: Extracting # 3 : cost 0 inf + 13903 1.297 * * [simplify]: iteration 7 : 2448 enodes (cost 122 ) 1.748 * * [simplify]: Extracting # 0 : cost 0 inf + 13903 1.765 * * [simplify]: Extracting # 1 : cost 983 inf + 6356 1.790 * * [simplify]: Extracting # 2 : cost 4 inf + 140786 1.819 * * [simplify]: Extracting # 3 : cost 0 inf + 141029 1.848 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 1.849 * [simplify]: Simplified to: (- (* (+ x 1.0) (+ x 1.0)) 1.0) 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 / 2 ] rewriting at (2) 1.878 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.910 * * * [progress]: generating series expansions 1.910 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.915 * [backup-simplify]: Simplify (- (* (+ x 1.0) (+ x 1.0)) 1.0) into (+ (* 2.0 x) (pow x 2)) 1.915 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in (x) around 0 1.916 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.916 * [taylor]: Taking taylor expansion of 2.0 in x 1.916 * [backup-simplify]: Simplify 2.0 into 2.0 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.916 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.916 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.916 * [taylor]: Taking taylor expansion of 2.0 in x 1.916 * [backup-simplify]: Simplify 2.0 into 2.0 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.916 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (* 2.0 0) into 0 1.918 * [backup-simplify]: Simplify (+ 0 0) into 0 1.918 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 1.919 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 1.919 * [backup-simplify]: Simplify 2.0 into 2.0 1.920 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 1.920 * [backup-simplify]: Simplify (* 1 1) into 1 1.920 * [backup-simplify]: Simplify (+ 0 1) into 1 1.920 * [backup-simplify]: Simplify 1 into 1 1.921 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.922 * [backup-simplify]: Simplify (+ 0 0) into 0 1.922 * [backup-simplify]: Simplify 0 into 0 1.923 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1.923 * [backup-simplify]: Simplify 0 into 0 1.924 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.925 * [backup-simplify]: Simplify (+ 0 0) into 0 1.925 * [backup-simplify]: Simplify 0 into 0 1.926 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1.927 * [backup-simplify]: Simplify 0 into 0 1.928 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.929 * [backup-simplify]: Simplify (+ 0 0) into 0 1.929 * [backup-simplify]: Simplify 0 into 0 1.930 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1.931 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2.0 x)) into (+ (* 2.0 x) (pow x 2)) 1.932 * [backup-simplify]: Simplify (- (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 1.0)) 1.0) into (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) 1.932 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 1.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 1.932 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.932 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.932 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify 1 into 1 1.932 * [backup-simplify]: Simplify (* 1 1) into 1 1.933 * [backup-simplify]: Simplify (/ 1 1) into 1 1.933 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.933 * [taylor]: Taking taylor expansion of 2.0 in x 1.933 * [backup-simplify]: Simplify 2.0 into 2.0 1.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [backup-simplify]: Simplify 0 into 0 1.933 * [backup-simplify]: Simplify 1 into 1 1.933 * [backup-simplify]: Simplify (/ 1 1) into 1 1.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.933 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [backup-simplify]: Simplify 0 into 0 1.933 * [backup-simplify]: Simplify 1 into 1 1.933 * [backup-simplify]: Simplify (* 1 1) into 1 1.933 * [backup-simplify]: Simplify (/ 1 1) into 1 1.933 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.933 * [taylor]: Taking taylor expansion of 2.0 in x 1.934 * [backup-simplify]: Simplify 2.0 into 2.0 1.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.934 * [taylor]: Taking taylor expansion of x in x 1.934 * [backup-simplify]: Simplify 0 into 0 1.934 * [backup-simplify]: Simplify 1 into 1 1.934 * [backup-simplify]: Simplify (/ 1 1) into 1 1.934 * [backup-simplify]: Simplify (+ 1 0) into 1 1.934 * [backup-simplify]: Simplify 1 into 1 1.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.935 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 1.936 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 1.936 * [backup-simplify]: Simplify 2.0 into 2.0 1.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.938 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 1.938 * [backup-simplify]: Simplify (+ 0 0) into 0 1.938 * [backup-simplify]: Simplify 0 into 0 1.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.940 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify 0 into 0 1.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.943 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.943 * [backup-simplify]: Simplify (+ 0 0) into 0 1.943 * [backup-simplify]: Simplify 0 into 0 1.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.945 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.946 * [backup-simplify]: Simplify (+ 0 0) into 0 1.946 * [backup-simplify]: Simplify 0 into 0 1.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.948 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.949 * [backup-simplify]: Simplify (+ 0 0) into 0 1.949 * [backup-simplify]: Simplify 0 into 0 1.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.951 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.952 * [backup-simplify]: Simplify (+ 0 0) into 0 1.952 * [backup-simplify]: Simplify 0 into 0 1.952 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2.0 x) (pow x 2)) 1.952 * [backup-simplify]: Simplify (- (* (+ (/ 1 (- x)) 1.0) (+ (/ 1 (- x)) 1.0)) 1.0) into (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) 1.952 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 1.952 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 1.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.952 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.952 * [taylor]: Taking taylor expansion of x in x 1.952 * [backup-simplify]: Simplify 0 into 0 1.952 * [backup-simplify]: Simplify 1 into 1 1.953 * [backup-simplify]: Simplify (* 1 1) into 1 1.953 * [backup-simplify]: Simplify (/ 1 1) into 1 1.953 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.953 * [taylor]: Taking taylor expansion of 2.0 in x 1.953 * [backup-simplify]: Simplify 2.0 into 2.0 1.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.953 * [taylor]: Taking taylor expansion of x in x 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [backup-simplify]: Simplify 1 into 1 1.953 * [backup-simplify]: Simplify (/ 1 1) into 1 1.953 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 1.953 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.953 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.953 * [taylor]: Taking taylor expansion of x in x 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [backup-simplify]: Simplify 1 into 1 1.953 * [backup-simplify]: Simplify (* 1 1) into 1 1.954 * [backup-simplify]: Simplify (/ 1 1) into 1 1.954 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.954 * [taylor]: Taking taylor expansion of 2.0 in x 1.954 * [backup-simplify]: Simplify 2.0 into 2.0 1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.954 * [backup-simplify]: Simplify 0 into 0 1.954 * [backup-simplify]: Simplify 1 into 1 1.954 * [backup-simplify]: Simplify (/ 1 1) into 1 1.954 * [backup-simplify]: Simplify (+ 1 0) into 1 1.954 * [backup-simplify]: Simplify 1 into 1 1.955 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.956 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 1.956 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.956 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 1.957 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.958 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 1.959 * [backup-simplify]: Simplify (- 0) into 0 1.959 * [backup-simplify]: Simplify (+ 0 0) into 0 1.959 * [backup-simplify]: Simplify 0 into 0 1.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.961 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 1.961 * [backup-simplify]: Simplify (- 0) into 0 1.962 * [backup-simplify]: Simplify (+ 0 0) into 0 1.962 * [backup-simplify]: Simplify 0 into 0 1.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.964 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.964 * [backup-simplify]: Simplify (- 0) into 0 1.965 * [backup-simplify]: Simplify (+ 0 0) into 0 1.965 * [backup-simplify]: Simplify 0 into 0 1.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.967 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.967 * [backup-simplify]: Simplify (- 0) into 0 1.968 * [backup-simplify]: Simplify (+ 0 0) into 0 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.970 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.971 * [backup-simplify]: Simplify (- 0) into 0 1.971 * [backup-simplify]: Simplify (+ 0 0) into 0 1.971 * [backup-simplify]: Simplify 0 into 0 1.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.974 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.974 * [backup-simplify]: Simplify (- 0) into 0 1.974 * [backup-simplify]: Simplify (+ 0 0) into 0 1.974 * [backup-simplify]: Simplify 0 into 0 1.975 * [backup-simplify]: Simplify (+ (* (- 2.0) (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2.0 x) (pow x 2)) 1.975 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.975 * [backup-simplify]: Simplify (* (+ x 1.0) (+ x 1.0)) into (pow (+ x 1.0) 2) 1.975 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 2) in (x) around 0 1.975 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 1.975 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.975 * [taylor]: Taking taylor expansion of x in x 1.975 * [backup-simplify]: Simplify 0 into 0 1.975 * [backup-simplify]: Simplify 1 into 1 1.975 * [taylor]: Taking taylor expansion of 1.0 in x 1.975 * [backup-simplify]: Simplify 1.0 into 1.0 1.975 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.975 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 1.975 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.975 * [taylor]: Taking taylor expansion of x in x 1.975 * [backup-simplify]: Simplify 0 into 0 1.975 * [backup-simplify]: Simplify 1 into 1 1.975 * [taylor]: Taking taylor expansion of 1.0 in x 1.975 * [backup-simplify]: Simplify 1.0 into 1.0 1.976 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.976 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 1.976 * [backup-simplify]: Simplify 1.0 into 1.0 1.976 * [backup-simplify]: Simplify (+ 1 0) into 1 1.977 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0 1.977 * [backup-simplify]: Simplify 2.0 into 2.0 1.977 * [backup-simplify]: Simplify (+ 0 0) into 0 1.978 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1 1.978 * [backup-simplify]: Simplify 1 into 1 1.978 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (+ (* 2.0 x) 1.0)) into (+ (* 2.0 x) (+ (pow x 2) 1.0)) 1.978 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 1.0)) into (pow (+ (/ 1 x) 1.0) 2) 1.978 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in (x) around 0 1.978 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 1.978 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.978 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify 1 into 1 1.979 * [backup-simplify]: Simplify (/ 1 1) into 1 1.979 * [taylor]: Taking taylor expansion of 1.0 in x 1.979 * [backup-simplify]: Simplify 1.0 into 1.0 1.979 * [backup-simplify]: Simplify (+ 1 0) into 1 1.979 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 1.979 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.979 * [backup-simplify]: Simplify 0 into 0 1.979 * [backup-simplify]: Simplify 1 into 1 1.979 * [backup-simplify]: Simplify (/ 1 1) into 1 1.980 * [taylor]: Taking taylor expansion of 1.0 in x 1.980 * [backup-simplify]: Simplify 1.0 into 1.0 1.980 * [backup-simplify]: Simplify (+ 1 0) into 1 1.980 * [backup-simplify]: Simplify (* 1 1) into 1 1.980 * [backup-simplify]: Simplify 1 into 1 1.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.981 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.982 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0 1.982 * [backup-simplify]: Simplify 2.0 into 2.0 1.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.982 * [backup-simplify]: Simplify (+ 0 0) into 0 1.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0 1.984 * [backup-simplify]: Simplify 1.0 into 1.0 1.984 * [backup-simplify]: Simplify (+ 1.0 (+ (* 2.0 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 2.0 x) (+ (pow x 2) 1.0)) 1.984 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (+ (/ 1 (- x)) 1.0)) into (pow (- 1.0 (/ 1 x)) 2) 1.984 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in (x) around 0 1.984 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 1.985 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.985 * [taylor]: Taking taylor expansion of 1.0 in x 1.985 * [backup-simplify]: Simplify 1.0 into 1.0 1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [backup-simplify]: Simplify 0 into 0 1.985 * [backup-simplify]: Simplify 1 into 1 1.985 * [backup-simplify]: Simplify (/ 1 1) into 1 1.985 * [backup-simplify]: Simplify (- 1) into -1 1.985 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.985 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 1.985 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.985 * [taylor]: Taking taylor expansion of 1.0 in x 1.985 * [backup-simplify]: Simplify 1.0 into 1.0 1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [backup-simplify]: Simplify 0 into 0 1.985 * [backup-simplify]: Simplify 1 into 1 1.986 * [backup-simplify]: Simplify (/ 1 1) into 1 1.986 * [backup-simplify]: Simplify (- 1) into -1 1.986 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.986 * [backup-simplify]: Simplify (* -1 -1) into 1 1.986 * [backup-simplify]: Simplify 1 into 1 1.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.987 * [backup-simplify]: Simplify (- 0) into 0 1.987 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.988 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0) 1.989 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.996 * [backup-simplify]: Simplify (- 0) into 0 1.996 * [backup-simplify]: Simplify (+ 0 0) into 0 1.997 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0 1.997 * [backup-simplify]: Simplify 1.0 into 1.0 1.998 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 2.0) (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 2.0 x) (+ (pow x 2) 1.0)) 1.998 * * * [progress]: simplifying candidates 1.999 * [simplify]: Simplifying: (fma (+ x 1.0) (+ x 1.0) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (+ x 1.0) (+ x 1.0) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (+ x 1.0) (+ x 1.0) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (log1p (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- 1.0) (/ (exp (* (+ x 1.0) (+ x 1.0))) (exp 1.0)) (log (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (* (- (* (+ x 1.0) (+ x 1.0)) 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (pow (* (+ x 1.0) (+ x 1.0)) 3) (pow 1.0 3)) (+ (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (+ (* 1.0 1.0) (* (* (+ x 1.0) (+ x 1.0)) 1.0))) (- 1.0) (- (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* 1.0 1.0)) (+ (* (+ x 1.0) (+ x 1.0)) 1.0) (+ (+ x 1.0) (sqrt 1.0)) (- (+ x 1.0) (sqrt 1.0)) (- (* (+ x 1.0) 1.0) 1.0) (- (* 1.0 (+ x 1.0)) 1.0) (- 1.0) (expm1 (* (+ x 1.0) (+ x 1.0))) (log1p (* (+ x 1.0) (+ x 1.0))) (+ 1 1) (* (+ x 1.0) (+ x 1.0)) (+ 1 1) (+ (log (+ x 1.0)) (log (+ x 1.0))) (log (* (+ x 1.0) (+ x 1.0))) (exp (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0))) (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0)))) (cbrt (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0))) (sqrt (* (+ x 1.0) (+ x 1.0))) (sqrt (* (+ x 1.0) (+ x 1.0))) (* (+ (pow x 3) (pow 1.0 3)) (+ (pow x 3) (pow 1.0 3))) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- x 1.0)) (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (- x 1.0)) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 2 1) (* (+ x 1.0) x) (* (+ x 1.0) 1.0) (* x (+ x 1.0)) (* 1.0 (+ x 1.0)) (* (+ x 1.0) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (+ x 1.0) (sqrt (+ x 1.0))) (* (+ x 1.0) 1) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) (+ x 1.0)) (* (sqrt (+ x 1.0)) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3))) (* (+ x 1.0) (- (* x x) (* 1.0 1.0))) (* (+ (pow x 3) (pow 1.0 3)) (+ x 1.0)) (* (- (* x x) (* 1.0 1.0)) (+ x 1.0)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) 2.000 * * [simplify]: Extracting # 0 : cost 64 inf + 0 2.001 * * [simplify]: Extracting # 1 : cost 98 inf + 0 2.001 * * [simplify]: Extracting # 2 : cost 91 inf + 892 2.001 * * [simplify]: Extracting # 3 : cost 36 inf + 8194 2.002 * * [simplify]: Extracting # 4 : cost 7 inf + 15136 2.004 * * [simplify]: Extracting # 5 : cost 0 inf + 17733 2.005 * * [simplify]: iteration 0 : 106 enodes (cost 15739 ) 2.035 * * [simplify]: Extracting # 0 : cost 0 inf + 17733 2.038 * * [simplify]: Extracting # 1 : cost 96 inf + 12962 2.040 * * [simplify]: Extracting # 2 : cost 5 inf + 24425 2.043 * * [simplify]: Extracting # 3 : cost 4 inf + 24036 2.047 * * [simplify]: Extracting # 4 : cost 0 inf + 24925 2.050 * * [simplify]: iteration 1 : 341 enodes (cost 11418 ) 2.248 * * [simplify]: Extracting # 0 : cost 0 inf + 24925 2.259 * * [simplify]: Extracting # 1 : cost 789 inf + 18947 2.275 * * [simplify]: Extracting # 2 : cost 8 inf + 118685 2.295 * * [simplify]: Extracting # 3 : cost 2 inf + 119529 2.317 * * [simplify]: Extracting # 4 : cost 0 inf + 120255 2.338 * * [simplify]: iteration 2 : 2187 enodes (cost 10670 ) 3.627 * * [simplify]: Extracting # 0 : cost 0 inf + 120255 3.689 * * [simplify]: Extracting # 1 : cost 934 inf + 104948 3.725 * * [simplify]: Extracting # 2 : cost 105 inf + 205205 3.766 * * [simplify]: Extracting # 3 : cost 30 inf + 216321 3.806 * * [simplify]: Extracting # 4 : cost 0 inf + 225544 3.848 * * [simplify]: iteration done: 5000 enodes (cost 10585 ) 3.849 * [simplify]: Simplified to: (- (* (+ x 1.0) (+ x 1.0)) 1.0) (fma 1.0 -1 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0) (fma 1.0 -1 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0) (fma 1.0 -1 1.0) (expm1 (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (log1p (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- 1.0) (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (log (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (* (- (* (+ x 1.0) (+ x 1.0)) 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0))) (* (* 1.0 1.0) 1.0)) (fma (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* 1.0 (+ 1.0 (* (+ x 1.0) (+ x 1.0))))) (- 1.0) (- (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* 1.0 1.0)) (fma (+ x 1.0) (+ x 1.0) 1.0) (+ (+ x 1.0) (sqrt 1.0)) (- (+ x 1.0) (sqrt 1.0)) (- (* 1.0 (+ x 1.0)) 1.0) (- (* 1.0 (+ x 1.0)) 1.0) (- 1.0) (expm1 (* (+ x 1.0) (+ x 1.0))) (log1p (* (+ x 1.0) (+ x 1.0))) 2 (* (+ x 1.0) (+ x 1.0)) 2 (+ (log (+ x 1.0)) (log (+ x 1.0))) (+ (log (+ x 1.0)) (log (+ x 1.0))) (exp (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0))) (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0)))) (cbrt (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0))) (fabs (+ x 1.0)) (fabs (+ x 1.0)) (* (fma x (* x x) (* (* 1.0 1.0) 1.0)) (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* (fma x x (* 1.0 (- 1.0 x))) (fma x x (* 1.0 (- 1.0 x)))) (* (- (* x x) (* 1.0 1.0)) (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x)))) (* (- (* x x) (* 1.0 1.0)) (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x)))) (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (- x 1.0)) (* (+ x 1.0) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ x 1.0) (+ x 1.0) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) (+ x 1.0) (+ x 1.0) 2 (* (+ x 1.0) x) (* (+ x 1.0) 1.0) (* x (+ x 1.0)) (* (+ x 1.0) 1.0) (* (+ x 1.0) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (sqrt (+ x 1.0)) (+ x 1.0)) (+ x 1.0) (+ x 1.0) (* (+ x 1.0) (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (fma x (* x x) (* (* 1.0 1.0) 1.0)) (+ x 1.0)) (* (* (+ x 1.0) (+ x 1.0)) (- x 1.0)) (* (fma x (* x x) (* (* 1.0 1.0) 1.0)) (+ x 1.0)) (* (* (+ x 1.0) (+ x 1.0)) (- x 1.0)) (* x (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ 2.0 x)) (fma x (+ x 2.0) 1.0) (fma x (+ x 2.0) 1.0) (fma x (+ x 2.0) 1.0) 3.851 * * * [progress]: adding candidates to table 3.995 * * [progress]: iteration 2 / 4 3.995 * * * [progress]: picking best candidate 3.997 * * * * [pick]: Picked # 3.997 * * * [progress]: localizing error 4.002 * * * [progress]: generating rewritten candidates 4.002 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.017 * * * [progress]: generating series expansions 4.017 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.017 * [backup-simplify]: Simplify (* x (+ 2.0 x)) into (* x (+ x 2.0)) 4.017 * [approximate]: Taking taylor expansion of (* x (+ x 2.0)) in (x) around 0 4.017 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of 2.0 in x 4.017 * [backup-simplify]: Simplify 2.0 into 2.0 4.017 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of 2.0 in x 4.017 * [backup-simplify]: Simplify 2.0 into 2.0 4.018 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.018 * [backup-simplify]: Simplify (* 0 2.0) into 0 4.018 * [backup-simplify]: Simplify 0 into 0 4.018 * [backup-simplify]: Simplify (+ 1 0) into 1 4.019 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 2.0)) into 2.0 4.019 * [backup-simplify]: Simplify 2.0 into 2.0 4.019 * [backup-simplify]: Simplify (+ 0 0) into 0 4.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 2.0))) into 1 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [backup-simplify]: Simplify (+ 0 0) into 0 4.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 2.0)))) into 0 4.021 * [backup-simplify]: Simplify 0 into 0 4.021 * [backup-simplify]: Simplify (+ 0 0) into 0 4.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 2.0))))) into 0 4.022 * [backup-simplify]: Simplify 0 into 0 4.022 * [backup-simplify]: Simplify (+ 0 0) into 0 4.023 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2.0)))))) into 0 4.023 * [backup-simplify]: Simplify 0 into 0 4.023 * [backup-simplify]: Simplify (+ 0 0) into 0 4.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2.0))))))) into 0 4.024 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify (+ 0 0) into 0 4.026 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2.0)))))))) into 0 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify (+ 0 0) into 0 4.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2.0))))))))) into 0 4.027 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2.0 x)) into (+ (* 2.0 x) (pow x 2)) 4.027 * [backup-simplify]: Simplify (* (/ 1 x) (+ 2.0 (/ 1 x))) into (/ (+ (/ 1 x) 2.0) x) 4.027 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0 4.027 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 4.027 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 4.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.027 * [taylor]: Taking taylor expansion of x in x 4.027 * [backup-simplify]: Simplify 0 into 0 4.028 * [backup-simplify]: Simplify 1 into 1 4.028 * [backup-simplify]: Simplify (/ 1 1) into 1 4.028 * [taylor]: Taking taylor expansion of 2.0 in x 4.028 * [backup-simplify]: Simplify 2.0 into 2.0 4.028 * [taylor]: Taking taylor expansion of x in x 4.028 * [backup-simplify]: Simplify 0 into 0 4.028 * [backup-simplify]: Simplify 1 into 1 4.028 * [backup-simplify]: Simplify (+ 1 0) into 1 4.028 * [backup-simplify]: Simplify (/ 1 1) into 1 4.029 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 4.029 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 4.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.029 * [taylor]: Taking taylor expansion of x in x 4.029 * [backup-simplify]: Simplify 0 into 0 4.029 * [backup-simplify]: Simplify 1 into 1 4.029 * [backup-simplify]: Simplify (/ 1 1) into 1 4.029 * [taylor]: Taking taylor expansion of 2.0 in x 4.029 * [backup-simplify]: Simplify 2.0 into 2.0 4.029 * [taylor]: Taking taylor expansion of x in x 4.029 * [backup-simplify]: Simplify 0 into 0 4.029 * [backup-simplify]: Simplify 1 into 1 4.029 * [backup-simplify]: Simplify (+ 1 0) into 1 4.029 * [backup-simplify]: Simplify (/ 1 1) into 1 4.030 * [backup-simplify]: Simplify 1 into 1 4.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.030 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.031 * [backup-simplify]: Simplify (- (/ 2.0 1) (+ (* 1 (/ 0 1)))) into 2.0 4.031 * [backup-simplify]: Simplify 2.0 into 2.0 4.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.032 * [backup-simplify]: Simplify (+ 0 0) into 0 4.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)))) into 0 4.033 * [backup-simplify]: Simplify 0 into 0 4.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.034 * [backup-simplify]: Simplify (+ 0 0) into 0 4.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.034 * [backup-simplify]: Simplify 0 into 0 4.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.035 * [backup-simplify]: Simplify (+ 0 0) into 0 4.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.036 * [backup-simplify]: Simplify 0 into 0 4.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.037 * [backup-simplify]: Simplify (+ 0 0) into 0 4.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.037 * [backup-simplify]: Simplify 0 into 0 4.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.038 * [backup-simplify]: Simplify (+ 0 0) into 0 4.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.039 * [backup-simplify]: Simplify 0 into 0 4.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.039 * [backup-simplify]: Simplify (+ 0 0) into 0 4.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.040 * [backup-simplify]: Simplify 0 into 0 4.040 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2.0 x) (pow x 2)) 4.040 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 2.0 (/ 1 (- x)))) into (* -1 (/ (- 2.0 (/ 1 x)) x)) 4.040 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0 4.040 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 4.040 * [taylor]: Taking taylor expansion of -1 in x 4.040 * [backup-simplify]: Simplify -1 into -1 4.040 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 4.041 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 4.041 * [taylor]: Taking taylor expansion of 2.0 in x 4.041 * [backup-simplify]: Simplify 2.0 into 2.0 4.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.041 * [taylor]: Taking taylor expansion of x in x 4.041 * [backup-simplify]: Simplify 0 into 0 4.041 * [backup-simplify]: Simplify 1 into 1 4.041 * [backup-simplify]: Simplify (/ 1 1) into 1 4.041 * [taylor]: Taking taylor expansion of x in x 4.041 * [backup-simplify]: Simplify 0 into 0 4.041 * [backup-simplify]: Simplify 1 into 1 4.041 * [backup-simplify]: Simplify (- 1) into -1 4.041 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.042 * [backup-simplify]: Simplify (/ -1 1) into -1 4.042 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 4.042 * [taylor]: Taking taylor expansion of -1 in x 4.042 * [backup-simplify]: Simplify -1 into -1 4.042 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 4.042 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 4.042 * [taylor]: Taking taylor expansion of 2.0 in x 4.042 * [backup-simplify]: Simplify 2.0 into 2.0 4.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.042 * [taylor]: Taking taylor expansion of x in x 4.042 * [backup-simplify]: Simplify 0 into 0 4.042 * [backup-simplify]: Simplify 1 into 1 4.042 * [backup-simplify]: Simplify (/ 1 1) into 1 4.042 * [taylor]: Taking taylor expansion of x in x 4.042 * [backup-simplify]: Simplify 0 into 0 4.042 * [backup-simplify]: Simplify 1 into 1 4.042 * [backup-simplify]: Simplify (- 1) into -1 4.043 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.043 * [backup-simplify]: Simplify (/ -1 1) into -1 4.043 * [backup-simplify]: Simplify (* -1 -1) into 1 4.043 * [backup-simplify]: Simplify 1 into 1 4.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.044 * [backup-simplify]: Simplify (- 0) into 0 4.044 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.045 * [backup-simplify]: Simplify (- (/ 2.0 1) (+ (* -1 (/ 0 1)))) into 2.0 4.046 * [backup-simplify]: Simplify (+ (* -1 2.0) (* 0 -1)) into (- 2.0) 4.046 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.047 * [backup-simplify]: Simplify (- 0) into 0 4.047 * [backup-simplify]: Simplify (+ 0 0) into 0 4.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)))) into 0 4.048 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 2.0) (* 0 -1))) into 0 4.048 * [backup-simplify]: Simplify 0 into 0 4.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.049 * [backup-simplify]: Simplify (- 0) into 0 4.049 * [backup-simplify]: Simplify (+ 0 0) into 0 4.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.051 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 2.0) (* 0 -1)))) into 0 4.051 * [backup-simplify]: Simplify 0 into 0 4.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.052 * [backup-simplify]: Simplify (- 0) into 0 4.052 * [backup-simplify]: Simplify (+ 0 0) into 0 4.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.053 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2.0) (* 0 -1))))) into 0 4.053 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.054 * [backup-simplify]: Simplify (- 0) into 0 4.054 * [backup-simplify]: Simplify (+ 0 0) into 0 4.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.056 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2.0) (* 0 -1)))))) into 0 4.056 * [backup-simplify]: Simplify 0 into 0 4.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.057 * [backup-simplify]: Simplify (- 0) into 0 4.057 * [backup-simplify]: Simplify (+ 0 0) into 0 4.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.058 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2.0) (* 0 -1))))))) into 0 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.059 * [backup-simplify]: Simplify (- 0) into 0 4.060 * [backup-simplify]: Simplify (+ 0 0) into 0 4.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.061 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2.0) (* 0 -1)))))))) into 0 4.061 * [backup-simplify]: Simplify 0 into 0 4.062 * [backup-simplify]: Simplify (+ (* (- 2.0) (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2.0 x) (pow x 2)) 4.062 * * * [progress]: simplifying candidates 4.062 * [simplify]: Simplifying: (expm1 (* x (+ 2.0 x))) (log1p (* x (+ 2.0 x))) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) (* x 1) (* x 1) (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) 4.063 * * [simplify]: Extracting # 0 : cost 23 inf + 0 4.063 * * [simplify]: Extracting # 1 : cost 39 inf + 0 4.063 * * [simplify]: Extracting # 2 : cost 39 inf + 167 4.063 * * [simplify]: Extracting # 3 : cost 18 inf + 2396 4.063 * * [simplify]: Extracting # 4 : cost 5 inf + 4552 4.064 * * [simplify]: Extracting # 5 : cost 0 inf + 6104 4.067 * * [simplify]: iteration 0 : 46 enodes (cost 4752 ) 4.077 * * [simplify]: Extracting # 0 : cost 0 inf + 6104 4.078 * * [simplify]: Extracting # 1 : cost 42 inf + 4567 4.079 * * [simplify]: Extracting # 2 : cost 4 inf + 8602 4.080 * * [simplify]: Extracting # 3 : cost 1 inf + 9027 4.081 * * [simplify]: Extracting # 4 : cost 0 inf + 9239 4.082 * * [simplify]: iteration 1 : 144 enodes (cost 3751 ) 4.139 * * [simplify]: Extracting # 0 : cost 0 inf + 9239 4.141 * * [simplify]: Extracting # 1 : cost 256 inf + 8145 4.147 * * [simplify]: Extracting # 2 : cost 5 inf + 38899 4.153 * * [simplify]: Extracting # 3 : cost 2 inf + 39155 4.159 * * [simplify]: Extracting # 4 : cost 0 inf + 39730 4.165 * * [simplify]: iteration 2 : 769 enodes (cost 3681 ) 4.362 * * [simplify]: Extracting # 0 : cost 0 inf + 39730 4.381 * * [simplify]: Extracting # 1 : cost 2382 inf + 39104 4.432 * * [simplify]: Extracting # 2 : cost 59 inf + 397621 4.493 * * [simplify]: Extracting # 3 : cost 19 inf + 401753 4.554 * * [simplify]: Extracting # 4 : cost 0 inf + 405864 4.614 * * [simplify]: iteration done: 5002 enodes (cost 3641 ) 4.615 * [simplify]: Simplified to: (expm1 (* x (+ 2.0 x))) (log1p (* x (+ 2.0 x))) (* x (+ 2.0 x)) (log (* x (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (* x (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (+ 2.0 x)) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) x x (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* (fma (* x x) x (* (* 2.0 2.0) 2.0)) x) (* x (- (* 2.0 2.0) (* x x))) (* x (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ 2.0 x)) 4.615 * * * [progress]: adding candidates to table 4.675 * * [progress]: iteration 3 / 4 4.675 * * * [progress]: picking best candidate 4.677 * * * * [pick]: Picked # 4.677 * * * [progress]: localizing error 4.683 * * * [progress]: generating rewritten candidates 4.683 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.691 * * * [progress]: generating series expansions 4.691 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.691 * [backup-simplify]: Simplify (+ (* 2.0 x) (* x x)) into (+ (* 2.0 x) (pow x 2)) 4.692 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in (x) around 0 4.692 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 4.692 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.692 * [taylor]: Taking taylor expansion of 2.0 in x 4.692 * [backup-simplify]: Simplify 2.0 into 2.0 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 1 into 1 4.692 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 1 into 1 4.692 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 4.692 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.692 * [taylor]: Taking taylor expansion of 2.0 in x 4.692 * [backup-simplify]: Simplify 2.0 into 2.0 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 1 into 1 4.692 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 1 into 1 4.692 * [backup-simplify]: Simplify (* 2.0 0) into 0 4.693 * [backup-simplify]: Simplify (+ 0 0) into 0 4.693 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 4.694 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.694 * [backup-simplify]: Simplify 2.0 into 2.0 4.694 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 4.695 * [backup-simplify]: Simplify (* 1 1) into 1 4.695 * [backup-simplify]: Simplify (+ 0 1) into 1 4.695 * [backup-simplify]: Simplify 1 into 1 4.696 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.696 * [backup-simplify]: Simplify (+ 0 0) into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.698 * [backup-simplify]: Simplify (+ 0 0) into 0 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.699 * [backup-simplify]: Simplify (+ 0 0) into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.701 * [backup-simplify]: Simplify (+ 0 0) into 0 4.701 * [backup-simplify]: Simplify 0 into 0 4.702 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.703 * [backup-simplify]: Simplify (+ 0 0) into 0 4.703 * [backup-simplify]: Simplify 0 into 0 4.704 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 4.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.705 * [backup-simplify]: Simplify (+ 0 0) into 0 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2.0 x)) into (+ (* 2.0 x) (pow x 2)) 4.705 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) 4.705 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 4.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 4.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.706 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.706 * [taylor]: Taking taylor expansion of x in x 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [backup-simplify]: Simplify (* 1 1) into 1 4.706 * [backup-simplify]: Simplify (/ 1 1) into 1 4.706 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.706 * [taylor]: Taking taylor expansion of 2.0 in x 4.706 * [backup-simplify]: Simplify 2.0 into 2.0 4.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.706 * [taylor]: Taking taylor expansion of x in x 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [backup-simplify]: Simplify (/ 1 1) into 1 4.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 4.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.706 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.706 * [taylor]: Taking taylor expansion of x in x 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.707 * [backup-simplify]: Simplify (* 1 1) into 1 4.707 * [backup-simplify]: Simplify (/ 1 1) into 1 4.707 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.707 * [taylor]: Taking taylor expansion of 2.0 in x 4.707 * [backup-simplify]: Simplify 2.0 into 2.0 4.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.707 * [taylor]: Taking taylor expansion of x in x 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [backup-simplify]: Simplify 1 into 1 4.707 * [backup-simplify]: Simplify (/ 1 1) into 1 4.708 * [backup-simplify]: Simplify (+ 1 0) into 1 4.708 * [backup-simplify]: Simplify 1 into 1 4.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.709 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 4.709 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.709 * [backup-simplify]: Simplify 2.0 into 2.0 4.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.711 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 4.711 * [backup-simplify]: Simplify (+ 0 0) into 0 4.711 * [backup-simplify]: Simplify 0 into 0 4.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.713 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 4.713 * [backup-simplify]: Simplify (+ 0 0) into 0 4.713 * [backup-simplify]: Simplify 0 into 0 4.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.716 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.716 * [backup-simplify]: Simplify (+ 0 0) into 0 4.716 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.718 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.719 * [backup-simplify]: Simplify (+ 0 0) into 0 4.719 * [backup-simplify]: Simplify 0 into 0 4.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.721 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.722 * [backup-simplify]: Simplify (+ 0 0) into 0 4.722 * [backup-simplify]: Simplify 0 into 0 4.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 4.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.725 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.725 * [backup-simplify]: Simplify (+ 0 0) into 0 4.725 * [backup-simplify]: Simplify 0 into 0 4.725 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2.0 x) (pow x 2)) 4.725 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) 4.725 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 4.725 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 4.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.725 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.725 * [taylor]: Taking taylor expansion of x in x 4.725 * [backup-simplify]: Simplify 0 into 0 4.725 * [backup-simplify]: Simplify 1 into 1 4.726 * [backup-simplify]: Simplify (* 1 1) into 1 4.726 * [backup-simplify]: Simplify (/ 1 1) into 1 4.726 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.726 * [taylor]: Taking taylor expansion of 2.0 in x 4.726 * [backup-simplify]: Simplify 2.0 into 2.0 4.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.726 * [taylor]: Taking taylor expansion of x in x 4.726 * [backup-simplify]: Simplify 0 into 0 4.726 * [backup-simplify]: Simplify 1 into 1 4.726 * [backup-simplify]: Simplify (/ 1 1) into 1 4.726 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 4.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.726 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.726 * [taylor]: Taking taylor expansion of x in x 4.726 * [backup-simplify]: Simplify 0 into 0 4.726 * [backup-simplify]: Simplify 1 into 1 4.727 * [backup-simplify]: Simplify (* 1 1) into 1 4.727 * [backup-simplify]: Simplify (/ 1 1) into 1 4.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.727 * [taylor]: Taking taylor expansion of 2.0 in x 4.727 * [backup-simplify]: Simplify 2.0 into 2.0 4.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.727 * [backup-simplify]: Simplify 0 into 0 4.727 * [backup-simplify]: Simplify 1 into 1 4.727 * [backup-simplify]: Simplify (/ 1 1) into 1 4.727 * [backup-simplify]: Simplify (+ 1 0) into 1 4.727 * [backup-simplify]: Simplify 1 into 1 4.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.729 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 4.729 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.730 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.730 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.732 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 4.732 * [backup-simplify]: Simplify (- 0) into 0 4.732 * [backup-simplify]: Simplify (+ 0 0) into 0 4.732 * [backup-simplify]: Simplify 0 into 0 4.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.734 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 4.735 * [backup-simplify]: Simplify (- 0) into 0 4.735 * [backup-simplify]: Simplify (+ 0 0) into 0 4.735 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.737 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.737 * [backup-simplify]: Simplify (- 0) into 0 4.738 * [backup-simplify]: Simplify (+ 0 0) into 0 4.738 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.740 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.740 * [backup-simplify]: Simplify (- 0) into 0 4.741 * [backup-simplify]: Simplify (+ 0 0) into 0 4.741 * [backup-simplify]: Simplify 0 into 0 4.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.743 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.743 * [backup-simplify]: Simplify (- 0) into 0 4.744 * [backup-simplify]: Simplify (+ 0 0) into 0 4.744 * [backup-simplify]: Simplify 0 into 0 4.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 4.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.746 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.747 * [backup-simplify]: Simplify (- 0) into 0 4.747 * [backup-simplify]: Simplify (+ 0 0) into 0 4.747 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify (+ (* (- 2.0) (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2.0 x) (pow x 2)) 4.747 * * * [progress]: simplifying candidates 4.748 * [simplify]: Simplifying: (expm1 (+ (* 2.0 x) (* x x))) (log1p (+ (* 2.0 x) (* x x))) (* (exp (* 2.0 x)) (exp (* x x))) (log (+ (* 2.0 x) (* x x))) (exp (+ (* 2.0 x) (* x x))) (* (cbrt (+ (* 2.0 x) (* x x))) (cbrt (+ (* 2.0 x) (* x x)))) (cbrt (+ (* 2.0 x) (* x x))) (* (* (+ (* 2.0 x) (* x x)) (+ (* 2.0 x) (* x x))) (+ (* 2.0 x) (* x x))) (sqrt (+ (* 2.0 x) (* x x))) (sqrt (+ (* 2.0 x) (* x x))) (+ (pow (* 2.0 x) 3) (pow (* x x) 3)) (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* x x) (* x x)) (* (* 2.0 x) (* x x)))) (- (* (* 2.0 x) (* 2.0 x)) (* (* x x) (* x x))) (- (* 2.0 x) (* x x)) (+ 2.0 x) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) 4.748 * * [simplify]: Extracting # 0 : cost 15 inf + 0 4.748 * * [simplify]: Extracting # 1 : cost 29 inf + 0 4.749 * * [simplify]: Extracting # 2 : cost 29 inf + 44 4.750 * * [simplify]: Extracting # 3 : cost 15 inf + 1697 4.750 * * [simplify]: Extracting # 4 : cost 2 inf + 4565 4.750 * * [simplify]: Extracting # 5 : cost 0 inf + 5140 4.751 * * [simplify]: iteration 0 : 32 enodes (cost 4090 ) 4.757 * * [simplify]: Extracting # 0 : cost 0 inf + 5140 4.757 * * [simplify]: Extracting # 1 : cost 36 inf + 4109 4.758 * * [simplify]: Extracting # 2 : cost 6 inf + 7620 4.759 * * [simplify]: Extracting # 3 : cost 2 inf + 8047 4.760 * * [simplify]: Extracting # 4 : cost 0 inf + 8511 4.761 * * [simplify]: iteration 1 : 123 enodes (cost 2661 ) 4.816 * * [simplify]: Extracting # 0 : cost 0 inf + 8511 4.818 * * [simplify]: Extracting # 1 : cost 221 inf + 6893 4.823 * * [simplify]: Extracting # 2 : cost 11 inf + 30110 4.830 * * [simplify]: Extracting # 3 : cost 6 inf + 30144 4.835 * * [simplify]: Extracting # 4 : cost 0 inf + 31939 4.840 * * [simplify]: iteration 2 : 699 enodes (cost 2541 ) 5.162 * * [simplify]: Extracting # 0 : cost 0 inf + 31939 5.181 * * [simplify]: Extracting # 1 : cost 2088 inf + 26463 5.403 * * [simplify]: Extracting # 2 : cost 106 inf + 315841 5.457 * * [simplify]: Extracting # 3 : cost 31 inf + 326179 5.508 * * [simplify]: Extracting # 4 : cost 0 inf + 335030 5.560 * * [simplify]: iteration done: 5000 enodes (cost 2541 ) 5.561 * [simplify]: Simplified to: (expm1 (* x (+ 2.0 x))) (log1p (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (* x (* x x)) (+ (* 2.0 (* 2.0 2.0)) (* x (* x x)))) (fma (* 2.0 x) (* 2.0 x) (* (* x x) (- (* x x) (* 2.0 x)))) (* (* x x) (- (* 2.0 2.0) (* x x))) (* x (- 2.0 x)) (+ 2.0 x) (* x (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ 2.0 x)) 5.561 * * * [progress]: adding candidates to table 5.601 * [progress]: [Phase 3 of 3] Extracting. 5.602 * * [regime]: Finding splitpoints for: (# #) 5.602 * * * [regime-changes]: Trying 1 branch expressions: (x) 5.603 * * * * [regimes]: Trying to branch on x from (# #) 5.622 * * * [regime]: Found split indices: #