1553948373.521 * [progress]: [Phase 1 of 3] Setting up. 1553948373.521 * * * [progress]: [1/2] Preparing points 1553948373.564 * * * [progress]: [2/2] Setting up program. 1553948373.569 * [progress]: [Phase 2 of 3] Improving. 1553948373.569 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553948373.570 * [simplify]: Simplifying (* (+ a (+ b (+ c d))) 2) 1553948373.570 * * [simplify]: iters left: 6 (9 enodes) 1553948373.574 * * [simplify]: iters left: 5 (35 enodes) 1553948373.596 * * [simplify]: iters left: 4 (73 enodes) 1553948373.618 * * [simplify]: iters left: 3 (178 enodes) 1553948373.677 * * [simplify]: iters left: 2 (374 enodes) 1553948373.790 * * [simplify]: iters left: 1 (490 enodes) 1553948373.892 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948373.892 * * [simplify]: Extracting #1: cost 32 inf + 0 1553948373.892 * * [simplify]: Extracting #2: cost 45 inf + 422 1553948373.894 * * [simplify]: Extracting #3: cost 9 inf + 3097 1553948373.896 * * [simplify]: Extracting #4: cost 0 inf + 4090 1553948373.899 * * [simplify]: Extracting #5: cost 0 inf + 4075 1553948373.901 * [simplify]: Simplified to (* 2 (+ (+ a (+ b c)) d)) 1553948373.901 * [simplify]: Simplified (2) to (λ (a b c d) (* 2 (+ (+ a (+ b c)) d))) 1553948373.904 * * [progress]: iteration 1 / 4 1553948373.904 * * * [progress]: picking best candidate 1553948373.907 * * * * [pick]: Picked # 1553948373.907 * * * [progress]: localizing error 1553948373.935 * * * [progress]: generating rewritten candidates 1553948373.935 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1553948373.938 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 1553948373.940 * * * [progress]: generating series expansions 1553948373.940 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1553948373.941 * [backup-simplify]: Simplify (+ a (+ b (+ c d))) into (+ a (+ b (+ c d))) 1553948373.941 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0 1553948373.941 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1553948373.941 * [taylor]: Taking taylor expansion of a in d 1553948373.941 * [backup-simplify]: Simplify a into a 1553948373.941 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553948373.941 * [taylor]: Taking taylor expansion of b in d 1553948373.941 * [backup-simplify]: Simplify b into b 1553948373.941 * [taylor]: Taking taylor expansion of (+ c d) in d 1553948373.941 * [taylor]: Taking taylor expansion of c in d 1553948373.941 * [backup-simplify]: Simplify c into c 1553948373.941 * [taylor]: Taking taylor expansion of d in d 1553948373.941 * [backup-simplify]: Simplify 0 into 0 1553948373.941 * [backup-simplify]: Simplify 1 into 1 1553948373.941 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1553948373.941 * [taylor]: Taking taylor expansion of a in c 1553948373.941 * [backup-simplify]: Simplify a into a 1553948373.941 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553948373.941 * [taylor]: Taking taylor expansion of b in c 1553948373.941 * [backup-simplify]: Simplify b into b 1553948373.941 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948373.941 * [taylor]: Taking taylor expansion of c in c 1553948373.941 * [backup-simplify]: Simplify 0 into 0 1553948373.941 * [backup-simplify]: Simplify 1 into 1 1553948373.941 * [taylor]: Taking taylor expansion of d in c 1553948373.941 * [backup-simplify]: Simplify d into d 1553948373.941 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553948373.941 * [taylor]: Taking taylor expansion of a in b 1553948373.941 * [backup-simplify]: Simplify a into a 1553948373.941 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948373.942 * [taylor]: Taking taylor expansion of b in b 1553948373.942 * [backup-simplify]: Simplify 0 into 0 1553948373.942 * [backup-simplify]: Simplify 1 into 1 1553948373.942 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948373.942 * [taylor]: Taking taylor expansion of c in b 1553948373.942 * [backup-simplify]: Simplify c into c 1553948373.942 * [taylor]: Taking taylor expansion of d in b 1553948373.942 * [backup-simplify]: Simplify d into d 1553948373.942 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553948373.942 * [taylor]: Taking taylor expansion of a in a 1553948373.942 * [backup-simplify]: Simplify 0 into 0 1553948373.942 * [backup-simplify]: Simplify 1 into 1 1553948373.942 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553948373.942 * [taylor]: Taking taylor expansion of b in a 1553948373.942 * [backup-simplify]: Simplify b into b 1553948373.942 * [taylor]: Taking taylor expansion of (+ c d) in a 1553948373.942 * [taylor]: Taking taylor expansion of c in a 1553948373.942 * [backup-simplify]: Simplify c into c 1553948373.942 * [taylor]: Taking taylor expansion of d in a 1553948373.942 * [backup-simplify]: Simplify d into d 1553948373.942 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553948373.942 * [taylor]: Taking taylor expansion of a in a 1553948373.942 * [backup-simplify]: Simplify 0 into 0 1553948373.942 * [backup-simplify]: Simplify 1 into 1 1553948373.942 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553948373.942 * [taylor]: Taking taylor expansion of b in a 1553948373.942 * [backup-simplify]: Simplify b into b 1553948373.942 * [taylor]: Taking taylor expansion of (+ c d) in a 1553948373.942 * [taylor]: Taking taylor expansion of c in a 1553948373.942 * [backup-simplify]: Simplify c into c 1553948373.942 * [taylor]: Taking taylor expansion of d in a 1553948373.942 * [backup-simplify]: Simplify d into d 1553948373.943 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948373.943 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553948373.943 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1553948373.943 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 1553948373.943 * [taylor]: Taking taylor expansion of c in b 1553948373.943 * [backup-simplify]: Simplify c into c 1553948373.943 * [taylor]: Taking taylor expansion of (+ b d) in b 1553948373.943 * [taylor]: Taking taylor expansion of b in b 1553948373.943 * [backup-simplify]: Simplify 0 into 0 1553948373.943 * [backup-simplify]: Simplify 1 into 1 1553948373.943 * [taylor]: Taking taylor expansion of d in b 1553948373.943 * [backup-simplify]: Simplify d into d 1553948373.943 * [backup-simplify]: Simplify (+ 0 d) into d 1553948373.943 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948373.943 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948373.943 * [taylor]: Taking taylor expansion of c in c 1553948373.943 * [backup-simplify]: Simplify 0 into 0 1553948373.943 * [backup-simplify]: Simplify 1 into 1 1553948373.943 * [taylor]: Taking taylor expansion of d in c 1553948373.943 * [backup-simplify]: Simplify d into d 1553948373.943 * [backup-simplify]: Simplify (+ 0 d) into d 1553948373.943 * [taylor]: Taking taylor expansion of d in d 1553948373.943 * [backup-simplify]: Simplify 0 into 0 1553948373.943 * [backup-simplify]: Simplify 1 into 1 1553948373.943 * [backup-simplify]: Simplify 0 into 0 1553948373.944 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.945 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.945 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.945 * [taylor]: Taking taylor expansion of 1 in b 1553948373.945 * [backup-simplify]: Simplify 1 into 1 1553948373.945 * [taylor]: Taking taylor expansion of 1 in c 1553948373.945 * [backup-simplify]: Simplify 1 into 1 1553948373.945 * [taylor]: Taking taylor expansion of 1 in d 1553948373.945 * [backup-simplify]: Simplify 1 into 1 1553948373.945 * [backup-simplify]: Simplify 1 into 1 1553948373.946 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.946 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948373.946 * [taylor]: Taking taylor expansion of 1 in c 1553948373.947 * [backup-simplify]: Simplify 1 into 1 1553948373.947 * [taylor]: Taking taylor expansion of 1 in d 1553948373.947 * [backup-simplify]: Simplify 1 into 1 1553948373.947 * [backup-simplify]: Simplify 1 into 1 1553948373.947 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.947 * [taylor]: Taking taylor expansion of 1 in d 1553948373.947 * [backup-simplify]: Simplify 1 into 1 1553948373.947 * [backup-simplify]: Simplify 1 into 1 1553948373.948 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1553948373.948 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553948373.948 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a b c d) around 0 1553948373.948 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553948373.948 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948373.948 * [taylor]: Taking taylor expansion of a in d 1553948373.948 * [backup-simplify]: Simplify a into a 1553948373.948 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.948 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553948373.948 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948373.949 * [taylor]: Taking taylor expansion of b in d 1553948373.949 * [backup-simplify]: Simplify b into b 1553948373.949 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.949 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553948373.949 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948373.949 * [taylor]: Taking taylor expansion of c in d 1553948373.949 * [backup-simplify]: Simplify c into c 1553948373.949 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.949 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948373.949 * [taylor]: Taking taylor expansion of d in d 1553948373.949 * [backup-simplify]: Simplify 0 into 0 1553948373.949 * [backup-simplify]: Simplify 1 into 1 1553948373.949 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.949 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553948373.949 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948373.949 * [taylor]: Taking taylor expansion of a in c 1553948373.949 * [backup-simplify]: Simplify a into a 1553948373.950 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.950 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553948373.950 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948373.950 * [taylor]: Taking taylor expansion of b in c 1553948373.950 * [backup-simplify]: Simplify b into b 1553948373.950 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.950 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948373.950 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948373.950 * [taylor]: Taking taylor expansion of c in c 1553948373.950 * [backup-simplify]: Simplify 0 into 0 1553948373.950 * [backup-simplify]: Simplify 1 into 1 1553948373.950 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.950 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948373.950 * [taylor]: Taking taylor expansion of d in c 1553948373.950 * [backup-simplify]: Simplify d into d 1553948373.950 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.950 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553948373.951 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948373.951 * [taylor]: Taking taylor expansion of a in b 1553948373.951 * [backup-simplify]: Simplify a into a 1553948373.951 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.951 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948373.951 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948373.951 * [taylor]: Taking taylor expansion of b in b 1553948373.951 * [backup-simplify]: Simplify 0 into 0 1553948373.951 * [backup-simplify]: Simplify 1 into 1 1553948373.951 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.951 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948373.951 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948373.951 * [taylor]: Taking taylor expansion of c in b 1553948373.951 * [backup-simplify]: Simplify c into c 1553948373.951 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.951 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948373.951 * [taylor]: Taking taylor expansion of d in b 1553948373.952 * [backup-simplify]: Simplify d into d 1553948373.952 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.952 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553948373.952 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948373.952 * [taylor]: Taking taylor expansion of a in a 1553948373.952 * [backup-simplify]: Simplify 0 into 0 1553948373.952 * [backup-simplify]: Simplify 1 into 1 1553948373.952 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.952 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553948373.952 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948373.952 * [taylor]: Taking taylor expansion of b in a 1553948373.952 * [backup-simplify]: Simplify b into b 1553948373.952 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.952 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553948373.952 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948373.952 * [taylor]: Taking taylor expansion of c in a 1553948373.952 * [backup-simplify]: Simplify c into c 1553948373.953 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.953 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948373.953 * [taylor]: Taking taylor expansion of d in a 1553948373.953 * [backup-simplify]: Simplify d into d 1553948373.953 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.953 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553948373.953 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948373.953 * [taylor]: Taking taylor expansion of a in a 1553948373.953 * [backup-simplify]: Simplify 0 into 0 1553948373.953 * [backup-simplify]: Simplify 1 into 1 1553948373.953 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.953 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553948373.953 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948373.953 * [taylor]: Taking taylor expansion of b in a 1553948373.953 * [backup-simplify]: Simplify b into b 1553948373.953 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.953 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553948373.954 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948373.954 * [taylor]: Taking taylor expansion of c in a 1553948373.954 * [backup-simplify]: Simplify c into c 1553948373.954 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.954 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948373.954 * [taylor]: Taking taylor expansion of d in a 1553948373.954 * [backup-simplify]: Simplify d into d 1553948373.954 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.954 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.954 * [taylor]: Taking taylor expansion of 1 in b 1553948373.954 * [backup-simplify]: Simplify 1 into 1 1553948373.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.955 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948373.956 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553948373.956 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553948373.956 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553948373.956 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948373.956 * [taylor]: Taking taylor expansion of b in b 1553948373.956 * [backup-simplify]: Simplify 0 into 0 1553948373.956 * [backup-simplify]: Simplify 1 into 1 1553948373.956 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.956 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553948373.956 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948373.956 * [taylor]: Taking taylor expansion of d in b 1553948373.956 * [backup-simplify]: Simplify d into d 1553948373.957 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.957 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948373.957 * [taylor]: Taking taylor expansion of c in b 1553948373.957 * [backup-simplify]: Simplify c into c 1553948373.957 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.957 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.957 * [taylor]: Taking taylor expansion of 1 in c 1553948373.957 * [backup-simplify]: Simplify 1 into 1 1553948373.957 * [taylor]: Taking taylor expansion of 1 in c 1553948373.957 * [backup-simplify]: Simplify 1 into 1 1553948373.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553948373.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948373.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948373.959 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.960 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.960 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.960 * [taylor]: Taking taylor expansion of 0 in b 1553948373.960 * [backup-simplify]: Simplify 0 into 0 1553948373.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.961 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553948373.961 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 1553948373.961 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553948373.961 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948373.961 * [taylor]: Taking taylor expansion of d in c 1553948373.961 * [backup-simplify]: Simplify d into d 1553948373.961 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948373.961 * [taylor]: Taking taylor expansion of c in c 1553948373.961 * [backup-simplify]: Simplify 0 into 0 1553948373.961 * [backup-simplify]: Simplify 1 into 1 1553948373.962 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.962 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948373.962 * [taylor]: Taking taylor expansion of 1 in d 1553948373.962 * [backup-simplify]: Simplify 1 into 1 1553948373.962 * [taylor]: Taking taylor expansion of 0 in c 1553948373.962 * [backup-simplify]: Simplify 0 into 0 1553948373.962 * [taylor]: Taking taylor expansion of 1 in d 1553948373.962 * [backup-simplify]: Simplify 1 into 1 1553948373.963 * [taylor]: Taking taylor expansion of 1 in d 1553948373.963 * [backup-simplify]: Simplify 1 into 1 1553948373.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553948373.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948373.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948373.964 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.965 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.965 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.965 * [taylor]: Taking taylor expansion of 0 in b 1553948373.965 * [backup-simplify]: Simplify 0 into 0 1553948373.965 * [taylor]: Taking taylor expansion of 0 in c 1553948373.965 * [backup-simplify]: Simplify 0 into 0 1553948373.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948373.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948373.967 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.967 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.967 * [taylor]: Taking taylor expansion of 0 in c 1553948373.968 * [backup-simplify]: Simplify 0 into 0 1553948373.968 * [taylor]: Taking taylor expansion of 0 in c 1553948373.968 * [backup-simplify]: Simplify 0 into 0 1553948373.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.969 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1553948373.969 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948373.969 * [taylor]: Taking taylor expansion of d in d 1553948373.969 * [backup-simplify]: Simplify 0 into 0 1553948373.969 * [backup-simplify]: Simplify 1 into 1 1553948373.969 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.969 * [backup-simplify]: Simplify 1 into 1 1553948373.969 * [taylor]: Taking taylor expansion of 0 in d 1553948373.969 * [backup-simplify]: Simplify 0 into 0 1553948373.969 * [taylor]: Taking taylor expansion of 0 in d 1553948373.969 * [backup-simplify]: Simplify 0 into 0 1553948373.969 * [taylor]: Taking taylor expansion of 0 in d 1553948373.969 * [backup-simplify]: Simplify 0 into 0 1553948373.969 * [backup-simplify]: Simplify 1 into 1 1553948373.969 * [backup-simplify]: Simplify 1 into 1 1553948373.971 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553948373.971 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 1553948373.971 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a b c d) around 0 1553948373.971 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 1553948373.971 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553948373.971 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948373.971 * [taylor]: Taking taylor expansion of a in d 1553948373.971 * [backup-simplify]: Simplify a into a 1553948373.971 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.971 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553948373.971 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948373.971 * [taylor]: Taking taylor expansion of b in d 1553948373.971 * [backup-simplify]: Simplify b into b 1553948373.971 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.971 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553948373.971 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948373.971 * [taylor]: Taking taylor expansion of c in d 1553948373.971 * [backup-simplify]: Simplify c into c 1553948373.972 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.972 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948373.972 * [taylor]: Taking taylor expansion of d in d 1553948373.972 * [backup-simplify]: Simplify 0 into 0 1553948373.972 * [backup-simplify]: Simplify 1 into 1 1553948373.972 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.972 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 1553948373.972 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553948373.972 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948373.972 * [taylor]: Taking taylor expansion of a in c 1553948373.972 * [backup-simplify]: Simplify a into a 1553948373.972 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.972 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553948373.972 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948373.972 * [taylor]: Taking taylor expansion of b in c 1553948373.972 * [backup-simplify]: Simplify b into b 1553948373.972 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.973 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948373.973 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948373.973 * [taylor]: Taking taylor expansion of c in c 1553948373.973 * [backup-simplify]: Simplify 0 into 0 1553948373.973 * [backup-simplify]: Simplify 1 into 1 1553948373.973 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.973 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948373.973 * [taylor]: Taking taylor expansion of d in c 1553948373.973 * [backup-simplify]: Simplify d into d 1553948373.974 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.974 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 1553948373.974 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553948373.974 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948373.974 * [taylor]: Taking taylor expansion of a in b 1553948373.974 * [backup-simplify]: Simplify a into a 1553948373.974 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948373.974 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948373.974 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948373.974 * [taylor]: Taking taylor expansion of b in b 1553948373.974 * [backup-simplify]: Simplify 0 into 0 1553948373.974 * [backup-simplify]: Simplify 1 into 1 1553948373.974 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.974 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948373.974 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948373.974 * [taylor]: Taking taylor expansion of c in b 1553948373.974 * [backup-simplify]: Simplify c into c 1553948373.974 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.974 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948373.975 * [taylor]: Taking taylor expansion of d in b 1553948373.975 * [backup-simplify]: Simplify d into d 1553948373.975 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.975 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1553948373.975 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553948373.975 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948373.975 * [taylor]: Taking taylor expansion of a in a 1553948373.975 * [backup-simplify]: Simplify 0 into 0 1553948373.975 * [backup-simplify]: Simplify 1 into 1 1553948373.975 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.975 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553948373.975 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948373.975 * [taylor]: Taking taylor expansion of b in a 1553948373.975 * [backup-simplify]: Simplify b into b 1553948373.975 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.975 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553948373.975 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948373.975 * [taylor]: Taking taylor expansion of c in a 1553948373.975 * [backup-simplify]: Simplify c into c 1553948373.976 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.976 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948373.976 * [taylor]: Taking taylor expansion of d in a 1553948373.976 * [backup-simplify]: Simplify d into d 1553948373.976 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.976 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1553948373.976 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553948373.976 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948373.976 * [taylor]: Taking taylor expansion of a in a 1553948373.976 * [backup-simplify]: Simplify 0 into 0 1553948373.976 * [backup-simplify]: Simplify 1 into 1 1553948373.976 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.976 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553948373.976 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948373.976 * [taylor]: Taking taylor expansion of b in a 1553948373.976 * [backup-simplify]: Simplify b into b 1553948373.976 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948373.976 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553948373.977 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948373.977 * [taylor]: Taking taylor expansion of c in a 1553948373.977 * [backup-simplify]: Simplify c into c 1553948373.977 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.977 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948373.977 * [taylor]: Taking taylor expansion of d in a 1553948373.977 * [backup-simplify]: Simplify d into d 1553948373.977 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.977 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.978 * [backup-simplify]: Simplify (- 1) into -1 1553948373.978 * [taylor]: Taking taylor expansion of -1 in b 1553948373.978 * [backup-simplify]: Simplify -1 into -1 1553948373.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.979 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948373.979 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553948373.979 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553948373.979 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553948373.979 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553948373.979 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948373.979 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948373.979 * [taylor]: Taking taylor expansion of b in b 1553948373.979 * [backup-simplify]: Simplify 0 into 0 1553948373.980 * [backup-simplify]: Simplify 1 into 1 1553948373.980 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.980 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948373.980 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948373.980 * [taylor]: Taking taylor expansion of c in b 1553948373.980 * [backup-simplify]: Simplify c into c 1553948373.980 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948373.980 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948373.980 * [taylor]: Taking taylor expansion of d in b 1553948373.980 * [backup-simplify]: Simplify d into d 1553948373.980 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.981 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.981 * [backup-simplify]: Simplify (- 1) into -1 1553948373.981 * [taylor]: Taking taylor expansion of -1 in c 1553948373.981 * [backup-simplify]: Simplify -1 into -1 1553948373.981 * [taylor]: Taking taylor expansion of -1 in c 1553948373.981 * [backup-simplify]: Simplify -1 into -1 1553948373.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.982 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553948373.982 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948373.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948373.983 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.983 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.984 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.984 * [backup-simplify]: Simplify (- 0) into 0 1553948373.984 * [taylor]: Taking taylor expansion of 0 in b 1553948373.984 * [backup-simplify]: Simplify 0 into 0 1553948373.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.985 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948373.985 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553948373.985 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 1553948373.985 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 1553948373.986 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948373.986 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948373.986 * [taylor]: Taking taylor expansion of c in c 1553948373.986 * [backup-simplify]: Simplify 0 into 0 1553948373.986 * [backup-simplify]: Simplify 1 into 1 1553948373.986 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.986 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948373.986 * [taylor]: Taking taylor expansion of d in c 1553948373.986 * [backup-simplify]: Simplify d into d 1553948373.986 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948373.987 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948373.987 * [backup-simplify]: Simplify (- 1) into -1 1553948373.987 * [taylor]: Taking taylor expansion of -1 in d 1553948373.987 * [backup-simplify]: Simplify -1 into -1 1553948373.987 * [taylor]: Taking taylor expansion of 0 in c 1553948373.987 * [backup-simplify]: Simplify 0 into 0 1553948373.987 * [taylor]: Taking taylor expansion of -1 in d 1553948373.987 * [backup-simplify]: Simplify -1 into -1 1553948373.987 * [taylor]: Taking taylor expansion of -1 in d 1553948373.987 * [backup-simplify]: Simplify -1 into -1 1553948373.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553948373.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948373.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948373.989 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.990 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.990 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.991 * [backup-simplify]: Simplify (- 0) into 0 1553948373.991 * [taylor]: Taking taylor expansion of 0 in b 1553948373.991 * [backup-simplify]: Simplify 0 into 0 1553948373.991 * [taylor]: Taking taylor expansion of 0 in c 1553948373.991 * [backup-simplify]: Simplify 0 into 0 1553948373.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948373.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948373.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948373.992 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.993 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948373.993 * [backup-simplify]: Simplify (- 0) into 0 1553948373.993 * [taylor]: Taking taylor expansion of 0 in c 1553948373.993 * [backup-simplify]: Simplify 0 into 0 1553948373.993 * [taylor]: Taking taylor expansion of 0 in c 1553948373.993 * [backup-simplify]: Simplify 0 into 0 1553948373.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948373.994 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553948373.994 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553948373.994 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553948373.994 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948373.994 * [taylor]: Taking taylor expansion of d in d 1553948373.995 * [backup-simplify]: Simplify 0 into 0 1553948373.995 * [backup-simplify]: Simplify 1 into 1 1553948373.995 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948373.995 * [backup-simplify]: Simplify (- 1) into -1 1553948373.995 * [backup-simplify]: Simplify -1 into -1 1553948373.995 * [taylor]: Taking taylor expansion of 0 in d 1553948373.995 * [backup-simplify]: Simplify 0 into 0 1553948373.995 * [taylor]: Taking taylor expansion of 0 in d 1553948373.995 * [backup-simplify]: Simplify 0 into 0 1553948373.996 * [taylor]: Taking taylor expansion of 0 in d 1553948373.996 * [backup-simplify]: Simplify 0 into 0 1553948373.996 * [backup-simplify]: Simplify -1 into -1 1553948373.996 * [backup-simplify]: Simplify -1 into -1 1553948373.997 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553948373.997 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 1553948373.997 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553948373.997 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b c d) around 0 1553948373.997 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553948373.997 * [taylor]: Taking taylor expansion of b in d 1553948373.997 * [backup-simplify]: Simplify b into b 1553948373.997 * [taylor]: Taking taylor expansion of (+ c d) in d 1553948373.997 * [taylor]: Taking taylor expansion of c in d 1553948373.997 * [backup-simplify]: Simplify c into c 1553948373.997 * [taylor]: Taking taylor expansion of d in d 1553948373.997 * [backup-simplify]: Simplify 0 into 0 1553948373.997 * [backup-simplify]: Simplify 1 into 1 1553948373.997 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553948373.997 * [taylor]: Taking taylor expansion of b in c 1553948373.998 * [backup-simplify]: Simplify b into b 1553948373.998 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948373.998 * [taylor]: Taking taylor expansion of c in c 1553948373.998 * [backup-simplify]: Simplify 0 into 0 1553948373.998 * [backup-simplify]: Simplify 1 into 1 1553948373.998 * [taylor]: Taking taylor expansion of d in c 1553948373.998 * [backup-simplify]: Simplify d into d 1553948373.998 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948373.998 * [taylor]: Taking taylor expansion of b in b 1553948373.998 * [backup-simplify]: Simplify 0 into 0 1553948373.998 * [backup-simplify]: Simplify 1 into 1 1553948373.998 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948373.998 * [taylor]: Taking taylor expansion of c in b 1553948373.998 * [backup-simplify]: Simplify c into c 1553948373.998 * [taylor]: Taking taylor expansion of d in b 1553948373.998 * [backup-simplify]: Simplify d into d 1553948373.998 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948373.998 * [taylor]: Taking taylor expansion of b in b 1553948373.998 * [backup-simplify]: Simplify 0 into 0 1553948373.998 * [backup-simplify]: Simplify 1 into 1 1553948373.998 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948373.998 * [taylor]: Taking taylor expansion of c in b 1553948373.998 * [backup-simplify]: Simplify c into c 1553948373.998 * [taylor]: Taking taylor expansion of d in b 1553948373.998 * [backup-simplify]: Simplify d into d 1553948373.998 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948373.998 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 1553948373.998 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948373.998 * [taylor]: Taking taylor expansion of c in c 1553948373.998 * [backup-simplify]: Simplify 0 into 0 1553948373.999 * [backup-simplify]: Simplify 1 into 1 1553948373.999 * [taylor]: Taking taylor expansion of d in c 1553948373.999 * [backup-simplify]: Simplify d into d 1553948373.999 * [backup-simplify]: Simplify (+ 0 d) into d 1553948373.999 * [taylor]: Taking taylor expansion of d in d 1553948373.999 * [backup-simplify]: Simplify 0 into 0 1553948373.999 * [backup-simplify]: Simplify 1 into 1 1553948373.999 * [backup-simplify]: Simplify 0 into 0 1553948373.999 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.000 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.000 * [taylor]: Taking taylor expansion of 1 in c 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.000 * [taylor]: Taking taylor expansion of 1 in d 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.000 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.000 * [taylor]: Taking taylor expansion of 1 in d 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.000 * [backup-simplify]: Simplify 1 into 1 1553948374.001 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 1553948374.001 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553948374.001 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b c d) around 0 1553948374.001 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553948374.001 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.001 * [taylor]: Taking taylor expansion of b in d 1553948374.001 * [backup-simplify]: Simplify b into b 1553948374.001 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.001 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553948374.001 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.001 * [taylor]: Taking taylor expansion of c in d 1553948374.002 * [backup-simplify]: Simplify c into c 1553948374.002 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.002 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.002 * [taylor]: Taking taylor expansion of d in d 1553948374.002 * [backup-simplify]: Simplify 0 into 0 1553948374.002 * [backup-simplify]: Simplify 1 into 1 1553948374.002 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.002 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553948374.002 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.002 * [taylor]: Taking taylor expansion of b in c 1553948374.002 * [backup-simplify]: Simplify b into b 1553948374.002 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.002 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.002 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.002 * [taylor]: Taking taylor expansion of c in c 1553948374.002 * [backup-simplify]: Simplify 0 into 0 1553948374.002 * [backup-simplify]: Simplify 1 into 1 1553948374.003 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.003 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.003 * [taylor]: Taking taylor expansion of d in c 1553948374.003 * [backup-simplify]: Simplify d into d 1553948374.003 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.003 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948374.003 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.003 * [taylor]: Taking taylor expansion of b in b 1553948374.003 * [backup-simplify]: Simplify 0 into 0 1553948374.003 * [backup-simplify]: Simplify 1 into 1 1553948374.004 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.004 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948374.004 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.004 * [taylor]: Taking taylor expansion of c in b 1553948374.004 * [backup-simplify]: Simplify c into c 1553948374.004 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.004 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.004 * [taylor]: Taking taylor expansion of d in b 1553948374.004 * [backup-simplify]: Simplify d into d 1553948374.004 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.004 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948374.004 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.004 * [taylor]: Taking taylor expansion of b in b 1553948374.004 * [backup-simplify]: Simplify 0 into 0 1553948374.004 * [backup-simplify]: Simplify 1 into 1 1553948374.004 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.004 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948374.004 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.005 * [taylor]: Taking taylor expansion of c in b 1553948374.005 * [backup-simplify]: Simplify c into c 1553948374.005 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.005 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.005 * [taylor]: Taking taylor expansion of d in b 1553948374.005 * [backup-simplify]: Simplify d into d 1553948374.005 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.005 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.005 * [taylor]: Taking taylor expansion of 1 in c 1553948374.005 * [backup-simplify]: Simplify 1 into 1 1553948374.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.006 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948374.006 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553948374.007 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.007 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.007 * [taylor]: Taking taylor expansion of c in c 1553948374.007 * [backup-simplify]: Simplify 0 into 0 1553948374.007 * [backup-simplify]: Simplify 1 into 1 1553948374.007 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.007 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.007 * [taylor]: Taking taylor expansion of d in c 1553948374.007 * [backup-simplify]: Simplify d into d 1553948374.007 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.008 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.008 * [taylor]: Taking taylor expansion of 1 in d 1553948374.008 * [backup-simplify]: Simplify 1 into 1 1553948374.008 * [taylor]: Taking taylor expansion of 1 in d 1553948374.008 * [backup-simplify]: Simplify 1 into 1 1553948374.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.010 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.010 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.010 * [taylor]: Taking taylor expansion of 0 in c 1553948374.010 * [backup-simplify]: Simplify 0 into 0 1553948374.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.011 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553948374.011 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.011 * [taylor]: Taking taylor expansion of d in d 1553948374.011 * [backup-simplify]: Simplify 0 into 0 1553948374.011 * [backup-simplify]: Simplify 1 into 1 1553948374.011 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.011 * [backup-simplify]: Simplify 1 into 1 1553948374.012 * [taylor]: Taking taylor expansion of 0 in d 1553948374.012 * [backup-simplify]: Simplify 0 into 0 1553948374.012 * [backup-simplify]: Simplify 1 into 1 1553948374.012 * [backup-simplify]: Simplify 1 into 1 1553948374.012 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ b (+ c d)) 1553948374.013 * [backup-simplify]: Simplify (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553948374.013 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b c d) around 0 1553948374.013 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553948374.013 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553948374.013 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.013 * [taylor]: Taking taylor expansion of b in d 1553948374.013 * [backup-simplify]: Simplify b into b 1553948374.013 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.013 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553948374.013 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.013 * [taylor]: Taking taylor expansion of c in d 1553948374.013 * [backup-simplify]: Simplify c into c 1553948374.013 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.013 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.013 * [taylor]: Taking taylor expansion of d in d 1553948374.013 * [backup-simplify]: Simplify 0 into 0 1553948374.013 * [backup-simplify]: Simplify 1 into 1 1553948374.014 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.014 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553948374.014 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553948374.014 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.014 * [taylor]: Taking taylor expansion of b in c 1553948374.014 * [backup-simplify]: Simplify b into b 1553948374.014 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.014 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.014 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.014 * [taylor]: Taking taylor expansion of c in c 1553948374.014 * [backup-simplify]: Simplify 0 into 0 1553948374.014 * [backup-simplify]: Simplify 1 into 1 1553948374.014 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.014 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.014 * [taylor]: Taking taylor expansion of d in c 1553948374.014 * [backup-simplify]: Simplify d into d 1553948374.015 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.015 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553948374.015 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948374.015 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.015 * [taylor]: Taking taylor expansion of b in b 1553948374.015 * [backup-simplify]: Simplify 0 into 0 1553948374.015 * [backup-simplify]: Simplify 1 into 1 1553948374.015 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.015 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948374.015 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.015 * [taylor]: Taking taylor expansion of c in b 1553948374.015 * [backup-simplify]: Simplify c into c 1553948374.015 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.015 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.015 * [taylor]: Taking taylor expansion of d in b 1553948374.015 * [backup-simplify]: Simplify d into d 1553948374.015 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.015 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553948374.015 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948374.016 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.016 * [taylor]: Taking taylor expansion of b in b 1553948374.016 * [backup-simplify]: Simplify 0 into 0 1553948374.016 * [backup-simplify]: Simplify 1 into 1 1553948374.016 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.016 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948374.016 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.016 * [taylor]: Taking taylor expansion of c in b 1553948374.016 * [backup-simplify]: Simplify c into c 1553948374.016 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.016 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.016 * [taylor]: Taking taylor expansion of d in b 1553948374.016 * [backup-simplify]: Simplify d into d 1553948374.016 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.017 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.017 * [backup-simplify]: Simplify (- 1) into -1 1553948374.017 * [taylor]: Taking taylor expansion of -1 in c 1553948374.017 * [backup-simplify]: Simplify -1 into -1 1553948374.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.018 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948374.018 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553948374.018 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 1553948374.019 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 1553948374.019 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.019 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.019 * [taylor]: Taking taylor expansion of c in c 1553948374.019 * [backup-simplify]: Simplify 0 into 0 1553948374.019 * [backup-simplify]: Simplify 1 into 1 1553948374.019 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.019 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.019 * [taylor]: Taking taylor expansion of d in c 1553948374.019 * [backup-simplify]: Simplify d into d 1553948374.019 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.020 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.020 * [backup-simplify]: Simplify (- 1) into -1 1553948374.020 * [taylor]: Taking taylor expansion of -1 in d 1553948374.020 * [backup-simplify]: Simplify -1 into -1 1553948374.020 * [taylor]: Taking taylor expansion of -1 in d 1553948374.020 * [backup-simplify]: Simplify -1 into -1 1553948374.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.022 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.022 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.022 * [backup-simplify]: Simplify (- 0) into 0 1553948374.023 * [taylor]: Taking taylor expansion of 0 in c 1553948374.023 * [backup-simplify]: Simplify 0 into 0 1553948374.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.023 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553948374.024 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553948374.024 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553948374.024 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.024 * [taylor]: Taking taylor expansion of d in d 1553948374.024 * [backup-simplify]: Simplify 0 into 0 1553948374.024 * [backup-simplify]: Simplify 1 into 1 1553948374.024 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.024 * [backup-simplify]: Simplify (- 1) into -1 1553948374.024 * [backup-simplify]: Simplify -1 into -1 1553948374.025 * [taylor]: Taking taylor expansion of 0 in d 1553948374.025 * [backup-simplify]: Simplify 0 into 0 1553948374.025 * [backup-simplify]: Simplify -1 into -1 1553948374.025 * [backup-simplify]: Simplify -1 into -1 1553948374.025 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ b (+ c d)) 1553948374.025 * * * [progress]: simplifying candidates 1553948374.026 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 1553948374.026 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 1553948374.027 * [simplify]: Simplifying (+ c d) 1553948374.027 * * [simplify]: iters left: 2 (3 enodes) 1553948374.028 * * [simplify]: iters left: 1 (10 enodes) 1553948374.031 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.031 * * [simplify]: Extracting #1: cost 4 inf + 0 1553948374.031 * * [simplify]: Extracting #2: cost 2 inf + 2 1553948374.031 * * [simplify]: Extracting #3: cost 0 inf + 86 1553948374.031 * [simplify]: Simplified to (+ d c) 1553948374.031 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ (+ a b) (+ d c)) 2)) 1553948374.031 * * * * [progress]: [ 13 / 34 ] simplifiying candidate #real (real->posit16 (+ a (+ b (+ c d))))) 2))> 1553948374.031 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 16 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 1553948374.031 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 22 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 23 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 24 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 25 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 26 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 27 / 34 ] simplifiying candidate #real (real->posit16 (+ b (+ c d))))) 2))> 1553948374.032 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 1553948374.032 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 1553948374.032 * [simplify]: Simplifying (+ a (+ b c)) 1553948374.032 * * [simplify]: iters left: 4 (5 enodes) 1553948374.035 * * [simplify]: iters left: 3 (19 enodes) 1553948374.040 * * [simplify]: iters left: 2 (27 enodes) 1553948374.047 * * [simplify]: iters left: 1 (32 enodes) 1553948374.054 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.054 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.055 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.055 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.055 * [simplify]: Simplified to (+ (+ a c) b) 1553948374.055 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a c) b) 2)) 1553948374.055 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 1553948374.056 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.056 * * [simplify]: iters left: 4 (5 enodes) 1553948374.058 * * [simplify]: iters left: 3 (19 enodes) 1553948374.063 * * [simplify]: iters left: 2 (27 enodes) 1553948374.070 * * [simplify]: iters left: 1 (32 enodes) 1553948374.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.077 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.077 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.077 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.078 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.078 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553948374.078 * * * * [progress]: [ 31 / 34 ] simplifiying candidate # 1553948374.078 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.078 * * [simplify]: iters left: 4 (5 enodes) 1553948374.080 * * [simplify]: iters left: 3 (19 enodes) 1553948374.086 * * [simplify]: iters left: 2 (27 enodes) 1553948374.093 * * [simplify]: iters left: 1 (32 enodes) 1553948374.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.102 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.102 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.102 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.102 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.102 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553948374.102 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 1553948374.102 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.102 * * [simplify]: iters left: 4 (5 enodes) 1553948374.103 * * [simplify]: iters left: 3 (19 enodes) 1553948374.106 * * [simplify]: iters left: 2 (27 enodes) 1553948374.110 * * [simplify]: iters left: 1 (32 enodes) 1553948374.113 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.113 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.113 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.114 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.114 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.114 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553948374.114 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 1553948374.114 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.114 * * [simplify]: iters left: 4 (5 enodes) 1553948374.115 * * [simplify]: iters left: 3 (19 enodes) 1553948374.118 * * [simplify]: iters left: 2 (27 enodes) 1553948374.121 * * [simplify]: iters left: 1 (32 enodes) 1553948374.125 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.125 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.125 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.125 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.126 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.126 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553948374.126 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1553948374.126 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.126 * * [simplify]: iters left: 4 (5 enodes) 1553948374.127 * * [simplify]: iters left: 3 (19 enodes) 1553948374.130 * * [simplify]: iters left: 2 (27 enodes) 1553948374.133 * * [simplify]: iters left: 1 (32 enodes) 1553948374.141 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.141 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.141 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.141 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.141 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.141 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553948374.142 * * * [progress]: adding candidates to table 1553948374.442 * * [progress]: iteration 2 / 4 1553948374.442 * * * [progress]: picking best candidate 1553948374.485 * * * * [pick]: Picked # 1553948374.486 * * * [progress]: localizing error 1553948374.506 * * * [progress]: generating rewritten candidates 1553948374.506 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1553948374.514 * * * [progress]: generating series expansions 1553948374.514 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1553948374.514 * [backup-simplify]: Simplify (+ a (+ (+ b c) d)) into (+ a (+ b (+ c d))) 1553948374.514 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0 1553948374.514 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1553948374.514 * [taylor]: Taking taylor expansion of a in d 1553948374.514 * [backup-simplify]: Simplify a into a 1553948374.514 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553948374.514 * [taylor]: Taking taylor expansion of b in d 1553948374.514 * [backup-simplify]: Simplify b into b 1553948374.514 * [taylor]: Taking taylor expansion of (+ c d) in d 1553948374.514 * [taylor]: Taking taylor expansion of c in d 1553948374.514 * [backup-simplify]: Simplify c into c 1553948374.514 * [taylor]: Taking taylor expansion of d in d 1553948374.514 * [backup-simplify]: Simplify 0 into 0 1553948374.514 * [backup-simplify]: Simplify 1 into 1 1553948374.514 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1553948374.514 * [taylor]: Taking taylor expansion of a in c 1553948374.514 * [backup-simplify]: Simplify a into a 1553948374.514 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553948374.514 * [taylor]: Taking taylor expansion of b in c 1553948374.515 * [backup-simplify]: Simplify b into b 1553948374.515 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948374.515 * [taylor]: Taking taylor expansion of c in c 1553948374.515 * [backup-simplify]: Simplify 0 into 0 1553948374.515 * [backup-simplify]: Simplify 1 into 1 1553948374.515 * [taylor]: Taking taylor expansion of d in c 1553948374.515 * [backup-simplify]: Simplify d into d 1553948374.515 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553948374.515 * [taylor]: Taking taylor expansion of a in b 1553948374.515 * [backup-simplify]: Simplify a into a 1553948374.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948374.515 * [taylor]: Taking taylor expansion of b in b 1553948374.515 * [backup-simplify]: Simplify 0 into 0 1553948374.515 * [backup-simplify]: Simplify 1 into 1 1553948374.515 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948374.515 * [taylor]: Taking taylor expansion of c in b 1553948374.515 * [backup-simplify]: Simplify c into c 1553948374.515 * [taylor]: Taking taylor expansion of d in b 1553948374.515 * [backup-simplify]: Simplify d into d 1553948374.515 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553948374.515 * [taylor]: Taking taylor expansion of a in a 1553948374.515 * [backup-simplify]: Simplify 0 into 0 1553948374.515 * [backup-simplify]: Simplify 1 into 1 1553948374.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553948374.515 * [taylor]: Taking taylor expansion of b in a 1553948374.515 * [backup-simplify]: Simplify b into b 1553948374.515 * [taylor]: Taking taylor expansion of (+ c d) in a 1553948374.515 * [taylor]: Taking taylor expansion of c in a 1553948374.515 * [backup-simplify]: Simplify c into c 1553948374.515 * [taylor]: Taking taylor expansion of d in a 1553948374.515 * [backup-simplify]: Simplify d into d 1553948374.515 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553948374.515 * [taylor]: Taking taylor expansion of a in a 1553948374.515 * [backup-simplify]: Simplify 0 into 0 1553948374.515 * [backup-simplify]: Simplify 1 into 1 1553948374.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553948374.515 * [taylor]: Taking taylor expansion of b in a 1553948374.515 * [backup-simplify]: Simplify b into b 1553948374.515 * [taylor]: Taking taylor expansion of (+ c d) in a 1553948374.515 * [taylor]: Taking taylor expansion of c in a 1553948374.516 * [backup-simplify]: Simplify c into c 1553948374.516 * [taylor]: Taking taylor expansion of d in a 1553948374.516 * [backup-simplify]: Simplify d into d 1553948374.516 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948374.516 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553948374.516 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1553948374.516 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 1553948374.516 * [taylor]: Taking taylor expansion of c in b 1553948374.516 * [backup-simplify]: Simplify c into c 1553948374.516 * [taylor]: Taking taylor expansion of (+ b d) in b 1553948374.516 * [taylor]: Taking taylor expansion of b in b 1553948374.516 * [backup-simplify]: Simplify 0 into 0 1553948374.516 * [backup-simplify]: Simplify 1 into 1 1553948374.516 * [taylor]: Taking taylor expansion of d in b 1553948374.516 * [backup-simplify]: Simplify d into d 1553948374.516 * [backup-simplify]: Simplify (+ 0 d) into d 1553948374.516 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948374.516 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948374.516 * [taylor]: Taking taylor expansion of c in c 1553948374.516 * [backup-simplify]: Simplify 0 into 0 1553948374.516 * [backup-simplify]: Simplify 1 into 1 1553948374.516 * [taylor]: Taking taylor expansion of d in c 1553948374.516 * [backup-simplify]: Simplify d into d 1553948374.516 * [backup-simplify]: Simplify (+ 0 d) into d 1553948374.516 * [taylor]: Taking taylor expansion of d in d 1553948374.516 * [backup-simplify]: Simplify 0 into 0 1553948374.516 * [backup-simplify]: Simplify 1 into 1 1553948374.517 * [backup-simplify]: Simplify 0 into 0 1553948374.517 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.518 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.518 * [taylor]: Taking taylor expansion of 1 in b 1553948374.518 * [backup-simplify]: Simplify 1 into 1 1553948374.518 * [taylor]: Taking taylor expansion of 1 in c 1553948374.518 * [backup-simplify]: Simplify 1 into 1 1553948374.518 * [taylor]: Taking taylor expansion of 1 in d 1553948374.518 * [backup-simplify]: Simplify 1 into 1 1553948374.518 * [backup-simplify]: Simplify 1 into 1 1553948374.519 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.519 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.519 * [taylor]: Taking taylor expansion of 1 in c 1553948374.519 * [backup-simplify]: Simplify 1 into 1 1553948374.519 * [taylor]: Taking taylor expansion of 1 in d 1553948374.519 * [backup-simplify]: Simplify 1 into 1 1553948374.519 * [backup-simplify]: Simplify 1 into 1 1553948374.520 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.520 * [taylor]: Taking taylor expansion of 1 in d 1553948374.520 * [backup-simplify]: Simplify 1 into 1 1553948374.520 * [backup-simplify]: Simplify 1 into 1 1553948374.521 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1553948374.521 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1553948374.521 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (a b c d) around 0 1553948374.521 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1553948374.521 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.521 * [taylor]: Taking taylor expansion of a in d 1553948374.521 * [backup-simplify]: Simplify a into a 1553948374.521 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.521 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1553948374.521 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.521 * [taylor]: Taking taylor expansion of b in d 1553948374.521 * [backup-simplify]: Simplify b into b 1553948374.521 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.521 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1553948374.521 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.521 * [taylor]: Taking taylor expansion of d in d 1553948374.521 * [backup-simplify]: Simplify 0 into 0 1553948374.521 * [backup-simplify]: Simplify 1 into 1 1553948374.522 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.522 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.522 * [taylor]: Taking taylor expansion of c in d 1553948374.522 * [backup-simplify]: Simplify c into c 1553948374.522 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.522 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1553948374.522 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.522 * [taylor]: Taking taylor expansion of a in c 1553948374.522 * [backup-simplify]: Simplify a into a 1553948374.522 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.522 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1553948374.522 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.522 * [taylor]: Taking taylor expansion of b in c 1553948374.522 * [backup-simplify]: Simplify b into b 1553948374.522 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.522 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553948374.522 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.522 * [taylor]: Taking taylor expansion of d in c 1553948374.522 * [backup-simplify]: Simplify d into d 1553948374.522 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.522 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.523 * [taylor]: Taking taylor expansion of c in c 1553948374.523 * [backup-simplify]: Simplify 0 into 0 1553948374.523 * [backup-simplify]: Simplify 1 into 1 1553948374.523 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.523 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553948374.523 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.523 * [taylor]: Taking taylor expansion of a in b 1553948374.523 * [backup-simplify]: Simplify a into a 1553948374.523 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.523 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553948374.523 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.523 * [taylor]: Taking taylor expansion of b in b 1553948374.523 * [backup-simplify]: Simplify 0 into 0 1553948374.523 * [backup-simplify]: Simplify 1 into 1 1553948374.524 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.524 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553948374.524 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.524 * [taylor]: Taking taylor expansion of d in b 1553948374.524 * [backup-simplify]: Simplify d into d 1553948374.524 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.524 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.524 * [taylor]: Taking taylor expansion of c in b 1553948374.524 * [backup-simplify]: Simplify c into c 1553948374.524 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.524 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553948374.524 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.524 * [taylor]: Taking taylor expansion of a in a 1553948374.524 * [backup-simplify]: Simplify 0 into 0 1553948374.524 * [backup-simplify]: Simplify 1 into 1 1553948374.525 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.525 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553948374.525 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.525 * [taylor]: Taking taylor expansion of b in a 1553948374.525 * [backup-simplify]: Simplify b into b 1553948374.525 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.525 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553948374.525 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.525 * [taylor]: Taking taylor expansion of d in a 1553948374.525 * [backup-simplify]: Simplify d into d 1553948374.525 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.525 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.525 * [taylor]: Taking taylor expansion of c in a 1553948374.525 * [backup-simplify]: Simplify c into c 1553948374.525 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.525 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553948374.525 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.525 * [taylor]: Taking taylor expansion of a in a 1553948374.525 * [backup-simplify]: Simplify 0 into 0 1553948374.525 * [backup-simplify]: Simplify 1 into 1 1553948374.526 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.526 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553948374.526 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.526 * [taylor]: Taking taylor expansion of b in a 1553948374.526 * [backup-simplify]: Simplify b into b 1553948374.526 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.526 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553948374.526 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.526 * [taylor]: Taking taylor expansion of d in a 1553948374.526 * [backup-simplify]: Simplify d into d 1553948374.526 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.526 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.526 * [taylor]: Taking taylor expansion of c in a 1553948374.526 * [backup-simplify]: Simplify c into c 1553948374.526 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.527 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.527 * [taylor]: Taking taylor expansion of 1 in b 1553948374.527 * [backup-simplify]: Simplify 1 into 1 1553948374.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.528 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553948374.528 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553948374.528 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553948374.528 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553948374.528 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.528 * [taylor]: Taking taylor expansion of b in b 1553948374.528 * [backup-simplify]: Simplify 0 into 0 1553948374.528 * [backup-simplify]: Simplify 1 into 1 1553948374.529 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.529 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553948374.529 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.529 * [taylor]: Taking taylor expansion of c in b 1553948374.529 * [backup-simplify]: Simplify c into c 1553948374.529 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.529 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.529 * [taylor]: Taking taylor expansion of d in b 1553948374.529 * [backup-simplify]: Simplify d into d 1553948374.529 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.529 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.529 * [taylor]: Taking taylor expansion of 1 in c 1553948374.529 * [backup-simplify]: Simplify 1 into 1 1553948374.529 * [taylor]: Taking taylor expansion of 1 in c 1553948374.529 * [backup-simplify]: Simplify 1 into 1 1553948374.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553948374.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.531 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.532 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.532 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.532 * [taylor]: Taking taylor expansion of 0 in b 1553948374.532 * [backup-simplify]: Simplify 0 into 0 1553948374.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.533 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553948374.533 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553948374.533 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.533 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.533 * [taylor]: Taking taylor expansion of c in c 1553948374.533 * [backup-simplify]: Simplify 0 into 0 1553948374.533 * [backup-simplify]: Simplify 1 into 1 1553948374.534 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.534 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.534 * [taylor]: Taking taylor expansion of d in c 1553948374.534 * [backup-simplify]: Simplify d into d 1553948374.534 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.534 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.534 * [taylor]: Taking taylor expansion of 1 in d 1553948374.534 * [backup-simplify]: Simplify 1 into 1 1553948374.534 * [taylor]: Taking taylor expansion of 0 in c 1553948374.534 * [backup-simplify]: Simplify 0 into 0 1553948374.534 * [taylor]: Taking taylor expansion of 1 in d 1553948374.534 * [backup-simplify]: Simplify 1 into 1 1553948374.534 * [taylor]: Taking taylor expansion of 1 in d 1553948374.535 * [backup-simplify]: Simplify 1 into 1 1553948374.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553948374.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948374.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948374.536 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.537 * [taylor]: Taking taylor expansion of 0 in b 1553948374.537 * [backup-simplify]: Simplify 0 into 0 1553948374.537 * [taylor]: Taking taylor expansion of 0 in c 1553948374.537 * [backup-simplify]: Simplify 0 into 0 1553948374.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.539 * [taylor]: Taking taylor expansion of 0 in c 1553948374.539 * [backup-simplify]: Simplify 0 into 0 1553948374.539 * [taylor]: Taking taylor expansion of 0 in c 1553948374.539 * [backup-simplify]: Simplify 0 into 0 1553948374.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.540 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553948374.541 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.541 * [taylor]: Taking taylor expansion of d in d 1553948374.541 * [backup-simplify]: Simplify 0 into 0 1553948374.541 * [backup-simplify]: Simplify 1 into 1 1553948374.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.541 * [backup-simplify]: Simplify 1 into 1 1553948374.541 * [taylor]: Taking taylor expansion of 0 in d 1553948374.541 * [backup-simplify]: Simplify 0 into 0 1553948374.541 * [taylor]: Taking taylor expansion of 0 in d 1553948374.541 * [backup-simplify]: Simplify 0 into 0 1553948374.541 * [taylor]: Taking taylor expansion of 0 in d 1553948374.541 * [backup-simplify]: Simplify 0 into 0 1553948374.541 * [backup-simplify]: Simplify 1 into 1 1553948374.541 * [backup-simplify]: Simplify 1 into 1 1553948374.543 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553948374.543 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) 1553948374.543 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in (a b c d) around 0 1553948374.543 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in d 1553948374.543 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1553948374.543 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.543 * [taylor]: Taking taylor expansion of a in d 1553948374.543 * [backup-simplify]: Simplify a into a 1553948374.543 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.543 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1553948374.543 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.543 * [taylor]: Taking taylor expansion of b in d 1553948374.543 * [backup-simplify]: Simplify b into b 1553948374.543 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.543 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1553948374.543 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.543 * [taylor]: Taking taylor expansion of d in d 1553948374.543 * [backup-simplify]: Simplify 0 into 0 1553948374.543 * [backup-simplify]: Simplify 1 into 1 1553948374.544 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.544 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.544 * [taylor]: Taking taylor expansion of c in d 1553948374.544 * [backup-simplify]: Simplify c into c 1553948374.544 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in c 1553948374.544 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1553948374.544 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.544 * [taylor]: Taking taylor expansion of a in c 1553948374.544 * [backup-simplify]: Simplify a into a 1553948374.544 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.544 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1553948374.544 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.544 * [taylor]: Taking taylor expansion of b in c 1553948374.544 * [backup-simplify]: Simplify b into b 1553948374.544 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.544 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553948374.544 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.544 * [taylor]: Taking taylor expansion of d in c 1553948374.544 * [backup-simplify]: Simplify d into d 1553948374.544 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.544 * [taylor]: Taking taylor expansion of c in c 1553948374.545 * [backup-simplify]: Simplify 0 into 0 1553948374.545 * [backup-simplify]: Simplify 1 into 1 1553948374.545 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.545 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in b 1553948374.545 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553948374.545 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.545 * [taylor]: Taking taylor expansion of a in b 1553948374.545 * [backup-simplify]: Simplify a into a 1553948374.545 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553948374.545 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.545 * [taylor]: Taking taylor expansion of b in b 1553948374.545 * [backup-simplify]: Simplify 0 into 0 1553948374.545 * [backup-simplify]: Simplify 1 into 1 1553948374.546 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.546 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553948374.546 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.546 * [taylor]: Taking taylor expansion of d in b 1553948374.546 * [backup-simplify]: Simplify d into d 1553948374.546 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.546 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.546 * [taylor]: Taking taylor expansion of c in b 1553948374.546 * [backup-simplify]: Simplify c into c 1553948374.546 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.546 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1553948374.546 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553948374.546 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.546 * [taylor]: Taking taylor expansion of a in a 1553948374.546 * [backup-simplify]: Simplify 0 into 0 1553948374.546 * [backup-simplify]: Simplify 1 into 1 1553948374.547 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.547 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553948374.547 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.547 * [taylor]: Taking taylor expansion of b in a 1553948374.547 * [backup-simplify]: Simplify b into b 1553948374.547 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.547 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553948374.547 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.547 * [taylor]: Taking taylor expansion of d in a 1553948374.547 * [backup-simplify]: Simplify d into d 1553948374.547 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.547 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.547 * [taylor]: Taking taylor expansion of c in a 1553948374.547 * [backup-simplify]: Simplify c into c 1553948374.547 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.547 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1553948374.547 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553948374.547 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.547 * [taylor]: Taking taylor expansion of a in a 1553948374.547 * [backup-simplify]: Simplify 0 into 0 1553948374.547 * [backup-simplify]: Simplify 1 into 1 1553948374.548 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.548 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553948374.548 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.548 * [taylor]: Taking taylor expansion of b in a 1553948374.548 * [backup-simplify]: Simplify b into b 1553948374.548 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.548 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553948374.548 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.548 * [taylor]: Taking taylor expansion of d in a 1553948374.548 * [backup-simplify]: Simplify d into d 1553948374.548 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.548 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.548 * [taylor]: Taking taylor expansion of c in a 1553948374.548 * [backup-simplify]: Simplify c into c 1553948374.548 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.549 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.549 * [backup-simplify]: Simplify (- 1) into -1 1553948374.549 * [taylor]: Taking taylor expansion of -1 in b 1553948374.549 * [backup-simplify]: Simplify -1 into -1 1553948374.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.550 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553948374.550 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553948374.550 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553948374.551 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1553948374.551 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553948374.551 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553948374.551 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.551 * [taylor]: Taking taylor expansion of b in b 1553948374.551 * [backup-simplify]: Simplify 0 into 0 1553948374.551 * [backup-simplify]: Simplify 1 into 1 1553948374.551 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.551 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553948374.551 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.551 * [taylor]: Taking taylor expansion of d in b 1553948374.551 * [backup-simplify]: Simplify d into d 1553948374.551 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.551 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.551 * [taylor]: Taking taylor expansion of c in b 1553948374.551 * [backup-simplify]: Simplify c into c 1553948374.552 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.552 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.552 * [backup-simplify]: Simplify (- 1) into -1 1553948374.552 * [taylor]: Taking taylor expansion of -1 in c 1553948374.552 * [backup-simplify]: Simplify -1 into -1 1553948374.552 * [taylor]: Taking taylor expansion of -1 in c 1553948374.552 * [backup-simplify]: Simplify -1 into -1 1553948374.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553948374.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.554 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.555 * [backup-simplify]: Simplify (- 0) into 0 1553948374.555 * [taylor]: Taking taylor expansion of 0 in b 1553948374.555 * [backup-simplify]: Simplify 0 into 0 1553948374.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.557 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553948374.557 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 1553948374.557 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c))) 1553948374.557 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 1553948374.557 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553948374.557 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.557 * [taylor]: Taking taylor expansion of d in c 1553948374.557 * [backup-simplify]: Simplify d into d 1553948374.557 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.557 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.557 * [taylor]: Taking taylor expansion of c in c 1553948374.557 * [backup-simplify]: Simplify 0 into 0 1553948374.557 * [backup-simplify]: Simplify 1 into 1 1553948374.558 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.558 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.559 * [backup-simplify]: Simplify (- 1) into -1 1553948374.559 * [taylor]: Taking taylor expansion of -1 in d 1553948374.559 * [backup-simplify]: Simplify -1 into -1 1553948374.559 * [taylor]: Taking taylor expansion of 0 in c 1553948374.559 * [backup-simplify]: Simplify 0 into 0 1553948374.559 * [taylor]: Taking taylor expansion of -1 in d 1553948374.559 * [backup-simplify]: Simplify -1 into -1 1553948374.559 * [taylor]: Taking taylor expansion of -1 in d 1553948374.559 * [backup-simplify]: Simplify -1 into -1 1553948374.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553948374.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948374.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948374.561 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.561 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.561 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.562 * [backup-simplify]: Simplify (- 0) into 0 1553948374.562 * [taylor]: Taking taylor expansion of 0 in b 1553948374.562 * [backup-simplify]: Simplify 0 into 0 1553948374.562 * [taylor]: Taking taylor expansion of 0 in c 1553948374.562 * [backup-simplify]: Simplify 0 into 0 1553948374.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.564 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.564 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.564 * [backup-simplify]: Simplify (- 0) into 0 1553948374.564 * [taylor]: Taking taylor expansion of 0 in c 1553948374.564 * [backup-simplify]: Simplify 0 into 0 1553948374.564 * [taylor]: Taking taylor expansion of 0 in c 1553948374.564 * [backup-simplify]: Simplify 0 into 0 1553948374.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.565 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1553948374.565 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553948374.566 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553948374.566 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.566 * [taylor]: Taking taylor expansion of d in d 1553948374.566 * [backup-simplify]: Simplify 0 into 0 1553948374.566 * [backup-simplify]: Simplify 1 into 1 1553948374.566 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.566 * [backup-simplify]: Simplify (- 1) into -1 1553948374.566 * [backup-simplify]: Simplify -1 into -1 1553948374.567 * [taylor]: Taking taylor expansion of 0 in d 1553948374.567 * [backup-simplify]: Simplify 0 into 0 1553948374.567 * [taylor]: Taking taylor expansion of 0 in d 1553948374.567 * [backup-simplify]: Simplify 0 into 0 1553948374.567 * [taylor]: Taking taylor expansion of 0 in d 1553948374.567 * [backup-simplify]: Simplify 0 into 0 1553948374.567 * [backup-simplify]: Simplify -1 into -1 1553948374.567 * [backup-simplify]: Simplify -1 into -1 1553948374.568 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553948374.568 * * * [progress]: simplifying candidates 1553948374.568 * * * * [progress]: [ 1 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 2 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 3 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 4 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 5 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 6 / 17 ] simplifiying candidate # 1553948374.568 * * * * [progress]: [ 7 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 8 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 9 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 10 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 11 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 12 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #real (real->posit16 (+ a (+ (+ b c) d)))) 2))> 1553948374.569 * * * * [progress]: [ 14 / 17 ] simplifiying candidate # 1553948374.569 * * * * [progress]: [ 15 / 17 ] simplifiying candidate # 1553948374.569 * [simplify]: Simplifying (+ a (+ b c)) 1553948374.569 * * [simplify]: iters left: 4 (5 enodes) 1553948374.572 * * [simplify]: iters left: 3 (19 enodes) 1553948374.577 * * [simplify]: iters left: 2 (27 enodes) 1553948374.584 * * [simplify]: iters left: 1 (32 enodes) 1553948374.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.591 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.591 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.591 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.591 * [simplify]: Simplified to (+ (+ a c) b) 1553948374.592 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a c) b) 2)) 1553948374.592 * * * * [progress]: [ 16 / 17 ] simplifiying candidate # 1553948374.592 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.592 * * [simplify]: iters left: 4 (5 enodes) 1553948374.594 * * [simplify]: iters left: 3 (19 enodes) 1553948374.603 * * [simplify]: iters left: 2 (27 enodes) 1553948374.610 * * [simplify]: iters left: 1 (32 enodes) 1553948374.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.618 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.618 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.618 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.618 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.618 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553948374.618 * * * * [progress]: [ 17 / 17 ] simplifiying candidate # 1553948374.619 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.619 * * [simplify]: iters left: 4 (5 enodes) 1553948374.621 * * [simplify]: iters left: 3 (19 enodes) 1553948374.626 * * [simplify]: iters left: 2 (27 enodes) 1553948374.633 * * [simplify]: iters left: 1 (32 enodes) 1553948374.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.637 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.637 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.637 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.637 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.637 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553948374.637 * * * [progress]: adding candidates to table 1553948374.749 * * [progress]: iteration 3 / 4 1553948374.749 * * * [progress]: picking best candidate 1553948374.789 * * * * [pick]: Picked # 1553948374.789 * * * [progress]: localizing error 1553948374.799 * * * [progress]: generating rewritten candidates 1553948374.799 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1553948374.831 * * * [progress]: generating series expansions 1553948374.831 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1553948374.831 * [backup-simplify]: Simplify (+ (+ (+ b c) d) a) into (+ a (+ b (+ c d))) 1553948374.831 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b c d a) around 0 1553948374.831 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553948374.831 * [taylor]: Taking taylor expansion of a in a 1553948374.831 * [backup-simplify]: Simplify 0 into 0 1553948374.831 * [backup-simplify]: Simplify 1 into 1 1553948374.831 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553948374.831 * [taylor]: Taking taylor expansion of b in a 1553948374.831 * [backup-simplify]: Simplify b into b 1553948374.831 * [taylor]: Taking taylor expansion of (+ c d) in a 1553948374.831 * [taylor]: Taking taylor expansion of c in a 1553948374.831 * [backup-simplify]: Simplify c into c 1553948374.831 * [taylor]: Taking taylor expansion of d in a 1553948374.831 * [backup-simplify]: Simplify d into d 1553948374.831 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1553948374.831 * [taylor]: Taking taylor expansion of a in d 1553948374.831 * [backup-simplify]: Simplify a into a 1553948374.831 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553948374.831 * [taylor]: Taking taylor expansion of b in d 1553948374.831 * [backup-simplify]: Simplify b into b 1553948374.831 * [taylor]: Taking taylor expansion of (+ c d) in d 1553948374.832 * [taylor]: Taking taylor expansion of c in d 1553948374.832 * [backup-simplify]: Simplify c into c 1553948374.832 * [taylor]: Taking taylor expansion of d in d 1553948374.832 * [backup-simplify]: Simplify 0 into 0 1553948374.832 * [backup-simplify]: Simplify 1 into 1 1553948374.832 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1553948374.832 * [taylor]: Taking taylor expansion of a in c 1553948374.832 * [backup-simplify]: Simplify a into a 1553948374.832 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553948374.832 * [taylor]: Taking taylor expansion of b in c 1553948374.832 * [backup-simplify]: Simplify b into b 1553948374.832 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948374.832 * [taylor]: Taking taylor expansion of c in c 1553948374.832 * [backup-simplify]: Simplify 0 into 0 1553948374.832 * [backup-simplify]: Simplify 1 into 1 1553948374.832 * [taylor]: Taking taylor expansion of d in c 1553948374.832 * [backup-simplify]: Simplify d into d 1553948374.832 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553948374.832 * [taylor]: Taking taylor expansion of a in b 1553948374.832 * [backup-simplify]: Simplify a into a 1553948374.832 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948374.832 * [taylor]: Taking taylor expansion of b in b 1553948374.832 * [backup-simplify]: Simplify 0 into 0 1553948374.832 * [backup-simplify]: Simplify 1 into 1 1553948374.832 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948374.832 * [taylor]: Taking taylor expansion of c in b 1553948374.832 * [backup-simplify]: Simplify c into c 1553948374.832 * [taylor]: Taking taylor expansion of d in b 1553948374.832 * [backup-simplify]: Simplify d into d 1553948374.832 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553948374.832 * [taylor]: Taking taylor expansion of a in b 1553948374.832 * [backup-simplify]: Simplify a into a 1553948374.832 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553948374.832 * [taylor]: Taking taylor expansion of b in b 1553948374.832 * [backup-simplify]: Simplify 0 into 0 1553948374.832 * [backup-simplify]: Simplify 1 into 1 1553948374.833 * [taylor]: Taking taylor expansion of (+ c d) in b 1553948374.833 * [taylor]: Taking taylor expansion of c in b 1553948374.833 * [backup-simplify]: Simplify c into c 1553948374.833 * [taylor]: Taking taylor expansion of d in b 1553948374.833 * [backup-simplify]: Simplify d into d 1553948374.833 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553948374.833 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 1553948374.833 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 1553948374.833 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in c 1553948374.833 * [taylor]: Taking taylor expansion of a in c 1553948374.833 * [backup-simplify]: Simplify a into a 1553948374.833 * [taylor]: Taking taylor expansion of (+ c d) in c 1553948374.833 * [taylor]: Taking taylor expansion of c in c 1553948374.833 * [backup-simplify]: Simplify 0 into 0 1553948374.833 * [backup-simplify]: Simplify 1 into 1 1553948374.833 * [taylor]: Taking taylor expansion of d in c 1553948374.833 * [backup-simplify]: Simplify d into d 1553948374.833 * [backup-simplify]: Simplify (+ 0 d) into d 1553948374.833 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1553948374.833 * [taylor]: Taking taylor expansion of (+ a d) in d 1553948374.833 * [taylor]: Taking taylor expansion of a in d 1553948374.833 * [backup-simplify]: Simplify a into a 1553948374.833 * [taylor]: Taking taylor expansion of d in d 1553948374.833 * [backup-simplify]: Simplify 0 into 0 1553948374.833 * [backup-simplify]: Simplify 1 into 1 1553948374.834 * [backup-simplify]: Simplify (+ a 0) into a 1553948374.834 * [taylor]: Taking taylor expansion of a in a 1553948374.834 * [backup-simplify]: Simplify 0 into 0 1553948374.834 * [backup-simplify]: Simplify 1 into 1 1553948374.834 * [backup-simplify]: Simplify 0 into 0 1553948374.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.835 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.835 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.835 * [taylor]: Taking taylor expansion of 1 in c 1553948374.835 * [backup-simplify]: Simplify 1 into 1 1553948374.835 * [taylor]: Taking taylor expansion of 1 in d 1553948374.835 * [backup-simplify]: Simplify 1 into 1 1553948374.835 * [taylor]: Taking taylor expansion of 1 in a 1553948374.835 * [backup-simplify]: Simplify 1 into 1 1553948374.836 * [backup-simplify]: Simplify 1 into 1 1553948374.836 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.837 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.837 * [taylor]: Taking taylor expansion of 1 in d 1553948374.837 * [backup-simplify]: Simplify 1 into 1 1553948374.837 * [taylor]: Taking taylor expansion of 1 in a 1553948374.837 * [backup-simplify]: Simplify 1 into 1 1553948374.837 * [backup-simplify]: Simplify 1 into 1 1553948374.837 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.837 * [taylor]: Taking taylor expansion of 1 in a 1553948374.837 * [backup-simplify]: Simplify 1 into 1 1553948374.837 * [backup-simplify]: Simplify 1 into 1 1553948374.838 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 1553948374.838 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) 1553948374.838 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (b c d a) around 0 1553948374.839 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 1553948374.839 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.839 * [taylor]: Taking taylor expansion of b in a 1553948374.839 * [backup-simplify]: Simplify b into b 1553948374.839 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.839 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 1553948374.839 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.839 * [taylor]: Taking taylor expansion of c in a 1553948374.839 * [backup-simplify]: Simplify c into c 1553948374.839 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.839 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 1553948374.839 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.839 * [taylor]: Taking taylor expansion of d in a 1553948374.839 * [backup-simplify]: Simplify d into d 1553948374.839 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.839 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.839 * [taylor]: Taking taylor expansion of a in a 1553948374.839 * [backup-simplify]: Simplify 0 into 0 1553948374.839 * [backup-simplify]: Simplify 1 into 1 1553948374.840 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.840 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 1553948374.840 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.840 * [taylor]: Taking taylor expansion of b in d 1553948374.840 * [backup-simplify]: Simplify b into b 1553948374.840 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.840 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 1553948374.840 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.840 * [taylor]: Taking taylor expansion of c in d 1553948374.840 * [backup-simplify]: Simplify c into c 1553948374.840 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.840 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 1553948374.840 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.840 * [taylor]: Taking taylor expansion of d in d 1553948374.840 * [backup-simplify]: Simplify 0 into 0 1553948374.840 * [backup-simplify]: Simplify 1 into 1 1553948374.841 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.841 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.841 * [taylor]: Taking taylor expansion of a in d 1553948374.841 * [backup-simplify]: Simplify a into a 1553948374.841 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.841 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 1553948374.841 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.841 * [taylor]: Taking taylor expansion of b in c 1553948374.841 * [backup-simplify]: Simplify b into b 1553948374.841 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.841 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 1553948374.841 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.841 * [taylor]: Taking taylor expansion of c in c 1553948374.841 * [backup-simplify]: Simplify 0 into 0 1553948374.841 * [backup-simplify]: Simplify 1 into 1 1553948374.841 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.841 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 1553948374.841 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.842 * [taylor]: Taking taylor expansion of d in c 1553948374.842 * [backup-simplify]: Simplify d into d 1553948374.842 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.842 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.842 * [taylor]: Taking taylor expansion of a in c 1553948374.842 * [backup-simplify]: Simplify a into a 1553948374.842 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.842 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 1553948374.842 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.842 * [taylor]: Taking taylor expansion of b in b 1553948374.842 * [backup-simplify]: Simplify 0 into 0 1553948374.842 * [backup-simplify]: Simplify 1 into 1 1553948374.842 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.842 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 1553948374.842 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.842 * [taylor]: Taking taylor expansion of c in b 1553948374.842 * [backup-simplify]: Simplify c into c 1553948374.842 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.842 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 1553948374.842 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.842 * [taylor]: Taking taylor expansion of d in b 1553948374.843 * [backup-simplify]: Simplify d into d 1553948374.843 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.843 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.843 * [taylor]: Taking taylor expansion of a in b 1553948374.843 * [backup-simplify]: Simplify a into a 1553948374.843 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.843 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 1553948374.843 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.843 * [taylor]: Taking taylor expansion of b in b 1553948374.843 * [backup-simplify]: Simplify 0 into 0 1553948374.843 * [backup-simplify]: Simplify 1 into 1 1553948374.843 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.843 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 1553948374.843 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.843 * [taylor]: Taking taylor expansion of c in b 1553948374.843 * [backup-simplify]: Simplify c into c 1553948374.843 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.843 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 1553948374.844 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.844 * [taylor]: Taking taylor expansion of d in b 1553948374.844 * [backup-simplify]: Simplify d into d 1553948374.844 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.844 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.844 * [taylor]: Taking taylor expansion of a in b 1553948374.844 * [backup-simplify]: Simplify a into a 1553948374.844 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.844 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.844 * [taylor]: Taking taylor expansion of 1 in c 1553948374.844 * [backup-simplify]: Simplify 1 into 1 1553948374.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.845 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d)) 1553948374.845 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 1553948374.846 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 1553948374.846 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in c 1553948374.846 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.846 * [taylor]: Taking taylor expansion of a in c 1553948374.846 * [backup-simplify]: Simplify a into a 1553948374.846 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.846 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553948374.846 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.846 * [taylor]: Taking taylor expansion of d in c 1553948374.846 * [backup-simplify]: Simplify d into d 1553948374.846 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.846 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.846 * [taylor]: Taking taylor expansion of c in c 1553948374.846 * [backup-simplify]: Simplify 0 into 0 1553948374.846 * [backup-simplify]: Simplify 1 into 1 1553948374.846 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.847 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.847 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.847 * [taylor]: Taking taylor expansion of 1 in d 1553948374.847 * [backup-simplify]: Simplify 1 into 1 1553948374.847 * [taylor]: Taking taylor expansion of 1 in d 1553948374.847 * [backup-simplify]: Simplify 1 into 1 1553948374.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1553948374.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.850 * [taylor]: Taking taylor expansion of 0 in c 1553948374.850 * [backup-simplify]: Simplify 0 into 0 1553948374.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.851 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1553948374.851 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1553948374.851 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1553948374.851 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.851 * [taylor]: Taking taylor expansion of a in d 1553948374.852 * [backup-simplify]: Simplify a into a 1553948374.852 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.852 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.852 * [taylor]: Taking taylor expansion of d in d 1553948374.852 * [backup-simplify]: Simplify 0 into 0 1553948374.852 * [backup-simplify]: Simplify 1 into 1 1553948374.852 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.852 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.853 * [taylor]: Taking taylor expansion of 1 in a 1553948374.853 * [backup-simplify]: Simplify 1 into 1 1553948374.853 * [taylor]: Taking taylor expansion of 0 in d 1553948374.853 * [backup-simplify]: Simplify 0 into 0 1553948374.853 * [taylor]: Taking taylor expansion of 1 in a 1553948374.853 * [backup-simplify]: Simplify 1 into 1 1553948374.853 * [taylor]: Taking taylor expansion of 1 in a 1553948374.853 * [backup-simplify]: Simplify 1 into 1 1553948374.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948374.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948374.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1553948374.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.855 * [taylor]: Taking taylor expansion of 0 in c 1553948374.855 * [backup-simplify]: Simplify 0 into 0 1553948374.855 * [taylor]: Taking taylor expansion of 0 in d 1553948374.856 * [backup-simplify]: Simplify 0 into 0 1553948374.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1553948374.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.857 * [taylor]: Taking taylor expansion of 0 in d 1553948374.857 * [backup-simplify]: Simplify 0 into 0 1553948374.858 * [taylor]: Taking taylor expansion of 0 in d 1553948374.858 * [backup-simplify]: Simplify 0 into 0 1553948374.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.858 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1553948374.858 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.859 * [taylor]: Taking taylor expansion of a in a 1553948374.859 * [backup-simplify]: Simplify 0 into 0 1553948374.859 * [backup-simplify]: Simplify 1 into 1 1553948374.859 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.859 * [backup-simplify]: Simplify 1 into 1 1553948374.859 * [taylor]: Taking taylor expansion of 0 in a 1553948374.859 * [backup-simplify]: Simplify 0 into 0 1553948374.859 * [taylor]: Taking taylor expansion of 0 in a 1553948374.859 * [backup-simplify]: Simplify 0 into 0 1553948374.859 * [taylor]: Taking taylor expansion of 0 in a 1553948374.859 * [backup-simplify]: Simplify 0 into 0 1553948374.859 * [backup-simplify]: Simplify 1 into 1 1553948374.859 * [backup-simplify]: Simplify 1 into 1 1553948374.860 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ c d)) 1553948374.861 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) 1553948374.861 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (b c d a) around 0 1553948374.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 1553948374.861 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 1553948374.861 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553948374.861 * [taylor]: Taking taylor expansion of b in a 1553948374.861 * [backup-simplify]: Simplify b into b 1553948374.861 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.861 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 1553948374.861 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553948374.861 * [taylor]: Taking taylor expansion of c in a 1553948374.861 * [backup-simplify]: Simplify c into c 1553948374.861 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.861 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 1553948374.861 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553948374.861 * [taylor]: Taking taylor expansion of d in a 1553948374.861 * [backup-simplify]: Simplify d into d 1553948374.861 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.861 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.861 * [taylor]: Taking taylor expansion of a in a 1553948374.861 * [backup-simplify]: Simplify 0 into 0 1553948374.862 * [backup-simplify]: Simplify 1 into 1 1553948374.862 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.862 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 1553948374.862 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 1553948374.862 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553948374.862 * [taylor]: Taking taylor expansion of b in d 1553948374.862 * [backup-simplify]: Simplify b into b 1553948374.862 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.862 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 1553948374.862 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553948374.862 * [taylor]: Taking taylor expansion of c in d 1553948374.862 * [backup-simplify]: Simplify c into c 1553948374.862 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.862 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 1553948374.862 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.862 * [taylor]: Taking taylor expansion of d in d 1553948374.862 * [backup-simplify]: Simplify 0 into 0 1553948374.862 * [backup-simplify]: Simplify 1 into 1 1553948374.863 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.863 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.863 * [taylor]: Taking taylor expansion of a in d 1553948374.863 * [backup-simplify]: Simplify a into a 1553948374.863 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.863 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c 1553948374.863 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 1553948374.863 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553948374.863 * [taylor]: Taking taylor expansion of b in c 1553948374.863 * [backup-simplify]: Simplify b into b 1553948374.863 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553948374.863 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 1553948374.863 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.863 * [taylor]: Taking taylor expansion of c in c 1553948374.863 * [backup-simplify]: Simplify 0 into 0 1553948374.863 * [backup-simplify]: Simplify 1 into 1 1553948374.864 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.864 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 1553948374.864 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.864 * [taylor]: Taking taylor expansion of d in c 1553948374.864 * [backup-simplify]: Simplify d into d 1553948374.864 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.864 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.864 * [taylor]: Taking taylor expansion of a in c 1553948374.864 * [backup-simplify]: Simplify a into a 1553948374.864 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.864 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 1553948374.864 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 1553948374.864 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.864 * [taylor]: Taking taylor expansion of b in b 1553948374.864 * [backup-simplify]: Simplify 0 into 0 1553948374.864 * [backup-simplify]: Simplify 1 into 1 1553948374.864 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.865 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 1553948374.865 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.865 * [taylor]: Taking taylor expansion of c in b 1553948374.865 * [backup-simplify]: Simplify c into c 1553948374.865 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.865 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 1553948374.865 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.865 * [taylor]: Taking taylor expansion of d in b 1553948374.865 * [backup-simplify]: Simplify d into d 1553948374.865 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.865 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.865 * [taylor]: Taking taylor expansion of a in b 1553948374.865 * [backup-simplify]: Simplify a into a 1553948374.865 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 1553948374.865 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 1553948374.865 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553948374.865 * [taylor]: Taking taylor expansion of b in b 1553948374.865 * [backup-simplify]: Simplify 0 into 0 1553948374.865 * [backup-simplify]: Simplify 1 into 1 1553948374.866 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.866 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 1553948374.866 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553948374.866 * [taylor]: Taking taylor expansion of c in b 1553948374.866 * [backup-simplify]: Simplify c into c 1553948374.866 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553948374.866 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 1553948374.866 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553948374.866 * [taylor]: Taking taylor expansion of d in b 1553948374.866 * [backup-simplify]: Simplify d into d 1553948374.866 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.866 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553948374.866 * [taylor]: Taking taylor expansion of a in b 1553948374.866 * [backup-simplify]: Simplify a into a 1553948374.866 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.867 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.867 * [backup-simplify]: Simplify (- 1) into -1 1553948374.867 * [taylor]: Taking taylor expansion of -1 in c 1553948374.867 * [backup-simplify]: Simplify -1 into -1 1553948374.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.868 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d)) 1553948374.868 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 1553948374.868 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 1553948374.869 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 1553948374.869 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1553948374.869 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1553948374.869 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553948374.869 * [taylor]: Taking taylor expansion of a in c 1553948374.869 * [backup-simplify]: Simplify a into a 1553948374.869 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.869 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553948374.869 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553948374.869 * [taylor]: Taking taylor expansion of c in c 1553948374.869 * [backup-simplify]: Simplify 0 into 0 1553948374.869 * [backup-simplify]: Simplify 1 into 1 1553948374.869 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.869 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553948374.869 * [taylor]: Taking taylor expansion of d in c 1553948374.869 * [backup-simplify]: Simplify d into d 1553948374.869 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553948374.870 * [backup-simplify]: Simplify (+ 1 0) into 1 1553948374.870 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.871 * [backup-simplify]: Simplify (- 1) into -1 1553948374.871 * [taylor]: Taking taylor expansion of -1 in d 1553948374.871 * [backup-simplify]: Simplify -1 into -1 1553948374.871 * [taylor]: Taking taylor expansion of -1 in d 1553948374.871 * [backup-simplify]: Simplify -1 into -1 1553948374.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553948374.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1553948374.873 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.873 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.873 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.874 * [backup-simplify]: Simplify (- 0) into 0 1553948374.874 * [taylor]: Taking taylor expansion of 0 in c 1553948374.874 * [backup-simplify]: Simplify 0 into 0 1553948374.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.875 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553948374.875 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1553948374.875 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1553948374.875 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1553948374.875 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1553948374.875 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553948374.875 * [taylor]: Taking taylor expansion of a in d 1553948374.875 * [backup-simplify]: Simplify a into a 1553948374.875 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553948374.875 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553948374.875 * [taylor]: Taking taylor expansion of d in d 1553948374.875 * [backup-simplify]: Simplify 0 into 0 1553948374.875 * [backup-simplify]: Simplify 1 into 1 1553948374.876 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.876 * [backup-simplify]: Simplify (+ 0 1) into 1 1553948374.877 * [backup-simplify]: Simplify (- 1) into -1 1553948374.877 * [taylor]: Taking taylor expansion of -1 in a 1553948374.877 * [backup-simplify]: Simplify -1 into -1 1553948374.877 * [taylor]: Taking taylor expansion of 0 in d 1553948374.877 * [backup-simplify]: Simplify 0 into 0 1553948374.877 * [taylor]: Taking taylor expansion of -1 in a 1553948374.877 * [backup-simplify]: Simplify -1 into -1 1553948374.877 * [taylor]: Taking taylor expansion of -1 in a 1553948374.877 * [backup-simplify]: Simplify -1 into -1 1553948374.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553948374.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553948374.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1553948374.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.884 * [backup-simplify]: Simplify (- 0) into 0 1553948374.884 * [taylor]: Taking taylor expansion of 0 in c 1553948374.884 * [backup-simplify]: Simplify 0 into 0 1553948374.884 * [taylor]: Taking taylor expansion of 0 in d 1553948374.884 * [backup-simplify]: Simplify 0 into 0 1553948374.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1553948374.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553948374.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553948374.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1553948374.887 * [backup-simplify]: Simplify (- 0) into 0 1553948374.887 * [taylor]: Taking taylor expansion of 0 in d 1553948374.887 * [backup-simplify]: Simplify 0 into 0 1553948374.887 * [taylor]: Taking taylor expansion of 0 in d 1553948374.887 * [backup-simplify]: Simplify 0 into 0 1553948374.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553948374.888 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1553948374.888 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1553948374.888 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1553948374.888 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553948374.888 * [taylor]: Taking taylor expansion of a in a 1553948374.888 * [backup-simplify]: Simplify 0 into 0 1553948374.888 * [backup-simplify]: Simplify 1 into 1 1553948374.888 * [backup-simplify]: Simplify (/ 1 1) into 1 1553948374.889 * [backup-simplify]: Simplify (- 1) into -1 1553948374.889 * [backup-simplify]: Simplify -1 into -1 1553948374.889 * [taylor]: Taking taylor expansion of 0 in a 1553948374.889 * [backup-simplify]: Simplify 0 into 0 1553948374.889 * [taylor]: Taking taylor expansion of 0 in a 1553948374.889 * [backup-simplify]: Simplify 0 into 0 1553948374.889 * [taylor]: Taking taylor expansion of 0 in a 1553948374.889 * [backup-simplify]: Simplify 0 into 0 1553948374.889 * [backup-simplify]: Simplify -1 into -1 1553948374.889 * [backup-simplify]: Simplify -1 into -1 1553948374.890 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ c d)) 1553948374.890 * * * [progress]: simplifying candidates 1553948374.890 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1553948374.890 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1553948374.890 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1553948374.891 * [simplify]: Simplifying (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))) 1553948374.891 * * [simplify]: iters left: 6 (7 enodes) 1553948374.894 * * [simplify]: iters left: 5 (25 enodes) 1553948374.901 * * [simplify]: iters left: 4 (33 enodes) 1553948374.905 * * [simplify]: iters left: 3 (38 enodes) 1553948374.910 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.910 * * [simplify]: Extracting #1: cost 3 inf + 0 1553948374.910 * * [simplify]: Extracting #2: cost 5 inf + 0 1553948374.910 * * [simplify]: Extracting #3: cost 12 inf + 0 1553948374.910 * * [simplify]: Extracting #4: cost 12 inf + 3 1553948374.910 * * [simplify]: Extracting #5: cost 5 inf + 500 1553948374.910 * * [simplify]: Extracting #6: cost 1 inf + 950 1553948374.911 * * [simplify]: Extracting #7: cost 0 inf + 1153 1553948374.911 * [simplify]: Simplified to (* (cbrt (+ d (+ c b))) (cbrt (+ d (+ c b)))) 1553948374.911 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (fma (* (cbrt (+ d (+ c b))) (cbrt (+ d (+ c b)))) (cbrt (+ (+ b c) d)) a) 2)) 1553948374.911 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1553948374.911 * [simplify]: Simplifying (sqrt (+ (+ b c) d)) 1553948374.911 * * [simplify]: iters left: 5 (6 enodes) 1553948374.913 * * [simplify]: iters left: 4 (22 enodes) 1553948374.916 * * [simplify]: iters left: 3 (30 enodes) 1553948374.920 * * [simplify]: iters left: 2 (35 enodes) 1553948374.923 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.924 * * [simplify]: Extracting #1: cost 3 inf + 0 1553948374.924 * * [simplify]: Extracting #2: cost 10 inf + 0 1553948374.924 * * [simplify]: Extracting #3: cost 10 inf + 3 1553948374.924 * * [simplify]: Extracting #4: cost 2 inf + 502 1553948374.924 * * [simplify]: Extracting #5: cost 0 inf + 667 1553948374.924 * [simplify]: Simplified to (sqrt (+ d (+ c b))) 1553948374.924 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (fma (sqrt (+ d (+ c b))) (sqrt (+ (+ b c) d)) a) 2)) 1553948374.924 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1553948374.924 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1553948374.924 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1553948374.924 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1553948374.924 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1553948374.924 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1553948374.925 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1553948374.925 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1553948374.925 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1553948374.925 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1553948374.925 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1553948374.925 * [simplify]: Simplifying (+ b c) 1553948374.925 * * [simplify]: iters left: 2 (3 enodes) 1553948374.926 * * [simplify]: iters left: 1 (10 enodes) 1553948374.927 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.927 * * [simplify]: Extracting #1: cost 4 inf + 0 1553948374.927 * * [simplify]: Extracting #2: cost 2 inf + 2 1553948374.927 * * [simplify]: Extracting #3: cost 0 inf + 86 1553948374.927 * [simplify]: Simplified to (+ c b) 1553948374.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ c b) (+ d a)) 2)) 1553948374.927 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #real (real->posit16 (+ (+ (+ b c) d) a))) 2))> 1553948374.927 * * * * [progress]: [ 17 / 20 ] simplifiying candidate # 1553948374.927 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1553948374.927 * [simplify]: Simplifying (+ b (+ c d)) 1553948374.927 * * [simplify]: iters left: 4 (5 enodes) 1553948374.928 * * [simplify]: iters left: 3 (19 enodes) 1553948374.931 * * [simplify]: iters left: 2 (27 enodes) 1553948374.936 * * [simplify]: iters left: 1 (32 enodes) 1553948374.943 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.944 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.944 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.944 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.944 * [simplify]: Simplified to (+ (+ b d) c) 1553948374.944 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553948374.944 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1553948374.945 * [simplify]: Simplifying (+ a (+ c d)) 1553948374.945 * * [simplify]: iters left: 4 (5 enodes) 1553948374.947 * * [simplify]: iters left: 3 (19 enodes) 1553948374.952 * * [simplify]: iters left: 2 (27 enodes) 1553948374.960 * * [simplify]: iters left: 1 (32 enodes) 1553948374.967 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.967 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.967 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.967 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.968 * [simplify]: Simplified to (+ (+ a d) c) 1553948374.968 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a d) c) 2)) 1553948374.968 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1553948374.968 * [simplify]: Simplifying (+ a (+ c d)) 1553948374.968 * * [simplify]: iters left: 4 (5 enodes) 1553948374.970 * * [simplify]: iters left: 3 (19 enodes) 1553948374.976 * * [simplify]: iters left: 2 (27 enodes) 1553948374.983 * * [simplify]: iters left: 1 (32 enodes) 1553948374.990 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948374.990 * * [simplify]: Extracting #1: cost 8 inf + 0 1553948374.990 * * [simplify]: Extracting #2: cost 7 inf + 45 1553948374.990 * * [simplify]: Extracting #3: cost 0 inf + 421 1553948374.991 * [simplify]: Simplified to (+ (+ a d) c) 1553948374.991 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a d) c) 2)) 1553948374.991 * * * [progress]: adding candidates to table 1553948375.139 * * [progress]: iteration 4 / 4 1553948375.139 * * * [progress]: picking best candidate 1553948375.142 * * * * [pick]: Picked # 1553948375.142 * * * [progress]: localizing error 1553948375.152 * * * [progress]: generating rewritten candidates 1553948375.152 * * * [progress]: generating series expansions 1553948375.152 * * * [progress]: simplifying candidates 1553948375.152 * * * [progress]: adding candidates to table 1553948375.153 * [progress]: [Phase 3 of 3] Extracting. 1553948375.155 * [simplify]: Simplifying (* (+ (+ b c) (+ d a)) 2) 1553948375.155 * * [simplify]: iters left: 6 (9 enodes) 1553948375.156 * * [simplify]: iters left: 5 (13 enodes) 1553948375.156 * * [simplify]: Extracting #0: cost 1 inf + 0 1553948375.156 * * [simplify]: Extracting #1: cost 3 inf + 0 1553948375.156 * * [simplify]: Extracting #2: cost 4 inf + 1 1553948375.156 * * [simplify]: Extracting #3: cost 8 inf + 1 1553948375.156 * * [simplify]: Extracting #4: cost 3 inf + 47 1553948375.156 * * [simplify]: Extracting #5: cost 0 inf + 378 1553948375.156 * [simplify]: Simplified to (* 2 (+ (+ d a) (+ c b))) 1553948376.797 * [regime-testing]: Baseline error score: 0 1553948376.798 * [regime-testing]: Oracle error score: 0 1553948376.798 * [regime-testing]: End program error score: 0 1553948376.867 * [regime-testing]: Target error score: 3.824863204908743