17.177 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.045 * [simplify]: Simplifying:
  (* (+ a (+ b (+ c d))) 2.0)
0.045 * * [simplify]: iteration 0: 9 enodes
0.046 * * [simplify]: iteration 1: 17 enodes
0.049 * * [simplify]: iteration 2: 53 enodes
0.058 * * [simplify]: iteration 3: 146 enodes
0.109 * * [simplify]: iteration 4: 300 enodes
0.181 * * [simplify]: iteration 5: 445 enodes
0.252 * * [simplify]: iteration 6: 481 enodes
0.283 * * [simplify]: iteration complete: 481 enodes
0.283 * * [simplify]: Extracting #0: cost 1 inf + 0
0.283 * * [simplify]: Extracting #1: cost 17 inf + 0
0.283 * * [simplify]: Extracting #2: cost 30 inf + 1
0.283 * * [simplify]: Extracting #3: cost 18 inf + 33
0.283 * * [simplify]: Extracting #4: cost 0 inf + 131
0.284 * * [simplify]: Extracting #5: cost 0 inf + 129
0.284 * [simplify]: Simplified to:
  (* 2.0 (+ (+ (+ b d) c) a))
0.291 * * [progress]: iteration 1 / 4
0.291 * * * [progress]: picking best candidate
0.300 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (+ (+ (+ b d) c) a)))>
0.300 * * * [progress]: localizing error
0.314 * * * [progress]: generating rewritten candidates
0.314 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.423 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.449 * * * [progress]: generating series expansions
0.449 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.450 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d)))
0.450 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0
0.450 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a
0.450 * [taylor]: Taking taylor expansion of a in a
0.450 * [backup-simplify]: Simplify 0 into 0
0.450 * [backup-simplify]: Simplify 1 into 1
0.450 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a
0.450 * [taylor]: Taking taylor expansion of b in a
0.450 * [backup-simplify]: Simplify b into b
0.450 * [taylor]: Taking taylor expansion of (+ c d) in a
0.450 * [taylor]: Taking taylor expansion of c in a
0.450 * [backup-simplify]: Simplify c into c
0.450 * [taylor]: Taking taylor expansion of d in a
0.450 * [backup-simplify]: Simplify d into d
0.450 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
0.450 * [taylor]: Taking taylor expansion of a in c
0.450 * [backup-simplify]: Simplify a into a
0.450 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
0.450 * [taylor]: Taking taylor expansion of b in c
0.450 * [backup-simplify]: Simplify b into b
0.450 * [taylor]: Taking taylor expansion of (+ c d) in c
0.450 * [taylor]: Taking taylor expansion of c in c
0.450 * [backup-simplify]: Simplify 0 into 0
0.450 * [backup-simplify]: Simplify 1 into 1
0.450 * [taylor]: Taking taylor expansion of d in c
0.450 * [backup-simplify]: Simplify d into d
0.450 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d
0.450 * [taylor]: Taking taylor expansion of a in d
0.450 * [backup-simplify]: Simplify a into a
0.450 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
0.450 * [taylor]: Taking taylor expansion of b in d
0.450 * [backup-simplify]: Simplify b into b
0.450 * [taylor]: Taking taylor expansion of (+ c d) in d
0.450 * [taylor]: Taking taylor expansion of c in d
0.450 * [backup-simplify]: Simplify c into c
0.451 * [taylor]: Taking taylor expansion of d in d
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
0.451 * [taylor]: Taking taylor expansion of a in b
0.451 * [backup-simplify]: Simplify a into a
0.451 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.451 * [taylor]: Taking taylor expansion of b in b
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (+ c d) in b
0.451 * [taylor]: Taking taylor expansion of c in b
0.451 * [backup-simplify]: Simplify c into c
0.451 * [taylor]: Taking taylor expansion of d in b
0.451 * [backup-simplify]: Simplify d into d
0.451 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
0.451 * [taylor]: Taking taylor expansion of a in b
0.451 * [backup-simplify]: Simplify a into a
0.451 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.451 * [taylor]: Taking taylor expansion of b in b
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (+ c d) in b
0.451 * [taylor]: Taking taylor expansion of c in b
0.451 * [backup-simplify]: Simplify c into c
0.451 * [taylor]: Taking taylor expansion of d in b
0.451 * [backup-simplify]: Simplify d into d
0.451 * [backup-simplify]: Simplify (+ c d) into (+ c d)
0.451 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d)
0.451 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d))
0.452 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d
0.452 * [taylor]: Taking taylor expansion of a in d
0.452 * [backup-simplify]: Simplify a into a
0.452 * [taylor]: Taking taylor expansion of (+ c d) in d
0.452 * [taylor]: Taking taylor expansion of c in d
0.452 * [backup-simplify]: Simplify c into c
0.452 * [taylor]: Taking taylor expansion of d in d
0.452 * [backup-simplify]: Simplify 0 into 0
0.452 * [backup-simplify]: Simplify 1 into 1
0.452 * [backup-simplify]: Simplify (+ c 0) into c
0.452 * [backup-simplify]: Simplify (+ a c) into (+ a c)
0.452 * [taylor]: Taking taylor expansion of (+ a c) in c
0.452 * [taylor]: Taking taylor expansion of a in c
0.452 * [backup-simplify]: Simplify a into a
0.452 * [taylor]: Taking taylor expansion of c in c
0.452 * [backup-simplify]: Simplify 0 into 0
0.452 * [backup-simplify]: Simplify 1 into 1
0.452 * [backup-simplify]: Simplify (+ a 0) into a
0.452 * [taylor]: Taking taylor expansion of a in a
0.452 * [backup-simplify]: Simplify 0 into 0
0.452 * [backup-simplify]: Simplify 1 into 1
0.452 * [backup-simplify]: Simplify 0 into 0
0.453 * [backup-simplify]: Simplify (+ 0 0) into 0
0.453 * [backup-simplify]: Simplify (+ 1 0) into 1
0.454 * [backup-simplify]: Simplify (+ 0 1) into 1
0.454 * [taylor]: Taking taylor expansion of 1 in d
0.454 * [backup-simplify]: Simplify 1 into 1
0.454 * [taylor]: Taking taylor expansion of 1 in c
0.454 * [backup-simplify]: Simplify 1 into 1
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.454 * [backup-simplify]: Simplify 1 into 1
0.454 * [backup-simplify]: Simplify 1 into 1
0.455 * [backup-simplify]: Simplify (+ 0 1) into 1
0.455 * [backup-simplify]: Simplify (+ 0 1) into 1
0.455 * [taylor]: Taking taylor expansion of 1 in c
0.455 * [backup-simplify]: Simplify 1 into 1
0.455 * [taylor]: Taking taylor expansion of 1 in a
0.455 * [backup-simplify]: Simplify 1 into 1
0.455 * [backup-simplify]: Simplify 1 into 1
0.456 * [backup-simplify]: Simplify (+ 0 1) into 1
0.456 * [taylor]: Taking taylor expansion of 1 in a
0.456 * [backup-simplify]: Simplify 1 into 1
0.456 * [backup-simplify]: Simplify 1 into 1
0.456 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d))
0.457 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))
0.457 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0
0.457 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.457 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.457 * [taylor]: Taking taylor expansion of b in a
0.457 * [backup-simplify]: Simplify b into b
0.457 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.457 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.457 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.457 * [taylor]: Taking taylor expansion of d in a
0.457 * [backup-simplify]: Simplify d into d
0.457 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.457 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.457 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.457 * [taylor]: Taking taylor expansion of c in a
0.457 * [backup-simplify]: Simplify c into c
0.457 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.457 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.457 * [taylor]: Taking taylor expansion of a in a
0.457 * [backup-simplify]: Simplify 0 into 0
0.457 * [backup-simplify]: Simplify 1 into 1
0.458 * [backup-simplify]: Simplify (/ 1 1) into 1
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.458 * [taylor]: Taking taylor expansion of b in c
0.458 * [backup-simplify]: Simplify b into b
0.458 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.458 * [taylor]: Taking taylor expansion of d in c
0.458 * [backup-simplify]: Simplify d into d
0.458 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.458 * [taylor]: Taking taylor expansion of c in c
0.458 * [backup-simplify]: Simplify 0 into 0
0.458 * [backup-simplify]: Simplify 1 into 1
0.459 * [backup-simplify]: Simplify (/ 1 1) into 1
0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.459 * [taylor]: Taking taylor expansion of a in c
0.459 * [backup-simplify]: Simplify a into a
0.459 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.459 * [taylor]: Taking taylor expansion of b in d
0.459 * [backup-simplify]: Simplify b into b
0.459 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.459 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.459 * [taylor]: Taking taylor expansion of d in d
0.459 * [backup-simplify]: Simplify 0 into 0
0.459 * [backup-simplify]: Simplify 1 into 1
0.459 * [backup-simplify]: Simplify (/ 1 1) into 1
0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.460 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.460 * [taylor]: Taking taylor expansion of c in d
0.460 * [backup-simplify]: Simplify c into c
0.460 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.460 * [taylor]: Taking taylor expansion of a in d
0.460 * [backup-simplify]: Simplify a into a
0.460 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.460 * [taylor]: Taking taylor expansion of b in b
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 1 into 1
0.460 * [backup-simplify]: Simplify (/ 1 1) into 1
0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.460 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.460 * [taylor]: Taking taylor expansion of d in b
0.460 * [backup-simplify]: Simplify d into d
0.460 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.461 * [taylor]: Taking taylor expansion of c in b
0.461 * [backup-simplify]: Simplify c into c
0.461 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.461 * [taylor]: Taking taylor expansion of a in b
0.461 * [backup-simplify]: Simplify a into a
0.461 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.461 * [taylor]: Taking taylor expansion of b in b
0.461 * [backup-simplify]: Simplify 0 into 0
0.461 * [backup-simplify]: Simplify 1 into 1
0.461 * [backup-simplify]: Simplify (/ 1 1) into 1
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.461 * [taylor]: Taking taylor expansion of d in b
0.461 * [backup-simplify]: Simplify d into d
0.461 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.462 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.462 * [taylor]: Taking taylor expansion of c in b
0.462 * [backup-simplify]: Simplify c into c
0.462 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.462 * [taylor]: Taking taylor expansion of a in b
0.462 * [backup-simplify]: Simplify a into a
0.462 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.462 * [backup-simplify]: Simplify (+ 1 0) into 1
0.462 * [taylor]: Taking taylor expansion of 1 in d
0.462 * [backup-simplify]: Simplify 1 into 1
0.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.463 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c))
0.464 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.464 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.464 * [taylor]: Taking taylor expansion of a in d
0.464 * [backup-simplify]: Simplify a into a
0.464 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.464 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.464 * [taylor]: Taking taylor expansion of c in d
0.464 * [backup-simplify]: Simplify c into c
0.464 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.464 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.464 * [taylor]: Taking taylor expansion of d in d
0.464 * [backup-simplify]: Simplify 0 into 0
0.464 * [backup-simplify]: Simplify 1 into 1
0.465 * [backup-simplify]: Simplify (/ 1 1) into 1
0.465 * [backup-simplify]: Simplify (+ 0 1) into 1
0.465 * [backup-simplify]: Simplify (+ 0 1) into 1
0.465 * [taylor]: Taking taylor expansion of 1 in c
0.465 * [backup-simplify]: Simplify 1 into 1
0.465 * [taylor]: Taking taylor expansion of 1 in c
0.466 * [backup-simplify]: Simplify 1 into 1
0.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.467 * [backup-simplify]: Simplify (+ 0 0) into 0
0.467 * [backup-simplify]: Simplify (+ 0 0) into 0
0.467 * [backup-simplify]: Simplify (+ 0 0) into 0
0.467 * [taylor]: Taking taylor expansion of 0 in d
0.467 * [backup-simplify]: Simplify 0 into 0
0.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.468 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.468 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c
0.468 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.468 * [taylor]: Taking taylor expansion of a in c
0.468 * [backup-simplify]: Simplify a into a
0.468 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.468 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.468 * [taylor]: Taking taylor expansion of c in c
0.468 * [backup-simplify]: Simplify 0 into 0
0.468 * [backup-simplify]: Simplify 1 into 1
0.468 * [backup-simplify]: Simplify (/ 1 1) into 1
0.468 * [backup-simplify]: Simplify (+ 0 1) into 1
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [backup-simplify]: Simplify 1 into 1
0.468 * [taylor]: Taking taylor expansion of 0 in c
0.468 * [backup-simplify]: Simplify 0 into 0
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [backup-simplify]: Simplify 1 into 1
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [backup-simplify]: Simplify 1 into 1
0.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.470 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [taylor]: Taking taylor expansion of 0 in d
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [taylor]: Taking taylor expansion of 0 in c
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.473 * [backup-simplify]: Simplify (+ 0 0) into 0
0.473 * [backup-simplify]: Simplify (+ 0 0) into 0
0.473 * [taylor]: Taking taylor expansion of 0 in c
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [taylor]: Taking taylor expansion of 0 in c
0.473 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.474 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify 1 into 1
0.474 * [backup-simplify]: Simplify (/ 1 1) into 1
0.475 * [backup-simplify]: Simplify 1 into 1
0.475 * [taylor]: Taking taylor expansion of 0 in a
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [taylor]: Taking taylor expansion of 0 in a
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [taylor]: Taking taylor expansion of 0 in a
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [backup-simplify]: Simplify 1 into 1
0.475 * [backup-simplify]: Simplify 1 into 1
0.476 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ c d))
0.476 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))
0.476 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0
0.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.476 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.476 * [taylor]: Taking taylor expansion of b in a
0.476 * [backup-simplify]: Simplify b into b
0.477 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.477 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.477 * [taylor]: Taking taylor expansion of d in a
0.477 * [backup-simplify]: Simplify d into d
0.477 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.477 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.477 * [taylor]: Taking taylor expansion of c in a
0.477 * [backup-simplify]: Simplify c into c
0.477 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.477 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.477 * [taylor]: Taking taylor expansion of a in a
0.477 * [backup-simplify]: Simplify 0 into 0
0.477 * [backup-simplify]: Simplify 1 into 1
0.477 * [backup-simplify]: Simplify (/ 1 1) into 1
0.477 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.477 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.477 * [taylor]: Taking taylor expansion of b in c
0.477 * [backup-simplify]: Simplify b into b
0.478 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.478 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.478 * [taylor]: Taking taylor expansion of d in c
0.478 * [backup-simplify]: Simplify d into d
0.478 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.478 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.478 * [taylor]: Taking taylor expansion of c in c
0.478 * [backup-simplify]: Simplify 0 into 0
0.478 * [backup-simplify]: Simplify 1 into 1
0.478 * [backup-simplify]: Simplify (/ 1 1) into 1
0.478 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.478 * [taylor]: Taking taylor expansion of a in c
0.478 * [backup-simplify]: Simplify a into a
0.478 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.478 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.479 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.479 * [taylor]: Taking taylor expansion of b in d
0.479 * [backup-simplify]: Simplify b into b
0.479 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.479 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.479 * [taylor]: Taking taylor expansion of d in d
0.479 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify 1 into 1
0.479 * [backup-simplify]: Simplify (/ 1 1) into 1
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.479 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.479 * [taylor]: Taking taylor expansion of c in d
0.479 * [backup-simplify]: Simplify c into c
0.479 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.479 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.479 * [taylor]: Taking taylor expansion of a in d
0.479 * [backup-simplify]: Simplify a into a
0.479 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.479 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.480 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.480 * [taylor]: Taking taylor expansion of b in b
0.480 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify 1 into 1
0.480 * [backup-simplify]: Simplify (/ 1 1) into 1
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.480 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.480 * [taylor]: Taking taylor expansion of d in b
0.480 * [backup-simplify]: Simplify d into d
0.480 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.480 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.480 * [taylor]: Taking taylor expansion of c in b
0.480 * [backup-simplify]: Simplify c into c
0.480 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.480 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.480 * [taylor]: Taking taylor expansion of a in b
0.480 * [backup-simplify]: Simplify a into a
0.480 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.480 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.480 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.481 * [taylor]: Taking taylor expansion of b in b
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify 1 into 1
0.481 * [backup-simplify]: Simplify (/ 1 1) into 1
0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.481 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.481 * [taylor]: Taking taylor expansion of d in b
0.481 * [backup-simplify]: Simplify d into d
0.481 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.481 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.481 * [taylor]: Taking taylor expansion of c in b
0.481 * [backup-simplify]: Simplify c into c
0.481 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.481 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.481 * [taylor]: Taking taylor expansion of a in b
0.481 * [backup-simplify]: Simplify a into a
0.481 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.482 * [backup-simplify]: Simplify (+ 1 0) into 1
0.482 * [backup-simplify]: Simplify (- 1) into -1
0.482 * [taylor]: Taking taylor expansion of -1 in d
0.482 * [backup-simplify]: Simplify -1 into -1
0.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.483 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c))
0.483 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.484 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.484 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))))
0.484 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d
0.484 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.484 * [taylor]: Taking taylor expansion of a in d
0.484 * [backup-simplify]: Simplify a into a
0.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
0.484 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.484 * [taylor]: Taking taylor expansion of d in d
0.484 * [backup-simplify]: Simplify 0 into 0
0.484 * [backup-simplify]: Simplify 1 into 1
0.484 * [backup-simplify]: Simplify (/ 1 1) into 1
0.484 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.485 * [taylor]: Taking taylor expansion of c in d
0.485 * [backup-simplify]: Simplify c into c
0.485 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.485 * [backup-simplify]: Simplify (+ 1 0) into 1
0.485 * [backup-simplify]: Simplify (+ 0 1) into 1
0.486 * [backup-simplify]: Simplify (- 1) into -1
0.486 * [taylor]: Taking taylor expansion of -1 in c
0.486 * [backup-simplify]: Simplify -1 into -1
0.486 * [taylor]: Taking taylor expansion of -1 in c
0.486 * [backup-simplify]: Simplify -1 into -1
0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.488 * [backup-simplify]: Simplify (+ 0 0) into 0
0.488 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [backup-simplify]: Simplify (- 0) into 0
0.489 * [taylor]: Taking taylor expansion of 0 in d
0.489 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.490 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c)
0.490 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
0.490 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c)))
0.490 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c
0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c
0.490 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.490 * [taylor]: Taking taylor expansion of a in c
0.490 * [backup-simplify]: Simplify a into a
0.490 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.490 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.490 * [taylor]: Taking taylor expansion of c in c
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 1 into 1
0.491 * [backup-simplify]: Simplify (/ 1 1) into 1
0.491 * [backup-simplify]: Simplify (+ 0 1) into 1
0.492 * [backup-simplify]: Simplify (- 1) into -1
0.492 * [taylor]: Taking taylor expansion of -1 in a
0.492 * [backup-simplify]: Simplify -1 into -1
0.492 * [taylor]: Taking taylor expansion of 0 in c
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [taylor]: Taking taylor expansion of -1 in a
0.492 * [backup-simplify]: Simplify -1 into -1
0.492 * [taylor]: Taking taylor expansion of -1 in a
0.492 * [backup-simplify]: Simplify -1 into -1
0.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.494 * [backup-simplify]: Simplify (+ 0 0) into 0
0.494 * [backup-simplify]: Simplify (+ 0 0) into 0
0.494 * [backup-simplify]: Simplify (+ 0 0) into 0
0.495 * [backup-simplify]: Simplify (- 0) into 0
0.495 * [taylor]: Taking taylor expansion of 0 in d
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [taylor]: Taking taylor expansion of 0 in c
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.496 * [backup-simplify]: Simplify (+ 0 0) into 0
0.497 * [backup-simplify]: Simplify (+ 0 0) into 0
0.497 * [backup-simplify]: Simplify (- 0) into 0
0.497 * [taylor]: Taking taylor expansion of 0 in c
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [taylor]: Taking taylor expansion of 0 in c
0.497 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.498 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
0.498 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.498 * [taylor]: Taking taylor expansion of a in a
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify 1 into 1
0.499 * [backup-simplify]: Simplify (/ 1 1) into 1
0.499 * [backup-simplify]: Simplify (- 1) into -1
0.499 * [backup-simplify]: Simplify -1 into -1
0.499 * [taylor]: Taking taylor expansion of 0 in a
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [taylor]: Taking taylor expansion of 0 in a
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [taylor]: Taking taylor expansion of 0 in a
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify -1 into -1
0.499 * [backup-simplify]: Simplify -1 into -1
0.500 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ c d))
0.500 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.501 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d))
0.501 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0
0.501 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
0.501 * [taylor]: Taking taylor expansion of b in c
0.501 * [backup-simplify]: Simplify b into b
0.501 * [taylor]: Taking taylor expansion of (+ c d) in c
0.501 * [taylor]: Taking taylor expansion of c in c
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [taylor]: Taking taylor expansion of d in c
0.501 * [backup-simplify]: Simplify d into d
0.501 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
0.501 * [taylor]: Taking taylor expansion of b in d
0.501 * [backup-simplify]: Simplify b into b
0.501 * [taylor]: Taking taylor expansion of (+ c d) in d
0.501 * [taylor]: Taking taylor expansion of c in d
0.501 * [backup-simplify]: Simplify c into c
0.501 * [taylor]: Taking taylor expansion of d in d
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.501 * [taylor]: Taking taylor expansion of b in b
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [taylor]: Taking taylor expansion of (+ c d) in b
0.501 * [taylor]: Taking taylor expansion of c in b
0.501 * [backup-simplify]: Simplify c into c
0.501 * [taylor]: Taking taylor expansion of d in b
0.501 * [backup-simplify]: Simplify d into d
0.501 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.501 * [taylor]: Taking taylor expansion of b in b
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [taylor]: Taking taylor expansion of (+ c d) in b
0.501 * [taylor]: Taking taylor expansion of c in b
0.501 * [backup-simplify]: Simplify c into c
0.502 * [taylor]: Taking taylor expansion of d in b
0.502 * [backup-simplify]: Simplify d into d
0.502 * [backup-simplify]: Simplify (+ c d) into (+ c d)
0.502 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d)
0.502 * [taylor]: Taking taylor expansion of (+ c d) in d
0.502 * [taylor]: Taking taylor expansion of c in d
0.502 * [backup-simplify]: Simplify c into c
0.502 * [taylor]: Taking taylor expansion of d in d
0.502 * [backup-simplify]: Simplify 0 into 0
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [backup-simplify]: Simplify (+ c 0) into c
0.502 * [taylor]: Taking taylor expansion of c in c
0.502 * [backup-simplify]: Simplify 0 into 0
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [backup-simplify]: Simplify 0 into 0
0.502 * [backup-simplify]: Simplify (+ 0 0) into 0
0.502 * [backup-simplify]: Simplify (+ 1 0) into 1
0.502 * [taylor]: Taking taylor expansion of 1 in d
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [taylor]: Taking taylor expansion of 1 in c
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [backup-simplify]: Simplify 1 into 1
0.503 * [backup-simplify]: Simplify (+ 0 1) into 1
0.503 * [taylor]: Taking taylor expansion of 1 in c
0.503 * [backup-simplify]: Simplify 1 into 1
0.503 * [backup-simplify]: Simplify 1 into 1
0.503 * [backup-simplify]: Simplify 1 into 1
0.503 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d))
0.503 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))
0.503 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c
0.503 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.503 * [taylor]: Taking taylor expansion of b in c
0.503 * [backup-simplify]: Simplify b into b
0.503 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.503 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.503 * [taylor]: Taking taylor expansion of c in c
0.503 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify 1 into 1
0.504 * [backup-simplify]: Simplify (/ 1 1) into 1
0.504 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.504 * [taylor]: Taking taylor expansion of d in c
0.504 * [backup-simplify]: Simplify d into d
0.504 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d
0.504 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.504 * [taylor]: Taking taylor expansion of b in d
0.504 * [backup-simplify]: Simplify b into b
0.504 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.504 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.504 * [taylor]: Taking taylor expansion of c in d
0.504 * [backup-simplify]: Simplify c into c
0.504 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.504 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.504 * [taylor]: Taking taylor expansion of d in d
0.504 * [backup-simplify]: Simplify 0 into 0
0.504 * [backup-simplify]: Simplify 1 into 1
0.504 * [backup-simplify]: Simplify (/ 1 1) into 1
0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.504 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.504 * [taylor]: Taking taylor expansion of b in b
0.504 * [backup-simplify]: Simplify 0 into 0
0.504 * [backup-simplify]: Simplify 1 into 1
0.505 * [backup-simplify]: Simplify (/ 1 1) into 1
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.505 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.505 * [taylor]: Taking taylor expansion of c in b
0.505 * [backup-simplify]: Simplify c into c
0.505 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.505 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.505 * [taylor]: Taking taylor expansion of d in b
0.505 * [backup-simplify]: Simplify d into d
0.505 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.505 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.505 * [taylor]: Taking taylor expansion of b in b
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 1 into 1
0.505 * [backup-simplify]: Simplify (/ 1 1) into 1
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.505 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.505 * [taylor]: Taking taylor expansion of c in b
0.505 * [backup-simplify]: Simplify c into c
0.505 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.505 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.505 * [taylor]: Taking taylor expansion of d in b
0.505 * [backup-simplify]: Simplify d into d
0.505 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.506 * [backup-simplify]: Simplify (+ 1 0) into 1
0.506 * [taylor]: Taking taylor expansion of 1 in d
0.506 * [backup-simplify]: Simplify 1 into 1
0.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.506 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
0.507 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.507 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.507 * [taylor]: Taking taylor expansion of c in d
0.507 * [backup-simplify]: Simplify c into c
0.507 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.507 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.507 * [taylor]: Taking taylor expansion of d in d
0.507 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify 1 into 1
0.507 * [backup-simplify]: Simplify (/ 1 1) into 1
0.507 * [backup-simplify]: Simplify (+ 0 1) into 1
0.507 * [taylor]: Taking taylor expansion of 1 in c
0.507 * [backup-simplify]: Simplify 1 into 1
0.507 * [taylor]: Taking taylor expansion of 1 in c
0.507 * [backup-simplify]: Simplify 1 into 1
0.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.509 * [backup-simplify]: Simplify (+ 0 0) into 0
0.509 * [backup-simplify]: Simplify (+ 0 0) into 0
0.509 * [taylor]: Taking taylor expansion of 0 in d
0.509 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.510 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.510 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.510 * [taylor]: Taking taylor expansion of c in c
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify (/ 1 1) into 1
0.511 * [backup-simplify]: Simplify 1 into 1
0.511 * [taylor]: Taking taylor expansion of 0 in c
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 c)) (* 1 1))))) into (+ b (+ c d))
0.512 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))
0.512 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0
0.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c
0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c
0.512 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.512 * [taylor]: Taking taylor expansion of b in c
0.512 * [backup-simplify]: Simplify b into b
0.512 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.512 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.512 * [taylor]: Taking taylor expansion of c in c
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [backup-simplify]: Simplify (/ 1 1) into 1
0.512 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.513 * [taylor]: Taking taylor expansion of d in c
0.513 * [backup-simplify]: Simplify d into d
0.513 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d
0.513 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.513 * [taylor]: Taking taylor expansion of b in d
0.513 * [backup-simplify]: Simplify b into b
0.513 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.513 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.513 * [taylor]: Taking taylor expansion of c in d
0.513 * [backup-simplify]: Simplify c into c
0.513 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.513 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.513 * [taylor]: Taking taylor expansion of d in d
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (/ 1 1) into 1
0.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.514 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.514 * [taylor]: Taking taylor expansion of b in b
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 1 into 1
0.514 * [backup-simplify]: Simplify (/ 1 1) into 1
0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.514 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.514 * [taylor]: Taking taylor expansion of c in b
0.514 * [backup-simplify]: Simplify c into c
0.514 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.514 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.514 * [taylor]: Taking taylor expansion of d in b
0.514 * [backup-simplify]: Simplify d into d
0.514 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.514 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b
0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.514 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.514 * [taylor]: Taking taylor expansion of b in b
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 1 into 1
0.514 * [backup-simplify]: Simplify (/ 1 1) into 1
0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.514 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.515 * [taylor]: Taking taylor expansion of c in b
0.515 * [backup-simplify]: Simplify c into c
0.515 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.515 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.515 * [taylor]: Taking taylor expansion of d in b
0.515 * [backup-simplify]: Simplify d into d
0.515 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.515 * [backup-simplify]: Simplify (+ 1 0) into 1
0.515 * [backup-simplify]: Simplify (- 1) into -1
0.515 * [taylor]: Taking taylor expansion of -1 in d
0.515 * [backup-simplify]: Simplify -1 into -1
0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.516 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
0.516 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
0.516 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d)))
0.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.516 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.516 * [taylor]: Taking taylor expansion of c in d
0.516 * [backup-simplify]: Simplify c into c
0.516 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.516 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.516 * [taylor]: Taking taylor expansion of d in d
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (/ 1 1) into 1
0.517 * [backup-simplify]: Simplify (+ 0 1) into 1
0.517 * [backup-simplify]: Simplify (- 1) into -1
0.517 * [taylor]: Taking taylor expansion of -1 in c
0.517 * [backup-simplify]: Simplify -1 into -1
0.517 * [taylor]: Taking taylor expansion of -1 in c
0.517 * [backup-simplify]: Simplify -1 into -1
0.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.518 * [backup-simplify]: Simplify (+ 0 0) into 0
0.518 * [backup-simplify]: Simplify (+ 0 0) into 0
0.519 * [backup-simplify]: Simplify (- 0) into 0
0.519 * [taylor]: Taking taylor expansion of 0 in d
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.519 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.519 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c))
0.519 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.519 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.519 * [taylor]: Taking taylor expansion of c in c
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (/ 1 1) into 1
0.520 * [backup-simplify]: Simplify (- 1) into -1
0.520 * [backup-simplify]: Simplify -1 into -1
0.520 * [taylor]: Taking taylor expansion of 0 in c
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify -1 into -1
0.520 * [backup-simplify]: Simplify -1 into -1
0.520 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) 1))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 1))))) into (+ b (+ c d))
0.520 * * * [progress]: simplifying candidates
0.521 * [simplify]: Simplifying:
  (* (* (* (exp b) (exp d)) (exp c)) (exp a))
  (* (* (exp (+ b d)) (exp c)) (exp a))
  (* (exp (+ (+ b d) c)) (exp a))
  (log (+ (+ (+ b d) c) a))
  (exp (+ (+ (+ b d) c) a))
  (* (cbrt (+ (+ (+ b d) c) a)) (cbrt (+ (+ (+ b d) c) a)))
  (cbrt (+ (+ (+ b d) c) a))
  (* (* (+ (+ (+ b d) c) a) (+ (+ (+ b d) c) a)) (+ (+ (+ b d) c) a))
  (sqrt (+ (+ (+ b d) c) a))
  (sqrt (+ (+ (+ b d) c) a))
  (+ (pow (+ (+ b d) c) 3) (pow a 3))
  (+ (* (+ (+ b d) c) (+ (+ b d) c)) (- (* a a) (* (+ (+ b d) c) a)))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  (- (+ (+ b d) c) a)
  (+ (+ (+ b d) c) a)
  (+ (+ (+ b d) c) a)
  (+ (+ (+ b d) c) a)
  (+ c a)
  (* (* (exp b) (exp d)) (exp c))
  (* (exp (+ b d)) (exp c))
  (log (+ (+ b d) c))
  (exp (+ (+ b d) c))
  (* (cbrt (+ (+ b d) c)) (cbrt (+ (+ b d) c)))
  (cbrt (+ (+ b d) c))
  (* (* (+ (+ b d) c) (+ (+ b d) c)) (+ (+ b d) c))
  (sqrt (+ (+ b d) c))
  (sqrt (+ (+ b d) c))
  (+ (pow (+ b d) 3) (pow c 3))
  (+ (* (+ b d) (+ b d)) (- (* c c) (* (+ b d) c)))
  (- (* (+ b d) (+ b d)) (* c c))
  (- (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ d c)
  (+ b (+ c d))
  (+ a (+ c d))
  (+ a (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
0.521 * * [simplify]: iteration 0: 57 enodes
0.531 * * [simplify]: iteration 1: 161 enodes
0.596 * * [simplify]: iteration 2: 819 enodes
0.966 * * [simplify]: iteration complete: 5000 enodes
0.966 * * [simplify]: Extracting #0: cost 25 inf + 0
0.967 * * [simplify]: Extracting #1: cost 475 inf + 0
0.973 * * [simplify]: Extracting #2: cost 1818 inf + 533
0.980 * * [simplify]: Extracting #3: cost 1247 inf + 10500
0.993 * * [simplify]: Extracting #4: cost 50 inf + 25332
1.002 * * [simplify]: Extracting #5: cost 29 inf + 25575
1.014 * * [simplify]: Extracting #6: cost 5 inf + 25677
1.030 * * [simplify]: Extracting #7: cost 0 inf + 25708
1.040 * [simplify]: Simplified to:
  (exp (+ c (+ (+ b d) a)))
  (exp (+ c (+ (+ b d) a)))
  (exp (+ c (+ (+ b d) a)))
  (log (+ c (+ (+ b d) a)))
  (exp (+ c (+ (+ b d) a)))
  (* (cbrt (+ c (+ (+ b d) a))) (cbrt (+ c (+ (+ b d) a))))
  (cbrt (+ c (+ (+ b d) a)))
  (pow (+ c (+ (+ b d) a)) 3)
  (sqrt (+ c (+ (+ b d) a)))
  (sqrt (+ c (+ (+ b d) a)))
  (+ (pow (+ c (+ b d)) 3) (pow a 3))
  (+ (* a a) (* (+ c (+ b d)) (- (+ c (+ b d)) a)))
  (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a))
  (- (+ c (+ b d)) a)
  (+ c (+ (+ b d) a))
  (+ c (+ (+ b d) a))
  (+ c (+ (+ b d) a))
  (+ c a)
  (exp (+ c (+ b d)))
  (exp (+ c (+ b d)))
  (log (+ c (+ b d)))
  (exp (+ c (+ b d)))
  (* (cbrt (+ c (+ b d))) (cbrt (+ c (+ b d))))
  (cbrt (+ c (+ b d)))
  (pow (+ c (+ b d)) 3)
  (sqrt (+ c (+ b d)))
  (sqrt (+ c (+ b d)))
  (+ (pow c 3) (pow (+ b d) 3))
  (+ (* c c) (* (+ b d) (- (+ b d) c)))
  (- (* (+ b d) (+ b d)) (* c c))
  (- (+ b d) c)
  (+ c (+ b d))
  (+ c (+ b d))
  (+ c d)
  (+ c (+ b d))
  (+ a (+ c d))
  (+ a (+ c d))
  (+ c (+ b d))
  (+ c (+ b d))
  (+ c (+ b d))
1.040 * * * [progress]: adding candidates to table
1.177 * * [progress]: iteration 2 / 4
1.177 * * * [progress]: picking best candidate
1.245 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))))>
1.246 * * * [progress]: localizing error
1.285 * * * [progress]: generating rewritten candidates
1.285 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2)
1.312 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.325 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.340 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.654 * * * [progress]: generating series expansions
1.654 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2)
1.654 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d))
1.654 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0
1.654 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a
1.654 * [taylor]: Taking taylor expansion of a in a
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [taylor]: Taking taylor expansion of (+ b d) in a
1.654 * [taylor]: Taking taylor expansion of b in a
1.654 * [backup-simplify]: Simplify b into b
1.654 * [taylor]: Taking taylor expansion of d in a
1.654 * [backup-simplify]: Simplify d into d
1.654 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d
1.654 * [taylor]: Taking taylor expansion of a in d
1.654 * [backup-simplify]: Simplify a into a
1.654 * [taylor]: Taking taylor expansion of (+ b d) in d
1.654 * [taylor]: Taking taylor expansion of b in d
1.654 * [backup-simplify]: Simplify b into b
1.654 * [taylor]: Taking taylor expansion of d in d
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.654 * [taylor]: Taking taylor expansion of a in b
1.654 * [backup-simplify]: Simplify a into a
1.654 * [taylor]: Taking taylor expansion of (+ b d) in b
1.654 * [taylor]: Taking taylor expansion of b in b
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [taylor]: Taking taylor expansion of d in b
1.654 * [backup-simplify]: Simplify d into d
1.654 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.654 * [taylor]: Taking taylor expansion of a in b
1.655 * [backup-simplify]: Simplify a into a
1.655 * [taylor]: Taking taylor expansion of (+ b d) in b
1.655 * [taylor]: Taking taylor expansion of b in b
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 1 into 1
1.655 * [taylor]: Taking taylor expansion of d in b
1.655 * [backup-simplify]: Simplify d into d
1.655 * [backup-simplify]: Simplify (+ 0 d) into d
1.655 * [backup-simplify]: Simplify (+ a d) into (+ a d)
1.655 * [taylor]: Taking taylor expansion of (+ a d) in d
1.655 * [taylor]: Taking taylor expansion of a in d
1.655 * [backup-simplify]: Simplify a into a
1.655 * [taylor]: Taking taylor expansion of d in d
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 1 into 1
1.655 * [backup-simplify]: Simplify (+ a 0) into a
1.655 * [taylor]: Taking taylor expansion of a in a
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 1 into 1
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ 1 0) into 1
1.656 * [backup-simplify]: Simplify (+ 0 1) into 1
1.656 * [taylor]: Taking taylor expansion of 1 in d
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [taylor]: Taking taylor expansion of 1 in a
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [backup-simplify]: Simplify (+ 0 1) into 1
1.656 * [taylor]: Taking taylor expansion of 1 in a
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d))
1.657 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.657 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a
1.657 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.657 * [taylor]: Taking taylor expansion of b in a
1.657 * [backup-simplify]: Simplify b into b
1.657 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a
1.657 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.657 * [taylor]: Taking taylor expansion of a in a
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (/ 1 1) into 1
1.657 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.657 * [taylor]: Taking taylor expansion of d in a
1.657 * [backup-simplify]: Simplify d into d
1.657 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d
1.657 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.657 * [taylor]: Taking taylor expansion of b in d
1.657 * [backup-simplify]: Simplify b into b
1.658 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.658 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.658 * [taylor]: Taking taylor expansion of a in d
1.658 * [backup-simplify]: Simplify a into a
1.658 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.658 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.658 * [taylor]: Taking taylor expansion of d in d
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (/ 1 1) into 1
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.658 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.658 * [taylor]: Taking taylor expansion of b in b
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (/ 1 1) into 1
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.658 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.658 * [taylor]: Taking taylor expansion of a in b
1.658 * [backup-simplify]: Simplify a into a
1.658 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.658 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.658 * [taylor]: Taking taylor expansion of d in b
1.658 * [backup-simplify]: Simplify d into d
1.658 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.658 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.659 * [taylor]: Taking taylor expansion of b in b
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 1 into 1
1.659 * [backup-simplify]: Simplify (/ 1 1) into 1
1.659 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.659 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.659 * [taylor]: Taking taylor expansion of a in b
1.659 * [backup-simplify]: Simplify a into a
1.659 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.659 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.659 * [taylor]: Taking taylor expansion of d in b
1.659 * [backup-simplify]: Simplify d into d
1.659 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.659 * [backup-simplify]: Simplify (+ 1 0) into 1
1.659 * [taylor]: Taking taylor expansion of 1 in d
1.659 * [backup-simplify]: Simplify 1 into 1
1.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.660 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.660 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.660 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.660 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.660 * [taylor]: Taking taylor expansion of a in d
1.660 * [backup-simplify]: Simplify a into a
1.660 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.660 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.660 * [taylor]: Taking taylor expansion of d in d
1.660 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify 1 into 1
1.660 * [backup-simplify]: Simplify (/ 1 1) into 1
1.661 * [backup-simplify]: Simplify (+ 0 1) into 1
1.661 * [taylor]: Taking taylor expansion of 1 in a
1.661 * [backup-simplify]: Simplify 1 into 1
1.661 * [taylor]: Taking taylor expansion of 1 in a
1.661 * [backup-simplify]: Simplify 1 into 1
1.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.662 * [backup-simplify]: Simplify (+ 0 0) into 0
1.662 * [backup-simplify]: Simplify (+ 0 0) into 0
1.662 * [taylor]: Taking taylor expansion of 0 in d
1.662 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.663 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.663 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.663 * [taylor]: Taking taylor expansion of a in a
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify (/ 1 1) into 1
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [taylor]: Taking taylor expansion of 0 in a
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 a)) (* 1 1))))) into (+ a (+ b d))
1.664 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))))
1.664 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0
1.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a
1.664 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.664 * [taylor]: Taking taylor expansion of b in a
1.664 * [backup-simplify]: Simplify b into b
1.664 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a
1.664 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.664 * [taylor]: Taking taylor expansion of a in a
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.664 * [backup-simplify]: Simplify (/ 1 1) into 1
1.664 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.664 * [taylor]: Taking taylor expansion of d in a
1.664 * [backup-simplify]: Simplify d into d
1.664 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in d
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d
1.664 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.664 * [taylor]: Taking taylor expansion of b in d
1.664 * [backup-simplify]: Simplify b into b
1.664 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.664 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.664 * [taylor]: Taking taylor expansion of a in d
1.664 * [backup-simplify]: Simplify a into a
1.664 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.664 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.664 * [taylor]: Taking taylor expansion of d in d
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.665 * [backup-simplify]: Simplify (/ 1 1) into 1
1.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.665 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.665 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.665 * [taylor]: Taking taylor expansion of b in b
1.665 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify 1 into 1
1.665 * [backup-simplify]: Simplify (/ 1 1) into 1
1.665 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.665 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.665 * [taylor]: Taking taylor expansion of a in b
1.665 * [backup-simplify]: Simplify a into a
1.665 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.665 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.665 * [taylor]: Taking taylor expansion of d in b
1.665 * [backup-simplify]: Simplify d into d
1.665 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.666 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.666 * [taylor]: Taking taylor expansion of b in b
1.666 * [backup-simplify]: Simplify 0 into 0
1.666 * [backup-simplify]: Simplify 1 into 1
1.666 * [backup-simplify]: Simplify (/ 1 1) into 1
1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.666 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.666 * [taylor]: Taking taylor expansion of a in b
1.666 * [backup-simplify]: Simplify a into a
1.666 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.666 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.666 * [taylor]: Taking taylor expansion of d in b
1.666 * [backup-simplify]: Simplify d into d
1.666 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.666 * [backup-simplify]: Simplify (+ 1 0) into 1
1.667 * [backup-simplify]: Simplify (- 1) into -1
1.667 * [taylor]: Taking taylor expansion of -1 in d
1.667 * [backup-simplify]: Simplify -1 into -1
1.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.667 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.667 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.667 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d)))
1.667 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d
1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.667 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.667 * [taylor]: Taking taylor expansion of a in d
1.667 * [backup-simplify]: Simplify a into a
1.667 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.667 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.667 * [taylor]: Taking taylor expansion of d in d
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 1 into 1
1.668 * [backup-simplify]: Simplify (/ 1 1) into 1
1.668 * [backup-simplify]: Simplify (+ 0 1) into 1
1.668 * [backup-simplify]: Simplify (- 1) into -1
1.668 * [taylor]: Taking taylor expansion of -1 in a
1.668 * [backup-simplify]: Simplify -1 into -1
1.668 * [taylor]: Taking taylor expansion of -1 in a
1.668 * [backup-simplify]: Simplify -1 into -1
1.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.669 * [backup-simplify]: Simplify (+ 0 0) into 0
1.669 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify (- 0) into 0
1.670 * [taylor]: Taking taylor expansion of 0 in d
1.670 * [backup-simplify]: Simplify 0 into 0
1.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.670 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.671 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.671 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.671 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.671 * [taylor]: Taking taylor expansion of a in a
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.671 * [backup-simplify]: Simplify (/ 1 1) into 1
1.671 * [backup-simplify]: Simplify (- 1) into -1
1.671 * [backup-simplify]: Simplify -1 into -1
1.671 * [taylor]: Taking taylor expansion of 0 in a
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify -1 into -1
1.671 * [backup-simplify]: Simplify -1 into -1
1.672 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) 1))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 1))))) into (+ a (+ b d))
1.672 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.672 * [backup-simplify]: Simplify (+ c (+ b d)) into (+ b (+ c d))
1.672 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (c b d) around 0
1.672 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.672 * [taylor]: Taking taylor expansion of b in d
1.672 * [backup-simplify]: Simplify b into b
1.672 * [taylor]: Taking taylor expansion of (+ c d) in d
1.672 * [taylor]: Taking taylor expansion of c in d
1.672 * [backup-simplify]: Simplify c into c
1.672 * [taylor]: Taking taylor expansion of d in d
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.672 * [taylor]: Taking taylor expansion of b in b
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of (+ c d) in b
1.672 * [taylor]: Taking taylor expansion of c in b
1.672 * [backup-simplify]: Simplify c into c
1.672 * [taylor]: Taking taylor expansion of d in b
1.672 * [backup-simplify]: Simplify d into d
1.672 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.672 * [taylor]: Taking taylor expansion of b in c
1.672 * [backup-simplify]: Simplify b into b
1.672 * [taylor]: Taking taylor expansion of (+ c d) in c
1.672 * [taylor]: Taking taylor expansion of c in c
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of d in c
1.672 * [backup-simplify]: Simplify d into d
1.672 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.672 * [taylor]: Taking taylor expansion of b in c
1.672 * [backup-simplify]: Simplify b into b
1.672 * [taylor]: Taking taylor expansion of (+ c d) in c
1.672 * [taylor]: Taking taylor expansion of c in c
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of d in c
1.672 * [backup-simplify]: Simplify d into d
1.672 * [backup-simplify]: Simplify (+ 0 d) into d
1.672 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.673 * [taylor]: Taking taylor expansion of (+ b d) in b
1.673 * [taylor]: Taking taylor expansion of b in b
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [taylor]: Taking taylor expansion of d in b
1.673 * [backup-simplify]: Simplify d into d
1.673 * [backup-simplify]: Simplify (+ 0 d) into d
1.673 * [taylor]: Taking taylor expansion of d in d
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify (+ 1 0) into 1
1.673 * [backup-simplify]: Simplify (+ 0 1) into 1
1.673 * [taylor]: Taking taylor expansion of 1 in b
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [taylor]: Taking taylor expansion of 1 in d
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify (+ 1 0) into 1
1.674 * [taylor]: Taking taylor expansion of 1 in d
1.674 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* b 1))) (* 1 (* 1 (* 1 c))))) into (+ b (+ c d))
1.675 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
1.675 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in (c b d) around 0
1.675 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.675 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.675 * [taylor]: Taking taylor expansion of b in d
1.675 * [backup-simplify]: Simplify b into b
1.675 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.675 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.675 * [taylor]: Taking taylor expansion of d in d
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [backup-simplify]: Simplify (/ 1 1) into 1
1.675 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.676 * [taylor]: Taking taylor expansion of c in d
1.676 * [backup-simplify]: Simplify c into c
1.676 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.676 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.676 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.676 * [taylor]: Taking taylor expansion of b in b
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.676 * [backup-simplify]: Simplify (/ 1 1) into 1
1.676 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.676 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.676 * [taylor]: Taking taylor expansion of d in b
1.676 * [backup-simplify]: Simplify d into d
1.676 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.676 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.676 * [taylor]: Taking taylor expansion of c in b
1.676 * [backup-simplify]: Simplify c into c
1.676 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.676 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.676 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.677 * [taylor]: Taking taylor expansion of b in c
1.677 * [backup-simplify]: Simplify b into b
1.677 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.677 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.677 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.677 * [taylor]: Taking taylor expansion of d in c
1.677 * [backup-simplify]: Simplify d into d
1.677 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.677 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.677 * [taylor]: Taking taylor expansion of c in c
1.677 * [backup-simplify]: Simplify 0 into 0
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [backup-simplify]: Simplify (/ 1 1) into 1
1.677 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.677 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.677 * [taylor]: Taking taylor expansion of b in c
1.677 * [backup-simplify]: Simplify b into b
1.677 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.677 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.678 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.678 * [taylor]: Taking taylor expansion of d in c
1.678 * [backup-simplify]: Simplify d into d
1.678 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.678 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.678 * [taylor]: Taking taylor expansion of c in c
1.678 * [backup-simplify]: Simplify 0 into 0
1.678 * [backup-simplify]: Simplify 1 into 1
1.678 * [backup-simplify]: Simplify (/ 1 1) into 1
1.679 * [backup-simplify]: Simplify (+ 0 1) into 1
1.679 * [backup-simplify]: Simplify (+ 0 1) into 1
1.679 * [taylor]: Taking taylor expansion of 1 in b
1.679 * [backup-simplify]: Simplify 1 into 1
1.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.680 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.680 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.680 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.680 * [taylor]: Taking taylor expansion of b in b
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 1 into 1
1.681 * [backup-simplify]: Simplify (/ 1 1) into 1
1.681 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.681 * [taylor]: Taking taylor expansion of d in b
1.681 * [backup-simplify]: Simplify d into d
1.681 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.681 * [backup-simplify]: Simplify (+ 1 0) into 1
1.681 * [taylor]: Taking taylor expansion of 1 in d
1.681 * [backup-simplify]: Simplify 1 into 1
1.681 * [taylor]: Taking taylor expansion of 1 in d
1.681 * [backup-simplify]: Simplify 1 into 1
1.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.683 * [backup-simplify]: Simplify (+ 0 0) into 0
1.683 * [backup-simplify]: Simplify (+ 0 0) into 0
1.683 * [taylor]: Taking taylor expansion of 0 in b
1.683 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.684 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.684 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.684 * [taylor]: Taking taylor expansion of d in d
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify 1 into 1
1.685 * [backup-simplify]: Simplify (/ 1 1) into 1
1.685 * [backup-simplify]: Simplify 1 into 1
1.685 * [taylor]: Taking taylor expansion of 0 in d
1.685 * [backup-simplify]: Simplify 0 into 0
1.685 * [backup-simplify]: Simplify 1 into 1
1.685 * [backup-simplify]: Simplify 1 into 1
1.686 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 c))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ b (+ c d))
1.686 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))
1.686 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (c b d) around 0
1.686 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d
1.686 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.686 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.686 * [taylor]: Taking taylor expansion of b in d
1.686 * [backup-simplify]: Simplify b into b
1.686 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.686 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.686 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.686 * [taylor]: Taking taylor expansion of d in d
1.686 * [backup-simplify]: Simplify 0 into 0
1.686 * [backup-simplify]: Simplify 1 into 1
1.687 * [backup-simplify]: Simplify (/ 1 1) into 1
1.687 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.687 * [taylor]: Taking taylor expansion of c in d
1.687 * [backup-simplify]: Simplify c into c
1.687 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.687 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b
1.687 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.687 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.687 * [taylor]: Taking taylor expansion of b in b
1.687 * [backup-simplify]: Simplify 0 into 0
1.687 * [backup-simplify]: Simplify 1 into 1
1.688 * [backup-simplify]: Simplify (/ 1 1) into 1
1.688 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.688 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.688 * [taylor]: Taking taylor expansion of d in b
1.688 * [backup-simplify]: Simplify d into d
1.688 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.688 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.688 * [taylor]: Taking taylor expansion of c in b
1.688 * [backup-simplify]: Simplify c into c
1.688 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.688 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.688 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.688 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.688 * [taylor]: Taking taylor expansion of b in c
1.688 * [backup-simplify]: Simplify b into b
1.688 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.688 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.688 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.688 * [taylor]: Taking taylor expansion of d in c
1.688 * [backup-simplify]: Simplify d into d
1.688 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.688 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.688 * [taylor]: Taking taylor expansion of c in c
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.689 * [backup-simplify]: Simplify (/ 1 1) into 1
1.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.689 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.689 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.689 * [taylor]: Taking taylor expansion of b in c
1.689 * [backup-simplify]: Simplify b into b
1.689 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.689 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.689 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.689 * [taylor]: Taking taylor expansion of d in c
1.689 * [backup-simplify]: Simplify d into d
1.689 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.689 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.689 * [taylor]: Taking taylor expansion of c in c
1.689 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify (/ 1 1) into 1
1.690 * [backup-simplify]: Simplify (+ 0 1) into 1
1.691 * [backup-simplify]: Simplify (+ 0 1) into 1
1.691 * [backup-simplify]: Simplify (- 1) into -1
1.691 * [taylor]: Taking taylor expansion of -1 in b
1.691 * [backup-simplify]: Simplify -1 into -1
1.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.692 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.692 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.692 * [backup-simplify]: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d)))
1.692 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b
1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.692 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.692 * [taylor]: Taking taylor expansion of b in b
1.692 * [backup-simplify]: Simplify 0 into 0
1.692 * [backup-simplify]: Simplify 1 into 1
1.693 * [backup-simplify]: Simplify (/ 1 1) into 1
1.693 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.693 * [taylor]: Taking taylor expansion of d in b
1.693 * [backup-simplify]: Simplify d into d
1.693 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.693 * [backup-simplify]: Simplify (+ 1 0) into 1
1.694 * [backup-simplify]: Simplify (- 1) into -1
1.694 * [taylor]: Taking taylor expansion of -1 in d
1.694 * [backup-simplify]: Simplify -1 into -1
1.694 * [taylor]: Taking taylor expansion of -1 in d
1.694 * [backup-simplify]: Simplify -1 into -1
1.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.696 * [backup-simplify]: Simplify (+ 0 0) into 0
1.696 * [backup-simplify]: Simplify (+ 0 0) into 0
1.696 * [backup-simplify]: Simplify (- 0) into 0
1.696 * [taylor]: Taking taylor expansion of 0 in b
1.696 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.697 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.697 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.697 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.697 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.698 * [taylor]: Taking taylor expansion of d in d
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [backup-simplify]: Simplify (/ 1 1) into 1
1.698 * [backup-simplify]: Simplify (- 1) into -1
1.698 * [backup-simplify]: Simplify -1 into -1
1.699 * [taylor]: Taking taylor expansion of 0 in d
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify -1 into -1
1.699 * [backup-simplify]: Simplify -1 into -1
1.700 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- c)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ b (+ c d))
1.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.700 * [backup-simplify]: Simplify (+ c (+ b d)) into (+ b (+ c d))
1.700 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (c b d) around 0
1.700 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.700 * [taylor]: Taking taylor expansion of b in d
1.700 * [backup-simplify]: Simplify b into b
1.700 * [taylor]: Taking taylor expansion of (+ c d) in d
1.700 * [taylor]: Taking taylor expansion of c in d
1.700 * [backup-simplify]: Simplify c into c
1.700 * [taylor]: Taking taylor expansion of d in d
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 1 into 1
1.700 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.700 * [taylor]: Taking taylor expansion of b in b
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 1 into 1
1.700 * [taylor]: Taking taylor expansion of (+ c d) in b
1.700 * [taylor]: Taking taylor expansion of c in b
1.700 * [backup-simplify]: Simplify c into c
1.700 * [taylor]: Taking taylor expansion of d in b
1.700 * [backup-simplify]: Simplify d into d
1.701 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.701 * [taylor]: Taking taylor expansion of b in c
1.701 * [backup-simplify]: Simplify b into b
1.701 * [taylor]: Taking taylor expansion of (+ c d) in c
1.701 * [taylor]: Taking taylor expansion of c in c
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [taylor]: Taking taylor expansion of d in c
1.701 * [backup-simplify]: Simplify d into d
1.701 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.701 * [taylor]: Taking taylor expansion of b in c
1.701 * [backup-simplify]: Simplify b into b
1.701 * [taylor]: Taking taylor expansion of (+ c d) in c
1.701 * [taylor]: Taking taylor expansion of c in c
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [taylor]: Taking taylor expansion of d in c
1.701 * [backup-simplify]: Simplify d into d
1.701 * [backup-simplify]: Simplify (+ 0 d) into d
1.701 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.701 * [taylor]: Taking taylor expansion of (+ b d) in b
1.701 * [taylor]: Taking taylor expansion of b in b
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [taylor]: Taking taylor expansion of d in b
1.701 * [backup-simplify]: Simplify d into d
1.701 * [backup-simplify]: Simplify (+ 0 d) into d
1.701 * [taylor]: Taking taylor expansion of d in d
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify (+ 1 0) into 1
1.702 * [backup-simplify]: Simplify (+ 0 1) into 1
1.702 * [taylor]: Taking taylor expansion of 1 in b
1.702 * [backup-simplify]: Simplify 1 into 1
1.702 * [taylor]: Taking taylor expansion of 1 in d
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [backup-simplify]: Simplify (+ 1 0) into 1
1.703 * [taylor]: Taking taylor expansion of 1 in d
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* b 1))) (* 1 (* 1 (* 1 c))))) into (+ b (+ c d))
1.704 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
1.704 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in (c b d) around 0
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.704 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.704 * [taylor]: Taking taylor expansion of b in d
1.704 * [backup-simplify]: Simplify b into b
1.704 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.704 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.704 * [taylor]: Taking taylor expansion of d in d
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify (/ 1 1) into 1
1.705 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.705 * [taylor]: Taking taylor expansion of c in d
1.705 * [backup-simplify]: Simplify c into c
1.705 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.705 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.705 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.705 * [taylor]: Taking taylor expansion of b in b
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify (/ 1 1) into 1
1.705 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.705 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.705 * [taylor]: Taking taylor expansion of d in b
1.706 * [backup-simplify]: Simplify d into d
1.706 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.706 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.706 * [taylor]: Taking taylor expansion of c in b
1.706 * [backup-simplify]: Simplify c into c
1.706 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.706 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.706 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.706 * [taylor]: Taking taylor expansion of b in c
1.706 * [backup-simplify]: Simplify b into b
1.706 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.706 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.706 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.706 * [taylor]: Taking taylor expansion of d in c
1.706 * [backup-simplify]: Simplify d into d
1.706 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.706 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.706 * [taylor]: Taking taylor expansion of c in c
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 1 into 1
1.707 * [backup-simplify]: Simplify (/ 1 1) into 1
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.707 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.707 * [taylor]: Taking taylor expansion of b in c
1.707 * [backup-simplify]: Simplify b into b
1.707 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.707 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.707 * [taylor]: Taking taylor expansion of d in c
1.707 * [backup-simplify]: Simplify d into d
1.707 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.707 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.707 * [taylor]: Taking taylor expansion of c in c
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify 1 into 1
1.707 * [backup-simplify]: Simplify (/ 1 1) into 1
1.708 * [backup-simplify]: Simplify (+ 0 1) into 1
1.708 * [backup-simplify]: Simplify (+ 0 1) into 1
1.708 * [taylor]: Taking taylor expansion of 1 in b
1.708 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.709 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.710 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.710 * [taylor]: Taking taylor expansion of b in b
1.710 * [backup-simplify]: Simplify 0 into 0
1.710 * [backup-simplify]: Simplify 1 into 1
1.710 * [backup-simplify]: Simplify (/ 1 1) into 1
1.710 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.710 * [taylor]: Taking taylor expansion of d in b
1.710 * [backup-simplify]: Simplify d into d
1.710 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.711 * [backup-simplify]: Simplify (+ 1 0) into 1
1.711 * [taylor]: Taking taylor expansion of 1 in d
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [taylor]: Taking taylor expansion of 1 in d
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.713 * [backup-simplify]: Simplify (+ 0 0) into 0
1.713 * [backup-simplify]: Simplify (+ 0 0) into 0
1.713 * [taylor]: Taking taylor expansion of 0 in b
1.713 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.714 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.714 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.714 * [taylor]: Taking taylor expansion of d in d
1.714 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (/ 1 1) into 1
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [taylor]: Taking taylor expansion of 0 in d
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify 1 into 1
1.715 * [backup-simplify]: Simplify 1 into 1
1.716 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 c))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ b (+ c d))
1.716 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))
1.716 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (c b d) around 0
1.716 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.716 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.716 * [taylor]: Taking taylor expansion of b in d
1.716 * [backup-simplify]: Simplify b into b
1.716 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.716 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.716 * [taylor]: Taking taylor expansion of d in d
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify 1 into 1
1.717 * [backup-simplify]: Simplify (/ 1 1) into 1
1.717 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.717 * [taylor]: Taking taylor expansion of c in d
1.717 * [backup-simplify]: Simplify c into c
1.717 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.717 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.717 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.717 * [taylor]: Taking taylor expansion of b in b
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify 1 into 1
1.717 * [backup-simplify]: Simplify (/ 1 1) into 1
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.717 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.717 * [taylor]: Taking taylor expansion of d in b
1.717 * [backup-simplify]: Simplify d into d
1.718 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.718 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.718 * [taylor]: Taking taylor expansion of c in b
1.718 * [backup-simplify]: Simplify c into c
1.718 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.718 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.718 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.718 * [taylor]: Taking taylor expansion of b in c
1.718 * [backup-simplify]: Simplify b into b
1.718 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.718 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.718 * [taylor]: Taking taylor expansion of d in c
1.718 * [backup-simplify]: Simplify d into d
1.718 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.718 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.718 * [taylor]: Taking taylor expansion of c in c
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 1 into 1
1.719 * [backup-simplify]: Simplify (/ 1 1) into 1
1.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.719 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.719 * [taylor]: Taking taylor expansion of b in c
1.719 * [backup-simplify]: Simplify b into b
1.719 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.719 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.719 * [taylor]: Taking taylor expansion of d in c
1.719 * [backup-simplify]: Simplify d into d
1.719 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.719 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.719 * [taylor]: Taking taylor expansion of c in c
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [backup-simplify]: Simplify (/ 1 1) into 1
1.720 * [backup-simplify]: Simplify (+ 0 1) into 1
1.720 * [backup-simplify]: Simplify (+ 0 1) into 1
1.721 * [backup-simplify]: Simplify (- 1) into -1
1.721 * [taylor]: Taking taylor expansion of -1 in b
1.721 * [backup-simplify]: Simplify -1 into -1
1.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.722 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.722 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.722 * [backup-simplify]: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d)))
1.722 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b
1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.722 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.722 * [taylor]: Taking taylor expansion of b in b
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify 1 into 1
1.722 * [backup-simplify]: Simplify (/ 1 1) into 1
1.723 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.723 * [taylor]: Taking taylor expansion of d in b
1.723 * [backup-simplify]: Simplify d into d
1.723 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.723 * [backup-simplify]: Simplify (+ 1 0) into 1
1.723 * [backup-simplify]: Simplify (- 1) into -1
1.723 * [taylor]: Taking taylor expansion of -1 in d
1.723 * [backup-simplify]: Simplify -1 into -1
1.724 * [taylor]: Taking taylor expansion of -1 in d
1.724 * [backup-simplify]: Simplify -1 into -1
1.724 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.724 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.725 * [backup-simplify]: Simplify (+ 0 0) into 0
1.726 * [backup-simplify]: Simplify (+ 0 0) into 0
1.726 * [backup-simplify]: Simplify (- 0) into 0
1.726 * [taylor]: Taking taylor expansion of 0 in b
1.726 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.727 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.727 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.727 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.727 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.727 * [taylor]: Taking taylor expansion of d in d
1.727 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify 1 into 1
1.727 * [backup-simplify]: Simplify (/ 1 1) into 1
1.728 * [backup-simplify]: Simplify (- 1) into -1
1.728 * [backup-simplify]: Simplify -1 into -1
1.728 * [taylor]: Taking taylor expansion of 0 in d
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify -1 into -1
1.728 * [backup-simplify]: Simplify -1 into -1
1.729 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- c)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ b (+ c d))
1.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.729 * [backup-simplify]: Simplify (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)) into (+ a (+ b (+ c d)))
1.729 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0
1.729 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a
1.729 * [taylor]: Taking taylor expansion of a in a
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.730 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a
1.730 * [taylor]: Taking taylor expansion of b in a
1.730 * [backup-simplify]: Simplify b into b
1.730 * [taylor]: Taking taylor expansion of (+ c d) in a
1.730 * [taylor]: Taking taylor expansion of c in a
1.730 * [backup-simplify]: Simplify c into c
1.730 * [taylor]: Taking taylor expansion of d in a
1.730 * [backup-simplify]: Simplify d into d
1.730 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d
1.730 * [taylor]: Taking taylor expansion of a in d
1.730 * [backup-simplify]: Simplify a into a
1.730 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.730 * [taylor]: Taking taylor expansion of b in d
1.730 * [backup-simplify]: Simplify b into b
1.730 * [taylor]: Taking taylor expansion of (+ c d) in d
1.730 * [taylor]: Taking taylor expansion of c in d
1.730 * [backup-simplify]: Simplify c into c
1.730 * [taylor]: Taking taylor expansion of d in d
1.730 * [backup-simplify]: Simplify 0 into 0
1.730 * [backup-simplify]: Simplify 1 into 1
1.730 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
1.730 * [taylor]: Taking taylor expansion of a in b
1.730 * [backup-simplify]: Simplify a into a
1.730 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.730 * [taylor]: Taking taylor expansion of b in b
1.730 * [backup-simplify]: Simplify 0 into 0
1.730 * [backup-simplify]: Simplify 1 into 1
1.730 * [taylor]: Taking taylor expansion of (+ c d) in b
1.730 * [taylor]: Taking taylor expansion of c in b
1.730 * [backup-simplify]: Simplify c into c
1.730 * [taylor]: Taking taylor expansion of d in b
1.730 * [backup-simplify]: Simplify d into d
1.730 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
1.730 * [taylor]: Taking taylor expansion of a in c
1.730 * [backup-simplify]: Simplify a into a
1.730 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.730 * [taylor]: Taking taylor expansion of b in c
1.731 * [backup-simplify]: Simplify b into b
1.731 * [taylor]: Taking taylor expansion of (+ c d) in c
1.731 * [taylor]: Taking taylor expansion of c in c
1.731 * [backup-simplify]: Simplify 0 into 0
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [taylor]: Taking taylor expansion of d in c
1.731 * [backup-simplify]: Simplify d into d
1.731 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
1.731 * [taylor]: Taking taylor expansion of a in c
1.731 * [backup-simplify]: Simplify a into a
1.731 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.731 * [taylor]: Taking taylor expansion of b in c
1.731 * [backup-simplify]: Simplify b into b
1.731 * [taylor]: Taking taylor expansion of (+ c d) in c
1.731 * [taylor]: Taking taylor expansion of c in c
1.731 * [backup-simplify]: Simplify 0 into 0
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [taylor]: Taking taylor expansion of d in c
1.731 * [backup-simplify]: Simplify d into d
1.731 * [backup-simplify]: Simplify (+ 0 d) into d
1.731 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.731 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d))
1.731 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.731 * [taylor]: Taking taylor expansion of a in b
1.731 * [backup-simplify]: Simplify a into a
1.731 * [taylor]: Taking taylor expansion of (+ b d) in b
1.731 * [taylor]: Taking taylor expansion of b in b
1.731 * [backup-simplify]: Simplify 0 into 0
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [taylor]: Taking taylor expansion of d in b
1.732 * [backup-simplify]: Simplify d into d
1.732 * [backup-simplify]: Simplify (+ 0 d) into d
1.732 * [backup-simplify]: Simplify (+ a d) into (+ a d)
1.732 * [taylor]: Taking taylor expansion of (+ a d) in d
1.732 * [taylor]: Taking taylor expansion of a in d
1.732 * [backup-simplify]: Simplify a into a
1.732 * [taylor]: Taking taylor expansion of d in d
1.732 * [backup-simplify]: Simplify 0 into 0
1.732 * [backup-simplify]: Simplify 1 into 1
1.732 * [backup-simplify]: Simplify (+ a 0) into a
1.732 * [taylor]: Taking taylor expansion of a in a
1.732 * [backup-simplify]: Simplify 0 into 0
1.732 * [backup-simplify]: Simplify 1 into 1
1.732 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify (+ 1 0) into 1
1.733 * [backup-simplify]: Simplify (+ 0 1) into 1
1.734 * [backup-simplify]: Simplify (+ 0 1) into 1
1.734 * [taylor]: Taking taylor expansion of 1 in b
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [taylor]: Taking taylor expansion of 1 in d
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [taylor]: Taking taylor expansion of 1 in a
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [backup-simplify]: Simplify (+ 1 0) into 1
1.735 * [backup-simplify]: Simplify (+ 0 1) into 1
1.735 * [taylor]: Taking taylor expansion of 1 in d
1.735 * [backup-simplify]: Simplify 1 into 1
1.735 * [taylor]: Taking taylor expansion of 1 in a
1.735 * [backup-simplify]: Simplify 1 into 1
1.735 * [backup-simplify]: Simplify 1 into 1
1.735 * [backup-simplify]: Simplify (+ 0 1) into 1
1.735 * [taylor]: Taking taylor expansion of 1 in a
1.735 * [backup-simplify]: Simplify 1 into 1
1.736 * [backup-simplify]: Simplify 1 into 1
1.736 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d))
1.737 * [backup-simplify]: Simplify (/ (* (+ (/ 1 c) (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a))) (- (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) (/ 1 a))) (- (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) (/ 1 a))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))
1.737 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a
1.737 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.737 * [taylor]: Taking taylor expansion of b in a
1.737 * [backup-simplify]: Simplify b into b
1.737 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a
1.737 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.737 * [taylor]: Taking taylor expansion of a in a
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify 1 into 1
1.740 * [backup-simplify]: Simplify (/ 1 1) into 1
1.740 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a
1.740 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.740 * [taylor]: Taking taylor expansion of c in a
1.740 * [backup-simplify]: Simplify c into c
1.740 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.740 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.740 * [taylor]: Taking taylor expansion of d in a
1.740 * [backup-simplify]: Simplify d into d
1.741 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
1.741 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.741 * [taylor]: Taking taylor expansion of b in d
1.741 * [backup-simplify]: Simplify b into b
1.741 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
1.741 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.741 * [taylor]: Taking taylor expansion of a in d
1.741 * [backup-simplify]: Simplify a into a
1.741 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
1.741 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.741 * [taylor]: Taking taylor expansion of c in d
1.741 * [backup-simplify]: Simplify c into c
1.741 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.741 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.741 * [taylor]: Taking taylor expansion of d in d
1.741 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 1 into 1
1.742 * [backup-simplify]: Simplify (/ 1 1) into 1
1.742 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b
1.742 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.742 * [taylor]: Taking taylor expansion of b in b
1.742 * [backup-simplify]: Simplify 0 into 0
1.742 * [backup-simplify]: Simplify 1 into 1
1.742 * [backup-simplify]: Simplify (/ 1 1) into 1
1.742 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b
1.742 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.742 * [taylor]: Taking taylor expansion of a in b
1.742 * [backup-simplify]: Simplify a into a
1.742 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.742 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
1.742 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.742 * [taylor]: Taking taylor expansion of c in b
1.743 * [backup-simplify]: Simplify c into c
1.743 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.743 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.743 * [taylor]: Taking taylor expansion of d in b
1.743 * [backup-simplify]: Simplify d into d
1.743 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.743 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.743 * [taylor]: Taking taylor expansion of b in c
1.743 * [backup-simplify]: Simplify b into b
1.743 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.743 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.743 * [taylor]: Taking taylor expansion of a in c
1.743 * [backup-simplify]: Simplify a into a
1.743 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.743 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.743 * [taylor]: Taking taylor expansion of c in c
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify 1 into 1
1.744 * [backup-simplify]: Simplify (/ 1 1) into 1
1.744 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.744 * [taylor]: Taking taylor expansion of d in c
1.744 * [backup-simplify]: Simplify d into d
1.744 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.744 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.744 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.744 * [taylor]: Taking taylor expansion of b in c
1.744 * [backup-simplify]: Simplify b into b
1.744 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.744 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.744 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.744 * [taylor]: Taking taylor expansion of a in c
1.744 * [backup-simplify]: Simplify a into a
1.744 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.744 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.744 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.744 * [taylor]: Taking taylor expansion of c in c
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 1 into 1
1.745 * [backup-simplify]: Simplify (/ 1 1) into 1
1.745 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.745 * [taylor]: Taking taylor expansion of d in c
1.745 * [backup-simplify]: Simplify d into d
1.745 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.745 * [backup-simplify]: Simplify (+ 1 0) into 1
1.746 * [backup-simplify]: Simplify (+ 0 1) into 1
1.746 * [backup-simplify]: Simplify (+ 0 1) into 1
1.746 * [taylor]: Taking taylor expansion of 1 in b
1.746 * [backup-simplify]: Simplify 1 into 1
1.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.747 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.747 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.747 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.747 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.747 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.747 * [taylor]: Taking taylor expansion of b in b
1.747 * [backup-simplify]: Simplify 0 into 0
1.748 * [backup-simplify]: Simplify 1 into 1
1.748 * [backup-simplify]: Simplify (/ 1 1) into 1
1.748 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.748 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.748 * [taylor]: Taking taylor expansion of a in b
1.748 * [backup-simplify]: Simplify a into a
1.748 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.748 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.748 * [taylor]: Taking taylor expansion of d in b
1.748 * [backup-simplify]: Simplify d into d
1.748 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.749 * [backup-simplify]: Simplify (+ 1 0) into 1
1.749 * [taylor]: Taking taylor expansion of 1 in d
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [taylor]: Taking taylor expansion of 1 in d
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.750 * [backup-simplify]: Simplify (+ 0 0) into 0
1.751 * [backup-simplify]: Simplify (+ 0 0) into 0
1.751 * [backup-simplify]: Simplify (+ 0 0) into 0
1.751 * [taylor]: Taking taylor expansion of 0 in b
1.751 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.752 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.752 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.752 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.752 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.752 * [taylor]: Taking taylor expansion of a in d
1.752 * [backup-simplify]: Simplify a into a
1.752 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.752 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.752 * [taylor]: Taking taylor expansion of d in d
1.753 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify 1 into 1
1.753 * [backup-simplify]: Simplify (/ 1 1) into 1
1.754 * [backup-simplify]: Simplify (+ 0 1) into 1
1.754 * [taylor]: Taking taylor expansion of 1 in a
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [taylor]: Taking taylor expansion of 0 in d
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [taylor]: Taking taylor expansion of 1 in a
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [taylor]: Taking taylor expansion of 1 in a
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.756 * [backup-simplify]: Simplify (+ 0 0) into 0
1.756 * [backup-simplify]: Simplify (+ 0 0) into 0
1.757 * [backup-simplify]: Simplify (+ 0 0) into 0
1.757 * [taylor]: Taking taylor expansion of 0 in b
1.757 * [backup-simplify]: Simplify 0 into 0
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.758 * [backup-simplify]: Simplify (+ 0 0) into 0
1.759 * [backup-simplify]: Simplify (+ 0 0) into 0
1.759 * [taylor]: Taking taylor expansion of 0 in d
1.759 * [backup-simplify]: Simplify 0 into 0
1.759 * [taylor]: Taking taylor expansion of 0 in d
1.759 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.760 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.760 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.760 * [taylor]: Taking taylor expansion of a in a
1.760 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify 1 into 1
1.760 * [backup-simplify]: Simplify (/ 1 1) into 1
1.760 * [backup-simplify]: Simplify 1 into 1
1.760 * [taylor]: Taking taylor expansion of 0 in a
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [taylor]: Taking taylor expansion of 0 in a
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [taylor]: Taking taylor expansion of 0 in a
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify 1 into 1
1.761 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ b d))
1.763 * [backup-simplify]: Simplify (/ (* (+ (/ 1 (- c)) (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a)))) (- (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) (/ 1 (- a)))) (- (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) (/ 1 (- a)))) into (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))))
1.763 * [approximate]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0
1.763 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a
1.763 * [taylor]: Taking taylor expansion of -1 in a
1.763 * [backup-simplify]: Simplify -1 into -1
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a
1.763 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.763 * [taylor]: Taking taylor expansion of b in a
1.763 * [backup-simplify]: Simplify b into b
1.763 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a
1.763 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.763 * [taylor]: Taking taylor expansion of a in a
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.764 * [backup-simplify]: Simplify (/ 1 1) into 1
1.764 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a
1.764 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.764 * [taylor]: Taking taylor expansion of c in a
1.764 * [backup-simplify]: Simplify c into c
1.764 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.764 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.764 * [taylor]: Taking taylor expansion of d in a
1.764 * [backup-simplify]: Simplify d into d
1.764 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.764 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d
1.764 * [taylor]: Taking taylor expansion of -1 in d
1.764 * [backup-simplify]: Simplify -1 into -1
1.764 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
1.764 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.764 * [taylor]: Taking taylor expansion of b in d
1.764 * [backup-simplify]: Simplify b into b
1.764 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.764 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
1.765 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.765 * [taylor]: Taking taylor expansion of a in d
1.765 * [backup-simplify]: Simplify a into a
1.765 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.765 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
1.765 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.765 * [taylor]: Taking taylor expansion of c in d
1.765 * [backup-simplify]: Simplify c into c
1.765 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.765 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.765 * [taylor]: Taking taylor expansion of d in d
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (/ 1 1) into 1
1.765 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b
1.765 * [taylor]: Taking taylor expansion of -1 in b
1.765 * [backup-simplify]: Simplify -1 into -1
1.765 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b
1.765 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.766 * [taylor]: Taking taylor expansion of b in b
1.766 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify 1 into 1
1.766 * [backup-simplify]: Simplify (/ 1 1) into 1
1.766 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b
1.766 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.766 * [taylor]: Taking taylor expansion of a in b
1.766 * [backup-simplify]: Simplify a into a
1.766 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.766 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
1.766 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.766 * [taylor]: Taking taylor expansion of c in b
1.766 * [backup-simplify]: Simplify c into c
1.767 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.767 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.767 * [taylor]: Taking taylor expansion of d in b
1.767 * [backup-simplify]: Simplify d into d
1.767 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.767 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c
1.767 * [taylor]: Taking taylor expansion of -1 in c
1.767 * [backup-simplify]: Simplify -1 into -1
1.767 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.767 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.767 * [taylor]: Taking taylor expansion of b in c
1.767 * [backup-simplify]: Simplify b into b
1.767 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.767 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.767 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.767 * [taylor]: Taking taylor expansion of a in c
1.767 * [backup-simplify]: Simplify a into a
1.767 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.767 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.767 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.767 * [taylor]: Taking taylor expansion of c in c
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify 1 into 1
1.768 * [backup-simplify]: Simplify (/ 1 1) into 1
1.768 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.768 * [taylor]: Taking taylor expansion of d in c
1.768 * [backup-simplify]: Simplify d into d
1.768 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.768 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c
1.768 * [taylor]: Taking taylor expansion of -1 in c
1.768 * [backup-simplify]: Simplify -1 into -1
1.768 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.768 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.768 * [taylor]: Taking taylor expansion of b in c
1.768 * [backup-simplify]: Simplify b into b
1.768 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.768 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.768 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.768 * [taylor]: Taking taylor expansion of a in c
1.768 * [backup-simplify]: Simplify a into a
1.768 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.768 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.768 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.768 * [taylor]: Taking taylor expansion of c in c
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (/ 1 1) into 1
1.769 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.769 * [taylor]: Taking taylor expansion of d in c
1.769 * [backup-simplify]: Simplify d into d
1.769 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.769 * [backup-simplify]: Simplify (+ 1 0) into 1
1.770 * [backup-simplify]: Simplify (+ 0 1) into 1
1.770 * [backup-simplify]: Simplify (+ 0 1) into 1
1.771 * [backup-simplify]: Simplify (* -1 1) into -1
1.771 * [taylor]: Taking taylor expansion of -1 in b
1.771 * [backup-simplify]: Simplify -1 into -1
1.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.771 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.772 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.772 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.772 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1)) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))))
1.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.772 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.773 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.773 * [taylor]: Taking taylor expansion of b in b
1.773 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify 1 into 1
1.773 * [backup-simplify]: Simplify (/ 1 1) into 1
1.773 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.773 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.773 * [taylor]: Taking taylor expansion of a in b
1.773 * [backup-simplify]: Simplify a into a
1.773 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.773 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.773 * [taylor]: Taking taylor expansion of d in b
1.773 * [backup-simplify]: Simplify d into d
1.773 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.774 * [backup-simplify]: Simplify (+ 1 0) into 1
1.774 * [backup-simplify]: Simplify (- 1) into -1
1.774 * [taylor]: Taking taylor expansion of -1 in d
1.774 * [backup-simplify]: Simplify -1 into -1
1.774 * [taylor]: Taking taylor expansion of -1 in d
1.774 * [backup-simplify]: Simplify -1 into -1
1.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.776 * [backup-simplify]: Simplify (+ 0 0) into 0
1.777 * [backup-simplify]: Simplify (+ 0 0) into 0
1.777 * [backup-simplify]: Simplify (+ 0 0) into 0
1.778 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1))) into 0
1.778 * [taylor]: Taking taylor expansion of 0 in b
1.778 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.779 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.779 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d)))
1.779 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d
1.779 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.779 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.780 * [taylor]: Taking taylor expansion of a in d
1.780 * [backup-simplify]: Simplify a into a
1.780 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.780 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.780 * [taylor]: Taking taylor expansion of d in d
1.780 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify 1 into 1
1.780 * [backup-simplify]: Simplify (/ 1 1) into 1
1.781 * [backup-simplify]: Simplify (+ 0 1) into 1
1.781 * [backup-simplify]: Simplify (- 1) into -1
1.781 * [taylor]: Taking taylor expansion of -1 in a
1.781 * [backup-simplify]: Simplify -1 into -1
1.781 * [taylor]: Taking taylor expansion of 0 in d
1.781 * [backup-simplify]: Simplify 0 into 0
1.781 * [taylor]: Taking taylor expansion of -1 in a
1.781 * [backup-simplify]: Simplify -1 into -1
1.781 * [taylor]: Taking taylor expansion of -1 in a
1.781 * [backup-simplify]: Simplify -1 into -1
1.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.782 * [backup-simplify]: Simplify (+ 0 0) into 0
1.783 * [backup-simplify]: Simplify (+ 0 0) into 0
1.783 * [backup-simplify]: Simplify (+ 0 0) into 0
1.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1)))) into 0
1.784 * [taylor]: Taking taylor expansion of 0 in b
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [taylor]: Taking taylor expansion of 0 in d
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.785 * [backup-simplify]: Simplify (+ 0 0) into 0
1.785 * [backup-simplify]: Simplify (+ 0 0) into 0
1.785 * [backup-simplify]: Simplify (- 0) into 0
1.785 * [taylor]: Taking taylor expansion of 0 in d
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [taylor]: Taking taylor expansion of 0 in d
1.785 * [backup-simplify]: Simplify 0 into 0
1.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.786 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.786 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.786 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.786 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.786 * [taylor]: Taking taylor expansion of a in a
1.786 * [backup-simplify]: Simplify 0 into 0
1.786 * [backup-simplify]: Simplify 1 into 1
1.786 * [backup-simplify]: Simplify (/ 1 1) into 1
1.787 * [backup-simplify]: Simplify (- 1) into -1
1.787 * [backup-simplify]: Simplify -1 into -1
1.787 * [taylor]: Taking taylor expansion of 0 in a
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [taylor]: Taking taylor expansion of 0 in a
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [taylor]: Taking taylor expansion of 0 in a
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify -1 into -1
1.787 * [backup-simplify]: Simplify -1 into -1
1.788 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ b d))
1.788 * * * [progress]: simplifying candidates
1.789 * [simplify]: Simplifying:
  (* (* (exp b) (exp d)) (exp a))
  (* (exp (+ b d)) (exp a))
  (log (+ (+ b d) a))
  (exp (+ (+ b d) a))
  (* (cbrt (+ (+ b d) a)) (cbrt (+ (+ b d) a)))
  (cbrt (+ (+ b d) a))
  (* (* (+ (+ b d) a) (+ (+ b d) a)) (+ (+ b d) a))
  (sqrt (+ (+ b d) a))
  (sqrt (+ (+ b d) a))
  (+ (pow (+ b d) 3) (pow a 3))
  (+ (* (+ b d) (+ b d)) (- (* a a) (* (+ b d) a)))
  (- (* (+ b d) (+ b d)) (* a a))
  (- (+ b d) a)
  (+ (+ b d) a)
  (+ (+ b d) a)
  (+ d a)
  (* (exp c) (* (exp b) (exp d)))
  (* (exp c) (exp (+ b d)))
  (log (+ c (+ b d)))
  (exp (+ c (+ b d)))
  (* (cbrt (+ c (+ b d))) (cbrt (+ c (+ b d))))
  (cbrt (+ c (+ b d)))
  (* (* (+ c (+ b d)) (+ c (+ b d))) (+ c (+ b d)))
  (sqrt (+ c (+ b d)))
  (sqrt (+ c (+ b d)))
  (+ (pow c 3) (pow (+ b d) 3))
  (+ (* c c) (- (* (+ b d) (+ b d)) (* c (+ b d))))
  (- (* c c) (* (+ b d) (+ b d)))
  (- c (+ b d))
  (+ c (+ b d))
  (+ c (+ b d))
  (+ c b)
  (* (exp c) (* (exp b) (exp d)))
  (* (exp c) (exp (+ b d)))
  (log (+ c (+ b d)))
  (exp (+ c (+ b d)))
  (* (cbrt (+ c (+ b d))) (cbrt (+ c (+ b d))))
  (cbrt (+ c (+ b d)))
  (* (* (+ c (+ b d)) (+ c (+ b d))) (+ c (+ b d)))
  (sqrt (+ c (+ b d)))
  (sqrt (+ c (+ b d)))
  (+ (pow c 3) (pow (+ b d) 3))
  (+ (* c c) (- (* (+ b d) (+ b d)) (* c (+ b d))))
  (- (* c c) (* (+ b d) (+ b d)))
  (- c (+ b d))
  (+ c (+ b d))
  (+ c (+ b d))
  (+ c b)
  (- (+ (log (+ c (+ (+ b d) a))) (log (- (+ c (+ b d)) a))) (log (- (+ c (+ b d)) a)))
  (- (log (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a))) (log (- (+ c (+ b d)) a)))
  (log (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (exp (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (/ (* (* (* (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a))) (+ c (+ (+ b d) a))) (* (* (- (+ c (+ b d)) a) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))) (* (* (- (+ c (+ b d)) a) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (/ (* (* (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a))) (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a))) (* (* (- (+ c (+ b d)) a) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (* (cbrt (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))) (cbrt (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))))
  (cbrt (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (* (* (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)) (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))) (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (sqrt (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (sqrt (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)))
  (- (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)))
  (- (- (+ c (+ b d)) a))
  (/ (+ c (+ (+ b d) a)) (* (cbrt (- (+ c (+ b d)) a)) (cbrt (- (+ c (+ b d)) a))))
  (/ (- (+ c (+ b d)) a) (cbrt (- (+ c (+ b d)) a)))
  (/ (+ c (+ (+ b d) a)) (sqrt (- (+ c (+ b d)) a)))
  (/ (- (+ c (+ b d)) a) (sqrt (- (+ c (+ b d)) a)))
  (/ (+ c (+ (+ b d) a)) 1)
  (/ (- (+ c (+ b d)) a) (- (+ c (+ b d)) a))
  (/ (+ c (+ (+ b d) a)) (+ (sqrt (+ c (+ b d))) (sqrt a)))
  (/ (- (+ c (+ b d)) a) (- (sqrt (+ c (+ b d))) (sqrt a)))
  (/ (+ c (+ (+ b d) a)) 1)
  (/ (- (+ c (+ b d)) a) (- (+ c (+ b d)) a))
  (/ (+ c (+ (+ b d) a)) 1)
  (/ (- (+ c (+ b d)) a) (- (+ c (+ b d)) a))
  (/ (+ c (+ (+ b d) a)) 1)
  (/ (- (+ c (+ b d)) a) (- (+ c (+ b d)) a))
  (/ 1 (- (+ c (+ b d)) a))
  (/ (- (+ c (+ b d)) a) (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (* (cbrt (- (+ c (+ b d)) a)) (cbrt (- (+ c (+ b d)) a))))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (sqrt (- (+ c (+ b d)) a)))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) 1)
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (+ (sqrt (+ c (+ b d))) (sqrt a)))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) 1)
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) 1)
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) 1)
  (/ (- (+ c (+ b d)) a) (- (+ c (+ b d)) a))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (pow (+ c (+ b d)) 3) (pow a 3)))
  (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (* (+ c (+ b d)) (+ c (+ b d))) (* a a)))
  (* (- (+ c (+ b d)) a) (* (+ (* c c) (- (* (+ (+ b d) a) (+ (+ b d) a)) (* c (+ (+ b d) a)))) (+ (* (+ c (+ b d)) (+ c (+ b d))) (+ (* a a) (* (+ c (+ b d)) a)))))
  (* (- (+ c (+ b d)) a) (* (+ (* c c) (- (* (+ (+ b d) a) (+ (+ b d) a)) (* c (+ (+ b d) a)))) (+ (+ c (+ b d)) a)))
  (* (- (+ c (+ b d)) a) (* (- c (+ (+ b d) a)) (+ (* (+ c (+ b d)) (+ c (+ b d))) (+ (* a a) (* (+ c (+ b d)) a)))))
  (* (- (+ c (+ b d)) a) (* (- c (+ (+ b d) a)) (+ (+ c (+ b d)) a)))
  (* (- (+ c (+ b d)) a) (+ (* (+ c (+ b d)) (+ c (+ b d))) (+ (* a a) (* (+ c (+ b d)) a))))
  (* (- (+ c (+ b d)) a) (+ (+ c (+ b d)) a))
  (* (- (+ c (+ b d)) a) (+ (* c c) (- (* (+ (+ b d) a) (+ (+ b d) a)) (* c (+ (+ b d) a)))))
  (* (- (+ c (+ b d)) a) (- c (+ (+ b d) a)))
  (+ a (+ b d))
  (+ a (+ b d))
  (+ a (+ b d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ b (+ c d))
  (+ a (+ b d))
  (+ a (+ b d))
1.790 * * [simplify]: iteration 0: 129 enodes
1.815 * * [simplify]: iteration 1: 425 enodes
2.082 * * [simplify]: iteration 2: 2872 enodes
3.478 * * [simplify]: iteration complete: 5001 enodes
3.478 * * [simplify]: Extracting #0: cost 54 inf + 0
3.481 * * [simplify]: Extracting #1: cost 912 inf + 1
3.491 * * [simplify]: Extracting #2: cost 1701 inf + 174
3.502 * * [simplify]: Extracting #3: cost 1376 inf + 5459
3.515 * * [simplify]: Extracting #4: cost 491 inf + 24194
3.526 * * [simplify]: Extracting #5: cost 62 inf + 36696
3.536 * * [simplify]: Extracting #6: cost 4 inf + 37832
3.542 * * [simplify]: Extracting #7: cost 0 inf + 37852
3.548 * [simplify]: Simplified to:
  (exp (+ (+ a b) d))
  (exp (+ (+ a b) d))
  (log (+ (+ a b) d))
  (exp (+ (+ a b) d))
  (* (cbrt (+ (+ a b) d)) (cbrt (+ (+ a b) d)))
  (cbrt (+ (+ a b) d))
  (pow (+ (+ a b) d) 3)
  (sqrt (+ (+ a b) d))
  (sqrt (+ (+ a b) d))
  (+ (pow (+ b d) 3) (pow a 3))
  (+ (* (- a (+ b d)) a) (* (+ b d) (+ b d)))
  (* (+ (+ b d) a) (- (+ b d) a))
  (+ b (- d a))
  (+ (+ a b) d)
  (+ (+ a b) d)
  (+ a d)
  (exp (+ (+ b d) c))
  (exp (+ (+ b d) c))
  (log (+ (+ b d) c))
  (exp (+ (+ b d) c))
  (* (cbrt (+ (+ b d) c)) (cbrt (+ (+ b d) c)))
  (cbrt (+ (+ b d) c))
  (pow (+ (+ b d) c) 3)
  (sqrt (+ (+ b d) c))
  (sqrt (+ (+ b d) c))
  (+ (pow (+ b d) 3) (pow c 3))
  (+ (* c c) (* (- (+ b d) c) (+ b d)))
  (- (* c c) (* (+ b d) (+ b d)))
  (- (- c d) b)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ c b)
  (exp (+ (+ b d) c))
  (exp (+ (+ b d) c))
  (log (+ (+ b d) c))
  (exp (+ (+ b d) c))
  (* (cbrt (+ (+ b d) c)) (cbrt (+ (+ b d) c)))
  (cbrt (+ (+ b d) c))
  (pow (+ (+ b d) c) 3)
  (sqrt (+ (+ b d) c))
  (sqrt (+ (+ b d) c))
  (+ (pow (+ b d) 3) (pow c 3))
  (+ (* c c) (* (- (+ b d) c) (+ b d)))
  (- (* c c) (* (+ b d) (+ b d)))
  (- (- c d) b)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ c b)
  (log (+ (+ c b) (+ a d)))
  (log (+ (+ c b) (+ a d)))
  (log (+ (+ c b) (+ a d)))
  (exp (+ (+ c b) (+ a d)))
  (pow (+ (+ c b) (+ a d)) 3)
  (pow (+ (+ c b) (+ a d)) 3)
  (* (cbrt (+ (+ c b) (+ a d))) (cbrt (+ (+ c b) (+ a d))))
  (cbrt (+ (+ c b) (+ a d)))
  (pow (+ (+ c b) (+ a d)) 3)
  (sqrt (+ (+ c b) (+ a d)))
  (sqrt (+ (+ c b) (+ a d)))
  (* (+ (+ c b) (- d a)) (- (+ (+ c b) (+ a d))))
  (+ (- (+ (+ b d) c)) a)
  (/ (+ (+ c b) (+ a d)) (* (cbrt (+ (+ c b) (- d a))) (cbrt (+ (+ c b) (- d a)))))
  (/ (+ (+ c b) (- d a)) (cbrt (+ (+ c b) (- d a))))
  (/ (+ (+ c b) (+ a d)) (sqrt (+ (+ c b) (- d a))))
  (/ (+ (+ c b) (- d a)) (sqrt (+ (+ c b) (- d a))))
  (+ (+ c b) (+ a d))
  1
  (/ (+ (+ c b) (+ a d)) (+ (sqrt a) (sqrt (+ (+ b d) c))))
  (/ (+ (+ c b) (- d a)) (- (sqrt (+ (+ b d) c)) (sqrt a)))
  (+ (+ c b) (+ a d))
  1
  (+ (+ c b) (+ a d))
  1
  (+ (+ c b) (+ a d))
  1
  (/ 1 (+ (+ c b) (- d a)))
  (/ 1 (+ (+ c b) (+ a d)))
  (/ (+ (+ c b) (+ a d)) (/ (cbrt (+ (+ c b) (- d a))) (/ (+ (+ c b) (- d a)) (cbrt (+ (+ c b) (- d a))))))
  (/ (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a)) (sqrt (+ (+ c b) (- d a))))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  (/ (+ (+ c b) (- d a)) (/ (+ (sqrt a) (sqrt (+ (+ b d) c))) (+ (+ c b) (+ a d))))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  1
  (* (/ (+ (+ c b) (+ a d)) (- (pow (+ (+ b d) c) 3) (pow a 3))) (+ (+ c b) (- d a)))
  1
  (* (* (+ (* (+ (+ a b) d) (- (+ (+ a b) d) c)) (* c c)) (+ (+ c b) (- d a))) (+ (* (+ (+ c b) (+ a d)) a) (* (+ (+ b d) c) (+ (+ b d) c))))
  (* (+ (* (+ (+ a b) d) (- (+ (+ a b) d) c)) (* c c)) (* (+ (+ c b) (- d a)) (+ (+ c b) (+ a d))))
  (* (+ (* (+ (+ c b) (+ a d)) a) (* (+ (+ b d) c) (+ (+ b d) c))) (* (+ (+ c b) (- d a)) (- (- c b) (+ a d))))
  (* (- (- c b) (+ a d)) (* (+ (+ c b) (- d a)) (+ (+ c b) (+ a d))))
  (* (+ (+ c b) (- d a)) (+ (* (+ (+ c b) (+ a d)) a) (* (+ (+ b d) c) (+ (+ b d) c))))
  (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a))
  (* (+ (* (+ (+ a b) d) (- (+ (+ a b) d) c)) (* c c)) (+ (+ c b) (- d a)))
  (* (+ (+ c b) (- d a)) (- (- c b) (+ a d)))
  (+ (+ a b) d)
  (+ (+ a b) d)
  (+ (+ a b) d)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ b d) c)
  (+ (+ a b) d)
  (+ (+ a b) d)
