24.079 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying:
  (* (+ a (+ b (+ c d))) 2.0)
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: Extracting # 3 : cost  0
0.042 * * [simplify]: Extracting # 4 : cost  0
0.042 * * [simplify]: Extracting # 5 : cost  0
0.042 * * [simplify]: Extracting # 6 : cost  0
0.042 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
0.059 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.060 * * [simplify]: iteration  2 :  82  enodes  (cost  9 )
0.247 * * [simplify]: Extracting # 0 : cost  0
0.247 * * [simplify]: Extracting # 1 : cost  0
0.247 * * [simplify]: Extracting # 2 : cost  0
0.248 * * [simplify]: Extracting # 3 : cost  0
0.248 * * [simplify]: iteration  3 :  379  enodes  (cost  9 )
1.022 * * [simplify]: Extracting # 0 : cost  0
1.023 * * [simplify]: Extracting # 1 : cost  0
1.023 * * [simplify]: iteration  4 :  718  enodes  (cost  9 )
1.100 * * [simplify]: Extracting # 0 : cost  0
1.100 * * [simplify]: iteration  5 :  736  enodes  (cost  9 )
1.208 * * [simplify]: Extracting # 0 : cost  0
1.209 * * [simplify]: iteration done:  736  enodes  (cost  9 )
1.209 * [simplify]: Simplified to:
  (* (+ a (+ b (+ c d))) 2.0)
