6.345 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (* a (+ (+ b c) d))
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: Extracting # 3 : cost  0
0.037 * * [simplify]: Extracting # 4 : cost  0
0.037 * * [simplify]: Extracting # 5 : cost  0
0.037 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  1 :  18  enodes  (cost  7 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  2 :  39  enodes  (cost  7 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  3 :  65  enodes  (cost  7 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: iteration done:  65  enodes  (cost  7 )
0.059 * [simplify]: Simplified to:
  (* a (+ (+ b c) d))
0.059 * * [progress]: iteration 1 / 4
0.059 * * * [progress]: picking best candidate
0.061 * * * * [pick]: Picked  #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
0.061 * * * [progress]: localizing error
0.067 * * * [progress]: generating rewritten candidates
0.067 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.171 * * * [progress]: generating series expansions
0.171 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.171 * [backup-simplify]: Simplify (* a (+ (+ b c) d)) into (* a (+ d (+ b c)))
0.171 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
0.173 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
0.173 * [taylor]: Taking taylor expansion of a in d
0.173 * [backup-simplify]: Simplify a into a
0.173 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.173 * [taylor]: Taking taylor expansion of d in d
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [taylor]: Taking taylor expansion of (+ b c) in d
0.173 * [taylor]: Taking taylor expansion of b in d
0.173 * [backup-simplify]: Simplify b into b
0.173 * [taylor]: Taking taylor expansion of c in d
0.173 * [backup-simplify]: Simplify c into c
0.173 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
0.173 * [taylor]: Taking taylor expansion of a in c
0.173 * [backup-simplify]: Simplify a into a
0.173 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.173 * [taylor]: Taking taylor expansion of d in c
0.173 * [backup-simplify]: Simplify d into d
0.173 * [taylor]: Taking taylor expansion of (+ b c) in c
0.173 * [taylor]: Taking taylor expansion of b in c
0.173 * [backup-simplify]: Simplify b into b
0.173 * [taylor]: Taking taylor expansion of c in c
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
0.174 * [taylor]: Taking taylor expansion of a in b
0.174 * [backup-simplify]: Simplify a into a
0.174 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.174 * [taylor]: Taking taylor expansion of d in b
0.174 * [backup-simplify]: Simplify d into d
0.174 * [taylor]: Taking taylor expansion of (+ b c) in b
0.174 * [taylor]: Taking taylor expansion of b in b
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [taylor]: Taking taylor expansion of c in b
0.174 * [backup-simplify]: Simplify c into c
0.174 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.174 * [taylor]: Taking taylor expansion of a in a
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.174 * [taylor]: Taking taylor expansion of d in a
0.174 * [backup-simplify]: Simplify d into d
0.174 * [taylor]: Taking taylor expansion of (+ b c) in a
0.174 * [taylor]: Taking taylor expansion of b in a
0.174 * [backup-simplify]: Simplify b into b
0.174 * [taylor]: Taking taylor expansion of c in a
0.174 * [backup-simplify]: Simplify c into c
0.174 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.174 * [taylor]: Taking taylor expansion of a in a
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.174 * [taylor]: Taking taylor expansion of d in a
0.174 * [backup-simplify]: Simplify d into d
0.174 * [taylor]: Taking taylor expansion of (+ b c) in a
0.174 * [taylor]: Taking taylor expansion of b in a
0.174 * [backup-simplify]: Simplify b into b
0.174 * [taylor]: Taking taylor expansion of c in a
0.174 * [backup-simplify]: Simplify c into c
0.175 * [backup-simplify]: Simplify (+ b c) into (+ b c)
0.175 * [backup-simplify]: Simplify (+ d (+ b c)) into (+ d (+ b c))
0.176 * [backup-simplify]: Simplify (* 0 (+ d (+ b c))) into 0
0.176 * [taylor]: Taking taylor expansion of 0 in b
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [taylor]: Taking taylor expansion of 0 in c
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [taylor]: Taking taylor expansion of 0 in d
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.177 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d (+ b c)))) into (+ d (+ c b))
0.177 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
0.177 * [taylor]: Taking taylor expansion of d in b
0.177 * [backup-simplify]: Simplify d into d
0.178 * [taylor]: Taking taylor expansion of (+ c b) in b
0.178 * [taylor]: Taking taylor expansion of c in b
0.178 * [backup-simplify]: Simplify c into c
0.178 * [taylor]: Taking taylor expansion of b in b
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (+ c 0) into c
0.178 * [backup-simplify]: Simplify (+ d c) into (+ d c)
0.178 * [taylor]: Taking taylor expansion of (+ d c) in c
0.178 * [taylor]: Taking taylor expansion of d in c
0.178 * [backup-simplify]: Simplify d into d
0.178 * [taylor]: Taking taylor expansion of c in c
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (+ d 0) into d
0.178 * [taylor]: Taking taylor expansion of d in d
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [taylor]: Taking taylor expansion of 0 in c
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify (+ 0 0) into 0
0.178 * [backup-simplify]: Simplify (+ 0 0) into 0
0.179 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d (+ b c))))) into 0
0.179 * [taylor]: Taking taylor expansion of 0 in b
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [taylor]: Taking taylor expansion of 0 in c
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [taylor]: Taking taylor expansion of 0 in d
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (* (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) into (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a)
0.180 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.180 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.180 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.180 * [taylor]: Taking taylor expansion of d in d
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (/ 1 1) into 1
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.180 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.180 * [taylor]: Taking taylor expansion of c in d
0.180 * [backup-simplify]: Simplify c into c
0.180 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.180 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.180 * [taylor]: Taking taylor expansion of b in d
0.180 * [backup-simplify]: Simplify b into b
0.180 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.180 * [taylor]: Taking taylor expansion of a in d
0.180 * [backup-simplify]: Simplify a into a
0.181 * [backup-simplify]: Simplify (+ 1 0) into 1
0.181 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.181 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.181 * [taylor]: Taking taylor expansion of d in c
0.181 * [backup-simplify]: Simplify d into d
0.181 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.181 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.181 * [taylor]: Taking taylor expansion of c in c
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.181 * [taylor]: Taking taylor expansion of b in c
0.181 * [backup-simplify]: Simplify b into b
0.181 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.181 * [taylor]: Taking taylor expansion of a in c
0.181 * [backup-simplify]: Simplify a into a
0.182 * [backup-simplify]: Simplify (+ 1 0) into 1
0.182 * [backup-simplify]: Simplify (+ 0 1) into 1
0.182 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.182 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.182 * [taylor]: Taking taylor expansion of d in b
0.182 * [backup-simplify]: Simplify d into d
0.182 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.182 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.182 * [taylor]: Taking taylor expansion of c in b
0.182 * [backup-simplify]: Simplify c into c
0.182 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.182 * [taylor]: Taking taylor expansion of b in b
0.182 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify 1 into 1
0.183 * [backup-simplify]: Simplify (/ 1 1) into 1
0.183 * [taylor]: Taking taylor expansion of a in b
0.183 * [backup-simplify]: Simplify a into a
0.183 * [backup-simplify]: Simplify (+ 0 1) into 1
0.183 * [backup-simplify]: Simplify (+ 0 1) into 1
0.183 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.183 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.183 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.183 * [taylor]: Taking taylor expansion of d in a
0.183 * [backup-simplify]: Simplify d into d
0.183 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.183 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.183 * [taylor]: Taking taylor expansion of c in a
0.183 * [backup-simplify]: Simplify c into c
0.183 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.183 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.183 * [taylor]: Taking taylor expansion of b in a
0.183 * [backup-simplify]: Simplify b into b
0.183 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.184 * [taylor]: Taking taylor expansion of a in a
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
0.184 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
0.184 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
0.184 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.184 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.184 * [taylor]: Taking taylor expansion of d in a
0.184 * [backup-simplify]: Simplify d into d
0.184 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.184 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.184 * [taylor]: Taking taylor expansion of c in a
0.184 * [backup-simplify]: Simplify c into c
0.184 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.184 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.184 * [taylor]: Taking taylor expansion of b in a
0.184 * [backup-simplify]: Simplify b into b
0.184 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.184 * [taylor]: Taking taylor expansion of a in a
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
0.184 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
0.185 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.185 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.185 * [taylor]: Taking taylor expansion of d in b
0.185 * [backup-simplify]: Simplify d into d
0.185 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.185 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.185 * [taylor]: Taking taylor expansion of c in b
0.185 * [backup-simplify]: Simplify c into c
0.185 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.185 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.185 * [taylor]: Taking taylor expansion of b in b
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.185 * [backup-simplify]: Simplify (/ 1 1) into 1
0.186 * [backup-simplify]: Simplify (+ 0 1) into 1
0.186 * [backup-simplify]: Simplify (+ 0 1) into 1
0.186 * [taylor]: Taking taylor expansion of 1 in c
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.187 * [backup-simplify]: Simplify (+ 0 0) into 0
0.187 * [backup-simplify]: Simplify (+ 0 0) into 0
0.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)))) into 0
0.187 * [taylor]: Taking taylor expansion of 0 in b
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.188 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.188 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.188 * [taylor]: Taking taylor expansion of c in c
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (/ 1 1) into 1
0.188 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.189 * [taylor]: Taking taylor expansion of d in c
0.189 * [backup-simplify]: Simplify d into d
0.189 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.189 * [backup-simplify]: Simplify (+ 1 0) into 1
0.189 * [taylor]: Taking taylor expansion of 1 in d
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [taylor]: Taking taylor expansion of 1 in d
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.189 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.189 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.190 * [backup-simplify]: Simplify (+ 0 0) into 0
0.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.191 * [taylor]: Taking taylor expansion of 0 in b
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [taylor]: Taking taylor expansion of 0 in c
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (+ 0 0) into 0
0.192 * [backup-simplify]: Simplify (+ 0 0) into 0
0.192 * [taylor]: Taking taylor expansion of 0 in c
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
0.192 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.192 * [taylor]: Taking taylor expansion of d in d
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (/ 1 1) into 1
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [taylor]: Taking taylor expansion of 0 in d
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify 1 into 1
0.194 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 (/ 1 (/ 1 a)))))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 (/ 1 (/ 1 a)))))))) into (+ (* d a) (+ (* a b) (* a c)))
0.194 * [backup-simplify]: Simplify (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) into (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a)
0.194 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.194 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.194 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.194 * [taylor]: Taking taylor expansion of d in d
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 1 into 1
0.194 * [backup-simplify]: Simplify (/ 1 1) into 1
0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.194 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.194 * [taylor]: Taking taylor expansion of c in d
0.194 * [backup-simplify]: Simplify c into c
0.194 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.194 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.194 * [taylor]: Taking taylor expansion of b in d
0.194 * [backup-simplify]: Simplify b into b
0.194 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.195 * [taylor]: Taking taylor expansion of a in d
0.195 * [backup-simplify]: Simplify a into a
0.195 * [backup-simplify]: Simplify (+ 1 0) into 1
0.195 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.195 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.195 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.195 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.195 * [taylor]: Taking taylor expansion of d in c
0.195 * [backup-simplify]: Simplify d into d
0.195 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.195 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.195 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.195 * [taylor]: Taking taylor expansion of c in c
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify 1 into 1
0.195 * [backup-simplify]: Simplify (/ 1 1) into 1
0.195 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.195 * [taylor]: Taking taylor expansion of b in c
0.195 * [backup-simplify]: Simplify b into b
0.195 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.195 * [taylor]: Taking taylor expansion of a in c
0.195 * [backup-simplify]: Simplify a into a
0.199 * [backup-simplify]: Simplify (+ 1 0) into 1
0.199 * [backup-simplify]: Simplify (+ 0 1) into 1
0.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.199 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.199 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.199 * [taylor]: Taking taylor expansion of d in b
0.199 * [backup-simplify]: Simplify d into d
0.199 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.199 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.199 * [taylor]: Taking taylor expansion of c in b
0.200 * [backup-simplify]: Simplify c into c
0.200 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.200 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.200 * [taylor]: Taking taylor expansion of b in b
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.200 * [backup-simplify]: Simplify (/ 1 1) into 1
0.200 * [taylor]: Taking taylor expansion of a in b
0.200 * [backup-simplify]: Simplify a into a
0.200 * [backup-simplify]: Simplify (+ 0 1) into 1
0.200 * [backup-simplify]: Simplify (+ 0 1) into 1
0.200 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.201 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.201 * [taylor]: Taking taylor expansion of d in a
0.201 * [backup-simplify]: Simplify d into d
0.201 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.201 * [taylor]: Taking taylor expansion of c in a
0.201 * [backup-simplify]: Simplify c into c
0.201 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.201 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.201 * [taylor]: Taking taylor expansion of b in a
0.201 * [backup-simplify]: Simplify b into b
0.201 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.201 * [taylor]: Taking taylor expansion of a in a
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify 1 into 1
0.201 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
0.201 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
0.201 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
0.201 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.201 * [taylor]: Taking taylor expansion of d in a
0.201 * [backup-simplify]: Simplify d into d
0.201 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.201 * [taylor]: Taking taylor expansion of c in a
0.201 * [backup-simplify]: Simplify c into c
0.201 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.201 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.201 * [taylor]: Taking taylor expansion of b in a
0.201 * [backup-simplify]: Simplify b into b
0.201 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.202 * [taylor]: Taking taylor expansion of a in a
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.202 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
0.202 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
0.202 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.202 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.202 * [taylor]: Taking taylor expansion of d in b
0.202 * [backup-simplify]: Simplify d into d
0.202 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.202 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.202 * [taylor]: Taking taylor expansion of c in b
0.202 * [backup-simplify]: Simplify c into c
0.202 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.202 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.202 * [taylor]: Taking taylor expansion of b in b
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.202 * [backup-simplify]: Simplify (/ 1 1) into 1
0.203 * [backup-simplify]: Simplify (+ 0 1) into 1
0.203 * [backup-simplify]: Simplify (+ 0 1) into 1
0.203 * [taylor]: Taking taylor expansion of 1 in c
0.203 * [backup-simplify]: Simplify 1 into 1
0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.204 * [backup-simplify]: Simplify (+ 0 0) into 0
0.204 * [backup-simplify]: Simplify (+ 0 0) into 0
0.204 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)))) into 0
0.204 * [taylor]: Taking taylor expansion of 0 in b
0.204 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.205 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.205 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.205 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.205 * [taylor]: Taking taylor expansion of c in c
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify 1 into 1
0.205 * [backup-simplify]: Simplify (/ 1 1) into 1
0.205 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.205 * [taylor]: Taking taylor expansion of d in c
0.205 * [backup-simplify]: Simplify d into d
0.205 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.206 * [backup-simplify]: Simplify (+ 1 0) into 1
0.206 * [taylor]: Taking taylor expansion of 1 in d
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [taylor]: Taking taylor expansion of 1 in d
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.206 * [backup-simplify]: Simplify (+ 0 0) into 0
0.207 * [backup-simplify]: Simplify (+ 0 0) into 0
0.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.207 * [taylor]: Taking taylor expansion of 0 in b
0.208 * [backup-simplify]: Simplify 0 into 0
0.208 * [taylor]: Taking taylor expansion of 0 in c
0.208 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.208 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.208 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [taylor]: Taking taylor expansion of 0 in c
0.209 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.210 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
0.210 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.210 * [taylor]: Taking taylor expansion of d in d
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [backup-simplify]: Simplify (/ 1 1) into 1
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [taylor]: Taking taylor expansion of 0 in d
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 (/ 1 (/ 1 (- a))))))) (* 1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 (/ 1 (/ 1 (- a))))))))) into (+ (* d a) (+ (* a b) (* a c)))
0.211 * * * [progress]: simplifying candidates
0.213 * [simplify]: Simplifying:
  (* a (+ (+ b c) d))
  (+ (log a) (log (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (* (* (* a a) a) (* (* (+ (+ b c) d) (+ (+ b c) d)) (+ (+ b c) d)))
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (* (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d))) (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* a (+ b c))
  (* a d)
  (* (+ b c) a)
  (* d a)
  (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* a (sqrt (+ (+ b c) d)))
  (* a 1)
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* a (+ (+ b c) d))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
0.214 * * [simplify]: Extracting # 0 : cost  0
0.214 * * [simplify]: Extracting # 1 : cost  0
0.214 * * [simplify]: Extracting # 2 : cost  0
0.214 * * [simplify]: Extracting # 3 : cost  0
0.214 * * [simplify]: Extracting # 4 : cost  0
0.214 * * [simplify]: Extracting # 5 : cost  0
0.214 * * [simplify]: Extracting # 6 : cost  0
0.214 * * [simplify]: iteration  0 :  52  enodes  (cost  255 )
0.239 * * [simplify]: Extracting # 0 : cost  0
0.240 * * [simplify]: Extracting # 1 : cost  0
0.240 * * [simplify]: Extracting # 2 : cost  0
0.240 * * [simplify]: Extracting # 3 : cost  0
0.240 * * [simplify]: Extracting # 4 : cost  0
0.241 * * [simplify]: iteration  1 :  147  enodes  (cost  240 )
0.321 * * [simplify]: Extracting # 0 : cost  0
0.322 * * [simplify]: Extracting # 1 : cost  0
0.328 * * [simplify]: Extracting # 2 : cost  0
0.329 * * [simplify]: Extracting # 3 : cost  0
0.330 * * [simplify]: Extracting # 4 : cost  0
0.331 * * [simplify]: Extracting # 5 : cost  0
0.332 * * [simplify]: iteration  2 :  563  enodes  (cost  216 )
1.104 * * [simplify]: Extracting # 0 : cost  0
1.108 * * [simplify]: Extracting # 1 : cost  0
1.111 * * [simplify]: Extracting # 2 : cost  0
1.118 * * [simplify]: Extracting # 3 : cost  0
1.121 * * [simplify]: Extracting # 4 : cost  0
1.124 * * [simplify]: iteration  3 :  3281  enodes  (cost  212 )
2.281 * * [simplify]: Extracting # 0 : cost  0
2.286 * * [simplify]: Extracting # 1 : cost  0
2.296 * * [simplify]: Extracting # 2 : cost  0
2.305 * * [simplify]: Extracting # 3 : cost  0
2.314 * * [simplify]: Extracting # 4 : cost  0
2.322 * * [simplify]: iteration done:  5002  enodes  (cost  212 )
2.322 * [simplify]: Simplified to:
  (* a (+ (+ b c) d))
  (log (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (+ b c) a)
  (* d a)
  (* (+ b c) a)
  (* d a)
  (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* a (sqrt (+ (+ b c) d)))
  a
  a
  a
  (* (cbrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* a (+ (+ b c) d))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (* a (+ (+ b c) d))
  (* a (+ (+ b c) d))
2.323 * * * [progress]: adding candidates to table
2.371 * * [progress]: iteration 2 / 4
2.371 * * * [progress]: picking best candidate
2.379 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* (+ b c) a) (* d a)))>
2.379 * * * [progress]: localizing error
2.387 * * * [progress]: generating rewritten candidates
2.387 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.403 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.449 * * * [progress]: generating series expansions
2.449 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.449 * [backup-simplify]: Simplify (+ (* (+ b c) a) (* d a)) into (+ (* d a) (+ (* a b) (* a c)))
2.450 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (b c a d) around 0
2.450 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
2.450 * [taylor]: Taking taylor expansion of (* d a) in d
2.450 * [taylor]: Taking taylor expansion of d in d
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of a in d
2.450 * [backup-simplify]: Simplify a into a
2.450 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
2.450 * [taylor]: Taking taylor expansion of (* a b) in d
2.450 * [taylor]: Taking taylor expansion of a in d
2.450 * [backup-simplify]: Simplify a into a
2.450 * [taylor]: Taking taylor expansion of b in d
2.450 * [backup-simplify]: Simplify b into b
2.450 * [taylor]: Taking taylor expansion of (* a c) in d
2.450 * [taylor]: Taking taylor expansion of a in d
2.450 * [backup-simplify]: Simplify a into a
2.450 * [taylor]: Taking taylor expansion of c in d
2.450 * [backup-simplify]: Simplify c into c
2.450 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
2.450 * [taylor]: Taking taylor expansion of (* d a) in a
2.450 * [taylor]: Taking taylor expansion of d in a
2.450 * [backup-simplify]: Simplify d into d
2.450 * [taylor]: Taking taylor expansion of a in a
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
2.450 * [taylor]: Taking taylor expansion of (* a b) in a
2.450 * [taylor]: Taking taylor expansion of a in a
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of b in a
2.450 * [backup-simplify]: Simplify b into b
2.450 * [taylor]: Taking taylor expansion of (* a c) in a
2.450 * [taylor]: Taking taylor expansion of a in a
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of c in a
2.450 * [backup-simplify]: Simplify c into c
2.450 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
2.451 * [taylor]: Taking taylor expansion of (* d a) in c
2.451 * [taylor]: Taking taylor expansion of d in c
2.451 * [backup-simplify]: Simplify d into d
2.451 * [taylor]: Taking taylor expansion of a in c
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
2.451 * [taylor]: Taking taylor expansion of (* a b) in c
2.451 * [taylor]: Taking taylor expansion of a in c
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of b in c
2.451 * [backup-simplify]: Simplify b into b
2.451 * [taylor]: Taking taylor expansion of (* a c) in c
2.451 * [taylor]: Taking taylor expansion of a in c
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of c in c
2.451 * [backup-simplify]: Simplify 0 into 0
2.451 * [backup-simplify]: Simplify 1 into 1
2.451 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
2.451 * [taylor]: Taking taylor expansion of (* d a) in b
2.451 * [taylor]: Taking taylor expansion of d in b
2.451 * [backup-simplify]: Simplify d into d
2.451 * [taylor]: Taking taylor expansion of a in b
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
2.451 * [taylor]: Taking taylor expansion of (* a b) in b
2.451 * [taylor]: Taking taylor expansion of a in b
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of b in b
2.451 * [backup-simplify]: Simplify 0 into 0
2.451 * [backup-simplify]: Simplify 1 into 1
2.451 * [taylor]: Taking taylor expansion of (* a c) in b
2.451 * [taylor]: Taking taylor expansion of a in b
2.451 * [backup-simplify]: Simplify a into a
2.451 * [taylor]: Taking taylor expansion of c in b
2.451 * [backup-simplify]: Simplify c into c
2.451 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
2.451 * [taylor]: Taking taylor expansion of (* d a) in b
2.451 * [taylor]: Taking taylor expansion of d in b
2.451 * [backup-simplify]: Simplify d into d
2.451 * [taylor]: Taking taylor expansion of a in b
2.451 * [backup-simplify]: Simplify a into a
2.452 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
2.452 * [taylor]: Taking taylor expansion of (* a b) in b
2.452 * [taylor]: Taking taylor expansion of a in b
2.452 * [backup-simplify]: Simplify a into a
2.452 * [taylor]: Taking taylor expansion of b in b
2.452 * [backup-simplify]: Simplify 0 into 0
2.452 * [backup-simplify]: Simplify 1 into 1
2.452 * [taylor]: Taking taylor expansion of (* a c) in b
2.452 * [taylor]: Taking taylor expansion of a in b
2.452 * [backup-simplify]: Simplify a into a
2.452 * [taylor]: Taking taylor expansion of c in b
2.452 * [backup-simplify]: Simplify c into c
2.452 * [backup-simplify]: Simplify (* d a) into (* d a)
2.452 * [backup-simplify]: Simplify (* a 0) into 0
2.452 * [backup-simplify]: Simplify (* a c) into (* a c)
2.452 * [backup-simplify]: Simplify (+ 0 (* a c)) into (* a c)
2.452 * [backup-simplify]: Simplify (+ (* d a) (* a c)) into (+ (* d a) (* a c))
2.452 * [taylor]: Taking taylor expansion of (+ (* d a) (* a c)) in c
2.452 * [taylor]: Taking taylor expansion of (* d a) in c
2.452 * [taylor]: Taking taylor expansion of d in c
2.452 * [backup-simplify]: Simplify d into d
2.452 * [taylor]: Taking taylor expansion of a in c
2.452 * [backup-simplify]: Simplify a into a
2.452 * [taylor]: Taking taylor expansion of (* a c) in c
2.452 * [taylor]: Taking taylor expansion of a in c
2.452 * [backup-simplify]: Simplify a into a
2.452 * [taylor]: Taking taylor expansion of c in c
2.453 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify 1 into 1
2.453 * [backup-simplify]: Simplify (* d a) into (* d a)
2.453 * [backup-simplify]: Simplify (* a 0) into 0
2.453 * [backup-simplify]: Simplify (+ (* d a) 0) into (* d a)
2.453 * [taylor]: Taking taylor expansion of (* d a) in a
2.453 * [taylor]: Taking taylor expansion of d in a
2.453 * [backup-simplify]: Simplify d into d
2.453 * [taylor]: Taking taylor expansion of a in a
2.453 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify 1 into 1
2.453 * [backup-simplify]: Simplify (* d 0) into 0
2.453 * [taylor]: Taking taylor expansion of 0 in d
2.453 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify (+ (* d 0) (* 0 a)) into 0
2.454 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.454 * [backup-simplify]: Simplify (+ (* a 0) (* 0 c)) into 0
2.454 * [backup-simplify]: Simplify (+ a 0) into a
2.454 * [backup-simplify]: Simplify (+ 0 a) into a
2.454 * [taylor]: Taking taylor expansion of a in c
2.454 * [backup-simplify]: Simplify a into a
2.454 * [taylor]: Taking taylor expansion of a in a
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify 1 into 1
2.454 * [taylor]: Taking taylor expansion of 0 in d
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify (+ (* d 0) (* 0 a)) into 0
2.455 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.455 * [backup-simplify]: Simplify (+ 0 a) into a
2.455 * [taylor]: Taking taylor expansion of a in a
2.455 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify 1 into 1
2.455 * [taylor]: Taking taylor expansion of 0 in d
2.455 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify (+ (* d 1) (* 0 0)) into d
2.455 * [taylor]: Taking taylor expansion of d in d
2.455 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify 1 into 1
2.455 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify (+ (* d 0) (+ (* 0 0) (* 0 a))) into 0
2.457 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.457 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 c))) into 0
2.457 * [backup-simplify]: Simplify (+ 0 0) into 0
2.458 * [backup-simplify]: Simplify (+ 0 0) into 0
2.458 * [taylor]: Taking taylor expansion of 0 in c
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [taylor]: Taking taylor expansion of 0 in a
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [taylor]: Taking taylor expansion of 0 in d
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify (+ (* (+ (/ 1 b) (/ 1 c)) (/ 1 a)) (* (/ 1 d) (/ 1 a))) into (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c))))
2.458 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (b c a d) around 0
2.458 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
2.458 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
2.459 * [taylor]: Taking taylor expansion of (* a b) in d
2.459 * [taylor]: Taking taylor expansion of a in d
2.459 * [backup-simplify]: Simplify a into a
2.459 * [taylor]: Taking taylor expansion of b in d
2.459 * [backup-simplify]: Simplify b into b
2.459 * [backup-simplify]: Simplify (* a b) into (* a b)
2.459 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
2.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
2.459 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
2.459 * [taylor]: Taking taylor expansion of (* d a) in d
2.459 * [taylor]: Taking taylor expansion of d in d
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [taylor]: Taking taylor expansion of a in d
2.459 * [backup-simplify]: Simplify a into a
2.459 * [backup-simplify]: Simplify (* 0 a) into 0
2.459 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 a)) into a
2.459 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.460 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
2.460 * [taylor]: Taking taylor expansion of (* a c) in d
2.460 * [taylor]: Taking taylor expansion of a in d
2.460 * [backup-simplify]: Simplify a into a
2.460 * [taylor]: Taking taylor expansion of c in d
2.460 * [backup-simplify]: Simplify c into c
2.460 * [backup-simplify]: Simplify (* a c) into (* a c)
2.460 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.460 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
2.460 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.460 * [taylor]: Taking taylor expansion of (* a b) in a
2.460 * [taylor]: Taking taylor expansion of a in a
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 1 into 1
2.460 * [taylor]: Taking taylor expansion of b in a
2.460 * [backup-simplify]: Simplify b into b
2.460 * [backup-simplify]: Simplify (* 0 b) into 0
2.460 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.460 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
2.461 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
2.461 * [taylor]: Taking taylor expansion of (* d a) in a
2.461 * [taylor]: Taking taylor expansion of d in a
2.461 * [backup-simplify]: Simplify d into d
2.461 * [taylor]: Taking taylor expansion of a in a
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.461 * [backup-simplify]: Simplify (* d 0) into 0
2.461 * [backup-simplify]: Simplify (+ (* d 1) (* 0 0)) into d
2.461 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.461 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.461 * [taylor]: Taking taylor expansion of (* a c) in a
2.461 * [taylor]: Taking taylor expansion of a in a
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.461 * [taylor]: Taking taylor expansion of c in a
2.461 * [backup-simplify]: Simplify c into c
2.461 * [backup-simplify]: Simplify (* 0 c) into 0
2.462 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 c)) into c
2.462 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
2.462 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
2.462 * [taylor]: Taking taylor expansion of (* a b) in c
2.462 * [taylor]: Taking taylor expansion of a in c
2.462 * [backup-simplify]: Simplify a into a
2.462 * [taylor]: Taking taylor expansion of b in c
2.462 * [backup-simplify]: Simplify b into b
2.462 * [backup-simplify]: Simplify (* a b) into (* a b)
2.462 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
2.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
2.462 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
2.462 * [taylor]: Taking taylor expansion of (* d a) in c
2.462 * [taylor]: Taking taylor expansion of d in c
2.462 * [backup-simplify]: Simplify d into d
2.462 * [taylor]: Taking taylor expansion of a in c
2.462 * [backup-simplify]: Simplify a into a
2.462 * [backup-simplify]: Simplify (* d a) into (* d a)
2.463 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.463 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.463 * [taylor]: Taking taylor expansion of (* a c) in c
2.463 * [taylor]: Taking taylor expansion of a in c
2.463 * [backup-simplify]: Simplify a into a
2.463 * [taylor]: Taking taylor expansion of c in c
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.463 * [backup-simplify]: Simplify (* a 0) into 0
2.463 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.463 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
2.463 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.463 * [taylor]: Taking taylor expansion of (* a b) in b
2.463 * [taylor]: Taking taylor expansion of a in b
2.463 * [backup-simplify]: Simplify a into a
2.464 * [taylor]: Taking taylor expansion of b in b
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (* a 0) into 0
2.464 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.464 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.464 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
2.464 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
2.464 * [taylor]: Taking taylor expansion of (* d a) in b
2.464 * [taylor]: Taking taylor expansion of d in b
2.464 * [backup-simplify]: Simplify d into d
2.464 * [taylor]: Taking taylor expansion of a in b
2.464 * [backup-simplify]: Simplify a into a
2.464 * [backup-simplify]: Simplify (* d a) into (* d a)
2.464 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.464 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
2.464 * [taylor]: Taking taylor expansion of (* a c) in b
2.464 * [taylor]: Taking taylor expansion of a in b
2.465 * [backup-simplify]: Simplify a into a
2.465 * [taylor]: Taking taylor expansion of c in b
2.465 * [backup-simplify]: Simplify c into c
2.465 * [backup-simplify]: Simplify (* a c) into (* a c)
2.465 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.465 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
2.465 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.465 * [taylor]: Taking taylor expansion of (* a b) in b
2.465 * [taylor]: Taking taylor expansion of a in b
2.465 * [backup-simplify]: Simplify a into a
2.465 * [taylor]: Taking taylor expansion of b in b
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify 1 into 1
2.465 * [backup-simplify]: Simplify (* a 0) into 0
2.465 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.465 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.465 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
2.465 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
2.466 * [taylor]: Taking taylor expansion of (* d a) in b
2.466 * [taylor]: Taking taylor expansion of d in b
2.466 * [backup-simplify]: Simplify d into d
2.466 * [taylor]: Taking taylor expansion of a in b
2.466 * [backup-simplify]: Simplify a into a
2.466 * [backup-simplify]: Simplify (* d a) into (* d a)
2.466 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.466 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
2.466 * [taylor]: Taking taylor expansion of (* a c) in b
2.466 * [taylor]: Taking taylor expansion of a in b
2.466 * [backup-simplify]: Simplify a into a
2.466 * [taylor]: Taking taylor expansion of c in b
2.466 * [backup-simplify]: Simplify c into c
2.466 * [backup-simplify]: Simplify (* a c) into (* a c)
2.466 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.466 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.466 * [taylor]: Taking taylor expansion of (/ 1 a) in c
2.466 * [taylor]: Taking taylor expansion of a in c
2.466 * [backup-simplify]: Simplify a into a
2.466 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.467 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.467 * [backup-simplify]: Simplify (+ (/ 1 (* d a)) (/ 1 (* a c))) into (+ (/ 1 (* a c)) (/ 1 (* d a)))
2.468 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 (* a c)) (/ 1 (* d a)))) into (+ (/ 1 (* a c)) (/ 1 (* d a)))
2.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
2.468 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.468 * [taylor]: Taking taylor expansion of (* a c) in c
2.468 * [taylor]: Taking taylor expansion of a in c
2.468 * [backup-simplify]: Simplify a into a
2.468 * [taylor]: Taking taylor expansion of c in c
2.468 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify 1 into 1
2.468 * [backup-simplify]: Simplify (* a 0) into 0
2.468 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.468 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.468 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
2.468 * [taylor]: Taking taylor expansion of (* d a) in c
2.468 * [taylor]: Taking taylor expansion of d in c
2.469 * [backup-simplify]: Simplify d into d
2.469 * [taylor]: Taking taylor expansion of a in c
2.469 * [backup-simplify]: Simplify a into a
2.469 * [backup-simplify]: Simplify (* d a) into (* d a)
2.469 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.469 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.469 * [taylor]: Taking taylor expansion of a in a
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (/ 1 1) into 1
2.469 * [taylor]: Taking taylor expansion of 1 in d
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.469 * [taylor]: Taking taylor expansion of a in a
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (/ 1 1) into 1
2.470 * [taylor]: Taking taylor expansion of 1 in d
2.470 * [backup-simplify]: Simplify 1 into 1
2.471 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.471 * [backup-simplify]: Simplify (+ (* d 0) (* 0 a)) into 0
2.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* d a)) (/ 0 (* d a))))) into 0
2.472 * [backup-simplify]: Simplify (+ (* a 0) (* 0 c)) into 0
2.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a c)) (/ 0 (* a c))))) into 0
2.472 * [backup-simplify]: Simplify (+ 0 0) into 0
2.472 * [backup-simplify]: Simplify (+ 0 0) into 0
2.472 * [taylor]: Taking taylor expansion of 0 in c
2.473 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.473 * [backup-simplify]: Simplify (+ 0 (/ 1 (* d a))) into (/ 1 (* d a))
2.473 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
2.474 * [taylor]: Taking taylor expansion of (* d a) in a
2.474 * [taylor]: Taking taylor expansion of d in a
2.474 * [backup-simplify]: Simplify d into d
2.474 * [taylor]: Taking taylor expansion of a in a
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 1 into 1
2.474 * [backup-simplify]: Simplify (* d 0) into 0
2.474 * [backup-simplify]: Simplify (+ (* d 1) (* 0 0)) into d
2.474 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.474 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.474 * [taylor]: Taking taylor expansion of d in d
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 1 into 1
2.475 * [backup-simplify]: Simplify (/ 1 1) into 1
2.475 * [backup-simplify]: Simplify 1 into 1
2.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.475 * [taylor]: Taking taylor expansion of 0 in a
2.475 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.476 * [taylor]: Taking taylor expansion of 0 in d
2.476 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.476 * [taylor]: Taking taylor expansion of 0 in d
2.476 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify 1 into 1
2.477 * [backup-simplify]: Simplify 1 into 1
2.478 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* 1 (/ 1 (/ 1 b)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* (/ 1 (/ 1 c)) 1)))) (* 1 (* (/ 1 (/ 1 d)) (* (/ 1 (/ 1 a)) (* 1 1)))))) into (+ (* d a) (+ (* a b) (* a c)))
2.478 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- a))) (* (/ 1 (- d)) (/ 1 (- a)))) into (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c))))
2.478 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (b c a d) around 0
2.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
2.478 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
2.478 * [taylor]: Taking taylor expansion of (* a b) in d
2.478 * [taylor]: Taking taylor expansion of a in d
2.478 * [backup-simplify]: Simplify a into a
2.478 * [taylor]: Taking taylor expansion of b in d
2.478 * [backup-simplify]: Simplify b into b
2.478 * [backup-simplify]: Simplify (* a b) into (* a b)
2.478 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
2.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
2.478 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
2.479 * [taylor]: Taking taylor expansion of (* d a) in d
2.479 * [taylor]: Taking taylor expansion of d in d
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 1 into 1
2.479 * [taylor]: Taking taylor expansion of a in d
2.479 * [backup-simplify]: Simplify a into a
2.479 * [backup-simplify]: Simplify (* 0 a) into 0
2.479 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 a)) into a
2.479 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.479 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
2.479 * [taylor]: Taking taylor expansion of (* a c) in d
2.479 * [taylor]: Taking taylor expansion of a in d
2.479 * [backup-simplify]: Simplify a into a
2.479 * [taylor]: Taking taylor expansion of c in d
2.479 * [backup-simplify]: Simplify c into c
2.479 * [backup-simplify]: Simplify (* a c) into (* a c)
2.479 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
2.480 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.480 * [taylor]: Taking taylor expansion of (* a b) in a
2.480 * [taylor]: Taking taylor expansion of a in a
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify 1 into 1
2.480 * [taylor]: Taking taylor expansion of b in a
2.480 * [backup-simplify]: Simplify b into b
2.480 * [backup-simplify]: Simplify (* 0 b) into 0
2.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.480 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
2.480 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
2.480 * [taylor]: Taking taylor expansion of (* d a) in a
2.480 * [taylor]: Taking taylor expansion of d in a
2.480 * [backup-simplify]: Simplify d into d
2.480 * [taylor]: Taking taylor expansion of a in a
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify 1 into 1
2.480 * [backup-simplify]: Simplify (* d 0) into 0
2.481 * [backup-simplify]: Simplify (+ (* d 1) (* 0 0)) into d
2.481 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.481 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.481 * [taylor]: Taking taylor expansion of (* a c) in a
2.481 * [taylor]: Taking taylor expansion of a in a
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.481 * [taylor]: Taking taylor expansion of c in a
2.481 * [backup-simplify]: Simplify c into c
2.481 * [backup-simplify]: Simplify (* 0 c) into 0
2.482 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 c)) into c
2.482 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
2.482 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
2.482 * [taylor]: Taking taylor expansion of (* a b) in c
2.482 * [taylor]: Taking taylor expansion of a in c
2.482 * [backup-simplify]: Simplify a into a
2.482 * [taylor]: Taking taylor expansion of b in c
2.482 * [backup-simplify]: Simplify b into b
2.482 * [backup-simplify]: Simplify (* a b) into (* a b)
2.482 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
2.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
2.482 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
2.482 * [taylor]: Taking taylor expansion of (* d a) in c
2.482 * [taylor]: Taking taylor expansion of d in c
2.482 * [backup-simplify]: Simplify d into d
2.482 * [taylor]: Taking taylor expansion of a in c
2.482 * [backup-simplify]: Simplify a into a
2.482 * [backup-simplify]: Simplify (* d a) into (* d a)
2.482 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.482 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.482 * [taylor]: Taking taylor expansion of (* a c) in c
2.482 * [taylor]: Taking taylor expansion of a in c
2.482 * [backup-simplify]: Simplify a into a
2.482 * [taylor]: Taking taylor expansion of c in c
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.482 * [backup-simplify]: Simplify (* a 0) into 0
2.483 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.483 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
2.483 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.483 * [taylor]: Taking taylor expansion of (* a b) in b
2.483 * [taylor]: Taking taylor expansion of a in b
2.483 * [backup-simplify]: Simplify a into a
2.483 * [taylor]: Taking taylor expansion of b in b
2.483 * [backup-simplify]: Simplify 0 into 0
2.483 * [backup-simplify]: Simplify 1 into 1
2.483 * [backup-simplify]: Simplify (* a 0) into 0
2.484 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.484 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
2.484 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
2.484 * [taylor]: Taking taylor expansion of (* d a) in b
2.484 * [taylor]: Taking taylor expansion of d in b
2.484 * [backup-simplify]: Simplify d into d
2.484 * [taylor]: Taking taylor expansion of a in b
2.484 * [backup-simplify]: Simplify a into a
2.484 * [backup-simplify]: Simplify (* d a) into (* d a)
2.484 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.484 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
2.484 * [taylor]: Taking taylor expansion of (* a c) in b
2.484 * [taylor]: Taking taylor expansion of a in b
2.484 * [backup-simplify]: Simplify a into a
2.484 * [taylor]: Taking taylor expansion of c in b
2.484 * [backup-simplify]: Simplify c into c
2.484 * [backup-simplify]: Simplify (* a c) into (* a c)
2.484 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.484 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
2.484 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.484 * [taylor]: Taking taylor expansion of (* a b) in b
2.484 * [taylor]: Taking taylor expansion of a in b
2.484 * [backup-simplify]: Simplify a into a
2.484 * [taylor]: Taking taylor expansion of b in b
2.484 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify 1 into 1
2.485 * [backup-simplify]: Simplify (* a 0) into 0
2.485 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.485 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.485 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
2.485 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
2.485 * [taylor]: Taking taylor expansion of (* d a) in b
2.485 * [taylor]: Taking taylor expansion of d in b
2.485 * [backup-simplify]: Simplify d into d
2.485 * [taylor]: Taking taylor expansion of a in b
2.485 * [backup-simplify]: Simplify a into a
2.485 * [backup-simplify]: Simplify (* d a) into (* d a)
2.485 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.486 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
2.486 * [taylor]: Taking taylor expansion of (* a c) in b
2.486 * [taylor]: Taking taylor expansion of a in b
2.486 * [backup-simplify]: Simplify a into a
2.486 * [taylor]: Taking taylor expansion of c in b
2.486 * [backup-simplify]: Simplify c into c
2.486 * [backup-simplify]: Simplify (* a c) into (* a c)
2.486 * [backup-simplify]: Simplify (/ 1 (* a c)) into (/ 1 (* a c))
2.486 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.486 * [taylor]: Taking taylor expansion of (/ 1 a) in c
2.486 * [taylor]: Taking taylor expansion of a in c
2.486 * [backup-simplify]: Simplify a into a
2.486 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.487 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.487 * [backup-simplify]: Simplify (+ (/ 1 (* d a)) (/ 1 (* a c))) into (+ (/ 1 (* a c)) (/ 1 (* d a)))
2.487 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 (* a c)) (/ 1 (* d a)))) into (+ (/ 1 (* a c)) (/ 1 (* d a)))
2.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
2.488 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.488 * [taylor]: Taking taylor expansion of (* a c) in c
2.488 * [taylor]: Taking taylor expansion of a in c
2.488 * [backup-simplify]: Simplify a into a
2.488 * [taylor]: Taking taylor expansion of c in c
2.488 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify 1 into 1
2.488 * [backup-simplify]: Simplify (* a 0) into 0
2.488 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.488 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.488 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
2.488 * [taylor]: Taking taylor expansion of (* d a) in c
2.488 * [taylor]: Taking taylor expansion of d in c
2.488 * [backup-simplify]: Simplify d into d
2.488 * [taylor]: Taking taylor expansion of a in c
2.488 * [backup-simplify]: Simplify a into a
2.488 * [backup-simplify]: Simplify (* d a) into (* d a)
2.489 * [backup-simplify]: Simplify (/ 1 (* d a)) into (/ 1 (* d a))
2.489 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.489 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.489 * [taylor]: Taking taylor expansion of a in a
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (/ 1 1) into 1
2.489 * [taylor]: Taking taylor expansion of 1 in d
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.489 * [taylor]: Taking taylor expansion of a in a
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.490 * [backup-simplify]: Simplify (/ 1 1) into 1
2.490 * [taylor]: Taking taylor expansion of 1 in d
2.490 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.491 * [backup-simplify]: Simplify (+ (* d 0) (* 0 a)) into 0
2.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* d a)) (/ 0 (* d a))))) into 0
2.491 * [backup-simplify]: Simplify (+ (* a 0) (* 0 c)) into 0
2.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a c)) (/ 0 (* a c))))) into 0
2.492 * [backup-simplify]: Simplify (+ 0 0) into 0
2.492 * [backup-simplify]: Simplify (+ 0 0) into 0
2.492 * [taylor]: Taking taylor expansion of 0 in c
2.492 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.493 * [backup-simplify]: Simplify (+ 0 (/ 1 (* d a))) into (/ 1 (* d a))
2.493 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
2.493 * [taylor]: Taking taylor expansion of (* d a) in a
2.493 * [taylor]: Taking taylor expansion of d in a
2.493 * [backup-simplify]: Simplify d into d
2.493 * [taylor]: Taking taylor expansion of a in a
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 1 into 1
2.494 * [backup-simplify]: Simplify (* d 0) into 0
2.494 * [backup-simplify]: Simplify (+ (* d 1) (* 0 0)) into d
2.494 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.494 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.494 * [taylor]: Taking taylor expansion of d in d
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify (/ 1 1) into 1
2.495 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.495 * [taylor]: Taking taylor expansion of 0 in a
2.495 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.496 * [taylor]: Taking taylor expansion of 0 in d
2.496 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.497 * [taylor]: Taking taylor expansion of 0 in d
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify 1 into 1
2.497 * [backup-simplify]: Simplify 1 into 1
2.498 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- a))) (* 1 (/ 1 (/ 1 (- b))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- a))) (* (/ 1 (/ 1 (- c))) 1)))) (* 1 (* (/ 1 (/ 1 (- d))) (* (/ 1 (/ 1 (- a))) (* 1 1)))))) into (+ (* d a) (+ (* a b) (* a c)))
2.498 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.498 * [backup-simplify]: Simplify (* (+ b c) a) into (* a (+ b c))
2.498 * [approximate]: Taking taylor expansion of (* a (+ b c)) in (b c a) around 0
2.498 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
2.498 * [taylor]: Taking taylor expansion of a in a
2.498 * [backup-simplify]: Simplify 0 into 0
2.498 * [backup-simplify]: Simplify 1 into 1
2.498 * [taylor]: Taking taylor expansion of (+ b c) in a
2.498 * [taylor]: Taking taylor expansion of b in a
2.498 * [backup-simplify]: Simplify b into b
2.498 * [taylor]: Taking taylor expansion of c in a
2.498 * [backup-simplify]: Simplify c into c
2.499 * [taylor]: Taking taylor expansion of (* a (+ b c)) in c
2.499 * [taylor]: Taking taylor expansion of a in c
2.499 * [backup-simplify]: Simplify a into a
2.499 * [taylor]: Taking taylor expansion of (+ b c) in c
2.499 * [taylor]: Taking taylor expansion of b in c
2.499 * [backup-simplify]: Simplify b into b
2.499 * [taylor]: Taking taylor expansion of c in c
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
2.499 * [taylor]: Taking taylor expansion of a in b
2.499 * [backup-simplify]: Simplify a into a
2.499 * [taylor]: Taking taylor expansion of (+ b c) in b
2.499 * [taylor]: Taking taylor expansion of b in b
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of c in b
2.499 * [backup-simplify]: Simplify c into c
2.499 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
2.499 * [taylor]: Taking taylor expansion of a in b
2.499 * [backup-simplify]: Simplify a into a
2.499 * [taylor]: Taking taylor expansion of (+ b c) in b
2.499 * [taylor]: Taking taylor expansion of b in b
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of c in b
2.499 * [backup-simplify]: Simplify c into c
2.499 * [backup-simplify]: Simplify (+ 0 c) into c
2.499 * [backup-simplify]: Simplify (* a c) into (* a c)
2.499 * [taylor]: Taking taylor expansion of (* a c) in c
2.500 * [taylor]: Taking taylor expansion of a in c
2.500 * [backup-simplify]: Simplify a into a
2.500 * [taylor]: Taking taylor expansion of c in c
2.500 * [backup-simplify]: Simplify 0 into 0
2.500 * [backup-simplify]: Simplify 1 into 1
2.500 * [backup-simplify]: Simplify (* a 0) into 0
2.500 * [taylor]: Taking taylor expansion of 0 in a
2.500 * [backup-simplify]: Simplify 0 into 0
2.500 * [backup-simplify]: Simplify 0 into 0
2.500 * [backup-simplify]: Simplify (+ 1 0) into 1
2.500 * [backup-simplify]: Simplify (+ (* a 1) (* 0 c)) into a
2.500 * [taylor]: Taking taylor expansion of a in c
2.500 * [backup-simplify]: Simplify a into a
2.500 * [taylor]: Taking taylor expansion of a in a
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.501 * [taylor]: Taking taylor expansion of a in a
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify (+ 0 0) into 0
2.502 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 c))) into 0
2.502 * [taylor]: Taking taylor expansion of 0 in c
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [taylor]: Taking taylor expansion of 0 in a
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [taylor]: Taking taylor expansion of 0 in a
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify (* (+ (/ 1 b) (/ 1 c)) (/ 1 a)) into (/ (+ (/ 1 c) (/ 1 b)) a)
2.503 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (b c a) around 0
2.503 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
2.503 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
2.503 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.503 * [taylor]: Taking taylor expansion of c in a
2.503 * [backup-simplify]: Simplify c into c
2.503 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.503 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.503 * [taylor]: Taking taylor expansion of b in a
2.503 * [backup-simplify]: Simplify b into b
2.503 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.503 * [taylor]: Taking taylor expansion of a in a
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 1 into 1
2.503 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
2.504 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (/ 1 b)) 1) into (+ (/ 1 c) (/ 1 b))
2.504 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
2.504 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.504 * [taylor]: Taking taylor expansion of c in c
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 1 into 1
2.504 * [backup-simplify]: Simplify (/ 1 1) into 1
2.504 * [taylor]: Taking taylor expansion of (/ 1 b) in c
2.504 * [taylor]: Taking taylor expansion of b in c
2.504 * [backup-simplify]: Simplify b into b
2.504 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.504 * [taylor]: Taking taylor expansion of a in c
2.504 * [backup-simplify]: Simplify a into a
2.505 * [backup-simplify]: Simplify (+ 1 0) into 1
2.505 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.505 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
2.505 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.505 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.505 * [taylor]: Taking taylor expansion of c in b
2.505 * [backup-simplify]: Simplify c into c
2.505 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.505 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.505 * [taylor]: Taking taylor expansion of b in b
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 1 into 1
2.506 * [backup-simplify]: Simplify (/ 1 1) into 1
2.506 * [taylor]: Taking taylor expansion of a in b
2.506 * [backup-simplify]: Simplify a into a
2.506 * [backup-simplify]: Simplify (+ 0 1) into 1
2.506 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.506 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
2.506 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.506 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.506 * [taylor]: Taking taylor expansion of c in b
2.507 * [backup-simplify]: Simplify c into c
2.507 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.507 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.507 * [taylor]: Taking taylor expansion of b in b
2.507 * [backup-simplify]: Simplify 0 into 0
2.507 * [backup-simplify]: Simplify 1 into 1
2.507 * [backup-simplify]: Simplify (/ 1 1) into 1
2.507 * [taylor]: Taking taylor expansion of a in b
2.507 * [backup-simplify]: Simplify a into a
2.507 * [backup-simplify]: Simplify (+ 0 1) into 1
2.507 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.508 * [taylor]: Taking taylor expansion of (/ 1 a) in c
2.508 * [taylor]: Taking taylor expansion of a in c
2.508 * [backup-simplify]: Simplify a into a
2.508 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.509 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.509 * [backup-simplify]: Simplify (- (/ (/ 1 c) a) (+ (* (/ 1 a) (/ 0 a)))) into (/ 1 (* a c))
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.509 * [taylor]: Taking taylor expansion of (* a c) in c
2.509 * [taylor]: Taking taylor expansion of a in c
2.509 * [backup-simplify]: Simplify a into a
2.509 * [taylor]: Taking taylor expansion of c in c
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (* a 0) into 0
2.509 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.509 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.509 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.509 * [taylor]: Taking taylor expansion of a in a
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (/ 1 1) into 1
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.510 * [taylor]: Taking taylor expansion of a in a
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (/ 1 1) into 1
2.510 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify (+ 0 0) into 0
2.512 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* (/ 1 (* a c)) (/ 0 a)))) into 0
2.512 * [taylor]: Taking taylor expansion of 0 in c
2.512 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.513 * [taylor]: Taking taylor expansion of 0 in a
2.513 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.513 * [taylor]: Taking taylor expansion of 0 in a
2.513 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.514 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
2.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (+ 0 0) into 0
2.517 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* (/ 1 (* a c)) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.517 * [taylor]: Taking taylor expansion of 0 in c
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [taylor]: Taking taylor expansion of 0 in a
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.517 * [taylor]: Taking taylor expansion of 0 in a
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.517 * [taylor]: Taking taylor expansion of 0 in a
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 a)) (* 1 (/ 1 (/ 1 b))))) (* 1 (* (/ 1 (/ 1 a)) (* (/ 1 (/ 1 c)) 1)))) into (+ (* a b) (* a c))
2.519 * [backup-simplify]: Simplify (* (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- a))) into (/ (+ (/ 1 c) (/ 1 b)) a)
2.519 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (b c a) around 0
2.519 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
2.519 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
2.519 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.519 * [taylor]: Taking taylor expansion of c in a
2.519 * [backup-simplify]: Simplify c into c
2.519 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.519 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.519 * [taylor]: Taking taylor expansion of b in a
2.519 * [backup-simplify]: Simplify b into b
2.519 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.519 * [taylor]: Taking taylor expansion of a in a
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
2.519 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (/ 1 b)) 1) into (+ (/ 1 c) (/ 1 b))
2.519 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
2.519 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
2.519 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.519 * [taylor]: Taking taylor expansion of c in c
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ 1 1) into 1
2.520 * [taylor]: Taking taylor expansion of (/ 1 b) in c
2.520 * [taylor]: Taking taylor expansion of b in c
2.520 * [backup-simplify]: Simplify b into b
2.520 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.520 * [taylor]: Taking taylor expansion of a in c
2.520 * [backup-simplify]: Simplify a into a
2.520 * [backup-simplify]: Simplify (+ 1 0) into 1
2.520 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.520 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
2.520 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.520 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.520 * [taylor]: Taking taylor expansion of c in b
2.520 * [backup-simplify]: Simplify c into c
2.520 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.520 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.520 * [taylor]: Taking taylor expansion of b in b
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (/ 1 1) into 1
2.521 * [taylor]: Taking taylor expansion of a in b
2.521 * [backup-simplify]: Simplify a into a
2.521 * [backup-simplify]: Simplify (+ 0 1) into 1
2.521 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.521 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
2.521 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.521 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.521 * [taylor]: Taking taylor expansion of c in b
2.521 * [backup-simplify]: Simplify c into c
2.521 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.521 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.521 * [taylor]: Taking taylor expansion of b in b
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (/ 1 1) into 1
2.521 * [taylor]: Taking taylor expansion of a in b
2.521 * [backup-simplify]: Simplify a into a
2.522 * [backup-simplify]: Simplify (+ 0 1) into 1
2.522 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.522 * [taylor]: Taking taylor expansion of (/ 1 a) in c
2.522 * [taylor]: Taking taylor expansion of a in c
2.522 * [backup-simplify]: Simplify a into a
2.522 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.522 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.523 * [backup-simplify]: Simplify (- (/ (/ 1 c) a) (+ (* (/ 1 a) (/ 0 a)))) into (/ 1 (* a c))
2.523 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.523 * [taylor]: Taking taylor expansion of (* a c) in c
2.523 * [taylor]: Taking taylor expansion of a in c
2.523 * [backup-simplify]: Simplify a into a
2.523 * [taylor]: Taking taylor expansion of c in c
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [backup-simplify]: Simplify (* a 0) into 0
2.523 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.523 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.523 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.523 * [taylor]: Taking taylor expansion of a in a
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [backup-simplify]: Simplify (/ 1 1) into 1
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.523 * [taylor]: Taking taylor expansion of a in a
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (/ 1 1) into 1
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.525 * [backup-simplify]: Simplify (+ 0 0) into 0
2.525 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* (/ 1 (* a c)) (/ 0 a)))) into 0
2.525 * [taylor]: Taking taylor expansion of 0 in c
2.525 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
2.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.526 * [taylor]: Taking taylor expansion of 0 in a
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.526 * [taylor]: Taking taylor expansion of 0 in a
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.526 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.528 * [backup-simplify]: Simplify (+ 0 0) into 0
2.528 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* (/ 1 (* a c)) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.528 * [taylor]: Taking taylor expansion of 0 in c
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [taylor]: Taking taylor expansion of 0 in a
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.528 * [taylor]: Taking taylor expansion of 0 in a
2.528 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.529 * [taylor]: Taking taylor expansion of 0 in a
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.529 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.530 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- a))) (* 1 (/ 1 (/ 1 (- b)))))) (* 1 (* (/ 1 (/ 1 (- a))) (* (/ 1 (/ 1 (- c))) 1)))) into (+ (* a b) (* a c))
2.530 * * * [progress]: simplifying candidates
2.531 * [simplify]: Simplifying:
  (* (exp (* (+ b c) a)) (exp (* d a)))
  (log (+ (* (+ b c) a) (* d a)))
  (exp (+ (* (+ b c) a) (* d a)))
  (* (cbrt (+ (* (+ b c) a) (* d a))) (cbrt (+ (* (+ b c) a) (* d a))))
  (cbrt (+ (* (+ b c) a) (* d a)))
  (* (* (+ (* (+ b c) a) (* d a)) (+ (* (+ b c) a) (* d a))) (+ (* (+ b c) a) (* d a)))
  (sqrt (+ (* (+ b c) a) (* d a)))
  (sqrt (+ (* (+ b c) a) (* d a)))
  (+ (pow (* (+ b c) a) 3) (pow (* d a) 3))
  (+ (* (* (+ b c) a) (* (+ b c) a)) (- (* (* d a) (* d a)) (* (* (+ b c) a) (* d a))))
  (- (* (* (+ b c) a) (* (+ b c) a)) (* (* d a) (* d a)))
  (- (* (+ b c) a) (* d a))
  (+ (+ b c) d)
  (* (+ b c) a)
  (+ (log (+ b c)) (log a))
  (log (* (+ b c) a))
  (exp (* (+ b c) a))
  (* (* (* (+ b c) (+ b c)) (+ b c)) (* (* a a) a))
  (* (cbrt (* (+ b c) a)) (cbrt (* (+ b c) a)))
  (cbrt (* (+ b c) a))
  (* (* (* (+ b c) a) (* (+ b c) a)) (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (+ b c) (* (cbrt a) (cbrt a)))
  (* (+ b c) (sqrt a))
  (* (+ b c) 1)
  (* (cbrt (+ b c)) a)
  (* (sqrt (+ b c)) a)
  (* (+ b c) a)
  (* (+ b c) a)
  (* (+ (pow b 3) (pow c 3)) a)
  (* (- (* b b) (* c c)) a)
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
  0
  (+ (* a b) (* a c))
  (+ (* a b) (* a c))
2.531 * * [simplify]: Extracting # 0 : cost  0
2.531 * * [simplify]: Extracting # 1 : cost  0
2.531 * * [simplify]: Extracting # 2 : cost  0
2.532 * * [simplify]: Extracting # 3 : cost  0
2.532 * * [simplify]: Extracting # 4 : cost  0
2.532 * * [simplify]: Extracting # 5 : cost  0
2.532 * * [simplify]: Extracting # 6 : cost  0
2.532 * * [simplify]: iteration  0 :  68  enodes  (cost  387 )
2.546 * * [simplify]: Extracting # 0 : cost  0
2.547 * * [simplify]: Extracting # 1 : cost  0
2.547 * * [simplify]: Extracting # 2 : cost  0
2.547 * * [simplify]: Extracting # 3 : cost  0
2.547 * * [simplify]: Extracting # 4 : cost  0
2.547 * * [simplify]: iteration  1 :  191  enodes  (cost  329 )
3.023 * * [simplify]: Extracting # 0 : cost  0
3.025 * * [simplify]: Extracting # 1 : cost  0
3.026 * * [simplify]: Extracting # 2 : cost  0
3.028 * * [simplify]: Extracting # 3 : cost  0
3.030 * * [simplify]: Extracting # 4 : cost  0
3.031 * * [simplify]: Extracting # 5 : cost  0
3.033 * * [simplify]: iteration  2 :  768  enodes  (cost  303 )
4.042 * * [simplify]: Extracting # 0 : cost  0
4.046 * * [simplify]: Extracting # 1 : cost  0
4.050 * * [simplify]: Extracting # 2 : cost  0
4.054 * * [simplify]: Extracting # 3 : cost  0
4.057 * * [simplify]: Extracting # 4 : cost  0
4.061 * * [simplify]: iteration  3 :  3716  enodes  (cost  301 )
5.714 * * [simplify]: Extracting # 0 : cost  0
5.720 * * [simplify]: Extracting # 1 : cost  0
5.726 * * [simplify]: Extracting # 2 : cost  0
5.731 * * [simplify]: Extracting # 3 : cost  0
5.736 * * [simplify]: Extracting # 4 : cost  0
5.741 * * [simplify]: iteration done:  5000  enodes  (cost  301 )
5.741 * [simplify]: Simplified to:
  (exp (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (+ (pow (* (+ b c) a) 3) (pow (* d a) 3))
  (* a (+ (* (* (+ b c) (+ b c)) a) (* d (* a (- d (+ b c))))))
  (* (* a (+ (+ b c) d)) (* a (- (+ b c) d)))
  (* a (- (+ b c) d))
  (+ (+ d b) c)
  (* (+ b c) a)
  (log (* (+ b c) a))
  (log (* (+ b c) a))
  (exp (* (+ b c) a))
  (pow (* (+ b c) a) 3)
  (* (cbrt (* (+ b c) a)) (cbrt (* (+ b c) a)))
  (cbrt (* (+ b c) a))
  (pow (* (+ b c) a) 3)
  (sqrt (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (+ b c) (* (cbrt a) (cbrt a)))
  (* (+ b c) (sqrt a))
  (+ b c)
  (* (cbrt (+ b c)) a)
  (* (sqrt (+ b c)) a)
  (* (+ b c) a)
  (* (+ b c) a)
  (* (+ (pow b 3) (pow c 3)) a)
  (* (- (* b b) (* c c)) a)
  0
  (* (+ (+ d b) c) a)
  (* (+ (+ d b) c) a)
  0
  (* (+ b c) a)
  (* (+ b c) a)
5.741 * * * [progress]: adding candidates to table
5.844 * * [progress]: iteration 3 / 4
5.844 * * * [progress]: picking best candidate
5.856 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (* (sqrt a) (sqrt (+ (+ b c) d))) (* (sqrt a) (sqrt (+ (+ b c) d)))))>
5.856 * * * [progress]: localizing error
5.878 * * * [progress]: generating rewritten candidates
5.878 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.153 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.255 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
6.415 * * * [progress]: generating series expansions
6.415 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.415 * [backup-simplify]: Simplify (* (* (sqrt a) (sqrt (+ (+ b c) d))) (* (sqrt a) (sqrt (+ (+ b c) d)))) into (* a (+ d (+ b c)))
6.415 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
6.415 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
6.415 * [taylor]: Taking taylor expansion of a in d
6.415 * [backup-simplify]: Simplify a into a
6.415 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
6.415 * [taylor]: Taking taylor expansion of d in d
6.415 * [backup-simplify]: Simplify 0 into 0
6.415 * [backup-simplify]: Simplify 1 into 1
6.415 * [taylor]: Taking taylor expansion of (+ b c) in d
6.415 * [taylor]: Taking taylor expansion of b in d
6.415 * [backup-simplify]: Simplify b into b
6.415 * [taylor]: Taking taylor expansion of c in d
6.415 * [backup-simplify]: Simplify c into c
6.415 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
6.415 * [taylor]: Taking taylor expansion of a in c
6.415 * [backup-simplify]: Simplify a into a
6.415 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
6.415 * [taylor]: Taking taylor expansion of d in c
6.415 * [backup-simplify]: Simplify d into d
6.415 * [taylor]: Taking taylor expansion of (+ b c) in c
6.415 * [taylor]: Taking taylor expansion of b in c
6.415 * [backup-simplify]: Simplify b into b
6.415 * [taylor]: Taking taylor expansion of c in c
6.415 * [backup-simplify]: Simplify 0 into 0
6.415 * [backup-simplify]: Simplify 1 into 1
6.415 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
6.415 * [taylor]: Taking taylor expansion of a in b
6.415 * [backup-simplify]: Simplify a into a
6.415 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
6.416 * [taylor]: Taking taylor expansion of d in b
6.416 * [backup-simplify]: Simplify d into d
6.416 * [taylor]: Taking taylor expansion of (+ b c) in b
6.416 * [taylor]: Taking taylor expansion of b in b
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [backup-simplify]: Simplify 1 into 1
6.416 * [taylor]: Taking taylor expansion of c in b
6.416 * [backup-simplify]: Simplify c into c
6.416 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
6.416 * [taylor]: Taking taylor expansion of a in a
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [backup-simplify]: Simplify 1 into 1
6.416 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
6.416 * [taylor]: Taking taylor expansion of d in a
6.416 * [backup-simplify]: Simplify d into d
6.416 * [taylor]: Taking taylor expansion of (+ b c) in a
6.416 * [taylor]: Taking taylor expansion of b in a
6.416 * [backup-simplify]: Simplify b into b
6.416 * [taylor]: Taking taylor expansion of c in a
6.416 * [backup-simplify]: Simplify c into c
6.416 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
6.416 * [taylor]: Taking taylor expansion of a in a
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [backup-simplify]: Simplify 1 into 1
6.416 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
6.416 * [taylor]: Taking taylor expansion of d in a
6.416 * [backup-simplify]: Simplify d into d
6.416 * [taylor]: Taking taylor expansion of (+ b c) in a
6.416 * [taylor]: Taking taylor expansion of b in a
6.416 * [backup-simplify]: Simplify b into b
6.416 * [taylor]: Taking taylor expansion of c in a
6.416 * [backup-simplify]: Simplify c into c
6.416 * [backup-simplify]: Simplify (+ b c) into (+ b c)
6.416 * [backup-simplify]: Simplify (+ d (+ b c)) into (+ d (+ b c))
6.416 * [backup-simplify]: Simplify (* 0 (+ d (+ b c))) into 0
6.416 * [taylor]: Taking taylor expansion of 0 in b
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [taylor]: Taking taylor expansion of 0 in c
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [taylor]: Taking taylor expansion of 0 in d
6.416 * [backup-simplify]: Simplify 0 into 0
6.416 * [backup-simplify]: Simplify 0 into 0
6.417 * [backup-simplify]: Simplify (+ 0 0) into 0
6.417 * [backup-simplify]: Simplify (+ 0 0) into 0
6.418 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d (+ b c)))) into (+ d (+ c b))
6.418 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
6.418 * [taylor]: Taking taylor expansion of d in b
6.418 * [backup-simplify]: Simplify d into d
6.418 * [taylor]: Taking taylor expansion of (+ c b) in b
6.418 * [taylor]: Taking taylor expansion of c in b
6.418 * [backup-simplify]: Simplify c into c
6.418 * [taylor]: Taking taylor expansion of b in b
6.418 * [backup-simplify]: Simplify 0 into 0
6.418 * [backup-simplify]: Simplify 1 into 1
6.418 * [backup-simplify]: Simplify (+ c 0) into c
6.418 * [backup-simplify]: Simplify (+ d c) into (+ d c)
6.418 * [taylor]: Taking taylor expansion of (+ d c) in c
6.418 * [taylor]: Taking taylor expansion of d in c
6.418 * [backup-simplify]: Simplify d into d
6.418 * [taylor]: Taking taylor expansion of c in c
6.418 * [backup-simplify]: Simplify 0 into 0
6.418 * [backup-simplify]: Simplify 1 into 1
6.419 * [backup-simplify]: Simplify (+ d 0) into d
6.419 * [taylor]: Taking taylor expansion of d in d
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [backup-simplify]: Simplify 1 into 1
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [taylor]: Taking taylor expansion of 0 in c
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [taylor]: Taking taylor expansion of 0 in d
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [taylor]: Taking taylor expansion of 0 in d
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [backup-simplify]: Simplify 0 into 0
6.419 * [backup-simplify]: Simplify 0 into 0
6.420 * [backup-simplify]: Simplify (+ 0 0) into 0
6.420 * [backup-simplify]: Simplify (+ 0 0) into 0
6.421 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d (+ b c))))) into 0
6.421 * [taylor]: Taking taylor expansion of 0 in b
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [taylor]: Taking taylor expansion of 0 in c
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [taylor]: Taking taylor expansion of 0 in d
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 a)) (sqrt (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)))) (* (sqrt (/ 1 a)) (sqrt (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))))) into (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a)
6.422 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
6.422 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
6.422 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
6.422 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.422 * [taylor]: Taking taylor expansion of d in d
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.423 * [backup-simplify]: Simplify (/ 1 1) into 1
6.423 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
6.423 * [taylor]: Taking taylor expansion of (/ 1 c) in d
6.423 * [taylor]: Taking taylor expansion of c in d
6.423 * [backup-simplify]: Simplify c into c
6.423 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.423 * [taylor]: Taking taylor expansion of (/ 1 b) in d
6.423 * [taylor]: Taking taylor expansion of b in d
6.423 * [backup-simplify]: Simplify b into b
6.423 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.423 * [taylor]: Taking taylor expansion of a in d
6.423 * [backup-simplify]: Simplify a into a
6.424 * [backup-simplify]: Simplify (+ 1 0) into 1
6.424 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.424 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
6.424 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
6.424 * [taylor]: Taking taylor expansion of (/ 1 d) in c
6.424 * [taylor]: Taking taylor expansion of d in c
6.424 * [backup-simplify]: Simplify d into d
6.424 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.424 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
6.424 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.424 * [taylor]: Taking taylor expansion of c in c
6.424 * [backup-simplify]: Simplify 0 into 0
6.424 * [backup-simplify]: Simplify 1 into 1
6.425 * [backup-simplify]: Simplify (/ 1 1) into 1
6.425 * [taylor]: Taking taylor expansion of (/ 1 b) in c
6.425 * [taylor]: Taking taylor expansion of b in c
6.425 * [backup-simplify]: Simplify b into b
6.425 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.425 * [taylor]: Taking taylor expansion of a in c
6.425 * [backup-simplify]: Simplify a into a
6.425 * [backup-simplify]: Simplify (+ 1 0) into 1
6.426 * [backup-simplify]: Simplify (+ 0 1) into 1
6.426 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.426 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
6.426 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
6.426 * [taylor]: Taking taylor expansion of (/ 1 d) in b
6.426 * [taylor]: Taking taylor expansion of d in b
6.426 * [backup-simplify]: Simplify d into d
6.426 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.426 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
6.426 * [taylor]: Taking taylor expansion of (/ 1 c) in b
6.426 * [taylor]: Taking taylor expansion of c in b
6.426 * [backup-simplify]: Simplify c into c
6.426 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.426 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.426 * [taylor]: Taking taylor expansion of b in b
6.426 * [backup-simplify]: Simplify 0 into 0
6.426 * [backup-simplify]: Simplify 1 into 1
6.427 * [backup-simplify]: Simplify (/ 1 1) into 1
6.427 * [taylor]: Taking taylor expansion of a in b
6.427 * [backup-simplify]: Simplify a into a
6.427 * [backup-simplify]: Simplify (+ 0 1) into 1
6.428 * [backup-simplify]: Simplify (+ 0 1) into 1
6.428 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.428 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
6.428 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
6.428 * [taylor]: Taking taylor expansion of (/ 1 d) in a
6.428 * [taylor]: Taking taylor expansion of d in a
6.428 * [backup-simplify]: Simplify d into d
6.428 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.428 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
6.428 * [taylor]: Taking taylor expansion of (/ 1 c) in a
6.428 * [taylor]: Taking taylor expansion of c in a
6.428 * [backup-simplify]: Simplify c into c
6.428 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.428 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.428 * [taylor]: Taking taylor expansion of b in a
6.428 * [backup-simplify]: Simplify b into b
6.428 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.428 * [taylor]: Taking taylor expansion of a in a
6.428 * [backup-simplify]: Simplify 0 into 0
6.428 * [backup-simplify]: Simplify 1 into 1
6.428 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
6.429 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
6.429 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
6.429 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
6.429 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
6.429 * [taylor]: Taking taylor expansion of (/ 1 d) in a
6.429 * [taylor]: Taking taylor expansion of d in a
6.429 * [backup-simplify]: Simplify d into d
6.429 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.429 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
6.429 * [taylor]: Taking taylor expansion of (/ 1 c) in a
6.429 * [taylor]: Taking taylor expansion of c in a
6.429 * [backup-simplify]: Simplify c into c
6.429 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.429 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.429 * [taylor]: Taking taylor expansion of b in a
6.429 * [backup-simplify]: Simplify b into b
6.429 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.429 * [taylor]: Taking taylor expansion of a in a
6.430 * [backup-simplify]: Simplify 0 into 0
6.430 * [backup-simplify]: Simplify 1 into 1
6.430 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
6.430 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
6.430 * [backup-simplify]: Simplify (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 1) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
6.430 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
6.430 * [taylor]: Taking taylor expansion of (/ 1 d) in b
6.430 * [taylor]: Taking taylor expansion of d in b
6.430 * [backup-simplify]: Simplify d into d
6.430 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.430 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
6.430 * [taylor]: Taking taylor expansion of (/ 1 c) in b
6.431 * [taylor]: Taking taylor expansion of c in b
6.431 * [backup-simplify]: Simplify c into c
6.431 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.431 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.431 * [taylor]: Taking taylor expansion of b in b
6.431 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify 1 into 1
6.431 * [backup-simplify]: Simplify (/ 1 1) into 1
6.432 * [backup-simplify]: Simplify (+ 0 1) into 1
6.432 * [backup-simplify]: Simplify (+ 0 1) into 1
6.432 * [taylor]: Taking taylor expansion of 1 in c
6.432 * [backup-simplify]: Simplify 1 into 1
6.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
6.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
6.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.434 * [backup-simplify]: Simplify (+ 0 0) into 0
6.434 * [backup-simplify]: Simplify (+ 0 0) into 0
6.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)))) into 0
6.434 * [taylor]: Taking taylor expansion of 0 in b
6.434 * [backup-simplify]: Simplify 0 into 0
6.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.435 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
6.435 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
6.435 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
6.435 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.435 * [taylor]: Taking taylor expansion of c in c
6.435 * [backup-simplify]: Simplify 0 into 0
6.435 * [backup-simplify]: Simplify 1 into 1
6.435 * [backup-simplify]: Simplify (/ 1 1) into 1
6.435 * [taylor]: Taking taylor expansion of (/ 1 d) in c
6.435 * [taylor]: Taking taylor expansion of d in c
6.435 * [backup-simplify]: Simplify d into d
6.435 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.436 * [backup-simplify]: Simplify (+ 1 0) into 1
6.436 * [taylor]: Taking taylor expansion of 1 in d
6.436 * [backup-simplify]: Simplify 1 into 1
6.436 * [taylor]: Taking taylor expansion of 1 in d
6.436 * [backup-simplify]: Simplify 1 into 1
6.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
6.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
6.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
6.436 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.438 * [taylor]: Taking taylor expansion of 0 in b
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [taylor]: Taking taylor expansion of 0 in c
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
6.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
6.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.439 * [backup-simplify]: Simplify (+ 0 0) into 0
6.439 * [backup-simplify]: Simplify (+ 0 0) into 0
6.439 * [taylor]: Taking taylor expansion of 0 in c
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.439 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
6.439 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.439 * [taylor]: Taking taylor expansion of d in d
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify 1 into 1
6.440 * [backup-simplify]: Simplify (/ 1 1) into 1
6.440 * [backup-simplify]: Simplify 1 into 1
6.440 * [taylor]: Taking taylor expansion of 0 in d
6.440 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify 1 into 1
6.440 * [backup-simplify]: Simplify 1 into 1
6.440 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 (/ 1 (/ 1 a)))))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 (/ 1 (/ 1 a)))))))) into (+ (* d a) (+ (* a b) (* a c)))
6.441 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 (- a))) (sqrt (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))))) (* (sqrt (/ 1 (- a))) (sqrt (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))))) into (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2))
6.441 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in (a b c d) around 0
6.441 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in d
6.441 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in d
6.441 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in d
6.441 * [taylor]: Taking taylor expansion of (/ -1 a) in d
6.441 * [taylor]: Taking taylor expansion of -1 in d
6.441 * [backup-simplify]: Simplify -1 into -1
6.441 * [taylor]: Taking taylor expansion of a in d
6.441 * [backup-simplify]: Simplify a into a
6.441 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
6.441 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
6.441 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
6.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
6.441 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2) in d
6.441 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d
6.442 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
6.442 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
6.442 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.442 * [taylor]: Taking taylor expansion of d in d
6.442 * [backup-simplify]: Simplify 0 into 0
6.442 * [backup-simplify]: Simplify 1 into 1
6.442 * [backup-simplify]: Simplify (/ 1 1) into 1
6.442 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
6.442 * [taylor]: Taking taylor expansion of (/ 1 c) in d
6.442 * [taylor]: Taking taylor expansion of c in d
6.442 * [backup-simplify]: Simplify c into c
6.442 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.442 * [taylor]: Taking taylor expansion of (/ 1 b) in d
6.442 * [taylor]: Taking taylor expansion of b in d
6.442 * [backup-simplify]: Simplify b into b
6.442 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.442 * [backup-simplify]: Simplify (+ 1 0) into 1
6.443 * [backup-simplify]: Simplify (- 1) into -1
6.443 * [backup-simplify]: Simplify (sqrt 0) into 0
6.443 * [backup-simplify]: Simplify (- 1) into -1
6.444 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.444 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in c
6.444 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in c
6.444 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in c
6.444 * [taylor]: Taking taylor expansion of (/ -1 a) in c
6.444 * [taylor]: Taking taylor expansion of -1 in c
6.444 * [backup-simplify]: Simplify -1 into -1
6.444 * [taylor]: Taking taylor expansion of a in c
6.444 * [backup-simplify]: Simplify a into a
6.444 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
6.444 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
6.445 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
6.445 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
6.445 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2) in c
6.445 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in c
6.445 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in c
6.445 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
6.445 * [taylor]: Taking taylor expansion of (/ 1 d) in c
6.445 * [taylor]: Taking taylor expansion of d in c
6.445 * [backup-simplify]: Simplify d into d
6.445 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
6.445 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.445 * [taylor]: Taking taylor expansion of c in c
6.445 * [backup-simplify]: Simplify 0 into 0
6.445 * [backup-simplify]: Simplify 1 into 1
6.445 * [backup-simplify]: Simplify (/ 1 1) into 1
6.445 * [taylor]: Taking taylor expansion of (/ 1 b) in c
6.445 * [taylor]: Taking taylor expansion of b in c
6.445 * [backup-simplify]: Simplify b into b
6.445 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.445 * [backup-simplify]: Simplify (+ 1 0) into 1
6.446 * [backup-simplify]: Simplify (+ 0 1) into 1
6.446 * [backup-simplify]: Simplify (- 1) into -1
6.446 * [backup-simplify]: Simplify (sqrt 0) into 0
6.446 * [backup-simplify]: Simplify (- 1) into -1
6.447 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.447 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in b
6.447 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in b
6.447 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
6.447 * [taylor]: Taking taylor expansion of (/ -1 a) in b
6.447 * [taylor]: Taking taylor expansion of -1 in b
6.447 * [backup-simplify]: Simplify -1 into -1
6.447 * [taylor]: Taking taylor expansion of a in b
6.447 * [backup-simplify]: Simplify a into a
6.447 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
6.447 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
6.448 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
6.448 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
6.448 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2) in b
6.448 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in b
6.448 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
6.448 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
6.448 * [taylor]: Taking taylor expansion of (/ 1 d) in b
6.448 * [taylor]: Taking taylor expansion of d in b
6.448 * [backup-simplify]: Simplify d into d
6.448 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.448 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
6.448 * [taylor]: Taking taylor expansion of (/ 1 c) in b
6.448 * [taylor]: Taking taylor expansion of c in b
6.448 * [backup-simplify]: Simplify c into c
6.448 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.448 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.448 * [taylor]: Taking taylor expansion of b in b
6.448 * [backup-simplify]: Simplify 0 into 0
6.448 * [backup-simplify]: Simplify 1 into 1
6.448 * [backup-simplify]: Simplify (/ 1 1) into 1
6.448 * [backup-simplify]: Simplify (+ 0 1) into 1
6.449 * [backup-simplify]: Simplify (+ 0 1) into 1
6.449 * [backup-simplify]: Simplify (- 1) into -1
6.449 * [backup-simplify]: Simplify (sqrt 0) into 0
6.449 * [backup-simplify]: Simplify (- 1) into -1
6.450 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.450 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in a
6.450 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
6.450 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
6.450 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.450 * [taylor]: Taking taylor expansion of -1 in a
6.450 * [backup-simplify]: Simplify -1 into -1
6.450 * [taylor]: Taking taylor expansion of a in a
6.450 * [backup-simplify]: Simplify 0 into 0
6.450 * [backup-simplify]: Simplify 1 into 1
6.451 * [backup-simplify]: Simplify (/ -1 1) into -1
6.451 * [backup-simplify]: Simplify (sqrt 0) into 0
6.452 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.452 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2) in a
6.452 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in a
6.452 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in a
6.452 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
6.452 * [taylor]: Taking taylor expansion of (/ 1 d) in a
6.452 * [taylor]: Taking taylor expansion of d in a
6.452 * [backup-simplify]: Simplify d into d
6.452 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.452 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
6.452 * [taylor]: Taking taylor expansion of (/ 1 c) in a
6.452 * [taylor]: Taking taylor expansion of c in a
6.452 * [backup-simplify]: Simplify c into c
6.452 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.452 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.452 * [taylor]: Taking taylor expansion of b in a
6.452 * [backup-simplify]: Simplify b into b
6.452 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.452 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
6.452 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
6.452 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.453 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.453 * [backup-simplify]: Simplify (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) into (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))
6.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
6.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
6.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.453 * [backup-simplify]: Simplify (+ 0 0) into 0
6.453 * [backup-simplify]: Simplify (+ 0 0) into 0
6.454 * [backup-simplify]: Simplify (- 0) into 0
6.454 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.454 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))))) into 0
6.454 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 a)) 2) (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2)) in a
6.454 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
6.454 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
6.454 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.454 * [taylor]: Taking taylor expansion of -1 in a
6.454 * [backup-simplify]: Simplify -1 into -1
6.454 * [taylor]: Taking taylor expansion of a in a
6.454 * [backup-simplify]: Simplify 0 into 0
6.454 * [backup-simplify]: Simplify 1 into 1
6.454 * [backup-simplify]: Simplify (/ -1 1) into -1
6.455 * [backup-simplify]: Simplify (sqrt 0) into 0
6.455 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.455 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) 2) in a
6.456 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in a
6.456 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in a
6.456 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
6.456 * [taylor]: Taking taylor expansion of (/ 1 d) in a
6.456 * [taylor]: Taking taylor expansion of d in a
6.456 * [backup-simplify]: Simplify d into d
6.456 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.456 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
6.456 * [taylor]: Taking taylor expansion of (/ 1 c) in a
6.456 * [taylor]: Taking taylor expansion of c in a
6.456 * [backup-simplify]: Simplify c into c
6.456 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.456 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.456 * [taylor]: Taking taylor expansion of b in a
6.456 * [backup-simplify]: Simplify b into b
6.456 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.456 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
6.456 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
6.456 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.456 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.456 * [backup-simplify]: Simplify (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) into (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))
6.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
6.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
6.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.457 * [backup-simplify]: Simplify (+ 0 0) into 0
6.457 * [backup-simplify]: Simplify (+ 0 0) into 0
6.457 * [backup-simplify]: Simplify (- 0) into 0
6.458 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
6.458 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))))) into 0
6.458 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
6.459 * [backup-simplify]: Simplify (* (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) into (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2)
6.459 * [backup-simplify]: Simplify (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2)) into (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2))
6.459 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2)) in b
6.459 * [taylor]: Taking taylor expansion of +nan.0 in b
6.459 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.459 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2) in b
6.459 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b
6.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
6.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
6.459 * [taylor]: Taking taylor expansion of (/ 1 c) in b
6.459 * [taylor]: Taking taylor expansion of c in b
6.459 * [backup-simplify]: Simplify c into c
6.459 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
6.459 * [taylor]: Taking taylor expansion of (/ 1 d) in b
6.459 * [taylor]: Taking taylor expansion of d in b
6.459 * [backup-simplify]: Simplify d into d
6.459 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.459 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.459 * [taylor]: Taking taylor expansion of b in b
6.459 * [backup-simplify]: Simplify 0 into 0
6.459 * [backup-simplify]: Simplify 1 into 1
6.459 * [backup-simplify]: Simplify (/ 1 1) into 1
6.460 * [backup-simplify]: Simplify (+ 0 1) into 1
6.460 * [backup-simplify]: Simplify (+ 0 1) into 1
6.460 * [backup-simplify]: Simplify (- 1) into -1
6.461 * [backup-simplify]: Simplify (sqrt 0) into 0
6.461 * [backup-simplify]: Simplify (- 1) into -1
6.462 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.463 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
6.463 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
6.463 * [taylor]: Taking taylor expansion of +nan.0 in c
6.463 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.463 * [taylor]: Taking taylor expansion of +nan.0 in d
6.463 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.463 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.464 * [backup-simplify]: Simplify (+ (* (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 0) (* 0 (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))))) into 0
6.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.468 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
6.469 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0)
6.471 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* (- +nan.0) (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2))) into (- (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2)))
6.471 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2))) in b
6.471 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2)) in b
6.471 * [taylor]: Taking taylor expansion of +nan.0 in b
6.471 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.471 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 2) in b
6.471 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b
6.471 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
6.471 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
6.471 * [taylor]: Taking taylor expansion of (/ 1 c) in b
6.471 * [taylor]: Taking taylor expansion of c in b
6.471 * [backup-simplify]: Simplify c into c
6.471 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
6.471 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
6.471 * [taylor]: Taking taylor expansion of (/ 1 d) in b
6.471 * [taylor]: Taking taylor expansion of d in b
6.471 * [backup-simplify]: Simplify d into d
6.471 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.471 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.471 * [taylor]: Taking taylor expansion of b in b
6.471 * [backup-simplify]: Simplify 0 into 0
6.471 * [backup-simplify]: Simplify 1 into 1
6.472 * [backup-simplify]: Simplify (/ 1 1) into 1
6.472 * [backup-simplify]: Simplify (+ 0 1) into 1
6.473 * [backup-simplify]: Simplify (+ 0 1) into 1
6.473 * [backup-simplify]: Simplify (- 1) into -1
6.473 * [backup-simplify]: Simplify (sqrt 0) into 0
6.474 * [backup-simplify]: Simplify (- 1) into -1
6.475 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
6.476 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
6.476 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
6.476 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.476 * [taylor]: Taking taylor expansion of (- +nan.0) in c
6.477 * [taylor]: Taking taylor expansion of +nan.0 in c
6.477 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.477 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.477 * [taylor]: Taking taylor expansion of (- +nan.0) in d
6.477 * [taylor]: Taking taylor expansion of +nan.0 in d
6.477 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.477 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.478 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.479 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
6.479 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
6.479 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c)))
6.480 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 d) (/ 1 c))) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 c) (- (/ 1 d) +nan.0)))
6.481 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (/ 1 c) (- (/ 1 d) +nan.0)))) (* (* +nan.0 (+ (/ 1 c) (- (/ 1 d) +nan.0))) +nan.0)) into (- (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- +nan.0)))))
6.482 * [backup-simplify]: Simplify (+ (* +nan.0 (- (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- +nan.0)))))) (* 0 +nan.0)) into (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0)))))
6.482 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))))) in c
6.482 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0)))) in c
6.482 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
6.482 * [taylor]: Taking taylor expansion of +nan.0 in c
6.483 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.483 * [taylor]: Taking taylor expansion of (/ 1 d) in c
6.483 * [taylor]: Taking taylor expansion of d in c
6.483 * [backup-simplify]: Simplify d into d
6.483 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
6.483 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
6.483 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
6.483 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
6.483 * [taylor]: Taking taylor expansion of +nan.0 in c
6.483 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.483 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.483 * [taylor]: Taking taylor expansion of c in c
6.483 * [backup-simplify]: Simplify 0 into 0
6.483 * [backup-simplify]: Simplify 1 into 1
6.483 * [backup-simplify]: Simplify (/ 1 1) into 1
6.483 * [taylor]: Taking taylor expansion of (- +nan.0) in c
6.483 * [taylor]: Taking taylor expansion of +nan.0 in c
6.483 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.484 * [backup-simplify]: Simplify (* +nan.0 (/ 1 d)) into (/ +nan.0 d)
6.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.485 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.485 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.486 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.487 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
6.487 * [backup-simplify]: Simplify (+ (/ +nan.0 d) (- +nan.0)) into (- (+ (* +nan.0 (/ 1 d)) (- +nan.0)))
6.488 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 d)) (- +nan.0)))) into (- (+ (* +nan.0 (/ 1 d)) (- +nan.0)))
6.488 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- +nan.0))) in d
6.488 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- +nan.0)) in d
6.488 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in d
6.488 * [taylor]: Taking taylor expansion of +nan.0 in d
6.488 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.488 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.488 * [taylor]: Taking taylor expansion of d in d
6.488 * [backup-simplify]: Simplify 0 into 0
6.488 * [backup-simplify]: Simplify 1 into 1
6.489 * [backup-simplify]: Simplify (/ 1 1) into 1
6.489 * [taylor]: Taking taylor expansion of (- +nan.0) in d
6.489 * [taylor]: Taking taylor expansion of +nan.0 in d
6.489 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.490 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.491 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.491 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.492 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
6.492 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.494 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (* 1 (* (/ 1 (- b)) 1)))) (+ (* (- +nan.0) (* 1 (* 1 (* 1 (/ 1 (- a)))))) +nan.0)) into (- (+ (* +nan.0 (/ 1 a)) (- (+ (* +nan.0 (/ 1 b)) (- +nan.0)))))
6.494 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.494 * [backup-simplify]: Simplify (* (sqrt a) (sqrt (+ (+ b c) d))) into (sqrt (* a (+ d (+ b c))))
6.494 * [approximate]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in (a b c d) around 0
6.494 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in d
6.494 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
6.494 * [taylor]: Taking taylor expansion of a in d
6.495 * [backup-simplify]: Simplify a into a
6.495 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
6.495 * [taylor]: Taking taylor expansion of d in d
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 1 into 1
6.495 * [taylor]: Taking taylor expansion of (+ b c) in d
6.495 * [taylor]: Taking taylor expansion of b in d
6.495 * [backup-simplify]: Simplify b into b
6.495 * [taylor]: Taking taylor expansion of c in d
6.495 * [backup-simplify]: Simplify c into c
6.495 * [backup-simplify]: Simplify (+ b c) into (+ b c)
6.495 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b)
6.495 * [backup-simplify]: Simplify (* a (+ c b)) into (* a (+ b c))
6.495 * [backup-simplify]: Simplify (sqrt (* a (+ b c))) into (sqrt (* a (+ b c)))
6.495 * [backup-simplify]: Simplify (+ 0 0) into 0
6.496 * [backup-simplify]: Simplify (+ 1 0) into 1
6.496 * [backup-simplify]: Simplify (+ (* a 1) (* 0 (+ c b))) into a
6.496 * [backup-simplify]: Simplify (/ a (* 2 (sqrt (* a (+ b c))))) into (* 1/2 (sqrt (/ a (+ b c))))
6.496 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in c
6.496 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
6.496 * [taylor]: Taking taylor expansion of a in c
6.496 * [backup-simplify]: Simplify a into a
6.496 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
6.496 * [taylor]: Taking taylor expansion of d in c
6.496 * [backup-simplify]: Simplify d into d
6.496 * [taylor]: Taking taylor expansion of (+ b c) in c
6.496 * [taylor]: Taking taylor expansion of b in c
6.496 * [backup-simplify]: Simplify b into b
6.496 * [taylor]: Taking taylor expansion of c in c
6.496 * [backup-simplify]: Simplify 0 into 0
6.496 * [backup-simplify]: Simplify 1 into 1
6.497 * [backup-simplify]: Simplify (+ b 0) into b
6.497 * [backup-simplify]: Simplify (+ d b) into (+ d b)
6.497 * [backup-simplify]: Simplify (* a (+ d b)) into (* a (+ d b))
6.497 * [backup-simplify]: Simplify (sqrt (* a (+ d b))) into (sqrt (* a (+ d b)))
6.497 * [backup-simplify]: Simplify (+ 0 1) into 1
6.497 * [backup-simplify]: Simplify (+ 0 1) into 1
6.497 * [backup-simplify]: Simplify (+ (* a 1) (* 0 (+ d b))) into a
6.497 * [backup-simplify]: Simplify (/ a (* 2 (sqrt (* a (+ d b))))) into (* 1/2 (sqrt (/ a (+ d b))))
6.497 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in b
6.497 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
6.497 * [taylor]: Taking taylor expansion of a in b
6.498 * [backup-simplify]: Simplify a into a
6.498 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
6.498 * [taylor]: Taking taylor expansion of d in b
6.498 * [backup-simplify]: Simplify d into d
6.498 * [taylor]: Taking taylor expansion of (+ b c) in b
6.498 * [taylor]: Taking taylor expansion of b in b
6.498 * [backup-simplify]: Simplify 0 into 0
6.498 * [backup-simplify]: Simplify 1 into 1
6.498 * [taylor]: Taking taylor expansion of c in b
6.498 * [backup-simplify]: Simplify c into c
6.498 * [backup-simplify]: Simplify (+ 0 c) into c
6.498 * [backup-simplify]: Simplify (+ d c) into (+ d c)
6.498 * [backup-simplify]: Simplify (* a (+ d c)) into (* a (+ d c))
6.498 * [backup-simplify]: Simplify (sqrt (* a (+ d c))) into (sqrt (* a (+ d c)))
6.498 * [backup-simplify]: Simplify (+ 1 0) into 1
6.498 * [backup-simplify]: Simplify (+ 0 1) into 1
6.498 * [backup-simplify]: Simplify (+ (* a 1) (* 0 (+ d c))) into a
6.498 * [backup-simplify]: Simplify (/ a (* 2 (sqrt (* a (+ d c))))) into (* 1/2 (sqrt (/ a (+ d c))))
6.498 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
6.499 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
6.499 * [taylor]: Taking taylor expansion of a in a
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify 1 into 1
6.499 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
6.499 * [taylor]: Taking taylor expansion of d in a
6.499 * [backup-simplify]: Simplify d into d
6.499 * [taylor]: Taking taylor expansion of (+ b c) in a
6.499 * [taylor]: Taking taylor expansion of b in a
6.499 * [backup-simplify]: Simplify b into b
6.499 * [taylor]: Taking taylor expansion of c in a
6.499 * [backup-simplify]: Simplify c into c
6.499 * [backup-simplify]: Simplify (+ b c) into (+ b c)
6.499 * [backup-simplify]: Simplify (+ d (+ b c)) into (+ d (+ b c))
6.499 * [backup-simplify]: Simplify (* 0 (+ d (+ b c))) into 0
6.499 * [backup-simplify]: Simplify (+ 0 0) into 0
6.499 * [backup-simplify]: Simplify (+ 0 0) into 0
6.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d (+ b c)))) into (+ d (+ c b))
6.500 * [backup-simplify]: Simplify (sqrt 0) into 0
6.500 * [backup-simplify]: Simplify (/ (+ d (+ c b)) (* 2 (sqrt 0))) into (* +nan.0 (+ d (+ b c)))
6.500 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
6.500 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
6.500 * [taylor]: Taking taylor expansion of a in a
6.500 * [backup-simplify]: Simplify 0 into 0
6.500 * [backup-simplify]: Simplify 1 into 1
6.500 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
6.500 * [taylor]: Taking taylor expansion of d in a
6.500 * [backup-simplify]: Simplify d into d
6.500 * [taylor]: Taking taylor expansion of (+ b c) in a
6.500 * [taylor]: Taking taylor expansion of b in a
6.500 * [backup-simplify]: Simplify b into b
6.500 * [taylor]: Taking taylor expansion of c in a
6.500 * [backup-simplify]: Simplify c into c
6.500 * [backup-simplify]: Simplify (+ b c) into (+ b c)
6.500 * [backup-simplify]: Simplify (+ d (+ b c)) into (+ d (+ b c))
6.501 * [backup-simplify]: Simplify (* 0 (+ d (+ b c))) into 0
6.501 * [backup-simplify]: Simplify (+ 0 0) into 0
6.501 * [backup-simplify]: Simplify (+ 0 0) into 0
6.501 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d (+ b c)))) into (+ d (+ c b))
6.502 * [backup-simplify]: Simplify (sqrt 0) into 0
6.502 * [backup-simplify]: Simplify (/ (+ d (+ c b)) (* 2 (sqrt 0))) into (* +nan.0 (+ d (+ b c)))
6.502 * [taylor]: Taking taylor expansion of 0 in b
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [taylor]: Taking taylor expansion of 0 in c
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [taylor]: Taking taylor expansion of 0 in d
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [taylor]: Taking taylor expansion of (* +nan.0 (+ d (+ b c))) in b
6.502 * [taylor]: Taking taylor expansion of +nan.0 in b
6.502 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.502 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
6.502 * [taylor]: Taking taylor expansion of d in b
6.502 * [backup-simplify]: Simplify d into d
6.502 * [taylor]: Taking taylor expansion of (+ b c) in b
6.502 * [taylor]: Taking taylor expansion of b in b
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [backup-simplify]: Simplify 1 into 1
6.502 * [taylor]: Taking taylor expansion of c in b
6.502 * [backup-simplify]: Simplify c into c
6.502 * [backup-simplify]: Simplify (+ 0 c) into c
6.502 * [backup-simplify]: Simplify (+ d c) into (+ d c)
6.502 * [backup-simplify]: Simplify (* +nan.0 (+ d c)) into (* +nan.0 (+ d c))
6.502 * [taylor]: Taking taylor expansion of (* +nan.0 (+ d c)) in c
6.502 * [taylor]: Taking taylor expansion of +nan.0 in c
6.502 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.502 * [taylor]: Taking taylor expansion of (+ d c) in c
6.502 * [taylor]: Taking taylor expansion of d in c
6.503 * [backup-simplify]: Simplify d into d
6.503 * [taylor]: Taking taylor expansion of c in c
6.503 * [backup-simplify]: Simplify 0 into 0
6.503 * [backup-simplify]: Simplify 1 into 1
6.503 * [backup-simplify]: Simplify (+ d 0) into d
6.503 * [backup-simplify]: Simplify (* +nan.0 d) into (* +nan.0 d)
6.503 * [taylor]: Taking taylor expansion of (* +nan.0 d) in d
6.503 * [taylor]: Taking taylor expansion of +nan.0 in d
6.503 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.503 * [taylor]: Taking taylor expansion of d in d
6.503 * [backup-simplify]: Simplify 0 into 0
6.503 * [backup-simplify]: Simplify 1 into 1
6.507 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [taylor]: Taking taylor expansion of 0 in c
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [taylor]: Taking taylor expansion of 0 in d
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [taylor]: Taking taylor expansion of 0 in d
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify (+ 0 0) into 0
6.508 * [backup-simplify]: Simplify (+ 0 0) into 0
6.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d (+ b c))))) into 0