3.548 * * * [progress]: adding candidates to table
4.152 * * [progress]: iteration 3 / 4
4.152 * * * [progress]: picking best candidate
4.156 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (* (+ (+ c b) (+ a d)) 1)))>
4.156 * * * [progress]: localizing error
4.168 * * * [progress]: generating rewritten candidates
4.168 * * * [progress]: generating series expansions
4.168 * * * [progress]: simplifying candidates
4.168 * [simplify]: Simplifying:
  
4.168 * * [simplify]: iteration 0: 0 enodes
4.168 * * [simplify]: iteration complete: 0 enodes
4.168 * * [simplify]: Extracting #0: cost 0 inf + 0
4.168 * [simplify]: Simplified to:
  
4.168 * * * [progress]: adding candidates to table
4.168 * [progress]: [Phase 3 of 3] Extracting.
4.172 * [simplify]: Simplifying:
  (* 2.0 (* (+ (+ c b) (+ a d)) 1))
4.173 * * [simplify]: iteration 0: 11 enodes
4.173 * * [simplify]: iteration 1: 18 enodes
4.174 * * [simplify]: iteration 2: 19 enodes
4.174 * * [simplify]: iteration complete: 19 enodes
4.174 * * [simplify]: Extracting #0: cost 1 inf + 0
4.175 * * [simplify]: Extracting #1: cost 3 inf + 0
4.175 * * [simplify]: Extracting #2: cost 5 inf + 1
4.175 * * [simplify]: Extracting #3: cost 8 inf + 2
4.175 * * [simplify]: Extracting #4: cost 0 inf + 28
4.175 * [simplify]: Simplified to:
  (* (+ (+ c b) (+ d a)) 2.0)
5.893 * [regime-testing]: Baseline error score: 0
5.902 * [regime-testing]: Oracle error score: 0
5.902 * [regime-testing]: End program error score: 0
6.033 * [regime-testing]: Target error score: 3.806652495961233