1.209 * * [progress]: iteration 1 / 4
1.209 * * * [progress]: picking best candidate
1.213 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (+ a (+ b (+ c d))) 2.0))>
1.213 * * * [progress]: localizing error
1.221 * * * [progress]: generating rewritten candidates
1.221 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.307 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
1.337 * * * [progress]: generating series expansions
1.337 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.338 * [backup-simplify]: Simplify (+ a (+ b (+ c d))) into (+ d (+ a (+ b c)))
1.338 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
1.338 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
1.338 * [taylor]: Taking taylor expansion of d in d
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
1.338 * [taylor]: Taking taylor expansion of a in d
1.338 * [backup-simplify]: Simplify a into a
1.338 * [taylor]: Taking taylor expansion of (+ b c) in d
1.338 * [taylor]: Taking taylor expansion of b in d
1.338 * [backup-simplify]: Simplify b into b
1.338 * [taylor]: Taking taylor expansion of c in d
1.338 * [backup-simplify]: Simplify c into c
1.338 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
1.338 * [taylor]: Taking taylor expansion of d in c
1.338 * [backup-simplify]: Simplify d into d
1.338 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
1.338 * [taylor]: Taking taylor expansion of a in c
1.338 * [backup-simplify]: Simplify a into a
1.338 * [taylor]: Taking taylor expansion of (+ b c) in c
1.338 * [taylor]: Taking taylor expansion of b in c
1.338 * [backup-simplify]: Simplify b into b
1.338 * [taylor]: Taking taylor expansion of c in c
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
1.338 * [taylor]: Taking taylor expansion of d in b
1.338 * [backup-simplify]: Simplify d into d
1.338 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
1.338 * [taylor]: Taking taylor expansion of a in b
1.338 * [backup-simplify]: Simplify a into a
1.338 * [taylor]: Taking taylor expansion of (+ b c) in b
1.338 * [taylor]: Taking taylor expansion of b in b
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of c in b
1.338 * [backup-simplify]: Simplify c into c
1.338 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.338 * [taylor]: Taking taylor expansion of d in a
1.338 * [backup-simplify]: Simplify d into d
1.338 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.338 * [taylor]: Taking taylor expansion of a in a
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of (+ b c) in a
1.338 * [taylor]: Taking taylor expansion of b in a
1.338 * [backup-simplify]: Simplify b into b
1.338 * [taylor]: Taking taylor expansion of c in a
1.338 * [backup-simplify]: Simplify c into c
1.338 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.338 * [taylor]: Taking taylor expansion of d in a
1.338 * [backup-simplify]: Simplify d into d
1.339 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.339 * [taylor]: Taking taylor expansion of a in a
1.339 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify 1 into 1
1.339 * [taylor]: Taking taylor expansion of (+ b c) in a
1.339 * [taylor]: Taking taylor expansion of b in a
1.339 * [backup-simplify]: Simplify b into b
1.339 * [taylor]: Taking taylor expansion of c in a
1.339 * [backup-simplify]: Simplify c into c
1.339 * [backup-simplify]: Simplify (+ b c) into (+ b c)
1.339 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b)
1.339 * [backup-simplify]: Simplify (+ d (+ c b)) into (+ d (+ b c))
1.339 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.339 * [taylor]: Taking taylor expansion of d in b
1.339 * [backup-simplify]: Simplify d into d
1.339 * [taylor]: Taking taylor expansion of (+ b c) in b
1.339 * [taylor]: Taking taylor expansion of b in b
1.339 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify 1 into 1
1.339 * [taylor]: Taking taylor expansion of c in b
1.339 * [backup-simplify]: Simplify c into c
1.339 * [backup-simplify]: Simplify (+ 0 c) into c
1.339 * [backup-simplify]: Simplify (+ d c) into (+ d c)
1.339 * [taylor]: Taking taylor expansion of (+ d c) in c
1.339 * [taylor]: Taking taylor expansion of d in c
1.339 * [backup-simplify]: Simplify d into d
1.339 * [taylor]: Taking taylor expansion of c in c
1.339 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify 1 into 1
1.339 * [backup-simplify]: Simplify (+ d 0) into d
1.339 * [taylor]: Taking taylor expansion of d in d
1.339 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify 1 into 1
1.339 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify (+ 0 0) into 0
1.340 * [backup-simplify]: Simplify (+ 1 0) into 1
1.340 * [backup-simplify]: Simplify (+ 0 1) into 1
1.340 * [taylor]: Taking taylor expansion of 1 in b
1.340 * [backup-simplify]: Simplify 1 into 1
1.340 * [taylor]: Taking taylor expansion of 1 in c
1.340 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of 1 in d
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (+ 1 0) into 1
1.341 * [backup-simplify]: Simplify (+ 0 1) into 1
1.341 * [taylor]: Taking taylor expansion of 1 in c
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of 1 in d
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify 1 into 1
1.342 * [backup-simplify]: Simplify (+ 0 1) into 1
1.342 * [taylor]: Taking taylor expansion of 1 in d
1.342 * [backup-simplify]: Simplify 1 into 1
1.342 * [backup-simplify]: Simplify 1 into 1
1.342 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c))
1.342 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))
1.343 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a b c d) around 0
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
1.343 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.343 * [taylor]: Taking taylor expansion of b in d
1.343 * [backup-simplify]: Simplify b into b
1.343 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
1.343 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.343 * [taylor]: Taking taylor expansion of d in d
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 1 into 1
1.343 * [backup-simplify]: Simplify (/ 1 1) into 1
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
1.343 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.343 * [taylor]: Taking taylor expansion of c in d
1.343 * [backup-simplify]: Simplify c into c
1.343 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.343 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.343 * [taylor]: Taking taylor expansion of a in d
1.343 * [backup-simplify]: Simplify a into a
1.343 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
1.343 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.343 * [taylor]: Taking taylor expansion of b in c
1.343 * [backup-simplify]: Simplify b into b
1.343 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
1.343 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.343 * [taylor]: Taking taylor expansion of d in c
1.343 * [backup-simplify]: Simplify d into d
1.343 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
1.343 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.343 * [taylor]: Taking taylor expansion of c in c
1.343 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.344 * [backup-simplify]: Simplify (/ 1 1) into 1
1.344 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.344 * [taylor]: Taking taylor expansion of a in c
1.344 * [backup-simplify]: Simplify a into a
1.344 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.344 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
1.344 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.344 * [taylor]: Taking taylor expansion of b in b
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.344 * [backup-simplify]: Simplify (/ 1 1) into 1
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.345 * [taylor]: Taking taylor expansion of d in b
1.345 * [backup-simplify]: Simplify d into d
1.345 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.345 * [taylor]: Taking taylor expansion of c in b
1.345 * [backup-simplify]: Simplify c into c
1.345 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.345 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.345 * [taylor]: Taking taylor expansion of a in b
1.345 * [backup-simplify]: Simplify a into a
1.345 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.345 * [taylor]: Taking taylor expansion of b in a
1.345 * [backup-simplify]: Simplify b into b
1.345 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.345 * [taylor]: Taking taylor expansion of d in a
1.345 * [backup-simplify]: Simplify d into d
1.345 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.345 * [taylor]: Taking taylor expansion of c in a
1.346 * [backup-simplify]: Simplify c into c
1.346 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.346 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.346 * [taylor]: Taking taylor expansion of a in a
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify 1 into 1
1.346 * [backup-simplify]: Simplify (/ 1 1) into 1
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
1.346 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.346 * [taylor]: Taking taylor expansion of b in a
1.346 * [backup-simplify]: Simplify b into b
1.346 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
1.346 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.346 * [taylor]: Taking taylor expansion of d in a
1.346 * [backup-simplify]: Simplify d into d
1.346 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
1.347 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.347 * [taylor]: Taking taylor expansion of c in a
1.347 * [backup-simplify]: Simplify c into c
1.347 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.347 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.347 * [taylor]: Taking taylor expansion of a in a
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 1 into 1
1.348 * [backup-simplify]: Simplify (/ 1 1) into 1
1.348 * [backup-simplify]: Simplify (+ 0 1) into 1
1.349 * [backup-simplify]: Simplify (+ 0 1) into 1
1.349 * [backup-simplify]: Simplify (+ 0 1) into 1
1.349 * [taylor]: Taking taylor expansion of 1 in b
1.349 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.350 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
1.350 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
1.350 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.350 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.350 * [taylor]: Taking taylor expansion of c in b
1.350 * [backup-simplify]: Simplify c into c
1.351 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.351 * [taylor]: Taking taylor expansion of d in b
1.351 * [backup-simplify]: Simplify d into d
1.351 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.351 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.351 * [taylor]: Taking taylor expansion of b in b
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (/ 1 1) into 1
1.352 * [backup-simplify]: Simplify (+ 0 1) into 1
1.352 * [backup-simplify]: Simplify (+ 0 1) into 1
1.352 * [taylor]: Taking taylor expansion of 1 in c
1.352 * [backup-simplify]: Simplify 1 into 1
1.352 * [taylor]: Taking taylor expansion of 1 in c
1.352 * [backup-simplify]: Simplify 1 into 1
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.354 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [taylor]: Taking taylor expansion of 0 in b
1.355 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.356 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.356 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
1.356 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.356 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.356 * [taylor]: Taking taylor expansion of d in c
1.356 * [backup-simplify]: Simplify d into d
1.356 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.356 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.356 * [taylor]: Taking taylor expansion of c in c
1.356 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (/ 1 1) into 1
1.357 * [backup-simplify]: Simplify (+ 0 1) into 1
1.357 * [taylor]: Taking taylor expansion of 1 in d
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [taylor]: Taking taylor expansion of 0 in c
1.357 * [backup-simplify]: Simplify 0 into 0
1.357 * [taylor]: Taking taylor expansion of 1 in d
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [taylor]: Taking taylor expansion of 1 in d
1.357 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
1.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.359 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [taylor]: Taking taylor expansion of 0 in b
1.360 * [backup-simplify]: Simplify 0 into 0
1.360 * [taylor]: Taking taylor expansion of 0 in c
1.360 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.362 * [taylor]: Taking taylor expansion of 0 in c
1.362 * [backup-simplify]: Simplify 0 into 0
1.363 * [taylor]: Taking taylor expansion of 0 in c
1.363 * [backup-simplify]: Simplify 0 into 0
1.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.363 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.363 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.364 * [taylor]: Taking taylor expansion of d in d
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify 1 into 1
1.364 * [backup-simplify]: Simplify (/ 1 1) into 1
1.364 * [backup-simplify]: Simplify 1 into 1
1.364 * [taylor]: Taking taylor expansion of 0 in d
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [taylor]: Taking taylor expansion of 0 in d
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [taylor]: Taking taylor expansion of 0 in d
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify 1 into 1
1.364 * [backup-simplify]: Simplify 1 into 1
1.366 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ d (+ b c))
1.366 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))
1.366 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a b c d) around 0
1.366 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
1.366 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.366 * [taylor]: Taking taylor expansion of b in d
1.366 * [backup-simplify]: Simplify b into b
1.366 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
1.366 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.366 * [taylor]: Taking taylor expansion of d in d
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 1 into 1
1.367 * [backup-simplify]: Simplify (/ 1 1) into 1
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
1.367 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.367 * [taylor]: Taking taylor expansion of c in d
1.367 * [backup-simplify]: Simplify c into c
1.367 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.367 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.367 * [taylor]: Taking taylor expansion of a in d
1.367 * [backup-simplify]: Simplify a into a
1.367 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.367 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
1.367 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.367 * [taylor]: Taking taylor expansion of b in c
1.367 * [backup-simplify]: Simplify b into b
1.367 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
1.367 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.367 * [taylor]: Taking taylor expansion of d in c
1.367 * [backup-simplify]: Simplify d into d
1.367 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
1.368 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.368 * [taylor]: Taking taylor expansion of c in c
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [backup-simplify]: Simplify (/ 1 1) into 1
1.368 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.368 * [taylor]: Taking taylor expansion of a in c
1.368 * [backup-simplify]: Simplify a into a
1.368 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
1.368 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.368 * [taylor]: Taking taylor expansion of b in b
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (/ 1 1) into 1
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
1.369 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.369 * [taylor]: Taking taylor expansion of d in b
1.369 * [backup-simplify]: Simplify d into d
1.369 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
1.369 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.369 * [taylor]: Taking taylor expansion of c in b
1.369 * [backup-simplify]: Simplify c into c
1.369 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.369 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.369 * [taylor]: Taking taylor expansion of a in b
1.369 * [backup-simplify]: Simplify a into a
1.369 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.369 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
1.369 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.369 * [taylor]: Taking taylor expansion of b in a
1.369 * [backup-simplify]: Simplify b into b
1.369 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
1.370 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.370 * [taylor]: Taking taylor expansion of d in a
1.370 * [backup-simplify]: Simplify d into d
1.370 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
1.370 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.370 * [taylor]: Taking taylor expansion of c in a
1.370 * [backup-simplify]: Simplify c into c
1.370 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.370 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.370 * [taylor]: Taking taylor expansion of a in a
1.370 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify 1 into 1
1.370 * [backup-simplify]: Simplify (/ 1 1) into 1
1.370 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
1.370 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.370 * [taylor]: Taking taylor expansion of b in a
1.370 * [backup-simplify]: Simplify b into b
1.371 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
1.371 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.371 * [taylor]: Taking taylor expansion of d in a
1.371 * [backup-simplify]: Simplify d into d
1.371 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
1.371 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.371 * [taylor]: Taking taylor expansion of c in a
1.371 * [backup-simplify]: Simplify c into c
1.371 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.371 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.371 * [taylor]: Taking taylor expansion of a in a
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (/ 1 1) into 1
1.372 * [backup-simplify]: Simplify (+ 0 1) into 1
1.372 * [backup-simplify]: Simplify (+ 0 1) into 1
1.372 * [backup-simplify]: Simplify (+ 0 1) into 1
1.373 * [backup-simplify]: Simplify (- 1) into -1
1.373 * [taylor]: Taking taylor expansion of -1 in b
1.373 * [backup-simplify]: Simplify -1 into -1
1.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.373 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
1.373 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
1.373 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
1.373 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
1.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.374 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.374 * [taylor]: Taking taylor expansion of c in b
1.374 * [backup-simplify]: Simplify c into c
1.374 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.374 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.374 * [taylor]: Taking taylor expansion of d in b
1.374 * [backup-simplify]: Simplify d into d
1.374 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.374 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.374 * [taylor]: Taking taylor expansion of b in b
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify 1 into 1
1.374 * [backup-simplify]: Simplify (/ 1 1) into 1
1.374 * [backup-simplify]: Simplify (+ 0 1) into 1
1.375 * [backup-simplify]: Simplify (+ 0 1) into 1
1.375 * [backup-simplify]: Simplify (- 1) into -1
1.375 * [taylor]: Taking taylor expansion of -1 in c
1.375 * [backup-simplify]: Simplify -1 into -1
1.375 * [taylor]: Taking taylor expansion of -1 in c
1.375 * [backup-simplify]: Simplify -1 into -1
1.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.376 * [backup-simplify]: Simplify (+ 0 0) into 0
1.376 * [backup-simplify]: Simplify (+ 0 0) into 0
1.376 * [backup-simplify]: Simplify (+ 0 0) into 0
1.377 * [backup-simplify]: Simplify (- 0) into 0
1.377 * [taylor]: Taking taylor expansion of 0 in b
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.377 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.377 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
1.377 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c)))
1.377 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c
1.377 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.377 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.377 * [taylor]: Taking taylor expansion of d in c
1.377 * [backup-simplify]: Simplify d into d
1.377 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.377 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.377 * [taylor]: Taking taylor expansion of c in c
1.378 * [backup-simplify]: Simplify 0 into 0
1.378 * [backup-simplify]: Simplify 1 into 1
1.378 * [backup-simplify]: Simplify (/ 1 1) into 1
1.378 * [backup-simplify]: Simplify (+ 0 1) into 1
1.378 * [backup-simplify]: Simplify (- 1) into -1
1.378 * [taylor]: Taking taylor expansion of -1 in d
1.378 * [backup-simplify]: Simplify -1 into -1
1.378 * [taylor]: Taking taylor expansion of 0 in c
1.378 * [backup-simplify]: Simplify 0 into 0
1.378 * [taylor]: Taking taylor expansion of -1 in d
1.378 * [backup-simplify]: Simplify -1 into -1
1.378 * [taylor]: Taking taylor expansion of -1 in d
1.378 * [backup-simplify]: Simplify -1 into -1
1.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.380 * [backup-simplify]: Simplify (- 0) into 0
1.380 * [taylor]: Taking taylor expansion of 0 in b
1.380 * [backup-simplify]: Simplify 0 into 0
1.380 * [taylor]: Taking taylor expansion of 0 in c
1.380 * [backup-simplify]: Simplify 0 into 0
1.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.381 * [backup-simplify]: Simplify (+ 0 0) into 0
1.382 * [backup-simplify]: Simplify (+ 0 0) into 0
1.382 * [backup-simplify]: Simplify (- 0) into 0
1.382 * [taylor]: Taking taylor expansion of 0 in c
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [taylor]: Taking taylor expansion of 0 in c
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.383 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.383 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.383 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.383 * [taylor]: Taking taylor expansion of d in d
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 1 into 1
1.383 * [backup-simplify]: Simplify (/ 1 1) into 1
1.383 * [backup-simplify]: Simplify (- 1) into -1
1.383 * [backup-simplify]: Simplify -1 into -1
1.383 * [taylor]: Taking taylor expansion of 0 in d
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [taylor]: Taking taylor expansion of 0 in d
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [taylor]: Taking taylor expansion of 0 in d
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify -1 into -1
1.383 * [backup-simplify]: Simplify -1 into -1
1.384 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ d (+ b c))
1.384 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
1.384 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ d (+ b c))
1.384 * [approximate]: Taking taylor expansion of (+ d (+ b c)) in (b c d) around 0
1.384 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
1.384 * [taylor]: Taking taylor expansion of d in d
1.384 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [taylor]: Taking taylor expansion of (+ b c) in d
1.385 * [taylor]: Taking taylor expansion of b in d
1.385 * [backup-simplify]: Simplify b into b
1.385 * [taylor]: Taking taylor expansion of c in d
1.385 * [backup-simplify]: Simplify c into c
1.385 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
1.385 * [taylor]: Taking taylor expansion of d in c
1.385 * [backup-simplify]: Simplify d into d
1.385 * [taylor]: Taking taylor expansion of (+ b c) in c
1.385 * [taylor]: Taking taylor expansion of b in c
1.385 * [backup-simplify]: Simplify b into b
1.385 * [taylor]: Taking taylor expansion of c in c
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.385 * [taylor]: Taking taylor expansion of d in b
1.385 * [backup-simplify]: Simplify d into d
1.385 * [taylor]: Taking taylor expansion of (+ b c) in b
1.385 * [taylor]: Taking taylor expansion of b in b
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [taylor]: Taking taylor expansion of c in b
1.385 * [backup-simplify]: Simplify c into c
1.385 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.385 * [taylor]: Taking taylor expansion of d in b
1.385 * [backup-simplify]: Simplify d into d
1.385 * [taylor]: Taking taylor expansion of (+ b c) in b
1.385 * [taylor]: Taking taylor expansion of b in b
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [taylor]: Taking taylor expansion of c in b
1.385 * [backup-simplify]: Simplify c into c
1.385 * [backup-simplify]: Simplify (+ 0 c) into c
1.385 * [backup-simplify]: Simplify (+ d c) into (+ d c)
1.385 * [taylor]: Taking taylor expansion of (+ d c) in c
1.385 * [taylor]: Taking taylor expansion of d in c
1.385 * [backup-simplify]: Simplify d into d
1.385 * [taylor]: Taking taylor expansion of c in c
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [backup-simplify]: Simplify (+ d 0) into d
1.385 * [taylor]: Taking taylor expansion of d in d
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 1 into 1
1.385 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify (+ 1 0) into 1
1.386 * [backup-simplify]: Simplify (+ 0 1) into 1
1.386 * [taylor]: Taking taylor expansion of 1 in c
1.386 * [backup-simplify]: Simplify 1 into 1
1.386 * [taylor]: Taking taylor expansion of 1 in d
1.386 * [backup-simplify]: Simplify 1 into 1
1.386 * [backup-simplify]: Simplify 1 into 1
1.386 * [backup-simplify]: Simplify (+ 0 1) into 1
1.386 * [taylor]: Taking taylor expansion of 1 in d
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 b))))) into (+ d (+ b c))
1.387 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
1.387 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in (b c d) around 0
1.387 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
1.387 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.387 * [taylor]: Taking taylor expansion of c in d
1.387 * [backup-simplify]: Simplify c into c
1.387 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
1.387 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.387 * [taylor]: Taking taylor expansion of d in d
1.387 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify 1 into 1
1.388 * [backup-simplify]: Simplify (/ 1 1) into 1
1.388 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.388 * [taylor]: Taking taylor expansion of b in d
1.388 * [backup-simplify]: Simplify b into b
1.388 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
1.388 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.388 * [taylor]: Taking taylor expansion of c in c
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 1 into 1
1.388 * [backup-simplify]: Simplify (/ 1 1) into 1
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
1.388 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.388 * [taylor]: Taking taylor expansion of d in c
1.388 * [backup-simplify]: Simplify d into d
1.388 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.388 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.388 * [taylor]: Taking taylor expansion of b in c
1.388 * [backup-simplify]: Simplify b into b
1.388 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.388 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.388 * [taylor]: Taking taylor expansion of c in b
1.388 * [backup-simplify]: Simplify c into c
1.388 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.388 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.388 * [taylor]: Taking taylor expansion of d in b
1.389 * [backup-simplify]: Simplify d into d
1.389 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.389 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.389 * [taylor]: Taking taylor expansion of b in b
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 1 into 1
1.389 * [backup-simplify]: Simplify (/ 1 1) into 1
1.389 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.389 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.389 * [taylor]: Taking taylor expansion of c in b
1.389 * [backup-simplify]: Simplify c into c
1.389 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.389 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.389 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.389 * [taylor]: Taking taylor expansion of d in b
1.389 * [backup-simplify]: Simplify d into d
1.389 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.389 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.389 * [taylor]: Taking taylor expansion of b in b
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 1 into 1
1.389 * [backup-simplify]: Simplify (/ 1 1) into 1
1.390 * [backup-simplify]: Simplify (+ 0 1) into 1
1.390 * [backup-simplify]: Simplify (+ 0 1) into 1
1.390 * [taylor]: Taking taylor expansion of 1 in c
1.390 * [backup-simplify]: Simplify 1 into 1
1.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.391 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.391 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
1.391 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.391 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.391 * [taylor]: Taking taylor expansion of d in c
1.391 * [backup-simplify]: Simplify d into d
1.391 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.391 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.391 * [taylor]: Taking taylor expansion of c in c
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 1 into 1
1.391 * [backup-simplify]: Simplify (/ 1 1) into 1
1.392 * [backup-simplify]: Simplify (+ 0 1) into 1
1.392 * [taylor]: Taking taylor expansion of 1 in d
1.392 * [backup-simplify]: Simplify 1 into 1
1.392 * [taylor]: Taking taylor expansion of 1 in d
1.392 * [backup-simplify]: Simplify 1 into 1
1.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.393 * [backup-simplify]: Simplify (+ 0 0) into 0
1.393 * [backup-simplify]: Simplify (+ 0 0) into 0
1.393 * [taylor]: Taking taylor expansion of 0 in c
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.394 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.394 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.394 * [taylor]: Taking taylor expansion of d in d
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify (/ 1 1) into 1
1.394 * [backup-simplify]: Simplify 1 into 1
1.394 * [taylor]: Taking taylor expansion of 0 in d
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify 1 into 1
1.395 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ d (+ b c))
1.395 * [backup-simplify]: Simplify (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
1.395 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (b c d) around 0
1.395 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
1.395 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.395 * [taylor]: Taking taylor expansion of c in d
1.395 * [backup-simplify]: Simplify c into c
1.395 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
1.395 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.395 * [taylor]: Taking taylor expansion of d in d
1.395 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify 1 into 1
1.395 * [backup-simplify]: Simplify (/ 1 1) into 1
1.396 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.396 * [taylor]: Taking taylor expansion of b in d
1.396 * [backup-simplify]: Simplify b into b
1.396 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.396 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
1.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.396 * [taylor]: Taking taylor expansion of c in c
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify 1 into 1
1.396 * [backup-simplify]: Simplify (/ 1 1) into 1
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
1.396 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.396 * [taylor]: Taking taylor expansion of d in c
1.396 * [backup-simplify]: Simplify d into d
1.396 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.396 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.396 * [taylor]: Taking taylor expansion of b in c
1.396 * [backup-simplify]: Simplify b into b
1.396 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.396 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.396 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.396 * [taylor]: Taking taylor expansion of c in b
1.396 * [backup-simplify]: Simplify c into c
1.396 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.396 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.396 * [taylor]: Taking taylor expansion of d in b
1.396 * [backup-simplify]: Simplify d into d
1.396 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.396 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.397 * [taylor]: Taking taylor expansion of b in b
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 1 into 1
1.397 * [backup-simplify]: Simplify (/ 1 1) into 1
1.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.397 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.397 * [taylor]: Taking taylor expansion of c in b
1.397 * [backup-simplify]: Simplify c into c
1.397 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.397 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.397 * [taylor]: Taking taylor expansion of d in b
1.397 * [backup-simplify]: Simplify d into d
1.397 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.397 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.397 * [taylor]: Taking taylor expansion of b in b
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 1 into 1
1.397 * [backup-simplify]: Simplify (/ 1 1) into 1
1.398 * [backup-simplify]: Simplify (+ 0 1) into 1
1.398 * [backup-simplify]: Simplify (+ 0 1) into 1
1.398 * [backup-simplify]: Simplify (- 1) into -1
1.398 * [taylor]: Taking taylor expansion of -1 in c
1.398 * [backup-simplify]: Simplify -1 into -1
1.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.399 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.399 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
1.399 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c)))
1.399 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.399 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.399 * [taylor]: Taking taylor expansion of d in c
1.399 * [backup-simplify]: Simplify d into d
1.399 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.399 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.399 * [taylor]: Taking taylor expansion of c in c
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify 1 into 1
1.399 * [backup-simplify]: Simplify (/ 1 1) into 1
1.400 * [backup-simplify]: Simplify (+ 0 1) into 1
1.400 * [backup-simplify]: Simplify (- 1) into -1
1.400 * [taylor]: Taking taylor expansion of -1 in d
1.400 * [backup-simplify]: Simplify -1 into -1
1.400 * [taylor]: Taking taylor expansion of -1 in d
1.400 * [backup-simplify]: Simplify -1 into -1
1.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
1.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.401 * [backup-simplify]: Simplify (+ 0 0) into 0
1.401 * [backup-simplify]: Simplify (+ 0 0) into 0
1.401 * [backup-simplify]: Simplify (- 0) into 0
1.401 * [taylor]: Taking taylor expansion of 0 in c
1.401 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.402 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.402 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.402 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.402 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.402 * [taylor]: Taking taylor expansion of d in d
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify 1 into 1
1.402 * [backup-simplify]: Simplify (/ 1 1) into 1
1.402 * [backup-simplify]: Simplify (- 1) into -1
1.403 * [backup-simplify]: Simplify -1 into -1
1.403 * [taylor]: Taking taylor expansion of 0 in d
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify -1 into -1
1.403 * [backup-simplify]: Simplify -1 into -1
1.403 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ d (+ b c))
1.403 * * * [progress]: simplifying candidates
1.404 * [simplify]: Simplifying:
  (expm1 (+ a (+ b (+ c d))))
  (log1p (+ a (+ b (+ c d))))
  (* (exp a) (* (exp b) (* (exp c) (exp d))))
  (* (exp a) (* (exp b) (exp (+ c d))))
  (* (exp a) (exp (+ 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))))
  (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d))))
  (sqrt (+ a (+ b (+ c d))))
  (sqrt (+ a (+ b (+ c d))))
  (+ (pow a 3) (pow (+ b (+ c d)) 3))
  (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d)))))
  (- (* a a) (* (+ b (+ c d)) (+ b (+ c d))))
  (- a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a b)
  (expm1 (+ b (+ c d)))
  (log1p (+ b (+ c d)))
  (* (exp b) (* (exp c) (exp d)))
  (* (exp b) (exp (+ c d)))
  (log (+ b (+ c d)))
  (exp (+ b (+ c d)))
  (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d))))
  (cbrt (+ b (+ c d)))
  (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d)))
  (sqrt (+ b (+ c d)))
  (sqrt (+ b (+ c d)))
  (+ (pow b 3) (pow (+ c d) 3))
  (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d))))
  (- (* b b) (* (+ c d) (+ c d)))
  (- b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b c)
  (+ a (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
1.405 * * [simplify]: Extracting # 0 : cost  0
1.405 * * [simplify]: Extracting # 1 : cost  0
1.405 * * [simplify]: Extracting # 2 : cost  0
1.406 * * [simplify]: Extracting # 3 : cost  0
1.406 * * [simplify]: Extracting # 4 : cost  0
1.406 * * [simplify]: Extracting # 5 : cost  0
1.406 * * [simplify]: iteration  0 :  60  enodes  (cost  378 )
1.443 * * [simplify]: Extracting # 0 : cost  0
1.443 * * [simplify]: Extracting # 1 : cost  0
1.447 * * [simplify]: Extracting # 2 : cost  0
1.447 * * [simplify]: Extracting # 3 : cost  0
1.448 * * [simplify]: Extracting # 4 : cost  0
1.448 * * [simplify]: Extracting # 5 : cost  0
1.448 * * [simplify]: iteration  1 :  337  enodes  (cost  347 )
2.176 * * [simplify]: Extracting # 0 : cost  0
2.181 * * [simplify]: Extracting # 1 : cost  0
2.190 * * [simplify]: Extracting # 2 : cost  0
2.201 * * [simplify]: Extracting # 3 : cost  0
2.216 * * [simplify]: Extracting # 4 : cost  0
2.229 * * [simplify]: iteration done:  5001  enodes  (cost  333 )
2.230 * [simplify]: Simplified to:
  (expm1 (+ a (+ b (+ c d))))
  (log1p (+ a (+ b (+ c d))))
  (exp (+ a (+ b (+ c d))))
  (exp (+ a (+ b (+ c d))))
  (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 a 3) (pow (+ b (+ c d)) 3))
  (fma a a (* (- (+ d (+ b c)) a) (+ d (+ b c))))
  (- (* a a) (* (+ b (+ c d)) (+ b (+ c d))))
  (- a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a (+ b (+ c d)))
  (+ a b)
  (expm1 (+ b (+ c d)))
  (log1p (+ b (+ c d)))
  (exp (+ b (+ c d)))
  (exp (+ b (+ c d)))
  (log (+ b (+ c d)))
  (exp (+ b (+ c d)))
  (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d))))
  (cbrt (+ b (+ c d)))
  (pow (+ b (+ c d)) 3)
  (sqrt (+ b (+ c d)))
  (sqrt (+ b (+ c d)))
  (+ (pow b 3) (pow (+ c d) 3))
  (fma b b (* (- (+ c d) b) (+ c d)))
  (- (* b b) (* (+ c d) (+ c d)))
  (- b (+ c d))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ b c)
  (+ a (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
2.230 * * * [progress]: adding candidates to table
2.359 * * [progress]: iteration 2 / 4
2.359 * * * [progress]: picking best candidate
2.395 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (+ a (+ d (+ b c))) 2.0))>
2.395 * * * [progress]: localizing error
2.411 * * * [progress]: generating rewritten candidates
2.411 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.505 * * * [progress]: generating series expansions
2.505 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.505 * [backup-simplify]: Simplify (+ a (+ d (+ b c))) into (+ d (+ a (+ b c)))
2.506 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a d b c) around 0
2.506 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
2.506 * [taylor]: Taking taylor expansion of d in c
2.506 * [backup-simplify]: Simplify d into d
2.506 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
2.506 * [taylor]: Taking taylor expansion of a in c
2.506 * [backup-simplify]: Simplify a into a
2.506 * [taylor]: Taking taylor expansion of (+ b c) in c
2.506 * [taylor]: Taking taylor expansion of b in c
2.506 * [backup-simplify]: Simplify b into b
2.506 * [taylor]: Taking taylor expansion of c in c
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 1 into 1
2.506 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
2.506 * [taylor]: Taking taylor expansion of d in b
2.506 * [backup-simplify]: Simplify d into d
2.506 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
2.506 * [taylor]: Taking taylor expansion of a in b
2.506 * [backup-simplify]: Simplify a into a
2.506 * [taylor]: Taking taylor expansion of (+ b c) in b
2.506 * [taylor]: Taking taylor expansion of b in b
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 1 into 1
2.506 * [taylor]: Taking taylor expansion of c in b
2.506 * [backup-simplify]: Simplify c into c
2.506 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
2.506 * [taylor]: Taking taylor expansion of d in d
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 1 into 1
2.506 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
2.506 * [taylor]: Taking taylor expansion of a in d
2.506 * [backup-simplify]: Simplify a into a
2.506 * [taylor]: Taking taylor expansion of (+ b c) in d
2.506 * [taylor]: Taking taylor expansion of b in d
2.506 * [backup-simplify]: Simplify b into b
2.507 * [taylor]: Taking taylor expansion of c in d
2.507 * [backup-simplify]: Simplify c into c
2.507 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
2.507 * [taylor]: Taking taylor expansion of d in a
2.507 * [backup-simplify]: Simplify d into d
2.507 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
2.507 * [taylor]: Taking taylor expansion of a in a
2.507 * [backup-simplify]: Simplify 0 into 0
2.507 * [backup-simplify]: Simplify 1 into 1
2.507 * [taylor]: Taking taylor expansion of (+ b c) in a
2.507 * [taylor]: Taking taylor expansion of b in a
2.507 * [backup-simplify]: Simplify b into b
2.507 * [taylor]: Taking taylor expansion of c in a
2.507 * [backup-simplify]: Simplify c into c
2.507 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
2.507 * [taylor]: Taking taylor expansion of d in a
2.507 * [backup-simplify]: Simplify d into d
2.507 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
2.507 * [taylor]: Taking taylor expansion of a in a
2.507 * [backup-simplify]: Simplify 0 into 0
2.507 * [backup-simplify]: Simplify 1 into 1
2.507 * [taylor]: Taking taylor expansion of (+ b c) in a
2.507 * [taylor]: Taking taylor expansion of b in a
2.507 * [backup-simplify]: Simplify b into b
2.507 * [taylor]: Taking taylor expansion of c in a
2.507 * [backup-simplify]: Simplify c into c
2.507 * [backup-simplify]: Simplify (+ b c) into (+ b c)
2.507 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b)
2.508 * [backup-simplify]: Simplify (+ d (+ c b)) into (+ d (+ b c))
2.508 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
2.508 * [taylor]: Taking taylor expansion of d in d
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [taylor]: Taking taylor expansion of (+ b c) in d
2.508 * [taylor]: Taking taylor expansion of b in d
2.508 * [backup-simplify]: Simplify b into b
2.508 * [taylor]: Taking taylor expansion of c in d
2.508 * [backup-simplify]: Simplify c into c
2.508 * [backup-simplify]: Simplify (+ b c) into (+ b c)
2.508 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b)
2.508 * [taylor]: Taking taylor expansion of (+ c b) in b
2.508 * [taylor]: Taking taylor expansion of c in b
2.508 * [backup-simplify]: Simplify c into c
2.508 * [taylor]: Taking taylor expansion of b in b
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [backup-simplify]: Simplify (+ c 0) into c
2.508 * [taylor]: Taking taylor expansion of c in c
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify (+ 0 0) into 0
2.510 * [backup-simplify]: Simplify (+ 1 0) into 1
2.516 * [backup-simplify]: Simplify (+ 0 1) into 1
2.517 * [taylor]: Taking taylor expansion of 1 in d
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [taylor]: Taking taylor expansion of 1 in b
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [taylor]: Taking taylor expansion of 1 in c
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify (+ 1 0) into 1
2.518 * [taylor]: Taking taylor expansion of 1 in b
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [taylor]: Taking taylor expansion of 1 in c
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (+ 0 1) into 1
2.519 * [taylor]: Taking taylor expansion of 1 in c
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* b (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ d (+ a b))
2.520 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 b) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))
2.520 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a d b c) around 0
2.520 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
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 (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
2.520 * [taylor]: Taking taylor expansion of (/ 1 d) in c
2.520 * [taylor]: Taking taylor expansion of d in c
2.521 * [backup-simplify]: Simplify d into d
2.521 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.521 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
2.521 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.521 * [taylor]: Taking taylor expansion of c in c
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 (/ 1 a) in c
2.521 * [taylor]: Taking taylor expansion of a in c
2.521 * [backup-simplify]: Simplify a into a
2.522 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.522 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
2.522 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.522 * [taylor]: Taking taylor expansion of b in b
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (/ 1 1) into 1
2.522 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
2.522 * [taylor]: Taking taylor expansion of (/ 1 d) in b
2.522 * [taylor]: Taking taylor expansion of d in b
2.522 * [backup-simplify]: Simplify d into d
2.522 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.522 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
2.523 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.523 * [taylor]: Taking taylor expansion of c in b
2.523 * [backup-simplify]: Simplify c into c
2.523 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.523 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.523 * [taylor]: Taking taylor expansion of a in b
2.523 * [backup-simplify]: Simplify a into a
2.523 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.523 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
2.523 * [taylor]: Taking taylor expansion of (/ 1 b) in d
2.523 * [taylor]: Taking taylor expansion of b in d
2.523 * [backup-simplify]: Simplify b into b
2.523 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.523 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
2.523 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.523 * [taylor]: Taking taylor expansion of d in d
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (/ 1 1) into 1
2.524 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
2.524 * [taylor]: Taking taylor expansion of (/ 1 c) in d
2.524 * [taylor]: Taking taylor expansion of c in d
2.524 * [backup-simplify]: Simplify c into c
2.524 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.524 * [taylor]: Taking taylor expansion of (/ 1 a) in d
2.524 * [taylor]: Taking taylor expansion of a in d
2.524 * [backup-simplify]: Simplify a into a
2.524 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.524 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
2.524 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.524 * [taylor]: Taking taylor expansion of b in a
2.524 * [backup-simplify]: Simplify b into b
2.524 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.524 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
2.524 * [taylor]: Taking taylor expansion of (/ 1 d) in a
2.524 * [taylor]: Taking taylor expansion of d in a
2.524 * [backup-simplify]: Simplify d into d
2.524 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.524 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
2.525 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.525 * [taylor]: Taking taylor expansion of c in a
2.525 * [backup-simplify]: Simplify c into c
2.525 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.525 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.525 * [taylor]: Taking taylor expansion of a in a
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify 1 into 1
2.526 * [backup-simplify]: Simplify (/ 1 1) into 1
2.526 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
2.526 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.526 * [taylor]: Taking taylor expansion of b in a
2.526 * [backup-simplify]: Simplify b into b
2.526 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.526 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
2.526 * [taylor]: Taking taylor expansion of (/ 1 d) in a
2.526 * [taylor]: Taking taylor expansion of d in a
2.526 * [backup-simplify]: Simplify d into d
2.527 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.527 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
2.527 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.527 * [taylor]: Taking taylor expansion of c in a
2.527 * [backup-simplify]: Simplify c into c
2.527 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.527 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.527 * [taylor]: Taking taylor expansion of a in a
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [backup-simplify]: Simplify (/ 1 1) into 1
2.528 * [backup-simplify]: Simplify (+ 0 1) into 1
2.529 * [backup-simplify]: Simplify (+ 0 1) into 1
2.529 * [backup-simplify]: Simplify (+ 0 1) into 1
2.529 * [taylor]: Taking taylor expansion of 1 in d
2.529 * [backup-simplify]: Simplify 1 into 1
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.530 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.530 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
2.530 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
2.530 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
2.530 * [taylor]: Taking taylor expansion of (/ 1 c) in d
2.530 * [taylor]: Taking taylor expansion of c in d
2.530 * [backup-simplify]: Simplify c into c
2.531 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.531 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
2.531 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.531 * [taylor]: Taking taylor expansion of d in d
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 1 into 1
2.531 * [backup-simplify]: Simplify (/ 1 1) into 1
2.531 * [taylor]: Taking taylor expansion of (/ 1 b) in d
2.531 * [taylor]: Taking taylor expansion of b in d
2.531 * [backup-simplify]: Simplify b into b
2.531 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.532 * [backup-simplify]: Simplify (+ 1 0) into 1
2.532 * [backup-simplify]: Simplify (+ 0 1) into 1
2.532 * [taylor]: Taking taylor expansion of 1 in b
2.532 * [backup-simplify]: Simplify 1 into 1
2.532 * [taylor]: Taking taylor expansion of 1 in b
2.532 * [backup-simplify]: Simplify 1 into 1
2.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
2.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [taylor]: Taking taylor expansion of 0 in d
2.535 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.536 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
2.536 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
2.536 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.536 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.536 * [taylor]: Taking taylor expansion of c in b
2.537 * [backup-simplify]: Simplify c into c
2.537 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.537 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.537 * [taylor]: Taking taylor expansion of b in b
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [backup-simplify]: Simplify (/ 1 1) into 1
2.537 * [backup-simplify]: Simplify (+ 0 1) into 1
2.538 * [taylor]: Taking taylor expansion of 1 in c
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [taylor]: Taking taylor expansion of 0 in b
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [taylor]: Taking taylor expansion of 1 in c
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [taylor]: Taking taylor expansion of 1 in c
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [taylor]: Taking taylor expansion of 0 in d
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [taylor]: Taking taylor expansion of 0 in b
2.540 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.542 * [backup-simplify]: Simplify (+ 0 0) into 0
2.542 * [backup-simplify]: Simplify (+ 0 0) into 0
2.542 * [taylor]: Taking taylor expansion of 0 in b
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [taylor]: Taking taylor expansion of 0 in b
2.542 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.543 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.543 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.543 * [taylor]: Taking taylor expansion of c in c
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify (/ 1 1) into 1
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [taylor]: Taking taylor expansion of 0 in c
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [taylor]: Taking taylor expansion of 0 in c
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [taylor]: Taking taylor expansion of 0 in c
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify 1 into 1
2.545 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 1)))))) into (+ d (+ b c))
2.546 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- d)) (+ (/ 1 (- b)) (/ 1 (- c))))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))
2.546 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a d b c) around 0
2.546 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
2.546 * [taylor]: Taking taylor expansion of (/ 1 b) in c
2.546 * [taylor]: Taking taylor expansion of b in c
2.546 * [backup-simplify]: Simplify b into b
2.546 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
2.546 * [taylor]: Taking taylor expansion of (/ 1 d) in c
2.546 * [taylor]: Taking taylor expansion of d in c
2.546 * [backup-simplify]: Simplify d into d
2.546 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
2.546 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.546 * [taylor]: Taking taylor expansion of c in c
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify 1 into 1
2.547 * [backup-simplify]: Simplify (/ 1 1) into 1
2.547 * [taylor]: Taking taylor expansion of (/ 1 a) in c
2.547 * [taylor]: Taking taylor expansion of a in c
2.547 * [backup-simplify]: Simplify a into a
2.547 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.547 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
2.547 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
2.547 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.547 * [taylor]: Taking taylor expansion of b in b
2.547 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify 1 into 1
2.548 * [backup-simplify]: Simplify (/ 1 1) into 1
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
2.548 * [taylor]: Taking taylor expansion of (/ 1 d) in b
2.548 * [taylor]: Taking taylor expansion of d in b
2.548 * [backup-simplify]: Simplify d into d
2.548 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
2.548 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.548 * [taylor]: Taking taylor expansion of c in b
2.548 * [backup-simplify]: Simplify c into c
2.548 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.548 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.548 * [taylor]: Taking taylor expansion of a in b
2.548 * [backup-simplify]: Simplify a into a
2.548 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.548 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
2.548 * [taylor]: Taking taylor expansion of (/ 1 b) in d
2.548 * [taylor]: Taking taylor expansion of b in d
2.548 * [backup-simplify]: Simplify b into b
2.548 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
2.548 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.548 * [taylor]: Taking taylor expansion of d in d
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (/ 1 1) into 1
2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
2.549 * [taylor]: Taking taylor expansion of (/ 1 c) in d
2.549 * [taylor]: Taking taylor expansion of c in d
2.549 * [backup-simplify]: Simplify c into c
2.549 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.549 * [taylor]: Taking taylor expansion of (/ 1 a) in d
2.549 * [taylor]: Taking taylor expansion of a in d
2.549 * [backup-simplify]: Simplify a into a
2.549 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.549 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
2.549 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.549 * [taylor]: Taking taylor expansion of b in a
2.549 * [backup-simplify]: Simplify b into b
2.549 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
2.549 * [taylor]: Taking taylor expansion of (/ 1 d) in a
2.549 * [taylor]: Taking taylor expansion of d in a
2.549 * [backup-simplify]: Simplify d into d
2.549 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
2.549 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.549 * [taylor]: Taking taylor expansion of c in a
2.549 * [backup-simplify]: Simplify c into c
2.550 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.550 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.550 * [taylor]: Taking taylor expansion of a in a
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (/ 1 1) into 1
2.550 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
2.550 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.550 * [taylor]: Taking taylor expansion of b in a
2.550 * [backup-simplify]: Simplify b into b
2.550 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
2.550 * [taylor]: Taking taylor expansion of (/ 1 d) in a
2.550 * [taylor]: Taking taylor expansion of d in a
2.550 * [backup-simplify]: Simplify d into d
2.551 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
2.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
2.551 * [taylor]: Taking taylor expansion of (/ 1 c) in a
2.551 * [taylor]: Taking taylor expansion of c in a
2.551 * [backup-simplify]: Simplify c into c
2.551 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.551 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.551 * [taylor]: Taking taylor expansion of a in a
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify 1 into 1
2.551 * [backup-simplify]: Simplify (/ 1 1) into 1
2.552 * [backup-simplify]: Simplify (+ 0 1) into 1
2.552 * [backup-simplify]: Simplify (+ 0 1) into 1
2.552 * [backup-simplify]: Simplify (+ 0 1) into 1
2.553 * [backup-simplify]: Simplify (- 1) into -1
2.553 * [taylor]: Taking taylor expansion of -1 in d
2.553 * [backup-simplify]: Simplify -1 into -1
2.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.554 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.554 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
2.554 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
2.554 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))
2.554 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
2.554 * [taylor]: Taking taylor expansion of (/ 1 c) in d
2.554 * [taylor]: Taking taylor expansion of c in d
2.554 * [backup-simplify]: Simplify c into c
2.554 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
2.555 * [taylor]: Taking taylor expansion of (/ 1 d) in d
2.555 * [taylor]: Taking taylor expansion of d in d
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 1 into 1
2.555 * [backup-simplify]: Simplify (/ 1 1) into 1
2.555 * [taylor]: Taking taylor expansion of (/ 1 b) in d
2.555 * [taylor]: Taking taylor expansion of b in d
2.555 * [backup-simplify]: Simplify b into b
2.555 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.556 * [backup-simplify]: Simplify (+ 1 0) into 1
2.556 * [backup-simplify]: Simplify (+ 0 1) into 1
2.556 * [backup-simplify]: Simplify (- 1) into -1
2.556 * [taylor]: Taking taylor expansion of -1 in b
2.556 * [backup-simplify]: Simplify -1 into -1
2.556 * [taylor]: Taking taylor expansion of -1 in b
2.556 * [backup-simplify]: Simplify -1 into -1
2.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
2.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.558 * [backup-simplify]: Simplify (+ 0 0) into 0
2.558 * [backup-simplify]: Simplify (+ 0 0) into 0
2.559 * [backup-simplify]: Simplify (+ 0 0) into 0
2.559 * [backup-simplify]: Simplify (- 0) into 0
2.559 * [taylor]: Taking taylor expansion of 0 in d
2.559 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.560 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
2.560 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 b)) into (+ (/ 1 c) (/ 1 b))
2.560 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 b))) into (- (+ (/ 1 c) (/ 1 b)))
2.560 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
2.560 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
2.560 * [taylor]: Taking taylor expansion of (/ 1 c) in b
2.560 * [taylor]: Taking taylor expansion of c in b
2.560 * [backup-simplify]: Simplify c into c
2.561 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
2.561 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.561 * [taylor]: Taking taylor expansion of b in b
2.561 * [backup-simplify]: Simplify 0 into 0
2.561 * [backup-simplify]: Simplify 1 into 1
2.561 * [backup-simplify]: Simplify (/ 1 1) into 1
2.561 * [backup-simplify]: Simplify (+ 0 1) into 1
2.562 * [backup-simplify]: Simplify (- 1) into -1
2.562 * [taylor]: Taking taylor expansion of -1 in c
2.562 * [backup-simplify]: Simplify -1 into -1
2.562 * [taylor]: Taking taylor expansion of 0 in b
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [taylor]: Taking taylor expansion of -1 in c
2.562 * [backup-simplify]: Simplify -1 into -1
2.562 * [taylor]: Taking taylor expansion of -1 in c
2.562 * [backup-simplify]: Simplify -1 into -1
2.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
2.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
2.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.564 * [backup-simplify]: Simplify (+ 0 0) into 0
2.564 * [backup-simplify]: Simplify (+ 0 0) into 0
2.565 * [backup-simplify]: Simplify (+ 0 0) into 0
2.565 * [backup-simplify]: Simplify (- 0) into 0
2.565 * [taylor]: Taking taylor expansion of 0 in d
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [taylor]: Taking taylor expansion of 0 in b
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
2.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.567 * [backup-simplify]: Simplify (+ 0 0) into 0
2.567 * [backup-simplify]: Simplify (+ 0 0) into 0
2.567 * [backup-simplify]: Simplify (- 0) into 0
2.568 * [taylor]: Taking taylor expansion of 0 in b
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [taylor]: Taking taylor expansion of 0 in b
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.568 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
2.569 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c))
2.569 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
2.569 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.569 * [taylor]: Taking taylor expansion of c in c
2.569 * [backup-simplify]: Simplify 0 into 0
2.569 * [backup-simplify]: Simplify 1 into 1
2.569 * [backup-simplify]: Simplify (/ 1 1) into 1
2.569 * [backup-simplify]: Simplify (- 1) into -1
2.569 * [backup-simplify]: Simplify -1 into -1
2.570 * [taylor]: Taking taylor expansion of 0 in c
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [taylor]: Taking taylor expansion of 0 in c
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [taylor]: Taking taylor expansion of 0 in c
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify -1 into -1
2.570 * [backup-simplify]: Simplify -1 into -1
2.571 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 1)))))) into (+ d (+ b c))
2.571 * * * [progress]: simplifying candidates
2.572 * [simplify]: Simplifying:
  (expm1 (+ a (+ d (+ b c))))
  (log1p (+ a (+ d (+ b c))))
  (* (exp a) (* (exp d) (* (exp b) (exp c))))
  (* (exp a) (* (exp d) (exp (+ b c))))
  (* (exp a) (exp (+ d (+ b c))))
  (log (+ a (+ d (+ b c))))
  (exp (+ a (+ d (+ b c))))
  (* (cbrt (+ a (+ d (+ b c)))) (cbrt (+ a (+ d (+ b c)))))
  (cbrt (+ a (+ d (+ b c))))
  (* (* (+ a (+ d (+ b c))) (+ a (+ d (+ b c)))) (+ a (+ d (+ b c))))
  (sqrt (+ a (+ d (+ b c))))
  (sqrt (+ a (+ d (+ b c))))
  (+ (pow a 3) (pow (+ d (+ b c)) 3))
  (+ (* a a) (- (* (+ d (+ b c)) (+ d (+ b c))) (* a (+ d (+ b c)))))
  (- (* a a) (* (+ d (+ b c)) (+ d (+ b c))))
  (- a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a d)
  (+ d (+ a b))
  (+ d (+ b c))
  (+ d (+ b c))
