1553850972.737 * [progress]: [Phase 1 of 3] Setting up. 1553850972.737 * * * [progress]: [1/2] Preparing points 1553850972.781 * * * [progress]: [2/2] Setting up program. 1553850972.784 * [progress]: [Phase 2 of 3] Improving. 1553850972.784 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553850972.784 * [simplify]: Simplifying (* (+ a (+ b (+ c d))) 2) 1553850972.784 * * [simplify]: iters left: 6 (9 enodes) 1553850972.788 * * [simplify]: iters left: 5 (35 enodes) 1553850972.799 * * [simplify]: iters left: 4 (73 enodes) 1553850972.844 * * [simplify]: iters left: 3 (172 enodes) 1553850972.895 * * [simplify]: iters left: 2 (332 enodes) 1553850972.966 * * [simplify]: iters left: 1 (373 enodes) 1553850973.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.020 * * [simplify]: Extracting #1: cost 18 inf + 0 1553850973.021 * * [simplify]: Extracting #2: cost 46 inf + 1 1553850973.021 * * [simplify]: Extracting #3: cost 42 inf + 588 1553850973.024 * * [simplify]: Extracting #4: cost 7 inf + 3452 1553850973.027 * * [simplify]: Extracting #5: cost 0 inf + 4075 1553850973.030 * [simplify]: Simplified to (* 2 (+ (+ a (+ b c)) d)) 1553850973.030 * [simplify]: Simplified (2) to (λ (a b c d) (* 2 (+ (+ a (+ b c)) d))) 1553850973.035 * * [progress]: iteration 1 / 4 1553850973.036 * * * [progress]: picking best candidate 1553850973.040 * * * * [pick]: Picked # 1553850973.040 * * * [progress]: localizing error 1553850973.064 * * * [progress]: generating rewritten candidates 1553850973.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1553850973.119 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 1553850973.130 * * * [progress]: generating series expansions 1553850973.130 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1553850973.131 * [backup-simplify]: Simplify (+ a (+ b (+ c d))) into (+ a (+ b (+ c d))) 1553850973.131 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0 1553850973.131 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1553850973.131 * [taylor]: Taking taylor expansion of a in d 1553850973.131 * [backup-simplify]: Simplify a into a 1553850973.131 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553850973.131 * [taylor]: Taking taylor expansion of b in d 1553850973.131 * [backup-simplify]: Simplify b into b 1553850973.131 * [taylor]: Taking taylor expansion of (+ c d) in d 1553850973.131 * [taylor]: Taking taylor expansion of c in d 1553850973.131 * [backup-simplify]: Simplify c into c 1553850973.131 * [taylor]: Taking taylor expansion of d in d 1553850973.131 * [backup-simplify]: Simplify 0 into 0 1553850973.131 * [backup-simplify]: Simplify 1 into 1 1553850973.131 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1553850973.131 * [taylor]: Taking taylor expansion of a in c 1553850973.131 * [backup-simplify]: Simplify a into a 1553850973.131 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553850973.131 * [taylor]: Taking taylor expansion of b in c 1553850973.131 * [backup-simplify]: Simplify b into b 1553850973.131 * [taylor]: Taking taylor expansion of (+ c d) in c 1553850973.131 * [taylor]: Taking taylor expansion of c in c 1553850973.131 * [backup-simplify]: Simplify 0 into 0 1553850973.131 * [backup-simplify]: Simplify 1 into 1 1553850973.131 * [taylor]: Taking taylor expansion of d in c 1553850973.131 * [backup-simplify]: Simplify d into d 1553850973.131 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553850973.131 * [taylor]: Taking taylor expansion of a in b 1553850973.131 * [backup-simplify]: Simplify a into a 1553850973.131 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553850973.131 * [taylor]: Taking taylor expansion of b in b 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.132 * [taylor]: Taking taylor expansion of (+ c d) in b 1553850973.132 * [taylor]: Taking taylor expansion of c in b 1553850973.132 * [backup-simplify]: Simplify c into c 1553850973.132 * [taylor]: Taking taylor expansion of d in b 1553850973.132 * [backup-simplify]: Simplify d into d 1553850973.132 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553850973.132 * [taylor]: Taking taylor expansion of a in a 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.132 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553850973.132 * [taylor]: Taking taylor expansion of b in a 1553850973.132 * [backup-simplify]: Simplify b into b 1553850973.132 * [taylor]: Taking taylor expansion of (+ c d) in a 1553850973.132 * [taylor]: Taking taylor expansion of c in a 1553850973.132 * [backup-simplify]: Simplify c into c 1553850973.132 * [taylor]: Taking taylor expansion of d in a 1553850973.132 * [backup-simplify]: Simplify d into d 1553850973.132 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553850973.132 * [taylor]: Taking taylor expansion of a in a 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.132 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553850973.132 * [taylor]: Taking taylor expansion of b in a 1553850973.132 * [backup-simplify]: Simplify b into b 1553850973.132 * [taylor]: Taking taylor expansion of (+ c d) in a 1553850973.132 * [taylor]: Taking taylor expansion of c in a 1553850973.132 * [backup-simplify]: Simplify c into c 1553850973.132 * [taylor]: Taking taylor expansion of d in a 1553850973.132 * [backup-simplify]: Simplify d into d 1553850973.132 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553850973.132 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553850973.132 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1553850973.132 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 1553850973.132 * [taylor]: Taking taylor expansion of c in b 1553850973.132 * [backup-simplify]: Simplify c into c 1553850973.132 * [taylor]: Taking taylor expansion of (+ b d) in b 1553850973.132 * [taylor]: Taking taylor expansion of b in b 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.132 * [taylor]: Taking taylor expansion of d in b 1553850973.132 * [backup-simplify]: Simplify d into d 1553850973.132 * [backup-simplify]: Simplify (+ 0 d) into d 1553850973.132 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553850973.132 * [taylor]: Taking taylor expansion of (+ c d) in c 1553850973.132 * [taylor]: Taking taylor expansion of c in c 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.132 * [taylor]: Taking taylor expansion of d in c 1553850973.132 * [backup-simplify]: Simplify d into d 1553850973.132 * [backup-simplify]: Simplify (+ 0 d) into d 1553850973.132 * [taylor]: Taking taylor expansion of d in d 1553850973.132 * [backup-simplify]: Simplify 0 into 0 1553850973.132 * [backup-simplify]: Simplify 1 into 1 1553850973.133 * [backup-simplify]: Simplify 0 into 0 1553850973.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.134 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.134 * [taylor]: Taking taylor expansion of 1 in b 1553850973.134 * [backup-simplify]: Simplify 1 into 1 1553850973.134 * [taylor]: Taking taylor expansion of 1 in c 1553850973.134 * [backup-simplify]: Simplify 1 into 1 1553850973.134 * [taylor]: Taking taylor expansion of 1 in d 1553850973.134 * [backup-simplify]: Simplify 1 into 1 1553850973.134 * [backup-simplify]: Simplify 1 into 1 1553850973.134 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.135 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850973.135 * [taylor]: Taking taylor expansion of 1 in c 1553850973.135 * [backup-simplify]: Simplify 1 into 1 1553850973.135 * [taylor]: Taking taylor expansion of 1 in d 1553850973.135 * [backup-simplify]: Simplify 1 into 1 1553850973.135 * [backup-simplify]: Simplify 1 into 1 1553850973.135 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.135 * [taylor]: Taking taylor expansion of 1 in d 1553850973.135 * [backup-simplify]: Simplify 1 into 1 1553850973.135 * [backup-simplify]: Simplify 1 into 1 1553850973.135 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1553850973.136 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553850973.136 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a b c d) around 0 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850973.136 * [taylor]: Taking taylor expansion of a in d 1553850973.136 * [backup-simplify]: Simplify a into a 1553850973.136 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850973.136 * [taylor]: Taking taylor expansion of b in d 1553850973.136 * [backup-simplify]: Simplify b into b 1553850973.136 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850973.136 * [taylor]: Taking taylor expansion of c in d 1553850973.136 * [backup-simplify]: Simplify c into c 1553850973.136 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.136 * [taylor]: Taking taylor expansion of d in d 1553850973.136 * [backup-simplify]: Simplify 0 into 0 1553850973.136 * [backup-simplify]: Simplify 1 into 1 1553850973.136 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553850973.136 * [taylor]: Taking taylor expansion of a in c 1553850973.136 * [backup-simplify]: Simplify a into a 1553850973.136 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850973.136 * [taylor]: Taking taylor expansion of b in c 1553850973.136 * [backup-simplify]: Simplify b into b 1553850973.136 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.136 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.136 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.136 * [taylor]: Taking taylor expansion of c in c 1553850973.136 * [backup-simplify]: Simplify 0 into 0 1553850973.137 * [backup-simplify]: Simplify 1 into 1 1553850973.137 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.137 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.137 * [taylor]: Taking taylor expansion of d in c 1553850973.137 * [backup-simplify]: Simplify d into d 1553850973.137 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.137 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553850973.137 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850973.137 * [taylor]: Taking taylor expansion of a in b 1553850973.137 * [backup-simplify]: Simplify a into a 1553850973.137 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.137 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.137 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.137 * [taylor]: Taking taylor expansion of b in b 1553850973.137 * [backup-simplify]: Simplify 0 into 0 1553850973.137 * [backup-simplify]: Simplify 1 into 1 1553850973.137 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.137 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.137 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.137 * [taylor]: Taking taylor expansion of c in b 1553850973.137 * [backup-simplify]: Simplify c into c 1553850973.137 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.137 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.137 * [taylor]: Taking taylor expansion of d in b 1553850973.137 * [backup-simplify]: Simplify d into d 1553850973.137 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.138 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850973.138 * [taylor]: Taking taylor expansion of a in a 1553850973.138 * [backup-simplify]: Simplify 0 into 0 1553850973.138 * [backup-simplify]: Simplify 1 into 1 1553850973.138 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.138 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850973.138 * [taylor]: Taking taylor expansion of b in a 1553850973.138 * [backup-simplify]: Simplify b into b 1553850973.138 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.138 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850973.138 * [taylor]: Taking taylor expansion of c in a 1553850973.138 * [backup-simplify]: Simplify c into c 1553850973.138 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850973.138 * [taylor]: Taking taylor expansion of d in a 1553850973.138 * [backup-simplify]: Simplify d into d 1553850973.138 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.138 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850973.138 * [taylor]: Taking taylor expansion of a in a 1553850973.138 * [backup-simplify]: Simplify 0 into 0 1553850973.138 * [backup-simplify]: Simplify 1 into 1 1553850973.138 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.138 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553850973.138 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850973.138 * [taylor]: Taking taylor expansion of b in a 1553850973.138 * [backup-simplify]: Simplify b into b 1553850973.139 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.139 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553850973.139 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850973.139 * [taylor]: Taking taylor expansion of c in a 1553850973.139 * [backup-simplify]: Simplify c into c 1553850973.139 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.139 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850973.139 * [taylor]: Taking taylor expansion of d in a 1553850973.139 * [backup-simplify]: Simplify d into d 1553850973.139 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.139 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.139 * [taylor]: Taking taylor expansion of 1 in b 1553850973.139 * [backup-simplify]: Simplify 1 into 1 1553850973.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.140 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850973.140 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553850973.140 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553850973.140 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553850973.140 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.140 * [taylor]: Taking taylor expansion of b in b 1553850973.140 * [backup-simplify]: Simplify 0 into 0 1553850973.140 * [backup-simplify]: Simplify 1 into 1 1553850973.140 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.140 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553850973.140 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.140 * [taylor]: Taking taylor expansion of d in b 1553850973.140 * [backup-simplify]: Simplify d into d 1553850973.140 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.140 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.140 * [taylor]: Taking taylor expansion of c in b 1553850973.140 * [backup-simplify]: Simplify c into c 1553850973.140 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.141 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.141 * [taylor]: Taking taylor expansion of 1 in c 1553850973.141 * [backup-simplify]: Simplify 1 into 1 1553850973.141 * [taylor]: Taking taylor expansion of 1 in c 1553850973.141 * [backup-simplify]: Simplify 1 into 1 1553850973.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850973.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.142 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.142 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.142 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.142 * [taylor]: Taking taylor expansion of 0 in b 1553850973.142 * [backup-simplify]: Simplify 0 into 0 1553850973.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.143 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553850973.143 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 1553850973.143 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553850973.143 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.143 * [taylor]: Taking taylor expansion of d in c 1553850973.143 * [backup-simplify]: Simplify d into d 1553850973.143 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.143 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.143 * [taylor]: Taking taylor expansion of c in c 1553850973.143 * [backup-simplify]: Simplify 0 into 0 1553850973.143 * [backup-simplify]: Simplify 1 into 1 1553850973.143 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.144 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850973.144 * [taylor]: Taking taylor expansion of 1 in d 1553850973.144 * [backup-simplify]: Simplify 1 into 1 1553850973.144 * [taylor]: Taking taylor expansion of 0 in c 1553850973.144 * [backup-simplify]: Simplify 0 into 0 1553850973.144 * [taylor]: Taking taylor expansion of 1 in d 1553850973.144 * [backup-simplify]: Simplify 1 into 1 1553850973.144 * [taylor]: Taking taylor expansion of 1 in d 1553850973.144 * [backup-simplify]: Simplify 1 into 1 1553850973.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553850973.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553850973.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553850973.145 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.145 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.145 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.145 * [taylor]: Taking taylor expansion of 0 in b 1553850973.145 * [backup-simplify]: Simplify 0 into 0 1553850973.146 * [taylor]: Taking taylor expansion of 0 in c 1553850973.146 * [backup-simplify]: Simplify 0 into 0 1553850973.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.146 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.147 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.147 * [taylor]: Taking taylor expansion of 0 in c 1553850973.147 * [backup-simplify]: Simplify 0 into 0 1553850973.147 * [taylor]: Taking taylor expansion of 0 in c 1553850973.147 * [backup-simplify]: Simplify 0 into 0 1553850973.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.147 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1553850973.147 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.147 * [taylor]: Taking taylor expansion of d in d 1553850973.147 * [backup-simplify]: Simplify 0 into 0 1553850973.147 * [backup-simplify]: Simplify 1 into 1 1553850973.148 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.148 * [backup-simplify]: Simplify 1 into 1 1553850973.148 * [taylor]: Taking taylor expansion of 0 in d 1553850973.148 * [backup-simplify]: Simplify 0 into 0 1553850973.148 * [taylor]: Taking taylor expansion of 0 in d 1553850973.148 * [backup-simplify]: Simplify 0 into 0 1553850973.148 * [taylor]: Taking taylor expansion of 0 in d 1553850973.148 * [backup-simplify]: Simplify 0 into 0 1553850973.148 * [backup-simplify]: Simplify 1 into 1 1553850973.148 * [backup-simplify]: Simplify 1 into 1 1553850973.149 * [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)) 1553850973.149 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 1553850973.149 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a b c d) around 0 1553850973.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 1553850973.149 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553850973.149 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850973.149 * [taylor]: Taking taylor expansion of a in d 1553850973.149 * [backup-simplify]: Simplify a into a 1553850973.149 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.149 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553850973.149 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850973.149 * [taylor]: Taking taylor expansion of b in d 1553850973.149 * [backup-simplify]: Simplify b into b 1553850973.149 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.149 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553850973.149 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850973.149 * [taylor]: Taking taylor expansion of c in d 1553850973.149 * [backup-simplify]: Simplify c into c 1553850973.149 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.149 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.150 * [taylor]: Taking taylor expansion of d in d 1553850973.150 * [backup-simplify]: Simplify 0 into 0 1553850973.150 * [backup-simplify]: Simplify 1 into 1 1553850973.150 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 1553850973.150 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553850973.150 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553850973.150 * [taylor]: Taking taylor expansion of a in c 1553850973.150 * [backup-simplify]: Simplify a into a 1553850973.150 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553850973.150 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850973.150 * [taylor]: Taking taylor expansion of b in c 1553850973.150 * [backup-simplify]: Simplify b into b 1553850973.150 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.150 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.150 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.150 * [taylor]: Taking taylor expansion of c in c 1553850973.150 * [backup-simplify]: Simplify 0 into 0 1553850973.150 * [backup-simplify]: Simplify 1 into 1 1553850973.151 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.151 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.151 * [taylor]: Taking taylor expansion of d in c 1553850973.151 * [backup-simplify]: Simplify d into d 1553850973.151 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.151 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 1553850973.151 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553850973.151 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850973.151 * [taylor]: Taking taylor expansion of a in b 1553850973.151 * [backup-simplify]: Simplify a into a 1553850973.151 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850973.151 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.151 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.151 * [taylor]: Taking taylor expansion of b in b 1553850973.151 * [backup-simplify]: Simplify 0 into 0 1553850973.151 * [backup-simplify]: Simplify 1 into 1 1553850973.152 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.152 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.152 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.152 * [taylor]: Taking taylor expansion of c in b 1553850973.152 * [backup-simplify]: Simplify c into c 1553850973.152 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.152 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.152 * [taylor]: Taking taylor expansion of d in b 1553850973.152 * [backup-simplify]: Simplify d into d 1553850973.152 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.152 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1553850973.152 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553850973.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850973.152 * [taylor]: Taking taylor expansion of a in a 1553850973.152 * [backup-simplify]: Simplify 0 into 0 1553850973.152 * [backup-simplify]: Simplify 1 into 1 1553850973.152 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.153 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553850973.153 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850973.153 * [taylor]: Taking taylor expansion of b in a 1553850973.153 * [backup-simplify]: Simplify b into b 1553850973.153 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.153 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553850973.153 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850973.153 * [taylor]: Taking taylor expansion of c in a 1553850973.153 * [backup-simplify]: Simplify c into c 1553850973.153 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.153 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850973.153 * [taylor]: Taking taylor expansion of d in a 1553850973.153 * [backup-simplify]: Simplify d into d 1553850973.153 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.153 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1553850973.153 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1553850973.153 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850973.153 * [taylor]: Taking taylor expansion of a in a 1553850973.153 * [backup-simplify]: Simplify 0 into 0 1553850973.153 * [backup-simplify]: Simplify 1 into 1 1553850973.154 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.154 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1553850973.154 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850973.154 * [taylor]: Taking taylor expansion of b in a 1553850973.154 * [backup-simplify]: Simplify b into b 1553850973.154 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.154 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1553850973.154 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850973.154 * [taylor]: Taking taylor expansion of c in a 1553850973.154 * [backup-simplify]: Simplify c into c 1553850973.154 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.154 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850973.154 * [taylor]: Taking taylor expansion of d in a 1553850973.154 * [backup-simplify]: Simplify d into d 1553850973.154 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.155 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.155 * [backup-simplify]: Simplify (- 1) into -1 1553850973.155 * [taylor]: Taking taylor expansion of -1 in b 1553850973.155 * [backup-simplify]: Simplify -1 into -1 1553850973.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.156 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850973.156 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553850973.157 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1553850973.157 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553850973.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553850973.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.157 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.157 * [taylor]: Taking taylor expansion of b in b 1553850973.157 * [backup-simplify]: Simplify 0 into 0 1553850973.157 * [backup-simplify]: Simplify 1 into 1 1553850973.157 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.157 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.157 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.157 * [taylor]: Taking taylor expansion of c in b 1553850973.158 * [backup-simplify]: Simplify c into c 1553850973.158 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.158 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.158 * [taylor]: Taking taylor expansion of d in b 1553850973.158 * [backup-simplify]: Simplify d into d 1553850973.158 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.158 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.159 * [backup-simplify]: Simplify (- 1) into -1 1553850973.159 * [taylor]: Taking taylor expansion of -1 in c 1553850973.159 * [backup-simplify]: Simplify -1 into -1 1553850973.159 * [taylor]: Taking taylor expansion of -1 in c 1553850973.159 * [backup-simplify]: Simplify -1 into -1 1553850973.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850973.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.160 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.161 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.161 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.162 * [backup-simplify]: Simplify (- 0) into 0 1553850973.162 * [taylor]: Taking taylor expansion of 0 in b 1553850973.162 * [backup-simplify]: Simplify 0 into 0 1553850973.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.163 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850973.163 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553850973.163 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 1553850973.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 1553850973.163 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.163 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.163 * [taylor]: Taking taylor expansion of c in c 1553850973.163 * [backup-simplify]: Simplify 0 into 0 1553850973.163 * [backup-simplify]: Simplify 1 into 1 1553850973.163 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.163 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.163 * [taylor]: Taking taylor expansion of d in c 1553850973.164 * [backup-simplify]: Simplify d into d 1553850973.164 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.164 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.164 * [backup-simplify]: Simplify (- 1) into -1 1553850973.164 * [taylor]: Taking taylor expansion of -1 in d 1553850973.164 * [backup-simplify]: Simplify -1 into -1 1553850973.164 * [taylor]: Taking taylor expansion of 0 in c 1553850973.165 * [backup-simplify]: Simplify 0 into 0 1553850973.165 * [taylor]: Taking taylor expansion of -1 in d 1553850973.165 * [backup-simplify]: Simplify -1 into -1 1553850973.165 * [taylor]: Taking taylor expansion of -1 in d 1553850973.165 * [backup-simplify]: Simplify -1 into -1 1553850973.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553850973.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553850973.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553850973.166 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.167 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.167 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.168 * [backup-simplify]: Simplify (- 0) into 0 1553850973.168 * [taylor]: Taking taylor expansion of 0 in b 1553850973.168 * [backup-simplify]: Simplify 0 into 0 1553850973.168 * [taylor]: Taking taylor expansion of 0 in c 1553850973.168 * [backup-simplify]: Simplify 0 into 0 1553850973.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.169 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.170 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.170 * [backup-simplify]: Simplify (- 0) into 0 1553850973.170 * [taylor]: Taking taylor expansion of 0 in c 1553850973.170 * [backup-simplify]: Simplify 0 into 0 1553850973.170 * [taylor]: Taking taylor expansion of 0 in c 1553850973.170 * [backup-simplify]: Simplify 0 into 0 1553850973.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.171 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553850973.171 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553850973.171 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553850973.172 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.172 * [taylor]: Taking taylor expansion of d in d 1553850973.172 * [backup-simplify]: Simplify 0 into 0 1553850973.172 * [backup-simplify]: Simplify 1 into 1 1553850973.172 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.172 * [backup-simplify]: Simplify (- 1) into -1 1553850973.172 * [backup-simplify]: Simplify -1 into -1 1553850973.172 * [taylor]: Taking taylor expansion of 0 in d 1553850973.173 * [backup-simplify]: Simplify 0 into 0 1553850973.173 * [taylor]: Taking taylor expansion of 0 in d 1553850973.173 * [backup-simplify]: Simplify 0 into 0 1553850973.173 * [taylor]: Taking taylor expansion of 0 in d 1553850973.173 * [backup-simplify]: Simplify 0 into 0 1553850973.173 * [backup-simplify]: Simplify -1 into -1 1553850973.173 * [backup-simplify]: Simplify -1 into -1 1553850973.174 * [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)) 1553850973.175 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 1553850973.175 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553850973.175 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b c d) around 0 1553850973.175 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553850973.175 * [taylor]: Taking taylor expansion of b in d 1553850973.175 * [backup-simplify]: Simplify b into b 1553850973.175 * [taylor]: Taking taylor expansion of (+ c d) in d 1553850973.175 * [taylor]: Taking taylor expansion of c in d 1553850973.175 * [backup-simplify]: Simplify c into c 1553850973.175 * [taylor]: Taking taylor expansion of d in d 1553850973.175 * [backup-simplify]: Simplify 0 into 0 1553850973.175 * [backup-simplify]: Simplify 1 into 1 1553850973.175 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553850973.175 * [taylor]: Taking taylor expansion of b in c 1553850973.175 * [backup-simplify]: Simplify b into b 1553850973.175 * [taylor]: Taking taylor expansion of (+ c d) in c 1553850973.175 * [taylor]: Taking taylor expansion of c in c 1553850973.175 * [backup-simplify]: Simplify 0 into 0 1553850973.175 * [backup-simplify]: Simplify 1 into 1 1553850973.175 * [taylor]: Taking taylor expansion of d in c 1553850973.175 * [backup-simplify]: Simplify d into d 1553850973.175 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553850973.175 * [taylor]: Taking taylor expansion of b in b 1553850973.175 * [backup-simplify]: Simplify 0 into 0 1553850973.175 * [backup-simplify]: Simplify 1 into 1 1553850973.175 * [taylor]: Taking taylor expansion of (+ c d) in b 1553850973.175 * [taylor]: Taking taylor expansion of c in b 1553850973.175 * [backup-simplify]: Simplify c into c 1553850973.175 * [taylor]: Taking taylor expansion of d in b 1553850973.175 * [backup-simplify]: Simplify d into d 1553850973.175 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553850973.175 * [taylor]: Taking taylor expansion of b in b 1553850973.175 * [backup-simplify]: Simplify 0 into 0 1553850973.176 * [backup-simplify]: Simplify 1 into 1 1553850973.176 * [taylor]: Taking taylor expansion of (+ c d) in b 1553850973.176 * [taylor]: Taking taylor expansion of c in b 1553850973.176 * [backup-simplify]: Simplify c into c 1553850973.176 * [taylor]: Taking taylor expansion of d in b 1553850973.176 * [backup-simplify]: Simplify d into d 1553850973.176 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553850973.176 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 1553850973.176 * [taylor]: Taking taylor expansion of (+ c d) in c 1553850973.176 * [taylor]: Taking taylor expansion of c in c 1553850973.176 * [backup-simplify]: Simplify 0 into 0 1553850973.176 * [backup-simplify]: Simplify 1 into 1 1553850973.176 * [taylor]: Taking taylor expansion of d in c 1553850973.176 * [backup-simplify]: Simplify d into d 1553850973.176 * [backup-simplify]: Simplify (+ 0 d) into d 1553850973.176 * [taylor]: Taking taylor expansion of d in d 1553850973.176 * [backup-simplify]: Simplify 0 into 0 1553850973.176 * [backup-simplify]: Simplify 1 into 1 1553850973.176 * [backup-simplify]: Simplify 0 into 0 1553850973.177 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.177 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.177 * [taylor]: Taking taylor expansion of 1 in c 1553850973.177 * [backup-simplify]: Simplify 1 into 1 1553850973.177 * [taylor]: Taking taylor expansion of 1 in d 1553850973.177 * [backup-simplify]: Simplify 1 into 1 1553850973.177 * [backup-simplify]: Simplify 1 into 1 1553850973.178 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.178 * [taylor]: Taking taylor expansion of 1 in d 1553850973.178 * [backup-simplify]: Simplify 1 into 1 1553850973.178 * [backup-simplify]: Simplify 1 into 1 1553850973.178 * [backup-simplify]: Simplify 1 into 1 1553850973.179 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 1553850973.179 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553850973.179 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b c d) around 0 1553850973.179 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553850973.179 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850973.179 * [taylor]: Taking taylor expansion of b in d 1553850973.179 * [backup-simplify]: Simplify b into b 1553850973.179 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.179 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553850973.180 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850973.180 * [taylor]: Taking taylor expansion of c in d 1553850973.180 * [backup-simplify]: Simplify c into c 1553850973.180 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.180 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.180 * [taylor]: Taking taylor expansion of d in d 1553850973.180 * [backup-simplify]: Simplify 0 into 0 1553850973.180 * [backup-simplify]: Simplify 1 into 1 1553850973.180 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.180 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553850973.180 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850973.180 * [taylor]: Taking taylor expansion of b in c 1553850973.180 * [backup-simplify]: Simplify b into b 1553850973.180 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.180 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.180 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.180 * [taylor]: Taking taylor expansion of c in c 1553850973.180 * [backup-simplify]: Simplify 0 into 0 1553850973.180 * [backup-simplify]: Simplify 1 into 1 1553850973.181 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.181 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.181 * [taylor]: Taking taylor expansion of d in c 1553850973.181 * [backup-simplify]: Simplify d into d 1553850973.181 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.181 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.181 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.181 * [taylor]: Taking taylor expansion of b in b 1553850973.181 * [backup-simplify]: Simplify 0 into 0 1553850973.181 * [backup-simplify]: Simplify 1 into 1 1553850973.181 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.181 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.181 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.181 * [taylor]: Taking taylor expansion of c in b 1553850973.181 * [backup-simplify]: Simplify c into c 1553850973.182 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.182 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.182 * [taylor]: Taking taylor expansion of d in b 1553850973.182 * [backup-simplify]: Simplify d into d 1553850973.182 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.182 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.182 * [taylor]: Taking taylor expansion of b in b 1553850973.182 * [backup-simplify]: Simplify 0 into 0 1553850973.182 * [backup-simplify]: Simplify 1 into 1 1553850973.182 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.182 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.182 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.182 * [taylor]: Taking taylor expansion of c in b 1553850973.182 * [backup-simplify]: Simplify c into c 1553850973.182 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.182 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.183 * [taylor]: Taking taylor expansion of d in b 1553850973.183 * [backup-simplify]: Simplify d into d 1553850973.183 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.183 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.183 * [taylor]: Taking taylor expansion of 1 in c 1553850973.183 * [backup-simplify]: Simplify 1 into 1 1553850973.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.184 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850973.184 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553850973.184 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.184 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.184 * [taylor]: Taking taylor expansion of c in c 1553850973.184 * [backup-simplify]: Simplify 0 into 0 1553850973.184 * [backup-simplify]: Simplify 1 into 1 1553850973.185 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.185 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.185 * [taylor]: Taking taylor expansion of d in c 1553850973.185 * [backup-simplify]: Simplify d into d 1553850973.185 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.185 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.185 * [taylor]: Taking taylor expansion of 1 in d 1553850973.185 * [backup-simplify]: Simplify 1 into 1 1553850973.186 * [taylor]: Taking taylor expansion of 1 in d 1553850973.186 * [backup-simplify]: Simplify 1 into 1 1553850973.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.187 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.187 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.187 * [taylor]: Taking taylor expansion of 0 in c 1553850973.188 * [backup-simplify]: Simplify 0 into 0 1553850973.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.188 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553850973.188 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.188 * [taylor]: Taking taylor expansion of d in d 1553850973.188 * [backup-simplify]: Simplify 0 into 0 1553850973.189 * [backup-simplify]: Simplify 1 into 1 1553850973.189 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.189 * [backup-simplify]: Simplify 1 into 1 1553850973.189 * [taylor]: Taking taylor expansion of 0 in d 1553850973.189 * [backup-simplify]: Simplify 0 into 0 1553850973.189 * [backup-simplify]: Simplify 1 into 1 1553850973.189 * [backup-simplify]: Simplify 1 into 1 1553850973.190 * [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)) 1553850973.190 * [backup-simplify]: Simplify (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1553850973.190 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b c d) around 0 1553850973.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1553850973.190 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1553850973.190 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850973.190 * [taylor]: Taking taylor expansion of b in d 1553850973.190 * [backup-simplify]: Simplify b into b 1553850973.190 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.190 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553850973.190 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850973.190 * [taylor]: Taking taylor expansion of c in d 1553850973.190 * [backup-simplify]: Simplify c into c 1553850973.190 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.190 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.191 * [taylor]: Taking taylor expansion of d in d 1553850973.191 * [backup-simplify]: Simplify 0 into 0 1553850973.191 * [backup-simplify]: Simplify 1 into 1 1553850973.191 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.191 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1553850973.191 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1553850973.191 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850973.191 * [taylor]: Taking taylor expansion of b in c 1553850973.191 * [backup-simplify]: Simplify b into b 1553850973.191 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850973.191 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.191 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.191 * [taylor]: Taking taylor expansion of c in c 1553850973.191 * [backup-simplify]: Simplify 0 into 0 1553850973.191 * [backup-simplify]: Simplify 1 into 1 1553850973.192 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.192 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.192 * [taylor]: Taking taylor expansion of d in c 1553850973.192 * [backup-simplify]: Simplify d into d 1553850973.192 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553850973.192 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.192 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.192 * [taylor]: Taking taylor expansion of b in b 1553850973.192 * [backup-simplify]: Simplify 0 into 0 1553850973.192 * [backup-simplify]: Simplify 1 into 1 1553850973.192 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.192 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.192 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.192 * [taylor]: Taking taylor expansion of c in b 1553850973.192 * [backup-simplify]: Simplify c into c 1553850973.193 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.193 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.193 * [taylor]: Taking taylor expansion of d in b 1553850973.193 * [backup-simplify]: Simplify d into d 1553850973.193 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1553850973.193 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850973.193 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850973.193 * [taylor]: Taking taylor expansion of b in b 1553850973.193 * [backup-simplify]: Simplify 0 into 0 1553850973.193 * [backup-simplify]: Simplify 1 into 1 1553850973.193 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.193 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850973.193 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850973.193 * [taylor]: Taking taylor expansion of c in b 1553850973.193 * [backup-simplify]: Simplify c into c 1553850973.193 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850973.193 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850973.193 * [taylor]: Taking taylor expansion of d in b 1553850973.193 * [backup-simplify]: Simplify d into d 1553850973.194 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.194 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.194 * [backup-simplify]: Simplify (- 1) into -1 1553850973.194 * [taylor]: Taking taylor expansion of -1 in c 1553850973.194 * [backup-simplify]: Simplify -1 into -1 1553850973.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.195 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850973.196 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553850973.196 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 1553850973.196 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 1553850973.196 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1553850973.196 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850973.196 * [taylor]: Taking taylor expansion of c in c 1553850973.196 * [backup-simplify]: Simplify 0 into 0 1553850973.196 * [backup-simplify]: Simplify 1 into 1 1553850973.196 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.196 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850973.196 * [taylor]: Taking taylor expansion of d in c 1553850973.196 * [backup-simplify]: Simplify d into d 1553850973.196 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850973.197 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850973.197 * [backup-simplify]: Simplify (- 1) into -1 1553850973.197 * [taylor]: Taking taylor expansion of -1 in d 1553850973.197 * [backup-simplify]: Simplify -1 into -1 1553850973.197 * [taylor]: Taking taylor expansion of -1 in d 1553850973.197 * [backup-simplify]: Simplify -1 into -1 1553850973.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850973.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850973.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850973.199 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.199 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850973.200 * [backup-simplify]: Simplify (- 0) into 0 1553850973.200 * [taylor]: Taking taylor expansion of 0 in c 1553850973.200 * [backup-simplify]: Simplify 0 into 0 1553850973.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850973.201 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553850973.201 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553850973.201 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553850973.201 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850973.201 * [taylor]: Taking taylor expansion of d in d 1553850973.201 * [backup-simplify]: Simplify 0 into 0 1553850973.201 * [backup-simplify]: Simplify 1 into 1 1553850973.201 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850973.201 * [backup-simplify]: Simplify (- 1) into -1 1553850973.201 * [backup-simplify]: Simplify -1 into -1 1553850973.201 * [taylor]: Taking taylor expansion of 0 in d 1553850973.201 * [backup-simplify]: Simplify 0 into 0 1553850973.201 * [backup-simplify]: Simplify -1 into -1 1553850973.201 * [backup-simplify]: Simplify -1 into -1 1553850973.202 * [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)) 1553850973.202 * * * [progress]: simplifying candidates 1553850973.202 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1553850973.202 * [simplify]: Simplifying (* (exp a) (* (exp b) (* (exp c) (exp d)))) 1553850973.202 * * [simplify]: iters left: 6 (11 enodes) 1553850973.204 * * [simplify]: iters left: 5 (42 enodes) 1553850973.210 * * [simplify]: iters left: 4 (78 enodes) 1553850973.225 * * [simplify]: iters left: 3 (161 enodes) 1553850973.266 * * [simplify]: iters left: 2 (266 enodes) 1553850973.306 * * [simplify]: iters left: 1 (297 enodes) 1553850973.368 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.368 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850973.369 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850973.369 * * [simplify]: Extracting #3: cost 40 inf + 793 1553850973.371 * * [simplify]: Extracting #4: cost 6 inf + 4569 1553850973.374 * * [simplify]: Extracting #5: cost 0 inf + 4944 1553850973.376 * [simplify]: Simplified to (exp (+ (+ a c) (+ b d))) 1553850973.376 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ a c) (+ b d)))) 2)) 1553850973.377 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1553850973.377 * [simplify]: Simplifying (* (exp a) (* (exp b) (exp (+ c d)))) 1553850973.377 * * [simplify]: iters left: 6 (10 enodes) 1553850973.379 * * [simplify]: iters left: 5 (40 enodes) 1553850973.385 * * [simplify]: iters left: 4 (73 enodes) 1553850973.396 * * [simplify]: iters left: 3 (145 enodes) 1553850973.431 * * [simplify]: iters left: 2 (237 enodes) 1553850973.497 * * [simplify]: iters left: 1 (267 enodes) 1553850973.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.553 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850973.553 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850973.553 * * [simplify]: Extracting #3: cost 43 inf + 626 1553850973.554 * * [simplify]: Extracting #4: cost 11 inf + 4026 1553850973.555 * * [simplify]: Extracting #5: cost 0 inf + 5154 1553850973.556 * * [simplify]: Extracting #6: cost 0 inf + 4944 1553850973.558 * [simplify]: Simplified to (exp (+ a (+ (+ b c) d))) 1553850973.558 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ a (+ (+ b c) d)))) 2)) 1553850973.558 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1553850973.558 * [simplify]: Simplifying (* (exp a) (exp (+ b (+ c d)))) 1553850973.558 * * [simplify]: iters left: 6 (9 enodes) 1553850973.560 * * [simplify]: iters left: 5 (37 enodes) 1553850973.566 * * [simplify]: iters left: 4 (70 enodes) 1553850973.577 * * [simplify]: iters left: 3 (140 enodes) 1553850973.617 * * [simplify]: iters left: 2 (223 enodes) 1553850973.682 * * [simplify]: iters left: 1 (257 enodes) 1553850973.735 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.735 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850973.735 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850973.735 * * [simplify]: Extracting #3: cost 42 inf + 832 1553850973.736 * * [simplify]: Extracting #4: cost 8 inf + 4432 1553850973.737 * * [simplify]: Extracting #5: cost 0 inf + 5014 1553850973.739 * * [simplify]: Extracting #6: cost 0 inf + 4944 1553850973.741 * [simplify]: Simplified to (exp (+ (+ a b) (+ c d))) 1553850973.741 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ a b) (+ c d)))) 2)) 1553850973.741 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1553850973.741 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1553850973.742 * [simplify]: Simplifying (+ a (+ b (+ c d))) 1553850973.742 * * [simplify]: iters left: 6 (7 enodes) 1553850973.743 * * [simplify]: iters left: 5 (28 enodes) 1553850973.747 * * [simplify]: iters left: 4 (52 enodes) 1553850973.755 * * [simplify]: iters left: 3 (89 enodes) 1553850973.772 * * [simplify]: iters left: 2 (105 enodes) 1553850973.791 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.791 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850973.792 * * [simplify]: Extracting #2: cost 21 inf + 46 1553850973.792 * * [simplify]: Extracting #3: cost 8 inf + 797 1553850973.793 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850973.793 * [simplify]: Simplified to (+ d (+ (+ a c) b)) 1553850973.793 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ a c) b))) 2)) 1553850973.794 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1553850973.794 * [simplify]: Simplifying (+ a (+ b (+ c d))) 1553850973.794 * * [simplify]: iters left: 6 (7 enodes) 1553850973.795 * * [simplify]: iters left: 5 (28 enodes) 1553850973.799 * * [simplify]: iters left: 4 (52 enodes) 1553850973.807 * * [simplify]: iters left: 3 (89 enodes) 1553850973.819 * * [simplify]: iters left: 2 (105 enodes) 1553850973.829 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.829 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850973.830 * * [simplify]: Extracting #2: cost 21 inf + 46 1553850973.830 * * [simplify]: Extracting #3: cost 8 inf + 797 1553850973.831 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850973.832 * [simplify]: Simplified to (+ d (+ (+ a c) b)) 1553850973.832 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ a c) b))) 2)) 1553850973.832 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1553850973.833 * [simplify]: Simplifying (+ a (+ b (+ c d))) 1553850973.833 * * [simplify]: iters left: 6 (7 enodes) 1553850973.836 * * [simplify]: iters left: 5 (28 enodes) 1553850973.844 * * [simplify]: iters left: 4 (52 enodes) 1553850973.860 * * [simplify]: iters left: 3 (89 enodes) 1553850973.884 * * [simplify]: iters left: 2 (105 enodes) 1553850973.896 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.896 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850973.896 * * [simplify]: Extracting #2: cost 21 inf + 46 1553850973.896 * * [simplify]: Extracting #3: cost 8 inf + 797 1553850973.897 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850973.897 * [simplify]: Simplified to (+ d (+ (+ a c) b)) 1553850973.897 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ a c) b))) 2)) 1553850973.897 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 1553850973.898 * [simplify]: Simplifying (+ c d) 1553850973.898 * * [simplify]: iters left: 2 (3 enodes) 1553850973.898 * * [simplify]: iters left: 1 (10 enodes) 1553850973.899 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.899 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850973.900 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850973.900 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850973.900 * [simplify]: Simplified to (+ d c) 1553850973.900 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ (+ a b) (+ d c)) 2)) 1553850973.900 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1553850973.900 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1553850973.900 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 1553850973.900 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #real (real->posit16 (+ a (+ b (+ c d))))) 2))> 1553850973.900 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1553850973.900 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1553850973.900 * [simplify]: Simplifying (* (exp b) (* (exp c) (exp d))) 1553850973.900 * * [simplify]: iters left: 5 (8 enodes) 1553850973.902 * * [simplify]: iters left: 4 (30 enodes) 1553850973.906 * * [simplify]: iters left: 3 (48 enodes) 1553850973.913 * * [simplify]: iters left: 2 (73 enodes) 1553850973.923 * * [simplify]: iters left: 1 (83 enodes) 1553850973.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.931 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850973.931 * * [simplify]: Extracting #2: cost 22 inf + 0 1553850973.931 * * [simplify]: Extracting #3: cost 20 inf + 145 1553850973.931 * * [simplify]: Extracting #4: cost 9 inf + 1044 1553850973.932 * * [simplify]: Extracting #5: cost 0 inf + 1825 1553850973.932 * [simplify]: Simplified to (exp (+ b (+ c d))) 1553850973.932 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log (exp (+ b (+ c d))))) 2)) 1553850973.932 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1553850973.932 * [simplify]: Simplifying (* (exp b) (exp (+ c d))) 1553850973.933 * * [simplify]: iters left: 5 (7 enodes) 1553850973.935 * * [simplify]: iters left: 4 (28 enodes) 1553850973.943 * * [simplify]: iters left: 3 (45 enodes) 1553850973.956 * * [simplify]: iters left: 2 (65 enodes) 1553850973.974 * * [simplify]: iters left: 1 (74 enodes) 1553850973.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.984 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850973.984 * * [simplify]: Extracting #2: cost 22 inf + 0 1553850973.984 * * [simplify]: Extracting #3: cost 20 inf + 145 1553850973.984 * * [simplify]: Extracting #4: cost 7 inf + 1140 1553850973.985 * * [simplify]: Extracting #5: cost 0 inf + 1825 1553850973.985 * [simplify]: Simplified to (exp (+ d (+ b c))) 1553850973.985 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log (exp (+ d (+ b c))))) 2)) 1553850973.985 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 1553850973.985 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1553850973.985 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1553850973.985 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 1553850973.986 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1553850973.986 * [simplify]: Simplifying (+ b (+ c d)) 1553850973.986 * * [simplify]: iters left: 4 (5 enodes) 1553850973.987 * * [simplify]: iters left: 3 (19 enodes) 1553850973.989 * * [simplify]: iters left: 2 (27 enodes) 1553850973.993 * * [simplify]: iters left: 1 (32 enodes) 1553850973.996 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850973.996 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850973.996 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850973.996 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850973.996 * [simplify]: Simplified to (+ (+ b d) c) 1553850973.996 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* 1 (+ (+ b d) c))) 2)) 1553850973.996 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1553850973.997 * [simplify]: Simplifying (+ b (+ c d)) 1553850973.997 * * [simplify]: iters left: 4 (5 enodes) 1553850973.998 * * [simplify]: iters left: 3 (19 enodes) 1553850974.000 * * [simplify]: iters left: 2 (27 enodes) 1553850974.004 * * [simplify]: iters left: 1 (32 enodes) 1553850974.007 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.007 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.007 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.007 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.007 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.007 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* 1 (+ (+ b d) c))) 2)) 1553850974.007 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1553850974.007 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1553850974.007 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #real (real->posit16 (+ b (+ c d))))) 2))> 1553850974.007 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 1553850974.007 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1553850974.008 * [simplify]: Simplifying (+ a (+ b c)) 1553850974.008 * * [simplify]: iters left: 4 (5 enodes) 1553850974.009 * * [simplify]: iters left: 3 (19 enodes) 1553850974.011 * * [simplify]: iters left: 2 (27 enodes) 1553850974.014 * * [simplify]: iters left: 1 (32 enodes) 1553850974.019 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.019 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.019 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.019 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.020 * [simplify]: Simplified to (+ (+ a c) b) 1553850974.020 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a c) b) 2)) 1553850974.020 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 1553850974.020 * [simplify]: Simplifying (+ b (+ c d)) 1553850974.020 * * [simplify]: iters left: 4 (5 enodes) 1553850974.021 * * [simplify]: iters left: 3 (19 enodes) 1553850974.023 * * [simplify]: iters left: 2 (27 enodes) 1553850974.027 * * [simplify]: iters left: 1 (32 enodes) 1553850974.030 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.030 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.030 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.030 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.030 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.030 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553850974.030 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1553850974.031 * [simplify]: Simplifying (+ b (+ c d)) 1553850974.031 * * [simplify]: iters left: 4 (5 enodes) 1553850974.032 * * [simplify]: iters left: 3 (19 enodes) 1553850974.035 * * [simplify]: iters left: 2 (27 enodes) 1553850974.043 * * [simplify]: iters left: 1 (32 enodes) 1553850974.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.049 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.050 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.050 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.050 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.050 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553850974.050 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1553850974.051 * [simplify]: Simplifying (+ b (+ c d)) 1553850974.051 * * [simplify]: iters left: 4 (5 enodes) 1553850974.053 * * [simplify]: iters left: 3 (19 enodes) 1553850974.058 * * [simplify]: iters left: 2 (27 enodes) 1553850974.065 * * [simplify]: iters left: 1 (32 enodes) 1553850974.071 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.072 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.072 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.072 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.072 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.072 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553850974.072 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1553850974.073 * [simplify]: Simplifying (+ b (+ c d)) 1553850974.073 * * [simplify]: iters left: 4 (5 enodes) 1553850974.075 * * [simplify]: iters left: 3 (19 enodes) 1553850974.080 * * [simplify]: iters left: 2 (27 enodes) 1553850974.084 * * [simplify]: iters left: 1 (32 enodes) 1553850974.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.087 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.087 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.088 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.088 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.088 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553850974.088 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1553850974.088 * [simplify]: Simplifying (+ b (+ c d)) 1553850974.088 * * [simplify]: iters left: 4 (5 enodes) 1553850974.089 * * [simplify]: iters left: 3 (19 enodes) 1553850974.092 * * [simplify]: iters left: 2 (27 enodes) 1553850974.095 * * [simplify]: iters left: 1 (32 enodes) 1553850974.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.099 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.099 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.099 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.099 * [simplify]: Simplified to (+ (+ b d) c) 1553850974.099 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ (+ b d) c)) 2)) 1553850974.099 * * * [progress]: adding candidates to table 1553850974.467 * * [progress]: iteration 2 / 4 1553850974.467 * * * [progress]: picking best candidate 1553850974.494 * * * * [pick]: Picked # 1553850974.494 * * * [progress]: localizing error 1553850974.510 * * * [progress]: generating rewritten candidates 1553850974.510 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1553850974.533 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553850974.616 * * * [progress]: generating series expansions 1553850974.616 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1553850974.616 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 1553850974.616 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (a b d) around 0 1553850974.616 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d 1553850974.616 * [taylor]: Taking taylor expansion of a in d 1553850974.616 * [backup-simplify]: Simplify a into a 1553850974.616 * [taylor]: Taking taylor expansion of (+ b d) in d 1553850974.616 * [taylor]: Taking taylor expansion of b in d 1553850974.616 * [backup-simplify]: Simplify b into b 1553850974.616 * [taylor]: Taking taylor expansion of d in d 1553850974.616 * [backup-simplify]: Simplify 0 into 0 1553850974.616 * [backup-simplify]: Simplify 1 into 1 1553850974.616 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1553850974.616 * [taylor]: Taking taylor expansion of a in b 1553850974.616 * [backup-simplify]: Simplify a into a 1553850974.616 * [taylor]: Taking taylor expansion of (+ b d) in b 1553850974.616 * [taylor]: Taking taylor expansion of b in b 1553850974.616 * [backup-simplify]: Simplify 0 into 0 1553850974.616 * [backup-simplify]: Simplify 1 into 1 1553850974.616 * [taylor]: Taking taylor expansion of d in b 1553850974.616 * [backup-simplify]: Simplify d into d 1553850974.616 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1553850974.617 * [taylor]: Taking taylor expansion of a in a 1553850974.617 * [backup-simplify]: Simplify 0 into 0 1553850974.617 * [backup-simplify]: Simplify 1 into 1 1553850974.617 * [taylor]: Taking taylor expansion of (+ b d) in a 1553850974.617 * [taylor]: Taking taylor expansion of b in a 1553850974.617 * [backup-simplify]: Simplify b into b 1553850974.617 * [taylor]: Taking taylor expansion of d in a 1553850974.617 * [backup-simplify]: Simplify d into d 1553850974.617 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1553850974.617 * [taylor]: Taking taylor expansion of a in a 1553850974.617 * [backup-simplify]: Simplify 0 into 0 1553850974.617 * [backup-simplify]: Simplify 1 into 1 1553850974.617 * [taylor]: Taking taylor expansion of (+ b d) in a 1553850974.617 * [taylor]: Taking taylor expansion of b in a 1553850974.617 * [backup-simplify]: Simplify b into b 1553850974.617 * [taylor]: Taking taylor expansion of d in a 1553850974.617 * [backup-simplify]: Simplify d into d 1553850974.617 * [backup-simplify]: Simplify (+ b d) into (+ b d) 1553850974.617 * [backup-simplify]: Simplify (+ 0 (+ b d)) into (+ b d) 1553850974.617 * [taylor]: Taking taylor expansion of (+ b d) in b 1553850974.617 * [taylor]: Taking taylor expansion of b in b 1553850974.617 * [backup-simplify]: Simplify 0 into 0 1553850974.617 * [backup-simplify]: Simplify 1 into 1 1553850974.617 * [taylor]: Taking taylor expansion of d in b 1553850974.617 * [backup-simplify]: Simplify d into d 1553850974.617 * [backup-simplify]: Simplify (+ 0 d) into d 1553850974.617 * [taylor]: Taking taylor expansion of d in d 1553850974.617 * [backup-simplify]: Simplify 0 into 0 1553850974.617 * [backup-simplify]: Simplify 1 into 1 1553850974.617 * [backup-simplify]: Simplify 0 into 0 1553850974.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.619 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.619 * [taylor]: Taking taylor expansion of 1 in b 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.619 * [taylor]: Taking taylor expansion of 1 in d 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.619 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.619 * [taylor]: Taking taylor expansion of 1 in d 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.619 * [backup-simplify]: Simplify 1 into 1 1553850974.620 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* b 1))) (* 1 (* 1 (* 1 a))))) into (+ a (+ b d)) 1553850974.620 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) 1553850974.620 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in (a b d) around 0 1553850974.620 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in d 1553850974.620 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850974.620 * [taylor]: Taking taylor expansion of a in d 1553850974.620 * [backup-simplify]: Simplify a into a 1553850974.620 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in d 1553850974.620 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850974.620 * [taylor]: Taking taylor expansion of b in d 1553850974.620 * [backup-simplify]: Simplify b into b 1553850974.621 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.621 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.621 * [taylor]: Taking taylor expansion of d in d 1553850974.621 * [backup-simplify]: Simplify 0 into 0 1553850974.621 * [backup-simplify]: Simplify 1 into 1 1553850974.621 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in b 1553850974.621 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850974.621 * [taylor]: Taking taylor expansion of a in b 1553850974.621 * [backup-simplify]: Simplify a into a 1553850974.621 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.621 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1553850974.621 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.621 * [taylor]: Taking taylor expansion of b in b 1553850974.621 * [backup-simplify]: Simplify 0 into 0 1553850974.621 * [backup-simplify]: Simplify 1 into 1 1553850974.624 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.624 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.624 * [taylor]: Taking taylor expansion of d in b 1553850974.624 * [backup-simplify]: Simplify d into d 1553850974.624 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.624 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a 1553850974.624 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.624 * [taylor]: Taking taylor expansion of a in a 1553850974.624 * [backup-simplify]: Simplify 0 into 0 1553850974.624 * [backup-simplify]: Simplify 1 into 1 1553850974.625 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.625 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in a 1553850974.625 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.625 * [taylor]: Taking taylor expansion of b in a 1553850974.625 * [backup-simplify]: Simplify b into b 1553850974.625 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.625 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.625 * [taylor]: Taking taylor expansion of d in a 1553850974.625 * [backup-simplify]: Simplify d into d 1553850974.625 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a 1553850974.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.625 * [taylor]: Taking taylor expansion of a in a 1553850974.625 * [backup-simplify]: Simplify 0 into 0 1553850974.625 * [backup-simplify]: Simplify 1 into 1 1553850974.626 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.626 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in a 1553850974.626 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.626 * [taylor]: Taking taylor expansion of b in a 1553850974.626 * [backup-simplify]: Simplify b into b 1553850974.626 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.626 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.626 * [taylor]: Taking taylor expansion of d in a 1553850974.626 * [backup-simplify]: Simplify d into d 1553850974.626 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.626 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.626 * [taylor]: Taking taylor expansion of 1 in b 1553850974.626 * [backup-simplify]: Simplify 1 into 1 1553850974.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.627 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1553850974.627 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (/ 1 d)) 1553850974.627 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1553850974.628 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.628 * [taylor]: Taking taylor expansion of b in b 1553850974.628 * [backup-simplify]: Simplify 0 into 0 1553850974.628 * [backup-simplify]: Simplify 1 into 1 1553850974.628 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.628 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.628 * [taylor]: Taking taylor expansion of d in b 1553850974.628 * [backup-simplify]: Simplify d into d 1553850974.628 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.629 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.629 * [taylor]: Taking taylor expansion of 1 in d 1553850974.629 * [backup-simplify]: Simplify 1 into 1 1553850974.629 * [taylor]: Taking taylor expansion of 1 in d 1553850974.629 * [backup-simplify]: Simplify 1 into 1 1553850974.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850974.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.630 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.631 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.631 * [taylor]: Taking taylor expansion of 0 in b 1553850974.631 * [backup-simplify]: Simplify 0 into 0 1553850974.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.631 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553850974.632 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.632 * [taylor]: Taking taylor expansion of d in d 1553850974.632 * [backup-simplify]: Simplify 0 into 0 1553850974.632 * [backup-simplify]: Simplify 1 into 1 1553850974.632 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.632 * [backup-simplify]: Simplify 1 into 1 1553850974.632 * [taylor]: Taking taylor expansion of 0 in d 1553850974.632 * [backup-simplify]: Simplify 0 into 0 1553850974.632 * [backup-simplify]: Simplify 1 into 1 1553850974.632 * [backup-simplify]: Simplify 1 into 1 1553850974.633 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 a))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ a (+ b d)) 1553850974.633 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) 1553850974.633 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) in (a b d) around 0 1553850974.633 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) in d 1553850974.633 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in d 1553850974.633 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850974.633 * [taylor]: Taking taylor expansion of a in d 1553850974.633 * [backup-simplify]: Simplify a into a 1553850974.633 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.633 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in d 1553850974.633 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850974.633 * [taylor]: Taking taylor expansion of b in d 1553850974.633 * [backup-simplify]: Simplify b into b 1553850974.634 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.634 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.634 * [taylor]: Taking taylor expansion of d in d 1553850974.634 * [backup-simplify]: Simplify 0 into 0 1553850974.634 * [backup-simplify]: Simplify 1 into 1 1553850974.634 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) in b 1553850974.634 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in b 1553850974.634 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850974.634 * [taylor]: Taking taylor expansion of a in b 1553850974.634 * [backup-simplify]: Simplify a into a 1553850974.634 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.634 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1553850974.634 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.634 * [taylor]: Taking taylor expansion of b in b 1553850974.634 * [backup-simplify]: Simplify 0 into 0 1553850974.634 * [backup-simplify]: Simplify 1 into 1 1553850974.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.635 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.635 * [taylor]: Taking taylor expansion of d in b 1553850974.635 * [backup-simplify]: Simplify d into d 1553850974.635 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) in a 1553850974.635 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a 1553850974.635 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.635 * [taylor]: Taking taylor expansion of a in a 1553850974.635 * [backup-simplify]: Simplify 0 into 0 1553850974.635 * [backup-simplify]: Simplify 1 into 1 1553850974.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.635 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in a 1553850974.635 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.635 * [taylor]: Taking taylor expansion of b in a 1553850974.635 * [backup-simplify]: Simplify b into b 1553850974.636 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.636 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.636 * [taylor]: Taking taylor expansion of d in a 1553850974.636 * [backup-simplify]: Simplify d into d 1553850974.636 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.636 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 d)))) in a 1553850974.636 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a 1553850974.636 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.636 * [taylor]: Taking taylor expansion of a in a 1553850974.636 * [backup-simplify]: Simplify 0 into 0 1553850974.636 * [backup-simplify]: Simplify 1 into 1 1553850974.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.637 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in a 1553850974.637 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.637 * [taylor]: Taking taylor expansion of b in a 1553850974.637 * [backup-simplify]: Simplify b into b 1553850974.637 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.637 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.637 * [taylor]: Taking taylor expansion of d in a 1553850974.637 * [backup-simplify]: Simplify d into d 1553850974.637 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.638 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.638 * [backup-simplify]: Simplify (- 1) into -1 1553850974.638 * [taylor]: Taking taylor expansion of -1 in b 1553850974.638 * [backup-simplify]: Simplify -1 into -1 1553850974.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.639 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1553850974.639 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (/ 1 d)) 1553850974.639 * [backup-simplify]: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d))) 1553850974.639 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b 1553850974.639 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1553850974.639 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.639 * [taylor]: Taking taylor expansion of b in b 1553850974.639 * [backup-simplify]: Simplify 0 into 0 1553850974.639 * [backup-simplify]: Simplify 1 into 1 1553850974.640 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.640 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.640 * [taylor]: Taking taylor expansion of d in b 1553850974.640 * [backup-simplify]: Simplify d into d 1553850974.640 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.640 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.641 * [backup-simplify]: Simplify (- 1) into -1 1553850974.641 * [taylor]: Taking taylor expansion of -1 in d 1553850974.641 * [backup-simplify]: Simplify -1 into -1 1553850974.641 * [taylor]: Taking taylor expansion of -1 in d 1553850974.641 * [backup-simplify]: Simplify -1 into -1 1553850974.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850974.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.642 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.643 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.643 * [backup-simplify]: Simplify (- 0) into 0 1553850974.643 * [taylor]: Taking taylor expansion of 0 in b 1553850974.643 * [backup-simplify]: Simplify 0 into 0 1553850974.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.644 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1553850974.644 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1553850974.644 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 1553850974.644 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.644 * [taylor]: Taking taylor expansion of d in d 1553850974.645 * [backup-simplify]: Simplify 0 into 0 1553850974.645 * [backup-simplify]: Simplify 1 into 1 1553850974.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.645 * [backup-simplify]: Simplify (- 1) into -1 1553850974.645 * [backup-simplify]: Simplify -1 into -1 1553850974.645 * [taylor]: Taking taylor expansion of 0 in d 1553850974.645 * [backup-simplify]: Simplify 0 into 0 1553850974.645 * [backup-simplify]: Simplify -1 into -1 1553850974.645 * [backup-simplify]: Simplify -1 into -1 1553850974.646 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- a)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ a (+ b d)) 1553850974.646 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553850974.646 * [backup-simplify]: Simplify (+ (+ a (+ b d)) c) into (+ a (+ b (+ c d))) 1553850974.646 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b d c) around 0 1553850974.646 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1553850974.647 * [taylor]: Taking taylor expansion of a in c 1553850974.647 * [backup-simplify]: Simplify a into a 1553850974.647 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1553850974.647 * [taylor]: Taking taylor expansion of b in c 1553850974.647 * [backup-simplify]: Simplify b into b 1553850974.647 * [taylor]: Taking taylor expansion of (+ c d) in c 1553850974.647 * [taylor]: Taking taylor expansion of c in c 1553850974.647 * [backup-simplify]: Simplify 0 into 0 1553850974.647 * [backup-simplify]: Simplify 1 into 1 1553850974.647 * [taylor]: Taking taylor expansion of d in c 1553850974.647 * [backup-simplify]: Simplify d into d 1553850974.647 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1553850974.647 * [taylor]: Taking taylor expansion of a in d 1553850974.647 * [backup-simplify]: Simplify a into a 1553850974.647 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1553850974.647 * [taylor]: Taking taylor expansion of b in d 1553850974.647 * [backup-simplify]: Simplify b into b 1553850974.647 * [taylor]: Taking taylor expansion of (+ c d) in d 1553850974.647 * [taylor]: Taking taylor expansion of c in d 1553850974.647 * [backup-simplify]: Simplify c into c 1553850974.647 * [taylor]: Taking taylor expansion of d in d 1553850974.647 * [backup-simplify]: Simplify 0 into 0 1553850974.647 * [backup-simplify]: Simplify 1 into 1 1553850974.647 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1553850974.647 * [taylor]: Taking taylor expansion of a in b 1553850974.647 * [backup-simplify]: Simplify a into a 1553850974.647 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1553850974.647 * [taylor]: Taking taylor expansion of b in b 1553850974.647 * [backup-simplify]: Simplify 0 into 0 1553850974.647 * [backup-simplify]: Simplify 1 into 1 1553850974.647 * [taylor]: Taking taylor expansion of (+ c d) in b 1553850974.647 * [taylor]: Taking taylor expansion of c in b 1553850974.647 * [backup-simplify]: Simplify c into c 1553850974.647 * [taylor]: Taking taylor expansion of d in b 1553850974.647 * [backup-simplify]: Simplify d into d 1553850974.647 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553850974.647 * [taylor]: Taking taylor expansion of a in a 1553850974.647 * [backup-simplify]: Simplify 0 into 0 1553850974.647 * [backup-simplify]: Simplify 1 into 1 1553850974.647 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553850974.648 * [taylor]: Taking taylor expansion of b in a 1553850974.648 * [backup-simplify]: Simplify b into b 1553850974.648 * [taylor]: Taking taylor expansion of (+ c d) in a 1553850974.648 * [taylor]: Taking taylor expansion of c in a 1553850974.648 * [backup-simplify]: Simplify c into c 1553850974.648 * [taylor]: Taking taylor expansion of d in a 1553850974.648 * [backup-simplify]: Simplify d into d 1553850974.648 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1553850974.648 * [taylor]: Taking taylor expansion of a in a 1553850974.648 * [backup-simplify]: Simplify 0 into 0 1553850974.648 * [backup-simplify]: Simplify 1 into 1 1553850974.648 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1553850974.648 * [taylor]: Taking taylor expansion of b in a 1553850974.648 * [backup-simplify]: Simplify b into b 1553850974.648 * [taylor]: Taking taylor expansion of (+ c d) in a 1553850974.648 * [taylor]: Taking taylor expansion of c in a 1553850974.648 * [backup-simplify]: Simplify c into c 1553850974.648 * [taylor]: Taking taylor expansion of d in a 1553850974.648 * [backup-simplify]: Simplify d into d 1553850974.648 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553850974.648 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1553850974.648 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1553850974.648 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 1553850974.648 * [taylor]: Taking taylor expansion of c in b 1553850974.648 * [backup-simplify]: Simplify c into c 1553850974.648 * [taylor]: Taking taylor expansion of (+ b d) in b 1553850974.648 * [taylor]: Taking taylor expansion of b in b 1553850974.648 * [backup-simplify]: Simplify 0 into 0 1553850974.648 * [backup-simplify]: Simplify 1 into 1 1553850974.648 * [taylor]: Taking taylor expansion of d in b 1553850974.648 * [backup-simplify]: Simplify d into d 1553850974.648 * [backup-simplify]: Simplify (+ 0 d) into d 1553850974.649 * [backup-simplify]: Simplify (+ c d) into (+ c d) 1553850974.649 * [taylor]: Taking taylor expansion of (+ c d) in d 1553850974.649 * [taylor]: Taking taylor expansion of c in d 1553850974.649 * [backup-simplify]: Simplify c into c 1553850974.649 * [taylor]: Taking taylor expansion of d in d 1553850974.649 * [backup-simplify]: Simplify 0 into 0 1553850974.649 * [backup-simplify]: Simplify 1 into 1 1553850974.649 * [backup-simplify]: Simplify (+ c 0) into c 1553850974.649 * [taylor]: Taking taylor expansion of c in c 1553850974.649 * [backup-simplify]: Simplify 0 into 0 1553850974.649 * [backup-simplify]: Simplify 1 into 1 1553850974.649 * [backup-simplify]: Simplify 0 into 0 1553850974.649 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.650 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.650 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.650 * [taylor]: Taking taylor expansion of 1 in b 1553850974.650 * [backup-simplify]: Simplify 1 into 1 1553850974.650 * [taylor]: Taking taylor expansion of 1 in d 1553850974.650 * [backup-simplify]: Simplify 1 into 1 1553850974.650 * [taylor]: Taking taylor expansion of 1 in c 1553850974.650 * [backup-simplify]: Simplify 1 into 1 1553850974.650 * [backup-simplify]: Simplify 1 into 1 1553850974.651 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.651 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850974.651 * [taylor]: Taking taylor expansion of 1 in d 1553850974.651 * [backup-simplify]: Simplify 1 into 1 1553850974.651 * [taylor]: Taking taylor expansion of 1 in c 1553850974.651 * [backup-simplify]: Simplify 1 into 1 1553850974.651 * [backup-simplify]: Simplify 1 into 1 1553850974.652 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850974.652 * [taylor]: Taking taylor expansion of 1 in c 1553850974.652 * [backup-simplify]: Simplify 1 into 1 1553850974.652 * [backup-simplify]: Simplify 1 into 1 1553850974.652 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b d)) 1553850974.653 * [backup-simplify]: Simplify (+ (+ (/ 1 a) (+ (/ 1 b) (/ 1 d))) (/ 1 c)) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1553850974.653 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (a b d c) around 0 1553850974.653 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1553850974.653 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553850974.653 * [taylor]: Taking taylor expansion of a in c 1553850974.653 * [backup-simplify]: Simplify a into a 1553850974.653 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.653 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1553850974.653 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850974.653 * [taylor]: Taking taylor expansion of b in c 1553850974.653 * [backup-simplify]: Simplify b into b 1553850974.653 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.653 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553850974.653 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850974.653 * [taylor]: Taking taylor expansion of d in c 1553850974.653 * [backup-simplify]: Simplify d into d 1553850974.653 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.653 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850974.653 * [taylor]: Taking taylor expansion of c in c 1553850974.653 * [backup-simplify]: Simplify 0 into 0 1553850974.653 * [backup-simplify]: Simplify 1 into 1 1553850974.654 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.654 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1553850974.654 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850974.654 * [taylor]: Taking taylor expansion of a in d 1553850974.654 * [backup-simplify]: Simplify a into a 1553850974.654 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.654 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1553850974.654 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850974.654 * [taylor]: Taking taylor expansion of b in d 1553850974.654 * [backup-simplify]: Simplify b into b 1553850974.654 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.654 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1553850974.654 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.654 * [taylor]: Taking taylor expansion of d in d 1553850974.654 * [backup-simplify]: Simplify 0 into 0 1553850974.654 * [backup-simplify]: Simplify 1 into 1 1553850974.655 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.655 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850974.655 * [taylor]: Taking taylor expansion of c in d 1553850974.655 * [backup-simplify]: Simplify c into c 1553850974.655 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.655 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553850974.655 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850974.655 * [taylor]: Taking taylor expansion of a in b 1553850974.655 * [backup-simplify]: Simplify a into a 1553850974.655 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.655 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553850974.655 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.655 * [taylor]: Taking taylor expansion of b in b 1553850974.655 * [backup-simplify]: Simplify 0 into 0 1553850974.655 * [backup-simplify]: Simplify 1 into 1 1553850974.656 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.656 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553850974.656 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.656 * [taylor]: Taking taylor expansion of d in b 1553850974.656 * [backup-simplify]: Simplify d into d 1553850974.656 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.656 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850974.656 * [taylor]: Taking taylor expansion of c in b 1553850974.656 * [backup-simplify]: Simplify c into c 1553850974.656 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.656 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553850974.656 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.656 * [taylor]: Taking taylor expansion of a in a 1553850974.656 * [backup-simplify]: Simplify 0 into 0 1553850974.656 * [backup-simplify]: Simplify 1 into 1 1553850974.656 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.656 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553850974.656 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.656 * [taylor]: Taking taylor expansion of b in a 1553850974.656 * [backup-simplify]: Simplify b into b 1553850974.656 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.657 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553850974.657 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.657 * [taylor]: Taking taylor expansion of d in a 1553850974.657 * [backup-simplify]: Simplify d into d 1553850974.657 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.657 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850974.657 * [taylor]: Taking taylor expansion of c in a 1553850974.657 * [backup-simplify]: Simplify c into c 1553850974.657 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.657 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553850974.657 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.657 * [taylor]: Taking taylor expansion of a in a 1553850974.657 * [backup-simplify]: Simplify 0 into 0 1553850974.657 * [backup-simplify]: Simplify 1 into 1 1553850974.657 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.657 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553850974.657 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.657 * [taylor]: Taking taylor expansion of b in a 1553850974.657 * [backup-simplify]: Simplify b into b 1553850974.658 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.658 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553850974.658 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.658 * [taylor]: Taking taylor expansion of d in a 1553850974.658 * [backup-simplify]: Simplify d into d 1553850974.658 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.658 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850974.658 * [taylor]: Taking taylor expansion of c in a 1553850974.658 * [backup-simplify]: Simplify c into c 1553850974.658 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.658 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.658 * [taylor]: Taking taylor expansion of 1 in b 1553850974.658 * [backup-simplify]: Simplify 1 into 1 1553850974.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.659 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553850974.659 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553850974.660 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553850974.660 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1553850974.660 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.660 * [taylor]: Taking taylor expansion of b in b 1553850974.660 * [backup-simplify]: Simplify 0 into 0 1553850974.660 * [backup-simplify]: Simplify 1 into 1 1553850974.660 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.660 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1553850974.660 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850974.660 * [taylor]: Taking taylor expansion of c in b 1553850974.660 * [backup-simplify]: Simplify c into c 1553850974.660 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.660 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.660 * [taylor]: Taking taylor expansion of d in b 1553850974.660 * [backup-simplify]: Simplify d into d 1553850974.660 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.661 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.661 * [taylor]: Taking taylor expansion of 1 in d 1553850974.661 * [backup-simplify]: Simplify 1 into 1 1553850974.661 * [taylor]: Taking taylor expansion of 1 in d 1553850974.661 * [backup-simplify]: Simplify 1 into 1 1553850974.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850974.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850974.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.663 * [taylor]: Taking taylor expansion of 0 in b 1553850974.664 * [backup-simplify]: Simplify 0 into 0 1553850974.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.664 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1553850974.665 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 1553850974.665 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1553850974.665 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850974.665 * [taylor]: Taking taylor expansion of c in d 1553850974.665 * [backup-simplify]: Simplify c into c 1553850974.665 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.665 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.665 * [taylor]: Taking taylor expansion of d in d 1553850974.665 * [backup-simplify]: Simplify 0 into 0 1553850974.665 * [backup-simplify]: Simplify 1 into 1 1553850974.665 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.666 * [backup-simplify]: Simplify (+ 0 1) into 1 1553850974.666 * [taylor]: Taking taylor expansion of 1 in c 1553850974.666 * [backup-simplify]: Simplify 1 into 1 1553850974.666 * [taylor]: Taking taylor expansion of 0 in d 1553850974.666 * [backup-simplify]: Simplify 0 into 0 1553850974.666 * [taylor]: Taking taylor expansion of 1 in c 1553850974.666 * [backup-simplify]: Simplify 1 into 1 1553850974.666 * [taylor]: Taking taylor expansion of 1 in c 1553850974.666 * [backup-simplify]: Simplify 1 into 1 1553850974.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553850974.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553850974.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553850974.668 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.668 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.669 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.669 * [taylor]: Taking taylor expansion of 0 in b 1553850974.669 * [backup-simplify]: Simplify 0 into 0 1553850974.669 * [taylor]: Taking taylor expansion of 0 in d 1553850974.669 * [backup-simplify]: Simplify 0 into 0 1553850974.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850974.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.670 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.671 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.671 * [taylor]: Taking taylor expansion of 0 in d 1553850974.671 * [backup-simplify]: Simplify 0 into 0 1553850974.671 * [taylor]: Taking taylor expansion of 0 in d 1553850974.671 * [backup-simplify]: Simplify 0 into 0 1553850974.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.672 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 1553850974.672 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850974.672 * [taylor]: Taking taylor expansion of c in c 1553850974.672 * [backup-simplify]: Simplify 0 into 0 1553850974.672 * [backup-simplify]: Simplify 1 into 1 1553850974.672 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.672 * [backup-simplify]: Simplify 1 into 1 1553850974.672 * [taylor]: Taking taylor expansion of 0 in c 1553850974.672 * [backup-simplify]: Simplify 0 into 0 1553850974.672 * [taylor]: Taking taylor expansion of 0 in c 1553850974.672 * [backup-simplify]: Simplify 0 into 0 1553850974.672 * [taylor]: Taking taylor expansion of 0 in c 1553850974.673 * [backup-simplify]: Simplify 0 into 0 1553850974.673 * [backup-simplify]: Simplify 1 into 1 1553850974.673 * [backup-simplify]: Simplify 1 into 1 1553850974.673 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553850974.674 * [backup-simplify]: Simplify (+ (+ (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (/ 1 (- c))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) 1553850974.674 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in (a b d c) around 0 1553850974.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in c 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1553850974.674 * [taylor]: Taking taylor expansion of a in c 1553850974.674 * [backup-simplify]: Simplify a into a 1553850974.674 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1553850974.674 * [taylor]: Taking taylor expansion of b in c 1553850974.674 * [backup-simplify]: Simplify b into b 1553850974.674 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1553850974.674 * [taylor]: Taking taylor expansion of d in c 1553850974.674 * [backup-simplify]: Simplify d into d 1553850974.674 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850974.674 * [taylor]: Taking taylor expansion of c in c 1553850974.674 * [backup-simplify]: Simplify 0 into 0 1553850974.674 * [backup-simplify]: Simplify 1 into 1 1553850974.674 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in d 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1553850974.674 * [taylor]: Taking taylor expansion of a in d 1553850974.674 * [backup-simplify]: Simplify a into a 1553850974.674 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1553850974.674 * [taylor]: Taking taylor expansion of b in d 1553850974.674 * [backup-simplify]: Simplify b into b 1553850974.674 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1553850974.674 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.674 * [taylor]: Taking taylor expansion of d in d 1553850974.674 * [backup-simplify]: Simplify 0 into 0 1553850974.674 * [backup-simplify]: Simplify 1 into 1 1553850974.675 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850974.675 * [taylor]: Taking taylor expansion of c in d 1553850974.675 * [backup-simplify]: Simplify c into c 1553850974.675 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.675 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in b 1553850974.675 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1553850974.675 * [taylor]: Taking taylor expansion of a in b 1553850974.675 * [backup-simplify]: Simplify a into a 1553850974.675 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1553850974.675 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.675 * [taylor]: Taking taylor expansion of b in b 1553850974.675 * [backup-simplify]: Simplify 0 into 0 1553850974.675 * [backup-simplify]: Simplify 1 into 1 1553850974.675 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.675 * [taylor]: Taking taylor expansion of d in b 1553850974.675 * [backup-simplify]: Simplify d into d 1553850974.675 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850974.675 * [taylor]: Taking taylor expansion of c in b 1553850974.675 * [backup-simplify]: Simplify c into c 1553850974.675 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.675 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1553850974.675 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553850974.675 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.675 * [taylor]: Taking taylor expansion of a in a 1553850974.676 * [backup-simplify]: Simplify 0 into 0 1553850974.676 * [backup-simplify]: Simplify 1 into 1 1553850974.676 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.676 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553850974.676 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.676 * [taylor]: Taking taylor expansion of b in a 1553850974.676 * [backup-simplify]: Simplify b into b 1553850974.676 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.676 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553850974.676 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.676 * [taylor]: Taking taylor expansion of d in a 1553850974.676 * [backup-simplify]: Simplify d into d 1553850974.676 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.676 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850974.676 * [taylor]: Taking taylor expansion of c in a 1553850974.676 * [backup-simplify]: Simplify c into c 1553850974.676 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.676 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1553850974.676 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1553850974.676 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1553850974.676 * [taylor]: Taking taylor expansion of a in a 1553850974.676 * [backup-simplify]: Simplify 0 into 0 1553850974.676 * [backup-simplify]: Simplify 1 into 1 1553850974.676 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.676 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1553850974.676 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1553850974.676 * [taylor]: Taking taylor expansion of b in a 1553850974.676 * [backup-simplify]: Simplify b into b 1553850974.676 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1553850974.677 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1553850974.677 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1553850974.677 * [taylor]: Taking taylor expansion of d in a 1553850974.677 * [backup-simplify]: Simplify d into d 1553850974.677 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.677 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1553850974.677 * [taylor]: Taking taylor expansion of c in a 1553850974.677 * [backup-simplify]: Simplify c into c 1553850974.677 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.677 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.677 * [backup-simplify]: Simplify (- 1) into -1 1553850974.677 * [taylor]: Taking taylor expansion of -1 in b 1553850974.677 * [backup-simplify]: Simplify -1 into -1 1553850974.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.678 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553850974.678 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553850974.678 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1553850974.678 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1553850974.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1553850974.678 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1553850974.678 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1553850974.678 * [taylor]: Taking taylor expansion of b in b 1553850974.678 * [backup-simplify]: Simplify 0 into 0 1553850974.678 * [backup-simplify]: Simplify 1 into 1 1553850974.678 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.679 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1553850974.679 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1553850974.679 * [taylor]: Taking taylor expansion of d in b 1553850974.679 * [backup-simplify]: Simplify d into d 1553850974.679 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1553850974.679 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1553850974.679 * [taylor]: Taking taylor expansion of c in b 1553850974.679 * [backup-simplify]: Simplify c into c 1553850974.679 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.679 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.679 * [backup-simplify]: Simplify (- 1) into -1 1553850974.679 * [taylor]: Taking taylor expansion of -1 in d 1553850974.679 * [backup-simplify]: Simplify -1 into -1 1553850974.679 * [taylor]: Taking taylor expansion of -1 in d 1553850974.679 * [backup-simplify]: Simplify -1 into -1 1553850974.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1553850974.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850974.680 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.681 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.681 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.681 * [backup-simplify]: Simplify (- 0) into 0 1553850974.681 * [taylor]: Taking taylor expansion of 0 in b 1553850974.681 * [backup-simplify]: Simplify 0 into 0 1553850974.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.682 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1553850974.682 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 1553850974.682 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c))) 1553850974.682 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in d 1553850974.682 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1553850974.682 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1553850974.682 * [taylor]: Taking taylor expansion of d in d 1553850974.682 * [backup-simplify]: Simplify 0 into 0 1553850974.682 * [backup-simplify]: Simplify 1 into 1 1553850974.682 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.682 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1553850974.682 * [taylor]: Taking taylor expansion of c in d 1553850974.682 * [backup-simplify]: Simplify c into c 1553850974.682 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1553850974.682 * [backup-simplify]: Simplify (+ 1 0) into 1 1553850974.683 * [backup-simplify]: Simplify (- 1) into -1 1553850974.683 * [taylor]: Taking taylor expansion of -1 in c 1553850974.683 * [backup-simplify]: Simplify -1 into -1 1553850974.683 * [taylor]: Taking taylor expansion of 0 in d 1553850974.683 * [backup-simplify]: Simplify 0 into 0 1553850974.683 * [taylor]: Taking taylor expansion of -1 in c 1553850974.683 * [backup-simplify]: Simplify -1 into -1 1553850974.683 * [taylor]: Taking taylor expansion of -1 in c 1553850974.683 * [backup-simplify]: Simplify -1 into -1 1553850974.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1553850974.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1553850974.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1553850974.684 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.684 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.684 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.685 * [backup-simplify]: Simplify (- 0) into 0 1553850974.685 * [taylor]: Taking taylor expansion of 0 in b 1553850974.685 * [backup-simplify]: Simplify 0 into 0 1553850974.685 * [taylor]: Taking taylor expansion of 0 in d 1553850974.685 * [backup-simplify]: Simplify 0 into 0 1553850974.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553850974.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1553850974.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1553850974.686 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.686 * [backup-simplify]: Simplify (+ 0 0) into 0 1553850974.686 * [backup-simplify]: Simplify (- 0) into 0 1553850974.686 * [taylor]: Taking taylor expansion of 0 in d 1553850974.686 * [backup-simplify]: Simplify 0 into 0 1553850974.686 * [taylor]: Taking taylor expansion of 0 in d 1553850974.686 * [backup-simplify]: Simplify 0 into 0 1553850974.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553850974.687 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 1553850974.687 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 1553850974.687 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553850974.687 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553850974.687 * [taylor]: Taking taylor expansion of c in c 1553850974.687 * [backup-simplify]: Simplify 0 into 0 1553850974.687 * [backup-simplify]: Simplify 1 into 1 1553850974.687 * [backup-simplify]: Simplify (/ 1 1) into 1 1553850974.687 * [backup-simplify]: Simplify (- 1) into -1 1553850974.687 * [backup-simplify]: Simplify -1 into -1 1553850974.687 * [taylor]: Taking taylor expansion of 0 in c 1553850974.687 * [backup-simplify]: Simplify 0 into 0 1553850974.687 * [taylor]: Taking taylor expansion of 0 in c 1553850974.687 * [backup-simplify]: Simplify 0 into 0 1553850974.687 * [taylor]: Taking taylor expansion of 0 in c 1553850974.688 * [backup-simplify]: Simplify 0 into 0 1553850974.688 * [backup-simplify]: Simplify -1 into -1 1553850974.688 * [backup-simplify]: Simplify -1 into -1 1553850974.688 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1553850974.688 * * * [progress]: simplifying candidates 1553850974.688 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1553850974.689 * [simplify]: Simplifying (* (exp a) (* (exp b) (exp d))) 1553850974.689 * * [simplify]: iters left: 5 (8 enodes) 1553850974.690 * * [simplify]: iters left: 4 (30 enodes) 1553850974.694 * * [simplify]: iters left: 3 (48 enodes) 1553850974.701 * * [simplify]: iters left: 2 (73 enodes) 1553850974.715 * * [simplify]: iters left: 1 (83 enodes) 1553850974.731 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.732 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850974.732 * * [simplify]: Extracting #2: cost 22 inf + 0 1553850974.732 * * [simplify]: Extracting #3: cost 20 inf + 145 1553850974.732 * * [simplify]: Extracting #4: cost 9 inf + 1044 1553850974.733 * * [simplify]: Extracting #5: cost 0 inf + 1825 1553850974.733 * [simplify]: Simplified to (exp (+ a (+ b d))) 1553850974.733 * [simplify]: Simplified (2 1 1 1) to (λ (a b c d) (* (+ (log (exp (+ a (+ b d)))) c) 2)) 1553850974.733 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1553850974.734 * [simplify]: Simplifying (* (exp a) (exp (+ b d))) 1553850974.734 * * [simplify]: iters left: 5 (7 enodes) 1553850974.735 * * [simplify]: iters left: 4 (28 enodes) 1553850974.739 * * [simplify]: iters left: 3 (45 enodes) 1553850974.746 * * [simplify]: iters left: 2 (65 enodes) 1553850974.755 * * [simplify]: iters left: 1 (74 enodes) 1553850974.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.764 * * [simplify]: Extracting #1: cost 9 inf + 0 1553850974.764 * * [simplify]: Extracting #2: cost 22 inf + 0 1553850974.764 * * [simplify]: Extracting #3: cost 20 inf + 145 1553850974.764 * * [simplify]: Extracting #4: cost 7 inf + 1140 1553850974.765 * * [simplify]: Extracting #5: cost 0 inf + 1825 1553850974.765 * [simplify]: Simplified to (exp (+ d (+ a b))) 1553850974.765 * [simplify]: Simplified (2 1 1 1) to (λ (a b c d) (* (+ (log (exp (+ d (+ a b)))) c) 2)) 1553850974.766 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1553850974.766 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1553850974.766 * [simplify]: Simplifying (+ a (+ b d)) 1553850974.766 * * [simplify]: iters left: 4 (5 enodes) 1553850974.769 * * [simplify]: iters left: 3 (19 enodes) 1553850974.774 * * [simplify]: iters left: 2 (27 enodes) 1553850974.781 * * [simplify]: iters left: 1 (32 enodes) 1553850974.788 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.788 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.788 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.788 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.788 * [simplify]: Simplified to (+ (+ a d) b) 1553850974.788 * [simplify]: Simplified (2 1 1 2) to (λ (a b c d) (* (+ (* 1 (+ (+ a d) b)) c) 2)) 1553850974.788 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1553850974.789 * [simplify]: Simplifying (+ a (+ b d)) 1553850974.789 * * [simplify]: iters left: 4 (5 enodes) 1553850974.791 * * [simplify]: iters left: 3 (19 enodes) 1553850974.796 * * [simplify]: iters left: 2 (27 enodes) 1553850974.800 * * [simplify]: iters left: 1 (32 enodes) 1553850974.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.803 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850974.803 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850974.803 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850974.804 * [simplify]: Simplified to (+ (+ a d) b) 1553850974.804 * [simplify]: Simplified (2 1 1 2) to (λ (a b c d) (* (+ (* 1 (+ (+ a d) b)) c) 2)) 1553850974.804 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1553850974.804 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1553850974.804 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (+ a (+ b d)))) c) 2))> 1553850974.804 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1553850974.804 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1553850974.804 * [simplify]: Simplifying (* (* (exp a) (* (exp b) (exp d))) (exp c)) 1553850974.804 * * [simplify]: iters left: 6 (11 enodes) 1553850974.806 * * [simplify]: iters left: 5 (42 enodes) 1553850974.812 * * [simplify]: iters left: 4 (77 enodes) 1553850974.832 * * [simplify]: iters left: 3 (157 enodes) 1553850974.867 * * [simplify]: iters left: 2 (265 enodes) 1553850974.906 * * [simplify]: iters left: 1 (306 enodes) 1553850974.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850974.950 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850974.950 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850974.951 * * [simplify]: Extracting #3: cost 44 inf + 555 1553850974.951 * * [simplify]: Extracting #4: cost 13 inf + 3679 1553850974.953 * * [simplify]: Extracting #5: cost 0 inf + 4944 1553850974.954 * [simplify]: Simplified to (exp (+ (+ c b) (+ a d))) 1553850974.954 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ c b) (+ a d)))) 2)) 1553850974.954 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 1553850974.954 * [simplify]: Simplifying (* (* (exp a) (exp (+ b d))) (exp c)) 1553850974.954 * * [simplify]: iters left: 6 (10 enodes) 1553850974.956 * * [simplify]: iters left: 5 (40 enodes) 1553850974.963 * * [simplify]: iters left: 4 (73 enodes) 1553850974.978 * * [simplify]: iters left: 3 (144 enodes) 1553850975.007 * * [simplify]: iters left: 2 (242 enodes) 1553850975.079 * * [simplify]: iters left: 1 (288 enodes) 1553850975.132 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.133 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850975.133 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850975.133 * * [simplify]: Extracting #3: cost 37 inf + 1247 1553850975.134 * * [simplify]: Extracting #4: cost 7 inf + 4206 1553850975.135 * * [simplify]: Extracting #5: cost 0 inf + 4944 1553850975.137 * [simplify]: Simplified to (exp (+ a (+ (+ d c) b))) 1553850975.137 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ a (+ (+ d c) b)))) 2)) 1553850975.137 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 1553850975.137 * [simplify]: Simplifying (* (exp (+ a (+ b d))) (exp c)) 1553850975.137 * * [simplify]: iters left: 6 (9 enodes) 1553850975.139 * * [simplify]: iters left: 5 (37 enodes) 1553850975.145 * * [simplify]: iters left: 4 (70 enodes) 1553850975.155 * * [simplify]: iters left: 3 (141 enodes) 1553850975.183 * * [simplify]: iters left: 2 (221 enodes) 1553850975.236 * * [simplify]: iters left: 1 (234 enodes) 1553850975.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.261 * * [simplify]: Extracting #1: cost 17 inf + 0 1553850975.261 * * [simplify]: Extracting #2: cost 46 inf + 0 1553850975.262 * * [simplify]: Extracting #3: cost 46 inf + 454 1553850975.263 * * [simplify]: Extracting #4: cost 11 inf + 3973 1553850975.266 * * [simplify]: Extracting #5: cost 0 inf + 5224 1553850975.269 * * [simplify]: Extracting #6: cost 0 inf + 4944 1553850975.271 * [simplify]: Simplified to (exp (+ (+ a d) (+ b c))) 1553850975.271 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ a d) (+ b c)))) 2)) 1553850975.271 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1553850975.271 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1553850975.272 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1553850975.272 * [simplify]: Simplifying (+ (+ a (+ b d)) c) 1553850975.272 * * [simplify]: iters left: 6 (7 enodes) 1553850975.274 * * [simplify]: iters left: 5 (28 enodes) 1553850975.278 * * [simplify]: iters left: 4 (51 enodes) 1553850975.287 * * [simplify]: iters left: 3 (84 enodes) 1553850975.299 * * [simplify]: iters left: 2 (109 enodes) 1553850975.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.311 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850975.311 * * [simplify]: Extracting #2: cost 20 inf + 129 1553850975.311 * * [simplify]: Extracting #3: cost 3 inf + 1212 1553850975.312 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850975.312 * [simplify]: Simplified to (+ a (+ (+ b d) c)) 1553850975.312 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ a (+ (+ b d) c))) 2)) 1553850975.312 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1553850975.312 * [simplify]: Simplifying (+ (+ a (+ b d)) c) 1553850975.312 * * [simplify]: iters left: 6 (7 enodes) 1553850975.314 * * [simplify]: iters left: 5 (28 enodes) 1553850975.318 * * [simplify]: iters left: 4 (51 enodes) 1553850975.325 * * [simplify]: iters left: 3 (84 enodes) 1553850975.336 * * [simplify]: iters left: 2 (109 enodes) 1553850975.349 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.350 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850975.350 * * [simplify]: Extracting #2: cost 20 inf + 129 1553850975.350 * * [simplify]: Extracting #3: cost 3 inf + 1212 1553850975.351 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850975.351 * [simplify]: Simplified to (+ a (+ (+ b d) c)) 1553850975.351 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ a (+ (+ b d) c))) 2)) 1553850975.351 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 1553850975.351 * [simplify]: Simplifying (+ (+ a (+ b d)) c) 1553850975.352 * * [simplify]: iters left: 6 (7 enodes) 1553850975.353 * * [simplify]: iters left: 5 (28 enodes) 1553850975.357 * * [simplify]: iters left: 4 (51 enodes) 1553850975.364 * * [simplify]: iters left: 3 (84 enodes) 1553850975.387 * * [simplify]: iters left: 2 (109 enodes) 1553850975.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.413 * * [simplify]: Extracting #1: cost 16 inf + 0 1553850975.413 * * [simplify]: Extracting #2: cost 20 inf + 129 1553850975.414 * * [simplify]: Extracting #3: cost 3 inf + 1212 1553850975.415 * * [simplify]: Extracting #4: cost 0 inf + 1420 1553850975.416 * [simplify]: Simplified to (+ a (+ (+ b d) c)) 1553850975.416 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ a (+ (+ b d) c))) 2)) 1553850975.416 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1553850975.416 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1553850975.416 * [simplify]: Simplifying (+ a b) 1553850975.416 * * [simplify]: iters left: 2 (3 enodes) 1553850975.418 * * [simplify]: iters left: 1 (10 enodes) 1553850975.420 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.420 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850975.420 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850975.420 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850975.421 * [simplify]: Simplified to (+ b a) 1553850975.421 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ b a) (+ d c)) 2)) 1553850975.421 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1553850975.421 * [simplify]: Simplifying (+ a d) 1553850975.421 * * [simplify]: iters left: 2 (3 enodes) 1553850975.421 * * [simplify]: iters left: 1 (10 enodes) 1553850975.423 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.423 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850975.423 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850975.423 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850975.423 * [simplify]: Simplified to (+ d a) 1553850975.423 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ d a) (+ b c)) 2)) 1553850975.423 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1553850975.423 * [simplify]: Simplifying (+ b d) 1553850975.423 * * [simplify]: iters left: 2 (3 enodes) 1553850975.424 * * [simplify]: iters left: 1 (10 enodes) 1553850975.425 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.425 * * [simplify]: Extracting #1: cost 4 inf + 0 1553850975.425 * * [simplify]: Extracting #2: cost 2 inf + 2 1553850975.425 * * [simplify]: Extracting #3: cost 0 inf + 86 1553850975.425 * [simplify]: Simplified to (+ d b) 1553850975.425 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ d b) (+ a c)) 2)) 1553850975.425 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #real (real->posit16 (+ (+ a (+ b d)) c))) 2))> 1553850975.425 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 1553850975.425 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1553850975.425 * [simplify]: Simplifying (+ a (+ b d)) 1553850975.425 * * [simplify]: iters left: 4 (5 enodes) 1553850975.426 * * [simplify]: iters left: 3 (19 enodes) 1553850975.429 * * [simplify]: iters left: 2 (27 enodes) 1553850975.432 * * [simplify]: iters left: 1 (32 enodes) 1553850975.436 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.436 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.436 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.436 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.436 * [simplify]: Simplified to (+ (+ a d) b) 1553850975.436 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ (+ a d) b) c) 2)) 1553850975.436 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 1553850975.436 * [simplify]: Simplifying (+ a (+ b d)) 1553850975.436 * * [simplify]: iters left: 4 (5 enodes) 1553850975.438 * * [simplify]: iters left: 3 (19 enodes) 1553850975.440 * * [simplify]: iters left: 2 (27 enodes) 1553850975.444 * * [simplify]: iters left: 1 (32 enodes) 1553850975.448 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.448 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.448 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.448 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.448 * [simplify]: Simplified to (+ (+ a d) b) 1553850975.448 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ (+ a d) b) c) 2)) 1553850975.448 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1553850975.448 * [simplify]: Simplifying (+ a (+ b d)) 1553850975.448 * * [simplify]: iters left: 4 (5 enodes) 1553850975.450 * * [simplify]: iters left: 3 (19 enodes) 1553850975.452 * * [simplify]: iters left: 2 (27 enodes) 1553850975.458 * * [simplify]: iters left: 1 (32 enodes) 1553850975.465 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.465 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.465 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.465 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.466 * [simplify]: Simplified to (+ (+ a d) b) 1553850975.466 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ (+ a d) b) c) 2)) 1553850975.466 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1553850975.466 * [simplify]: Simplifying (+ a (+ b d)) 1553850975.466 * * [simplify]: iters left: 4 (5 enodes) 1553850975.468 * * [simplify]: iters left: 3 (19 enodes) 1553850975.474 * * [simplify]: iters left: 2 (27 enodes) 1553850975.481 * * [simplify]: iters left: 1 (32 enodes) 1553850975.485 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.485 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.485 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.485 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.485 * [simplify]: Simplified to (+ (+ a d) b) 1553850975.485 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ a d) b) 2)) 1553850975.485 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1553850975.485 * [simplify]: Simplifying (+ b (+ c d)) 1553850975.485 * * [simplify]: iters left: 4 (5 enodes) 1553850975.486 * * [simplify]: iters left: 3 (19 enodes) 1553850975.489 * * [simplify]: iters left: 2 (27 enodes) 1553850975.492 * * [simplify]: iters left: 1 (32 enodes) 1553850975.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.495 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.495 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.496 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.496 * [simplify]: Simplified to (+ (+ b d) c) 1553850975.496 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553850975.496 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1553850975.496 * [simplify]: Simplifying (+ b (+ c d)) 1553850975.496 * * [simplify]: iters left: 4 (5 enodes) 1553850975.497 * * [simplify]: iters left: 3 (19 enodes) 1553850975.499 * * [simplify]: iters left: 2 (27 enodes) 1553850975.503 * * [simplify]: iters left: 1 (32 enodes) 1553850975.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.507 * * [simplify]: Extracting #1: cost 8 inf + 0 1553850975.507 * * [simplify]: Extracting #2: cost 7 inf + 45 1553850975.507 * * [simplify]: Extracting #3: cost 0 inf + 421 1553850975.507 * [simplify]: Simplified to (+ (+ b d) c) 1553850975.507 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b d) c) 2)) 1553850975.507 * * * [progress]: adding candidates to table 1553850975.808 * * [progress]: iteration 3 / 4 1553850975.809 * * * [progress]: picking best candidate 1553850975.815 * * * * [pick]: Picked # 1553850975.815 * * * [progress]: localizing error 1553850975.838 * * * [progress]: generating rewritten candidates 1553850975.838 * * * [progress]: generating series expansions 1553850975.838 * * * [progress]: simplifying candidates 1553850975.838 * * * [progress]: adding candidates to table 1553850975.839 * [progress]: [Phase 3 of 3] Extracting. 1553850975.841 * [simplify]: Simplifying (* (+ (+ a d) (+ b c)) 2) 1553850975.841 * * [simplify]: iters left: 6 (9 enodes) 1553850975.842 * * [simplify]: iters left: 5 (13 enodes) 1553850975.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850975.842 * * [simplify]: Extracting #1: cost 3 inf + 0 1553850975.842 * * [simplify]: Extracting #2: cost 4 inf + 1 1553850975.842 * * [simplify]: Extracting #3: cost 8 inf + 1 1553850975.842 * * [simplify]: Extracting #4: cost 3 inf + 47 1553850975.842 * * [simplify]: Extracting #5: cost 0 inf + 378 1553850975.842 * [simplify]: Simplified to (* 2 (+ (+ b c) (+ d a))) 1553850977.584 * [regime-testing]: Baseline error score: 0 1553850977.585 * [regime-testing]: Oracle error score: 0 1553850977.585 * [regime-testing]: End program error score: 0 1553850977.635 * [regime-testing]: Target error score: 3.840019664170961