2.573 * * [simplify]: Extracting # 0 : cost  0
2.573 * * [simplify]: Extracting # 1 : cost  0
2.573 * * [simplify]: Extracting # 2 : cost  0
2.573 * * [simplify]: Extracting # 3 : cost  0
2.573 * * [simplify]: Extracting # 4 : cost  0
2.573 * * [simplify]: Extracting # 5 : cost  0
2.573 * * [simplify]: Extracting # 6 : cost  0
2.573 * * [simplify]: iteration  0 :  42  enodes  (cost  221 )
2.603 * * [simplify]: Extracting # 0 : cost  0
2.604 * * [simplify]: Extracting # 1 : cost  0
2.604 * * [simplify]: Extracting # 2 : cost  0
2.605 * * [simplify]: Extracting # 3 : cost  0
2.605 * * [simplify]: Extracting # 4 : cost  0
2.605 * * [simplify]: Extracting # 5 : cost  0
2.606 * * [simplify]: iteration  1 :  205  enodes  (cost  208 )
3.861 * * [simplify]: Extracting # 0 : cost  0
3.867 * * [simplify]: Extracting # 1 : cost  0
3.875 * * [simplify]: Extracting # 2 : cost  0
3.882 * * [simplify]: Extracting # 3 : cost  0
3.891 * * [simplify]: Extracting # 4 : cost  0
3.906 * * [simplify]: iteration done:  5000  enodes  (cost  194 )
3.907 * [simplify]: Simplified to:
  (expm1 (+ a (+ d (+ b c))))
  (log1p (+ a (+ d (+ b c))))
  (exp (+ a (+ d (+ b c))))
  (exp (+ a (+ d (+ b c))))
  (exp (+ a (+ d (+ b c))))
  (log (+ a (+ d (+ b c))))
  (exp (+ a (+ d (+ b c))))
  (* (cbrt (+ a (+ d (+ b c)))) (cbrt (+ a (+ d (+ b c)))))
  (cbrt (+ a (+ d (+ b c))))
  (pow (+ a (+ d (+ b c))) 3)
  (sqrt (+ a (+ d (+ b c))))
  (sqrt (+ a (+ d (+ b c))))
  (+ (pow a 3) (pow (+ d (+ b c)) 3))
  (fma a a (* (- (+ d (+ b c)) a) (+ d (+ b c))))
  (- (* a a) (* (+ d (+ b c)) (+ d (+ b c))))
  (- a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a (+ d (+ b c)))
  (+ a d)
  (+ d (+ a b))
  (+ d (+ b c))
  (+ d (+ b c))
3.907 * * * [progress]: adding candidates to table
3.977 * * [progress]: iteration 3 / 4
3.977 * * * [progress]: picking best candidate
3.979 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (+ (+ a d) (+ b c)) 2.0))>
3.979 * * * [progress]: localizing error
3.989 * * * [progress]: generating rewritten candidates
3.990 * * * [progress]: generating series expansions
3.990 * * * [progress]: simplifying candidates
3.990 * [simplify]: Simplifying:
  
3.990 * * [simplify]: Extracting # 0 : cost  0
3.990 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
3.990 * * [simplify]: Extracting # 0 : cost  0
3.990 * * [simplify]: iteration done:  0  enodes  (cost  0 )
3.990 * [simplify]: Simplified to:
  
3.990 * * * [progress]: adding candidates to table
3.990 * [progress]: [Phase 3 of 3] Extracting.
3.992 * [simplify]: Simplifying:
  (* (+ (+ a d) (+ b c)) 2.0)
3.992 * * [simplify]: Extracting # 0 : cost  0
3.992 * * [simplify]: Extracting # 1 : cost  0
3.992 * * [simplify]: Extracting # 2 : cost  0
3.992 * * [simplify]: Extracting # 3 : cost  0
3.992 * * [simplify]: Extracting # 4 : cost  0
3.992 * * [simplify]: Extracting # 5 : cost  0
3.992 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
3.993 * * [simplify]: Extracting # 0 : cost  0
3.993 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
3.993 * * [simplify]: Extracting # 0 : cost  0
3.993 * * [simplify]: iteration done:  13  enodes  (cost  9 )
3.993 * [simplify]: Simplified to:
  (* (+ (+ a d) (+ b c)) 2.0)
5.754 * [regime-testing]: End program error score: 0
5.800 * [regime-testing]: Target error score: 3.8089308232425814