20.073 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (* (+ a (+ b (+ c d))) 2.0)
0.034 * * [simplify]: iteration 0: 9 enodes
0.036 * * [simplify]: iteration 1: 17 enodes
0.042 * * [simplify]: iteration 2: 53 enodes
0.062 * * [simplify]: iteration 3: 146 enodes
0.105 * * [simplify]: iteration 4: 300 enodes
0.174 * * [simplify]: iteration 5: 445 enodes
0.227 * * [simplify]: iteration 6: 481 enodes
0.260 * * [simplify]: iteration complete: 481 enodes
0.260 * * [simplify]: Extracting #0: cost 1 inf + 0
0.260 * * [simplify]: Extracting #1: cost 17 inf + 0
0.260 * * [simplify]: Extracting #2: cost 30 inf + 1
0.260 * * [simplify]: Extracting #3: cost 18 inf + 33
0.261 * * [simplify]: Extracting #4: cost 0 inf + 131
0.261 * * [simplify]: Extracting #5: cost 0 inf + 129
0.261 * [simplify]: Simplified to:
  (* 2.0 (+ (+ (+ b d) c) a))
0.265 * * [progress]: iteration 1 / 4
0.265 * * * [progress]: picking best candidate
0.273 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (+ (+ (+ b d) c) a)))>
0.273 * * * [progress]: localizing error
0.294 * * * [progress]: generating rewritten candidates
0.294 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.418 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.461 * * * [progress]: generating series expansions
0.462 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.462 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d)))
0.462 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0
0.462 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a
0.462 * [taylor]: Taking taylor expansion of a in a
0.462 * [backup-simplify]: Simplify 0 into 0
0.462 * [backup-simplify]: Simplify 1 into 1
0.462 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a
0.462 * [taylor]: Taking taylor expansion of b in a
0.462 * [backup-simplify]: Simplify b into b
0.462 * [taylor]: Taking taylor expansion of (+ c d) in a
0.462 * [taylor]: Taking taylor expansion of c in a
0.463 * [backup-simplify]: Simplify c into c
0.463 * [taylor]: Taking taylor expansion of d in a
0.463 * [backup-simplify]: Simplify d into d
0.463 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
0.463 * [taylor]: Taking taylor expansion of a in c
0.463 * [backup-simplify]: Simplify a into a
0.463 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
0.463 * [taylor]: Taking taylor expansion of b in c
0.463 * [backup-simplify]: Simplify b into b
0.463 * [taylor]: Taking taylor expansion of (+ c d) in c
0.463 * [taylor]: Taking taylor expansion of c in c
0.463 * [backup-simplify]: Simplify 0 into 0
0.463 * [backup-simplify]: Simplify 1 into 1
0.463 * [taylor]: Taking taylor expansion of d in c
0.463 * [backup-simplify]: Simplify d into d
0.463 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d
0.463 * [taylor]: Taking taylor expansion of a in d
0.463 * [backup-simplify]: Simplify a into a
0.463 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
0.463 * [taylor]: Taking taylor expansion of b in d
0.463 * [backup-simplify]: Simplify b into b
0.463 * [taylor]: Taking taylor expansion of (+ c d) in d
0.463 * [taylor]: Taking taylor expansion of c in d
0.463 * [backup-simplify]: Simplify c into c
0.463 * [taylor]: Taking taylor expansion of d in d
0.463 * [backup-simplify]: Simplify 0 into 0
0.463 * [backup-simplify]: Simplify 1 into 1
0.463 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
0.463 * [taylor]: Taking taylor expansion of a in b
0.463 * [backup-simplify]: Simplify a into a
0.463 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.463 * [taylor]: Taking taylor expansion of b in b
0.463 * [backup-simplify]: Simplify 0 into 0
0.463 * [backup-simplify]: Simplify 1 into 1
0.463 * [taylor]: Taking taylor expansion of (+ c d) in b
0.463 * [taylor]: Taking taylor expansion of c in b
0.463 * [backup-simplify]: Simplify c into c
0.463 * [taylor]: Taking taylor expansion of d in b
0.464 * [backup-simplify]: Simplify d into d
0.464 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
0.464 * [taylor]: Taking taylor expansion of a in b
0.464 * [backup-simplify]: Simplify a into a
0.464 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.464 * [taylor]: Taking taylor expansion of b in b
0.464 * [backup-simplify]: Simplify 0 into 0
0.464 * [backup-simplify]: Simplify 1 into 1
0.464 * [taylor]: Taking taylor expansion of (+ c d) in b
0.464 * [taylor]: Taking taylor expansion of c in b
0.464 * [backup-simplify]: Simplify c into c
0.464 * [taylor]: Taking taylor expansion of d in b
0.464 * [backup-simplify]: Simplify d into d
0.464 * [backup-simplify]: Simplify (+ c d) into (+ c d)
0.464 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d)
0.464 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d))
0.464 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d
0.464 * [taylor]: Taking taylor expansion of a in d
0.464 * [backup-simplify]: Simplify a into a
0.464 * [taylor]: Taking taylor expansion of (+ c d) in d
0.464 * [taylor]: Taking taylor expansion of c in d
0.464 * [backup-simplify]: Simplify c into c
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.464 * [backup-simplify]: Simplify (+ c 0) into c
0.464 * [backup-simplify]: Simplify (+ a c) into (+ a c)
0.464 * [taylor]: Taking taylor expansion of (+ a c) in c
0.465 * [taylor]: Taking taylor expansion of a in c
0.465 * [backup-simplify]: Simplify a into a
0.465 * [taylor]: Taking taylor expansion of c in c
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify 1 into 1
0.465 * [backup-simplify]: Simplify (+ a 0) into a
0.465 * [taylor]: Taking taylor expansion of a in a
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify 1 into 1
0.465 * [backup-simplify]: Simplify 0 into 0
0.466 * [backup-simplify]: Simplify (+ 0 0) into 0
0.466 * [backup-simplify]: Simplify (+ 1 0) into 1
0.467 * [backup-simplify]: Simplify (+ 0 1) into 1
0.467 * [taylor]: Taking taylor expansion of 1 in d
0.467 * [backup-simplify]: Simplify 1 into 1
0.467 * [taylor]: Taking taylor expansion of 1 in c
0.467 * [backup-simplify]: Simplify 1 into 1
0.467 * [taylor]: Taking taylor expansion of 1 in a
0.467 * [backup-simplify]: Simplify 1 into 1
0.467 * [backup-simplify]: Simplify 1 into 1
0.468 * [backup-simplify]: Simplify (+ 0 1) into 1
0.468 * [backup-simplify]: Simplify (+ 0 1) into 1
0.468 * [taylor]: Taking taylor expansion of 1 in c
0.468 * [backup-simplify]: Simplify 1 into 1
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [backup-simplify]: Simplify 1 into 1
0.468 * [backup-simplify]: Simplify 1 into 1
0.469 * [backup-simplify]: Simplify (+ 0 1) into 1
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [backup-simplify]: Simplify 1 into 1
0.469 * [backup-simplify]: Simplify 1 into 1
0.469 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d))
0.470 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))
0.470 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.470 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.470 * [taylor]: Taking taylor expansion of b in a
0.470 * [backup-simplify]: Simplify b into b
0.470 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.470 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.470 * [taylor]: Taking taylor expansion of d in a
0.470 * [backup-simplify]: Simplify d into d
0.470 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.470 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.470 * [taylor]: Taking taylor expansion of c in a
0.470 * [backup-simplify]: Simplify c into c
0.470 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.470 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.470 * [taylor]: Taking taylor expansion of a in a
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.471 * [backup-simplify]: Simplify (/ 1 1) into 1
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.471 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.471 * [taylor]: Taking taylor expansion of b in c
0.471 * [backup-simplify]: Simplify b into b
0.471 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.471 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.471 * [taylor]: Taking taylor expansion of d in c
0.471 * [backup-simplify]: Simplify d into d
0.471 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.471 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.471 * [taylor]: Taking taylor expansion of c in c
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [backup-simplify]: Simplify 1 into 1
0.472 * [backup-simplify]: Simplify (/ 1 1) into 1
0.472 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.472 * [taylor]: Taking taylor expansion of a in c
0.472 * [backup-simplify]: Simplify a into a
0.472 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.472 * [taylor]: Taking taylor expansion of b in d
0.472 * [backup-simplify]: Simplify b into b
0.472 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.472 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.472 * [taylor]: Taking taylor expansion of d in d
0.472 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify 1 into 1
0.472 * [backup-simplify]: Simplify (/ 1 1) into 1
0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.472 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.472 * [taylor]: Taking taylor expansion of c in d
0.472 * [backup-simplify]: Simplify c into c
0.473 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.473 * [taylor]: Taking taylor expansion of a in d
0.473 * [backup-simplify]: Simplify a into a
0.473 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.473 * [taylor]: Taking taylor expansion of b in b
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 1 into 1
0.473 * [backup-simplify]: Simplify (/ 1 1) into 1
0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.473 * [taylor]: Taking taylor expansion of d in b
0.473 * [backup-simplify]: Simplify d into d
0.473 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.473 * [taylor]: Taking taylor expansion of c in b
0.473 * [backup-simplify]: Simplify c into c
0.474 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.474 * [taylor]: Taking taylor expansion of a in b
0.474 * [backup-simplify]: Simplify a into a
0.474 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.474 * [taylor]: Taking taylor expansion of b in b
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.474 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.474 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.474 * [taylor]: Taking taylor expansion of d in b
0.474 * [backup-simplify]: Simplify d into d
0.474 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.474 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.475 * [taylor]: Taking taylor expansion of c in b
0.475 * [backup-simplify]: Simplify c into c
0.475 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.475 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.475 * [taylor]: Taking taylor expansion of a in b
0.475 * [backup-simplify]: Simplify a into a
0.475 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.475 * [backup-simplify]: Simplify (+ 1 0) into 1
0.475 * [taylor]: Taking taylor expansion of 1 in d
0.475 * [backup-simplify]: Simplify 1 into 1
0.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.476 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c))
0.476 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.477 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
0.477 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.477 * [taylor]: Taking taylor expansion of a in d
0.477 * [backup-simplify]: Simplify a into a
0.477 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.477 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.477 * [taylor]: Taking taylor expansion of c in d
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 d) in d
0.477 * [taylor]: Taking taylor expansion of d in d
0.477 * [backup-simplify]: Simplify 0 into 0
0.477 * [backup-simplify]: Simplify 1 into 1
0.478 * [backup-simplify]: Simplify (/ 1 1) into 1
0.478 * [backup-simplify]: Simplify (+ 0 1) into 1
0.478 * [backup-simplify]: Simplify (+ 0 1) into 1
0.478 * [taylor]: Taking taylor expansion of 1 in c
0.478 * [backup-simplify]: Simplify 1 into 1
0.479 * [taylor]: Taking taylor expansion of 1 in c
0.479 * [backup-simplify]: Simplify 1 into 1
0.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.480 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.480 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.480 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.480 * [backup-simplify]: Simplify (+ 0 0) into 0
0.481 * [backup-simplify]: Simplify (+ 0 0) into 0
0.481 * [backup-simplify]: Simplify (+ 0 0) into 0
0.481 * [taylor]: Taking taylor expansion of 0 in d
0.481 * [backup-simplify]: Simplify 0 into 0
0.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.482 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.482 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c
0.482 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.482 * [taylor]: Taking taylor expansion of a in c
0.482 * [backup-simplify]: Simplify a into a
0.482 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.482 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.482 * [taylor]: Taking taylor expansion of c in c
0.482 * [backup-simplify]: Simplify 0 into 0
0.482 * [backup-simplify]: Simplify 1 into 1
0.483 * [backup-simplify]: Simplify (/ 1 1) into 1
0.483 * [backup-simplify]: Simplify (+ 0 1) into 1
0.483 * [taylor]: Taking taylor expansion of 1 in a
0.483 * [backup-simplify]: Simplify 1 into 1
0.483 * [taylor]: Taking taylor expansion of 0 in c
0.483 * [backup-simplify]: Simplify 0 into 0
0.483 * [taylor]: Taking taylor expansion of 1 in a
0.483 * [backup-simplify]: Simplify 1 into 1
0.483 * [taylor]: Taking taylor expansion of 1 in a
0.484 * [backup-simplify]: Simplify 1 into 1
0.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.485 * [backup-simplify]: Simplify (+ 0 0) into 0
0.486 * [backup-simplify]: Simplify (+ 0 0) into 0
0.486 * [backup-simplify]: Simplify (+ 0 0) into 0
0.486 * [taylor]: Taking taylor expansion of 0 in d
0.486 * [backup-simplify]: Simplify 0 into 0
0.486 * [taylor]: Taking taylor expansion of 0 in c
0.486 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.488 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [taylor]: Taking taylor expansion of 0 in c
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [taylor]: Taking taylor expansion of 0 in c
0.489 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.490 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
0.490 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.490 * [taylor]: Taking taylor expansion of a in a
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 1 into 1
0.490 * [backup-simplify]: Simplify (/ 1 1) into 1
0.490 * [backup-simplify]: Simplify 1 into 1
0.490 * [taylor]: Taking taylor expansion of 0 in a
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [taylor]: Taking taylor expansion of 0 in a
0.490 * [backup-simplify]: Simplify 0 into 0
0.491 * [taylor]: Taking taylor expansion of 0 in a
0.491 * [backup-simplify]: Simplify 0 into 0
0.491 * [backup-simplify]: Simplify 1 into 1
0.491 * [backup-simplify]: Simplify 1 into 1
0.492 * [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.492 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))
0.492 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0
0.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.493 * [taylor]: Taking taylor expansion of b in a
0.493 * [backup-simplify]: Simplify b into b
0.493 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.493 * [taylor]: Taking taylor expansion of d in a
0.493 * [backup-simplify]: Simplify d into d
0.493 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.493 * [taylor]: Taking taylor expansion of c in a
0.493 * [backup-simplify]: Simplify c into c
0.493 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.493 * [taylor]: Taking taylor expansion of a in a
0.493 * [backup-simplify]: Simplify 0 into 0
0.493 * [backup-simplify]: Simplify 1 into 1
0.493 * [backup-simplify]: Simplify (/ 1 1) into 1
0.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.494 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.494 * [taylor]: Taking taylor expansion of b in c
0.494 * [backup-simplify]: Simplify b into b
0.494 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.494 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.494 * [taylor]: Taking taylor expansion of d in c
0.494 * [backup-simplify]: Simplify d into d
0.494 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.494 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.494 * [taylor]: Taking taylor expansion of c in c
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 1 into 1
0.494 * [backup-simplify]: Simplify (/ 1 1) into 1
0.494 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.494 * [taylor]: Taking taylor expansion of a in c
0.494 * [backup-simplify]: Simplify a into a
0.495 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.495 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.495 * [taylor]: Taking taylor expansion of b in d
0.495 * [backup-simplify]: Simplify b into b
0.495 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.495 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.495 * [taylor]: Taking taylor expansion of d in d
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify 1 into 1
0.495 * [backup-simplify]: Simplify (/ 1 1) into 1
0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.495 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.495 * [taylor]: Taking taylor expansion of c in d
0.495 * [backup-simplify]: Simplify c into c
0.495 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.495 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.496 * [taylor]: Taking taylor expansion of a in d
0.496 * [backup-simplify]: Simplify a into a
0.496 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.496 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.498 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.498 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.498 * [taylor]: Taking taylor expansion of b in b
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 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.499 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.499 * [taylor]: Taking taylor expansion of d in b
0.499 * [backup-simplify]: Simplify d into d
0.499 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.499 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.499 * [taylor]: Taking taylor expansion of c in b
0.499 * [backup-simplify]: Simplify c into c
0.499 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.499 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.499 * [taylor]: Taking taylor expansion of a in b
0.499 * [backup-simplify]: Simplify a into a
0.499 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.499 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.499 * [taylor]: Taking taylor expansion of b in b
0.500 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify 1 into 1
0.500 * [backup-simplify]: Simplify (/ 1 1) into 1
0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.500 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.500 * [taylor]: Taking taylor expansion of d in b
0.500 * [backup-simplify]: Simplify d into d
0.500 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.500 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.500 * [taylor]: Taking taylor expansion of c in b
0.500 * [backup-simplify]: Simplify c into c
0.500 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.500 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.500 * [taylor]: Taking taylor expansion of a in b
0.500 * [backup-simplify]: Simplify a into a
0.501 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.501 * [backup-simplify]: Simplify (+ 1 0) into 1
0.501 * [backup-simplify]: Simplify (- 1) into -1
0.501 * [taylor]: Taking taylor expansion of -1 in d
0.501 * [backup-simplify]: Simplify -1 into -1
0.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.502 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c))
0.503 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.503 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
0.503 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))))
0.503 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d
0.503 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.503 * [taylor]: Taking taylor expansion of a in d
0.503 * [backup-simplify]: Simplify a into a
0.503 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
0.503 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.503 * [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 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.505 * [backup-simplify]: Simplify (+ 1 0) into 1
0.505 * [backup-simplify]: Simplify (+ 0 1) into 1
0.505 * [backup-simplify]: Simplify (- 1) into -1
0.505 * [taylor]: Taking taylor expansion of -1 in c
0.505 * [backup-simplify]: Simplify -1 into -1
0.506 * [taylor]: Taking taylor expansion of -1 in c
0.506 * [backup-simplify]: Simplify -1 into -1
0.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.507 * [backup-simplify]: Simplify (+ 0 0) into 0
0.507 * [backup-simplify]: Simplify (+ 0 0) into 0
0.507 * [backup-simplify]: Simplify (+ 0 0) into 0
0.507 * [backup-simplify]: Simplify (- 0) into 0
0.507 * [taylor]: Taking taylor expansion of 0 in d
0.507 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.508 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c)
0.508 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
0.508 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c)))
0.508 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c
0.508 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.508 * [taylor]: Taking taylor expansion of a in c
0.508 * [backup-simplify]: Simplify a into a
0.508 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.508 * [taylor]: Taking taylor expansion of c in c
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify 1 into 1
0.508 * [backup-simplify]: Simplify (/ 1 1) into 1
0.509 * [backup-simplify]: Simplify (+ 0 1) into 1
0.509 * [backup-simplify]: Simplify (- 1) into -1
0.509 * [taylor]: Taking taylor expansion of -1 in a
0.509 * [backup-simplify]: Simplify -1 into -1
0.509 * [taylor]: Taking taylor expansion of 0 in c
0.509 * [backup-simplify]: Simplify 0 into 0
0.509 * [taylor]: Taking taylor expansion of -1 in a
0.509 * [backup-simplify]: Simplify -1 into -1
0.509 * [taylor]: Taking taylor expansion of -1 in a
0.509 * [backup-simplify]: Simplify -1 into -1
0.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
0.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.510 * [backup-simplify]: Simplify (+ 0 0) into 0
0.510 * [backup-simplify]: Simplify (+ 0 0) into 0
0.511 * [backup-simplify]: Simplify (+ 0 0) into 0
0.511 * [backup-simplify]: Simplify (- 0) into 0
0.511 * [taylor]: Taking taylor expansion of 0 in d
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [taylor]: Taking taylor expansion of 0 in c
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.512 * [backup-simplify]: Simplify (+ 0 0) into 0
0.512 * [backup-simplify]: Simplify (+ 0 0) into 0
0.512 * [backup-simplify]: Simplify (- 0) into 0
0.512 * [taylor]: Taking taylor expansion of 0 in c
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [taylor]: Taking taylor expansion of 0 in c
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.513 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
0.513 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
0.513 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.513 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.513 * [taylor]: Taking taylor expansion of a in a
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.514 * [backup-simplify]: Simplify (- 1) into -1
0.514 * [backup-simplify]: Simplify -1 into -1
0.514 * [taylor]: Taking taylor expansion of 0 in a
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [taylor]: Taking taylor expansion of 0 in a
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [taylor]: Taking taylor expansion of 0 in a
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify -1 into -1
0.514 * [backup-simplify]: Simplify -1 into -1
0.515 * [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.515 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.515 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d))
0.515 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0
0.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
0.515 * [taylor]: Taking taylor expansion of b in c
0.515 * [backup-simplify]: Simplify b into b
0.515 * [taylor]: Taking taylor expansion of (+ c d) in c
0.515 * [taylor]: Taking taylor expansion of c in c
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [taylor]: Taking taylor expansion of d in c
0.515 * [backup-simplify]: Simplify d into d
0.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
0.515 * [taylor]: Taking taylor expansion of b in d
0.515 * [backup-simplify]: Simplify b into b
0.515 * [taylor]: Taking taylor expansion of (+ c d) in d
0.515 * [taylor]: Taking taylor expansion of c in d
0.515 * [backup-simplify]: Simplify c into c
0.515 * [taylor]: Taking taylor expansion of d in d
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.515 * [taylor]: Taking taylor expansion of b in b
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [taylor]: Taking taylor expansion of (+ c d) in b
0.515 * [taylor]: Taking taylor expansion of c in b
0.515 * [backup-simplify]: Simplify c into c
0.515 * [taylor]: Taking taylor expansion of d in b
0.515 * [backup-simplify]: Simplify d into d
0.515 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
0.515 * [taylor]: Taking taylor expansion of b in b
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [taylor]: Taking taylor expansion of (+ c d) in b
0.515 * [taylor]: Taking taylor expansion of c in b
0.515 * [backup-simplify]: Simplify c into c
0.515 * [taylor]: Taking taylor expansion of d in b
0.515 * [backup-simplify]: Simplify d into d
0.515 * [backup-simplify]: Simplify (+ c d) into (+ c d)
0.515 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d)
0.515 * [taylor]: Taking taylor expansion of (+ c d) in d
0.515 * [taylor]: Taking taylor expansion of c in d
0.515 * [backup-simplify]: Simplify c into c
0.515 * [taylor]: Taking taylor expansion of d in d
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (+ c 0) into c
0.516 * [taylor]: Taking taylor expansion of c in c
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify (+ 0 0) into 0
0.516 * [backup-simplify]: Simplify (+ 1 0) into 1
0.516 * [taylor]: Taking taylor expansion of 1 in d
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [taylor]: Taking taylor expansion of 1 in c
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (+ 0 1) into 1
0.516 * [taylor]: Taking taylor expansion of 1 in c
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d))
0.517 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))
0.517 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c
0.517 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.517 * [taylor]: Taking taylor expansion of b in c
0.517 * [backup-simplify]: Simplify b into b
0.517 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.517 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.517 * [taylor]: Taking taylor expansion of c in c
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify (/ 1 1) into 1
0.517 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.518 * [taylor]: Taking taylor expansion of d in c
0.518 * [backup-simplify]: Simplify d into d
0.518 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d
0.518 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.518 * [taylor]: Taking taylor expansion of b in d
0.518 * [backup-simplify]: Simplify b into b
0.518 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.518 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.518 * [taylor]: Taking taylor expansion of c in d
0.518 * [backup-simplify]: Simplify c into c
0.518 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.518 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.518 * [taylor]: Taking taylor expansion of d in d
0.518 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify 1 into 1
0.518 * [backup-simplify]: Simplify (/ 1 1) into 1
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.518 * [taylor]: Taking taylor expansion of b in b
0.518 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify 1 into 1
0.518 * [backup-simplify]: Simplify (/ 1 1) into 1
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.518 * [taylor]: Taking taylor expansion of c in b
0.518 * [backup-simplify]: Simplify c into c
0.519 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.519 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.519 * [taylor]: Taking taylor expansion of d in b
0.519 * [backup-simplify]: Simplify d into d
0.519 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.519 * [taylor]: Taking taylor expansion of b in b
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.519 * [backup-simplify]: Simplify (/ 1 1) into 1
0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.519 * [taylor]: Taking taylor expansion of c in b
0.519 * [backup-simplify]: Simplify c into c
0.519 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.519 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.519 * [taylor]: Taking taylor expansion of d in b
0.519 * [backup-simplify]: Simplify d into d
0.519 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.519 * [backup-simplify]: Simplify (+ 1 0) into 1
0.519 * [taylor]: Taking taylor expansion of 1 in d
0.519 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.520 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
0.520 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
0.520 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.520 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.520 * [taylor]: Taking taylor expansion of c in d
0.520 * [backup-simplify]: Simplify c into c
0.520 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.520 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.520 * [taylor]: Taking taylor expansion of d in d
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (/ 1 1) into 1
0.521 * [backup-simplify]: Simplify (+ 0 1) into 1
0.521 * [taylor]: Taking taylor expansion of 1 in c
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [taylor]: Taking taylor expansion of 1 in c
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.522 * [backup-simplify]: Simplify (+ 0 0) into 0
0.522 * [backup-simplify]: Simplify (+ 0 0) into 0
0.522 * [taylor]: Taking taylor expansion of 0 in d
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.522 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.523 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.523 * [taylor]: Taking taylor expansion of c in c
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [backup-simplify]: Simplify (/ 1 1) into 1
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [taylor]: Taking taylor expansion of 0 in c
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [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.524 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))
0.524 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0
0.524 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c
0.524 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.524 * [taylor]: Taking taylor expansion of b in c
0.524 * [backup-simplify]: Simplify b into b
0.524 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.524 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.524 * [taylor]: Taking taylor expansion of c in c
0.524 * [backup-simplify]: Simplify 0 into 0
0.524 * [backup-simplify]: Simplify 1 into 1
0.524 * [backup-simplify]: Simplify (/ 1 1) into 1
0.524 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.524 * [taylor]: Taking taylor expansion of d in c
0.524 * [backup-simplify]: Simplify d into d
0.524 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.524 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d
0.524 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.524 * [taylor]: Taking taylor expansion of b in d
0.524 * [backup-simplify]: Simplify b into b
0.524 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.524 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.524 * [taylor]: Taking taylor expansion of c in d
0.524 * [backup-simplify]: Simplify c into c
0.524 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.524 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.524 * [taylor]: Taking taylor expansion of d in d
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 1 into 1
0.525 * [backup-simplify]: Simplify (/ 1 1) into 1
0.525 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b
0.525 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.525 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.525 * [taylor]: Taking taylor expansion of b in b
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 1 into 1
0.525 * [backup-simplify]: Simplify (/ 1 1) into 1
0.525 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.525 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.525 * [taylor]: Taking taylor expansion of c in b
0.525 * [backup-simplify]: Simplify c into c
0.525 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.525 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.525 * [taylor]: Taking taylor expansion of d in b
0.525 * [backup-simplify]: Simplify d into d
0.525 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.525 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b
0.525 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
0.525 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.525 * [taylor]: Taking taylor expansion of b in b
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 1 into 1
0.526 * [backup-simplify]: Simplify (/ 1 1) into 1
0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
0.526 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.526 * [taylor]: Taking taylor expansion of c in b
0.526 * [backup-simplify]: Simplify c into c
0.526 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.526 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.526 * [taylor]: Taking taylor expansion of d in b
0.526 * [backup-simplify]: Simplify d into d
0.526 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
0.526 * [backup-simplify]: Simplify (+ 1 0) into 1
0.526 * [backup-simplify]: Simplify (- 1) into -1
0.526 * [taylor]: Taking taylor expansion of -1 in d
0.526 * [backup-simplify]: Simplify -1 into -1
0.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.527 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
0.527 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
0.527 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d)))
0.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d
0.527 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
0.527 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.527 * [taylor]: Taking taylor expansion of c in d
0.527 * [backup-simplify]: Simplify c into c
0.527 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.527 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.527 * [taylor]: Taking taylor expansion of d in d
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify 1 into 1
0.527 * [backup-simplify]: Simplify (/ 1 1) into 1
0.528 * [backup-simplify]: Simplify (+ 0 1) into 1
0.528 * [backup-simplify]: Simplify (- 1) into -1
0.528 * [taylor]: Taking taylor expansion of -1 in c
0.528 * [backup-simplify]: Simplify -1 into -1
0.528 * [taylor]: Taking taylor expansion of -1 in c
0.528 * [backup-simplify]: Simplify -1 into -1
0.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
0.529 * [backup-simplify]: Simplify (+ 0 0) into 0
0.529 * [backup-simplify]: Simplify (+ 0 0) into 0
0.529 * [backup-simplify]: Simplify (- 0) into 0
0.529 * [taylor]: Taking taylor expansion of 0 in d
0.529 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.530 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c)
0.530 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c))
0.530 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.530 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.530 * [taylor]: Taking taylor expansion of c in c
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [backup-simplify]: Simplify (/ 1 1) into 1
0.531 * [backup-simplify]: Simplify (- 1) into -1
0.531 * [backup-simplify]: Simplify -1 into -1
0.531 * [taylor]: Taking taylor expansion of 0 in c
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify -1 into -1
0.531 * [backup-simplify]: Simplify -1 into -1
0.531 * [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.531 * * * [progress]: simplifying candidates
0.532 * [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.532 * * [simplify]: iteration 0: 57 enodes
0.551 * * [simplify]: iteration 1: 161 enodes
0.621 * * [simplify]: iteration 2: 819 enodes
0.984 * * [simplify]: iteration complete: 5000 enodes
0.984 * * [simplify]: Extracting #0: cost 25 inf + 0
0.985 * * [simplify]: Extracting #1: cost 475 inf + 0
0.994 * * [simplify]: Extracting #2: cost 1818 inf + 533
1.010 * * [simplify]: Extracting #3: cost 1247 inf + 10500
1.017 * * [simplify]: Extracting #4: cost 50 inf + 25332
1.024 * * [simplify]: Extracting #5: cost 29 inf + 25575
1.031 * * [simplify]: Extracting #6: cost 5 inf + 25677
1.037 * * [simplify]: Extracting #7: cost 0 inf + 25708
1.044 * [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.045 * * * [progress]: adding candidates to table
1.218 * * [progress]: iteration 2 / 4
1.218 * * * [progress]: picking best candidate
1.281 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a))))>
1.282 * * * [progress]: localizing error
1.312 * * * [progress]: generating rewritten candidates
1.312 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2)
1.335 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.354 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.378 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.687 * * * [progress]: generating series expansions
1.687 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2)
1.687 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d))
1.687 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0
1.687 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a
1.688 * [taylor]: Taking taylor expansion of a in a
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [taylor]: Taking taylor expansion of (+ b d) in a
1.688 * [taylor]: Taking taylor expansion of b in a
1.688 * [backup-simplify]: Simplify b into b
1.688 * [taylor]: Taking taylor expansion of d in a
1.688 * [backup-simplify]: Simplify d into d
1.688 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d
1.688 * [taylor]: Taking taylor expansion of a in d
1.688 * [backup-simplify]: Simplify a into a
1.688 * [taylor]: Taking taylor expansion of (+ b d) in d
1.688 * [taylor]: Taking taylor expansion of b in d
1.688 * [backup-simplify]: Simplify b into b
1.688 * [taylor]: Taking taylor expansion of d in d
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.688 * [taylor]: Taking taylor expansion of a in b
1.688 * [backup-simplify]: Simplify a into a
1.688 * [taylor]: Taking taylor expansion of (+ b d) in b
1.688 * [taylor]: Taking taylor expansion of b in b
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [taylor]: Taking taylor expansion of d in b
1.688 * [backup-simplify]: Simplify d into d
1.688 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.688 * [taylor]: Taking taylor expansion of a in b
1.688 * [backup-simplify]: Simplify a into a
1.688 * [taylor]: Taking taylor expansion of (+ b d) in b
1.688 * [taylor]: Taking taylor expansion of b in b
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [taylor]: Taking taylor expansion of d in b
1.688 * [backup-simplify]: Simplify d into d
1.688 * [backup-simplify]: Simplify (+ 0 d) into d
1.688 * [backup-simplify]: Simplify (+ a d) into (+ a d)
1.688 * [taylor]: Taking taylor expansion of (+ a d) in d
1.688 * [taylor]: Taking taylor expansion of a in d
1.688 * [backup-simplify]: Simplify a into a
1.688 * [taylor]: Taking taylor expansion of d in d
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.689 * [backup-simplify]: Simplify (+ a 0) into a
1.689 * [taylor]: Taking taylor expansion of a in a
1.689 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify 1 into 1
1.689 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify (+ 1 0) into 1
1.690 * [backup-simplify]: Simplify (+ 0 1) into 1
1.690 * [taylor]: Taking taylor expansion of 1 in d
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [taylor]: Taking taylor expansion of 1 in a
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify (+ 0 1) into 1
1.690 * [taylor]: Taking taylor expansion of 1 in a
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify 1 into 1
1.691 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d))
1.691 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.691 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0
1.691 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a
1.691 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.691 * [taylor]: Taking taylor expansion of b in a
1.691 * [backup-simplify]: Simplify b into b
1.691 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.691 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a
1.691 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.691 * [taylor]: Taking taylor expansion of a in a
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.692 * [backup-simplify]: Simplify (/ 1 1) into 1
1.692 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.692 * [taylor]: Taking taylor expansion of d in a
1.692 * [backup-simplify]: Simplify d into d
1.692 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d
1.692 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.692 * [taylor]: Taking taylor expansion of b in d
1.692 * [backup-simplify]: Simplify b into b
1.692 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.692 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.692 * [taylor]: Taking taylor expansion of a in d
1.692 * [backup-simplify]: Simplify a into a
1.692 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.692 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.692 * [taylor]: Taking taylor expansion of d in d
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 b) (+ (/ 1 a) (/ 1 d))) in b
1.693 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.693 * [taylor]: Taking taylor expansion of b in b
1.693 * [backup-simplify]: Simplify 0 into 0
1.693 * [backup-simplify]: Simplify 1 into 1
1.693 * [backup-simplify]: Simplify (/ 1 1) into 1
1.693 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.693 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.693 * [taylor]: Taking taylor expansion of a in b
1.693 * [backup-simplify]: Simplify a into a
1.693 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
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 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.693 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.693 * [taylor]: Taking taylor expansion of b in b
1.693 * [backup-simplify]: Simplify 0 into 0
1.694 * [backup-simplify]: Simplify 1 into 1
1.694 * [backup-simplify]: Simplify (/ 1 1) into 1
1.694 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.694 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.694 * [taylor]: Taking taylor expansion of a in b
1.694 * [backup-simplify]: Simplify a into a
1.694 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.694 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.694 * [taylor]: Taking taylor expansion of d in b
1.694 * [backup-simplify]: Simplify d into d
1.694 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.695 * [backup-simplify]: Simplify (+ 1 0) into 1
1.695 * [taylor]: Taking taylor expansion of 1 in d
1.695 * [backup-simplify]: Simplify 1 into 1
1.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.696 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.696 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.696 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.696 * [taylor]: Taking taylor expansion of a in d
1.696 * [backup-simplify]: Simplify a into a
1.696 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.696 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.696 * [taylor]: Taking taylor expansion of d in d
1.696 * [backup-simplify]: Simplify 0 into 0
1.696 * [backup-simplify]: Simplify 1 into 1
1.696 * [backup-simplify]: Simplify (/ 1 1) into 1
1.697 * [backup-simplify]: Simplify (+ 0 1) into 1
1.697 * [taylor]: Taking taylor expansion of 1 in a
1.697 * [backup-simplify]: Simplify 1 into 1
1.697 * [taylor]: Taking taylor expansion of 1 in a
1.697 * [backup-simplify]: Simplify 1 into 1
1.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.698 * [backup-simplify]: Simplify (+ 0 0) into 0
1.698 * [backup-simplify]: Simplify (+ 0 0) into 0
1.698 * [taylor]: Taking taylor expansion of 0 in d
1.698 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.699 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.699 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.699 * [taylor]: Taking taylor expansion of a in a
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (/ 1 1) into 1
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [taylor]: Taking taylor expansion of 0 in a
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 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 a)) (* 1 1))))) into (+ a (+ b d))
1.700 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))))
1.700 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0
1.700 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a
1.700 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.700 * [taylor]: Taking taylor expansion of b in a
1.700 * [backup-simplify]: Simplify b into b
1.700 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a
1.700 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.700 * [taylor]: Taking taylor expansion of a in a
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 1 into 1
1.700 * [backup-simplify]: Simplify (/ 1 1) into 1
1.700 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.700 * [taylor]: Taking taylor expansion of d in a
1.701 * [backup-simplify]: Simplify d into d
1.701 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.701 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in d
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d
1.701 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.701 * [taylor]: Taking taylor expansion of b in d
1.701 * [backup-simplify]: Simplify b into b
1.701 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.701 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.701 * [taylor]: Taking taylor expansion of a in d
1.701 * [backup-simplify]: Simplify a into a
1.701 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.701 * [taylor]: Taking taylor expansion of (/ 1 d) in 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 (/ 1 1) into 1
1.701 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.701 * [taylor]: Taking taylor expansion of (/ 1 b) 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 * [backup-simplify]: Simplify (/ 1 1) into 1
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.701 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.701 * [taylor]: Taking taylor expansion of a in b
1.701 * [backup-simplify]: Simplify a into a
1.701 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.701 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.702 * [taylor]: Taking taylor expansion of d in b
1.702 * [backup-simplify]: Simplify d into d
1.702 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.702 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.702 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.702 * [taylor]: Taking taylor expansion of b in b
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 1 into 1
1.702 * [backup-simplify]: Simplify (/ 1 1) into 1
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.702 * [taylor]: Taking taylor expansion of a in b
1.702 * [backup-simplify]: Simplify a into a
1.702 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.702 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.702 * [taylor]: Taking taylor expansion of d in b
1.702 * [backup-simplify]: Simplify d into d
1.702 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.702 * [backup-simplify]: Simplify (+ 1 0) into 1
1.703 * [backup-simplify]: Simplify (- 1) 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 (/ 0 1)))) into 0
1.703 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.703 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.703 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d)))
1.703 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d
1.703 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.703 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.703 * [taylor]: Taking taylor expansion of a in d
1.703 * [backup-simplify]: Simplify a into a
1.703 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.703 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.703 * [taylor]: Taking taylor expansion of d in d
1.703 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (/ 1 1) into 1
1.704 * [backup-simplify]: Simplify (+ 0 1) into 1
1.704 * [backup-simplify]: Simplify (- 1) into -1
1.704 * [taylor]: Taking taylor expansion of -1 in a
1.704 * [backup-simplify]: Simplify -1 into -1
1.704 * [taylor]: Taking taylor expansion of -1 in a
1.704 * [backup-simplify]: Simplify -1 into -1
1.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.705 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [backup-simplify]: Simplify (- 0) into 0
1.706 * [taylor]: Taking taylor expansion of 0 in d
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.706 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.706 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.706 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.706 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.706 * [taylor]: Taking taylor expansion of a in a
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 * [backup-simplify]: Simplify (- 1) into -1
1.707 * [backup-simplify]: Simplify -1 into -1
1.707 * [taylor]: Taking taylor expansion of 0 in a
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify -1 into -1
1.707 * [backup-simplify]: Simplify -1 into -1
1.707 * [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.708 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.708 * [backup-simplify]: Simplify (+ c (+ b d)) into (+ b (+ c d))
1.708 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (c b d) around 0
1.708 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.708 * [taylor]: Taking taylor expansion of b in d
1.708 * [backup-simplify]: Simplify b into b
1.708 * [taylor]: Taking taylor expansion of (+ c d) in d
1.708 * [taylor]: Taking taylor expansion of c in d
1.708 * [backup-simplify]: Simplify c into c
1.708 * [taylor]: Taking taylor expansion of d in d
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.708 * [taylor]: Taking taylor expansion of b in b
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [taylor]: Taking taylor expansion of (+ c d) in b
1.708 * [taylor]: Taking taylor expansion of c in b
1.708 * [backup-simplify]: Simplify c into c
1.708 * [taylor]: Taking taylor expansion of d in b
1.708 * [backup-simplify]: Simplify d into d
1.708 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.708 * [taylor]: Taking taylor expansion of b in c
1.708 * [backup-simplify]: Simplify b into b
1.708 * [taylor]: Taking taylor expansion of (+ c d) in c
1.708 * [taylor]: Taking taylor expansion of c in c
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [taylor]: Taking taylor expansion of d in c
1.708 * [backup-simplify]: Simplify d into d
1.708 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.708 * [taylor]: Taking taylor expansion of b in c
1.708 * [backup-simplify]: Simplify b into b
1.708 * [taylor]: Taking taylor expansion of (+ c d) in c
1.708 * [taylor]: Taking taylor expansion of c in c
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [taylor]: Taking taylor expansion of d in c
1.708 * [backup-simplify]: Simplify d into d
1.708 * [backup-simplify]: Simplify (+ 0 d) into d
1.708 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.708 * [taylor]: Taking taylor expansion of (+ b d) in b
1.708 * [taylor]: Taking taylor expansion of b in b
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [taylor]: Taking taylor expansion of d in b
1.708 * [backup-simplify]: Simplify d into d
1.708 * [backup-simplify]: Simplify (+ 0 d) into d
1.708 * [taylor]: Taking taylor expansion of d in d
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify (+ 1 0) into 1
1.709 * [backup-simplify]: Simplify (+ 0 1) into 1
1.709 * [taylor]: Taking taylor expansion of 1 in b
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [taylor]: Taking taylor expansion of 1 in d
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (+ 1 0) into 1
1.709 * [taylor]: Taking taylor expansion of 1 in d
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify 1 into 1
1.710 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* b 1))) (* 1 (* 1 (* 1 c))))) into (+ b (+ c d))
1.710 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
1.710 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in (c b d) around 0
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.710 * [taylor]: Taking taylor expansion of b in d
1.710 * [backup-simplify]: Simplify b into b
1.710 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.710 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.710 * [taylor]: Taking taylor expansion of d in d
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 c) in d
1.710 * [taylor]: Taking taylor expansion of c in d
1.710 * [backup-simplify]: Simplify c into c
1.710 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.711 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.711 * [taylor]: Taking taylor expansion of b in b
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [backup-simplify]: Simplify (/ 1 1) into 1
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.711 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.711 * [taylor]: Taking taylor expansion of d in b
1.711 * [backup-simplify]: Simplify d into d
1.711 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.711 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.711 * [taylor]: Taking taylor expansion of c in b
1.711 * [backup-simplify]: Simplify c into c
1.711 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.711 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.711 * [taylor]: Taking taylor expansion of b in c
1.711 * [backup-simplify]: Simplify b into b
1.711 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.711 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.711 * [taylor]: Taking taylor expansion of d in c
1.711 * [backup-simplify]: Simplify d into d
1.711 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.711 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.711 * [taylor]: Taking taylor expansion of c in c
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [backup-simplify]: Simplify (/ 1 1) into 1
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.711 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.711 * [taylor]: Taking taylor expansion of b in c
1.712 * [backup-simplify]: Simplify b into b
1.712 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.712 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.712 * [taylor]: Taking taylor expansion of d in c
1.712 * [backup-simplify]: Simplify d into d
1.712 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.712 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.712 * [taylor]: Taking taylor expansion of c in c
1.712 * [backup-simplify]: Simplify 0 into 0
1.712 * [backup-simplify]: Simplify 1 into 1
1.712 * [backup-simplify]: Simplify (/ 1 1) into 1
1.712 * [backup-simplify]: Simplify (+ 0 1) into 1
1.712 * [backup-simplify]: Simplify (+ 0 1) into 1
1.713 * [taylor]: Taking taylor expansion of 1 in b
1.713 * [backup-simplify]: Simplify 1 into 1
1.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.713 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.713 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.713 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.713 * [taylor]: Taking taylor expansion of b in b
1.713 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify 1 into 1
1.713 * [backup-simplify]: Simplify (/ 1 1) into 1
1.713 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.713 * [taylor]: Taking taylor expansion of d in b
1.713 * [backup-simplify]: Simplify d into d
1.714 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.714 * [backup-simplify]: Simplify (+ 1 0) into 1
1.714 * [taylor]: Taking taylor expansion of 1 in d
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [taylor]: Taking taylor expansion of 1 in d
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify (+ 0 0) into 0
1.715 * [backup-simplify]: Simplify (+ 0 0) into 0
1.715 * [taylor]: Taking taylor expansion of 0 in b
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.716 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 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.716 * [backup-simplify]: Simplify (/ 1 1) into 1
1.716 * [backup-simplify]: Simplify 1 into 1
1.716 * [taylor]: Taking taylor expansion of 0 in d
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify 1 into 1
1.716 * [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.717 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))
1.717 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (c b d) around 0
1.717 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.717 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.717 * [taylor]: Taking taylor expansion of b in d
1.717 * [backup-simplify]: Simplify b into b
1.717 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.717 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.717 * [taylor]: Taking taylor expansion of d in d
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 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.718 * [taylor]: Taking taylor expansion of d in b
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 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.718 * [backup-simplify]: Simplify (/ 1 1) into 1
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 * [backup-simplify]: Simplify (+ 0 1) into 1
1.719 * [backup-simplify]: Simplify (+ 0 1) into 1
1.720 * [backup-simplify]: Simplify (- 1) into -1
1.720 * [taylor]: Taking taylor expansion of -1 in b
1.720 * [backup-simplify]: Simplify -1 into -1
1.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.720 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.720 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.720 * [backup-simplify]: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d)))
1.720 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.720 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.720 * [taylor]: Taking taylor expansion of b in b
1.720 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 1 into 1
1.721 * [backup-simplify]: Simplify (/ 1 1) into 1
1.721 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.721 * [taylor]: Taking taylor expansion of d in b
1.721 * [backup-simplify]: Simplify d into d
1.721 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.721 * [backup-simplify]: Simplify (+ 1 0) into 1
1.721 * [backup-simplify]: Simplify (- 1) into -1
1.721 * [taylor]: Taking taylor expansion of -1 in d
1.721 * [backup-simplify]: Simplify -1 into -1
1.721 * [taylor]: Taking taylor expansion of -1 in d
1.721 * [backup-simplify]: Simplify -1 into -1
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.722 * [backup-simplify]: Simplify (+ 0 0) into 0
1.723 * [backup-simplify]: Simplify (+ 0 0) into 0
1.723 * [backup-simplify]: Simplify (- 0) into 0
1.723 * [taylor]: Taking taylor expansion of 0 in b
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.723 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.723 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.723 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.724 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.724 * [taylor]: Taking taylor expansion of d in d
1.724 * [backup-simplify]: Simplify 0 into 0
1.724 * [backup-simplify]: Simplify 1 into 1
1.724 * [backup-simplify]: Simplify (/ 1 1) into 1
1.724 * [backup-simplify]: Simplify (- 1) into -1
1.724 * [backup-simplify]: Simplify -1 into -1
1.724 * [taylor]: Taking taylor expansion of 0 in d
1.724 * [backup-simplify]: Simplify 0 into 0
1.724 * [backup-simplify]: Simplify -1 into -1
1.724 * [backup-simplify]: Simplify -1 into -1
1.725 * [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.725 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.725 * [backup-simplify]: Simplify (+ c (+ b d)) into (+ b (+ c d))
1.725 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (c b d) around 0
1.725 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.725 * [taylor]: Taking taylor expansion of b in d
1.725 * [backup-simplify]: Simplify b into b
1.725 * [taylor]: Taking taylor expansion of (+ c d) in d
1.725 * [taylor]: Taking taylor expansion of c in d
1.725 * [backup-simplify]: Simplify c into c
1.725 * [taylor]: Taking taylor expansion of d in d
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.725 * [taylor]: Taking taylor expansion of b in b
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [taylor]: Taking taylor expansion of (+ c d) in b
1.725 * [taylor]: Taking taylor expansion of c in b
1.725 * [backup-simplify]: Simplify c into c
1.725 * [taylor]: Taking taylor expansion of d in b
1.725 * [backup-simplify]: Simplify d into d
1.725 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.725 * [taylor]: Taking taylor expansion of b in c
1.725 * [backup-simplify]: Simplify b into b
1.725 * [taylor]: Taking taylor expansion of (+ c d) in c
1.725 * [taylor]: Taking taylor expansion of c in c
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [taylor]: Taking taylor expansion of d in c
1.725 * [backup-simplify]: Simplify d into d
1.725 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.725 * [taylor]: Taking taylor expansion of b in c
1.725 * [backup-simplify]: Simplify b into b
1.725 * [taylor]: Taking taylor expansion of (+ c d) in c
1.725 * [taylor]: Taking taylor expansion of c in c
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [taylor]: Taking taylor expansion of d in c
1.725 * [backup-simplify]: Simplify d into d
1.725 * [backup-simplify]: Simplify (+ 0 d) into d
1.725 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.725 * [taylor]: Taking taylor expansion of (+ b d) in b
1.725 * [taylor]: Taking taylor expansion of b in b
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [taylor]: Taking taylor expansion of d in b
1.725 * [backup-simplify]: Simplify d into d
1.725 * [backup-simplify]: Simplify (+ 0 d) into d
1.725 * [taylor]: Taking taylor expansion of d in d
1.726 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify (+ 1 0) into 1
1.726 * [backup-simplify]: Simplify (+ 0 1) into 1
1.726 * [taylor]: Taking taylor expansion of 1 in b
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [taylor]: Taking taylor expansion of 1 in d
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [backup-simplify]: Simplify (+ 1 0) into 1
1.727 * [taylor]: Taking taylor expansion of 1 in d
1.727 * [backup-simplify]: Simplify 1 into 1
1.727 * [backup-simplify]: Simplify 1 into 1
1.727 * [backup-simplify]: Simplify 1 into 1
1.727 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* b 1))) (* 1 (* 1 (* 1 c))))) into (+ b (+ c d))
1.727 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
1.727 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in (c b d) around 0
1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.727 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.727 * [taylor]: Taking taylor expansion of b in d
1.727 * [backup-simplify]: Simplify b into b
1.727 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) 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 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.728 * [taylor]: Taking taylor expansion of c in d
1.728 * [backup-simplify]: Simplify c into c
1.728 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.728 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.728 * [taylor]: Taking taylor expansion of b in b
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify 1 into 1
1.728 * [backup-simplify]: Simplify (/ 1 1) into 1
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.728 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.728 * [taylor]: Taking taylor expansion of d in b
1.728 * [backup-simplify]: Simplify d into d
1.728 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.728 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.728 * [taylor]: Taking taylor expansion of c in b
1.728 * [backup-simplify]: Simplify c into c
1.728 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.728 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.728 * [taylor]: Taking taylor expansion of b in c
1.728 * [backup-simplify]: Simplify b into b
1.728 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.728 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.728 * [taylor]: Taking taylor expansion of d in c
1.728 * [backup-simplify]: Simplify d into d
1.728 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.728 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.728 * [taylor]: Taking taylor expansion of c in c
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (/ 1 1) into 1
1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.729 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.729 * [taylor]: Taking taylor expansion of b in c
1.729 * [backup-simplify]: Simplify b into b
1.729 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.729 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.729 * [taylor]: Taking taylor expansion of d in c
1.729 * [backup-simplify]: Simplify d into d
1.729 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.729 * [taylor]: Taking taylor expansion of c in c
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (/ 1 1) into 1
1.729 * [backup-simplify]: Simplify (+ 0 1) into 1
1.730 * [backup-simplify]: Simplify (+ 0 1) into 1
1.730 * [taylor]: Taking taylor expansion of 1 in b
1.730 * [backup-simplify]: Simplify 1 into 1
1.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.730 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.730 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.730 * [taylor]: Taking taylor expansion of (/ 1 b) 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.731 * [backup-simplify]: Simplify (/ 1 1) into 1
1.731 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.731 * [taylor]: Taking taylor expansion of d in b
1.731 * [backup-simplify]: Simplify d into d
1.731 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.731 * [backup-simplify]: Simplify (+ 1 0) into 1
1.731 * [taylor]: Taking taylor expansion of 1 in d
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [taylor]: Taking taylor expansion of 1 in d
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.732 * [backup-simplify]: Simplify (+ 0 0) into 0
1.732 * [backup-simplify]: Simplify (+ 0 0) into 0
1.732 * [taylor]: Taking taylor expansion of 0 in b
1.732 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.733 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.733 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.733 * [taylor]: Taking taylor expansion of d in d
1.733 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify 1 into 1
1.733 * [backup-simplify]: Simplify (/ 1 1) into 1
1.733 * [backup-simplify]: Simplify 1 into 1
1.733 * [taylor]: Taking taylor expansion of 0 in d
1.733 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify 1 into 1
1.733 * [backup-simplify]: Simplify 1 into 1
1.734 * [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.734 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))
1.734 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (c b d) around 0
1.734 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d
1.734 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d
1.734 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.734 * [taylor]: Taking taylor expansion of b in d
1.734 * [backup-simplify]: Simplify b into b
1.734 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.734 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
1.734 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.734 * [taylor]: Taking taylor expansion of d in d
1.734 * [backup-simplify]: Simplify 0 into 0
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [backup-simplify]: Simplify (/ 1 1) into 1
1.734 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.735 * [taylor]: Taking taylor expansion of c in d
1.735 * [backup-simplify]: Simplify c into c
1.735 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.735 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b
1.735 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
1.735 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.735 * [taylor]: Taking taylor expansion of b in b
1.735 * [backup-simplify]: Simplify 0 into 0
1.735 * [backup-simplify]: Simplify 1 into 1
1.735 * [backup-simplify]: Simplify (/ 1 1) into 1
1.735 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b
1.735 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.735 * [taylor]: Taking taylor expansion of d in b
1.735 * [backup-simplify]: Simplify d into d
1.735 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.735 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.735 * [taylor]: Taking taylor expansion of c in b
1.736 * [backup-simplify]: Simplify c into c
1.736 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.736 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.736 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.736 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.736 * [taylor]: Taking taylor expansion of b in c
1.736 * [backup-simplify]: Simplify b into b
1.736 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.736 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.736 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.736 * [taylor]: Taking taylor expansion of d in c
1.736 * [backup-simplify]: Simplify d into d
1.736 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.736 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.736 * [taylor]: Taking taylor expansion of c in c
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify 1 into 1
1.737 * [backup-simplify]: Simplify (/ 1 1) into 1
1.737 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c
1.737 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.737 * [taylor]: Taking taylor expansion of b in c
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 d) (/ 1 c)) in c
1.737 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.737 * [taylor]: Taking taylor expansion of d in c
1.737 * [backup-simplify]: Simplify d into d
1.737 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.737 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.737 * [taylor]: Taking taylor expansion of c in c
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify 1 into 1
1.737 * [backup-simplify]: Simplify (/ 1 1) into 1
1.738 * [backup-simplify]: Simplify (+ 0 1) into 1
1.738 * [backup-simplify]: Simplify (+ 0 1) into 1
1.742 * [backup-simplify]: Simplify (- 1) into -1
1.742 * [taylor]: Taking taylor expansion of -1 in b
1.742 * [backup-simplify]: Simplify -1 into -1
1.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.743 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d)
1.743 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
1.743 * [backup-simplify]: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d)))
1.743 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b
1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
1.743 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.743 * [taylor]: Taking taylor expansion of b in b
1.743 * [backup-simplify]: Simplify 0 into 0
1.744 * [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 b
1.744 * [taylor]: Taking taylor expansion of d in b
1.744 * [backup-simplify]: Simplify d into d
1.744 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.745 * [backup-simplify]: Simplify (+ 1 0) into 1
1.745 * [backup-simplify]: Simplify (- 1) into -1
1.745 * [taylor]: Taking taylor expansion of -1 in d
1.745 * [backup-simplify]: Simplify -1 into -1
1.745 * [taylor]: Taking taylor expansion of -1 in d
1.745 * [backup-simplify]: Simplify -1 into -1
1.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.747 * [backup-simplify]: Simplify (+ 0 0) into 0
1.748 * [backup-simplify]: Simplify (+ 0 0) into 0
1.748 * [backup-simplify]: Simplify (- 0) into 0
1.748 * [taylor]: Taking taylor expansion of 0 in b
1.748 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.749 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.749 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d))
1.749 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.749 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.749 * [taylor]: Taking taylor expansion of d in d
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 1 into 1
1.750 * [backup-simplify]: Simplify (/ 1 1) into 1
1.750 * [backup-simplify]: Simplify (- 1) into -1
1.750 * [backup-simplify]: Simplify -1 into -1
1.750 * [taylor]: Taking taylor expansion of 0 in d
1.750 * [backup-simplify]: Simplify 0 into 0
1.750 * [backup-simplify]: Simplify -1 into -1
1.750 * [backup-simplify]: Simplify -1 into -1
1.751 * [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.751 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.752 * [backup-simplify]: Simplify (/ (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a)) into (+ a (+ b (+ c d)))
1.752 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0
1.752 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a
1.752 * [taylor]: Taking taylor expansion of a in a
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.752 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a
1.752 * [taylor]: Taking taylor expansion of b in a
1.752 * [backup-simplify]: Simplify b into b
1.752 * [taylor]: Taking taylor expansion of (+ c d) in a
1.752 * [taylor]: Taking taylor expansion of c in a
1.752 * [backup-simplify]: Simplify c into c
1.752 * [taylor]: Taking taylor expansion of d in a
1.752 * [backup-simplify]: Simplify d into d
1.752 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d
1.752 * [taylor]: Taking taylor expansion of a in d
1.752 * [backup-simplify]: Simplify a into a
1.752 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d
1.752 * [taylor]: Taking taylor expansion of b in d
1.752 * [backup-simplify]: Simplify b into b
1.752 * [taylor]: Taking taylor expansion of (+ c d) in d
1.752 * [taylor]: Taking taylor expansion of c in d
1.752 * [backup-simplify]: Simplify c into c
1.752 * [taylor]: Taking taylor expansion of d in d
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.752 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b
1.752 * [taylor]: Taking taylor expansion of a in b
1.752 * [backup-simplify]: Simplify a into a
1.752 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b
1.752 * [taylor]: Taking taylor expansion of b in b
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.752 * [taylor]: Taking taylor expansion of (+ c d) in b
1.752 * [taylor]: Taking taylor expansion of c in b
1.752 * [backup-simplify]: Simplify c into c
1.753 * [taylor]: Taking taylor expansion of d in b
1.753 * [backup-simplify]: Simplify d into d
1.753 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
1.753 * [taylor]: Taking taylor expansion of a in c
1.753 * [backup-simplify]: Simplify a into a
1.753 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.753 * [taylor]: Taking taylor expansion of b in c
1.753 * [backup-simplify]: Simplify b into b
1.753 * [taylor]: Taking taylor expansion of (+ c d) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.753 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify 1 into 1
1.753 * [taylor]: Taking taylor expansion of d in c
1.753 * [backup-simplify]: Simplify d into d
1.753 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c
1.753 * [taylor]: Taking taylor expansion of a in c
1.753 * [backup-simplify]: Simplify a into a
1.753 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c
1.753 * [taylor]: Taking taylor expansion of b in c
1.753 * [backup-simplify]: Simplify b into b
1.753 * [taylor]: Taking taylor expansion of (+ c d) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.753 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify 1 into 1
1.753 * [taylor]: Taking taylor expansion of d in c
1.753 * [backup-simplify]: Simplify d into d
1.753 * [backup-simplify]: Simplify (+ 0 d) into d
1.753 * [backup-simplify]: Simplify (+ b d) into (+ b d)
1.753 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d))
1.753 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b
1.754 * [taylor]: Taking taylor expansion of a in b
1.754 * [backup-simplify]: Simplify a into a
1.754 * [taylor]: Taking taylor expansion of (+ b d) in b
1.754 * [taylor]: Taking taylor expansion of b in b
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [taylor]: Taking taylor expansion of d in b
1.754 * [backup-simplify]: Simplify d into d
1.754 * [backup-simplify]: Simplify (+ 0 d) into d
1.754 * [backup-simplify]: Simplify (+ a d) into (+ a d)
1.754 * [taylor]: Taking taylor expansion of (+ a d) in d
1.754 * [taylor]: Taking taylor expansion of a in d
1.754 * [backup-simplify]: Simplify a into a
1.754 * [taylor]: Taking taylor expansion of d in d
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (+ a 0) into a
1.754 * [taylor]: Taking taylor expansion of a in a
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify (+ 1 0) into 1
1.755 * [backup-simplify]: Simplify (+ 0 1) into 1
1.756 * [backup-simplify]: Simplify (+ 0 1) into 1
1.756 * [taylor]: Taking taylor expansion of 1 in b
1.756 * [backup-simplify]: Simplify 1 into 1
1.756 * [taylor]: Taking taylor expansion of 1 in d
1.756 * [backup-simplify]: Simplify 1 into 1
1.756 * [taylor]: Taking taylor expansion of 1 in a
1.756 * [backup-simplify]: Simplify 1 into 1
1.756 * [backup-simplify]: Simplify 1 into 1
1.756 * [backup-simplify]: Simplify (+ 1 0) into 1
1.757 * [backup-simplify]: Simplify (+ 0 1) into 1
1.757 * [taylor]: Taking taylor expansion of 1 in d
1.757 * [backup-simplify]: Simplify 1 into 1
1.757 * [taylor]: Taking taylor expansion of 1 in a
1.757 * [backup-simplify]: Simplify 1 into 1
1.757 * [backup-simplify]: Simplify 1 into 1
1.757 * [backup-simplify]: Simplify (+ 0 1) into 1
1.758 * [taylor]: Taking taylor expansion of 1 in a
1.758 * [backup-simplify]: Simplify 1 into 1
1.758 * [backup-simplify]: Simplify 1 into 1
1.758 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d))
1.759 * [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.759 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0
1.759 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a
1.759 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.759 * [taylor]: Taking taylor expansion of b in a
1.759 * [backup-simplify]: Simplify b into b
1.759 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.759 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in 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 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a
1.760 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.760 * [taylor]: Taking taylor expansion of c in a
1.760 * [backup-simplify]: Simplify c into c
1.760 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.760 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.760 * [taylor]: Taking taylor expansion of d in a
1.760 * [backup-simplify]: Simplify d into d
1.760 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.760 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
1.760 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.760 * [taylor]: Taking taylor expansion of b in d
1.760 * [backup-simplify]: Simplify b into b
1.761 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.761 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
1.761 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.761 * [taylor]: Taking taylor expansion of a in d
1.761 * [backup-simplify]: Simplify a into a
1.761 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.761 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
1.761 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.761 * [taylor]: Taking taylor expansion of c in d
1.761 * [backup-simplify]: Simplify c into c
1.761 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.761 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.761 * [taylor]: Taking taylor expansion of d in d
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify 1 into 1
1.761 * [backup-simplify]: Simplify (/ 1 1) into 1
1.761 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b
1.761 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.762 * [taylor]: Taking taylor expansion of b in b
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (/ 1 1) into 1
1.762 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b
1.762 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.762 * [taylor]: Taking taylor expansion of a in b
1.762 * [backup-simplify]: Simplify a into a
1.762 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.762 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
1.762 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.762 * [taylor]: Taking taylor expansion of c in b
1.762 * [backup-simplify]: Simplify c into c
1.762 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.762 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.762 * [taylor]: Taking taylor expansion of d in b
1.762 * [backup-simplify]: Simplify d into d
1.763 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.763 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.763 * [taylor]: Taking taylor expansion of b in c
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 c
1.763 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.763 * [taylor]: Taking taylor expansion of a in c
1.763 * [backup-simplify]: Simplify a into a
1.763 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.763 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.763 * [taylor]: Taking taylor expansion of c in c
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [backup-simplify]: Simplify (/ 1 1) into 1
1.763 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.763 * [taylor]: Taking taylor expansion of d in c
1.763 * [backup-simplify]: Simplify d into d
1.764 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.764 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.764 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.764 * [taylor]: Taking taylor expansion of b in c
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 c
1.764 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.764 * [taylor]: Taking taylor expansion of a in c
1.764 * [backup-simplify]: Simplify a into a
1.764 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.764 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.764 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.764 * [taylor]: Taking taylor expansion of c in c
1.764 * [backup-simplify]: Simplify 0 into 0
1.764 * [backup-simplify]: Simplify 1 into 1
1.764 * [backup-simplify]: Simplify (/ 1 1) into 1
1.764 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.764 * [taylor]: Taking taylor expansion of d in c
1.765 * [backup-simplify]: Simplify d into d
1.765 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.765 * [backup-simplify]: Simplify (+ 1 0) into 1
1.765 * [backup-simplify]: Simplify (+ 0 1) into 1
1.766 * [backup-simplify]: Simplify (+ 0 1) into 1
1.766 * [taylor]: Taking taylor expansion of 1 in b
1.766 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.767 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.767 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.767 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.767 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.767 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.767 * [taylor]: Taking taylor expansion of b in b
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 a) (/ 1 d)) in b
1.768 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.768 * [taylor]: Taking taylor expansion of a in b
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 d) in b
1.768 * [taylor]: Taking taylor expansion of d in b
1.768 * [backup-simplify]: Simplify d into d
1.768 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.768 * [backup-simplify]: Simplify (+ 1 0) into 1
1.768 * [taylor]: Taking taylor expansion of 1 in d
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [taylor]: Taking taylor expansion of 1 in d
1.768 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.770 * [backup-simplify]: Simplify (+ 0 0) into 0
1.770 * [backup-simplify]: Simplify (+ 0 0) into 0
1.771 * [backup-simplify]: Simplify (+ 0 0) into 0
1.771 * [taylor]: Taking taylor expansion of 0 in b
1.771 * [backup-simplify]: Simplify 0 into 0
1.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.772 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.772 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.772 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.772 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.772 * [taylor]: Taking taylor expansion of a in d
1.772 * [backup-simplify]: Simplify a into a
1.772 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.772 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.772 * [taylor]: Taking taylor expansion of d in d
1.772 * [backup-simplify]: Simplify 0 into 0
1.772 * [backup-simplify]: Simplify 1 into 1
1.773 * [backup-simplify]: Simplify (/ 1 1) into 1
1.773 * [backup-simplify]: Simplify (+ 0 1) into 1
1.773 * [taylor]: Taking taylor expansion of 1 in a
1.773 * [backup-simplify]: Simplify 1 into 1
1.773 * [taylor]: Taking taylor expansion of 0 in d
1.773 * [backup-simplify]: Simplify 0 into 0
1.773 * [taylor]: Taking taylor expansion of 1 in a
1.773 * [backup-simplify]: Simplify 1 into 1
1.773 * [taylor]: Taking taylor expansion of 1 in a
1.773 * [backup-simplify]: Simplify 1 into 1
1.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.775 * [backup-simplify]: Simplify (+ 0 0) into 0
1.776 * [backup-simplify]: Simplify (+ 0 0) into 0
1.776 * [backup-simplify]: Simplify (+ 0 0) into 0
1.776 * [taylor]: Taking taylor expansion of 0 in b
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [taylor]: Taking taylor expansion of 0 in d
1.776 * [backup-simplify]: Simplify 0 into 0
1.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.778 * [backup-simplify]: Simplify (+ 0 0) into 0
1.778 * [backup-simplify]: Simplify (+ 0 0) into 0
1.778 * [taylor]: Taking taylor expansion of 0 in d
1.778 * [backup-simplify]: Simplify 0 into 0
1.778 * [taylor]: Taking taylor expansion of 0 in d
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) 0) into (/ 1 a)
1.779 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.779 * [taylor]: Taking taylor expansion of a in a
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify 1 into 1
1.780 * [backup-simplify]: Simplify (/ 1 1) into 1
1.780 * [backup-simplify]: Simplify 1 into 1
1.780 * [taylor]: Taking taylor expansion of 0 in a
1.780 * [backup-simplify]: Simplify 0 into 0
1.780 * [taylor]: Taking taylor expansion of 0 in a
1.780 * [backup-simplify]: Simplify 0 into 0
1.780 * [taylor]: Taking taylor expansion of 0 in a
1.780 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify 1 into 1
1.780 * [backup-simplify]: Simplify 1 into 1
1.781 * [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.783 * [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.783 * [approximate]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0
1.783 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a
1.783 * [taylor]: Taking taylor expansion of -1 in a
1.783 * [backup-simplify]: Simplify -1 into -1
1.783 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a
1.783 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.783 * [taylor]: Taking taylor expansion of b in a
1.783 * [backup-simplify]: Simplify b into b
1.783 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.783 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a
1.783 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.783 * [taylor]: Taking taylor expansion of a in a
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.784 * [backup-simplify]: Simplify (/ 1 1) into 1
1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a
1.784 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.784 * [taylor]: Taking taylor expansion of c in a
1.784 * [backup-simplify]: Simplify c into c
1.784 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.784 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.784 * [taylor]: Taking taylor expansion of d in a
1.784 * [backup-simplify]: Simplify d into d
1.784 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.784 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d
1.784 * [taylor]: Taking taylor expansion of -1 in d
1.784 * [backup-simplify]: Simplify -1 into -1
1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
1.784 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.784 * [taylor]: Taking taylor expansion of b in d
1.784 * [backup-simplify]: Simplify b into b
1.784 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d
1.784 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.784 * [taylor]: Taking taylor expansion of a in d
1.784 * [backup-simplify]: Simplify a into a
1.785 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.785 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
1.785 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.785 * [taylor]: Taking taylor expansion of c in d
1.785 * [backup-simplify]: Simplify c into c
1.785 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.785 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.785 * [taylor]: Taking taylor expansion of d in d
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (/ 1 1) into 1
1.785 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b
1.785 * [taylor]: Taking taylor expansion of -1 in b
1.785 * [backup-simplify]: Simplify -1 into -1
1.785 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b
1.785 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.785 * [taylor]: Taking taylor expansion of b in b
1.785 * [backup-simplify]: Simplify 0 into 0
1.786 * [backup-simplify]: Simplify 1 into 1
1.786 * [backup-simplify]: Simplify (/ 1 1) into 1
1.786 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b
1.786 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.786 * [taylor]: Taking taylor expansion of a in b
1.786 * [backup-simplify]: Simplify a into a
1.786 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.786 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
1.786 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.786 * [taylor]: Taking taylor expansion of c in b
1.786 * [backup-simplify]: Simplify c into c
1.786 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
1.786 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.786 * [taylor]: Taking taylor expansion of d in b
1.786 * [backup-simplify]: Simplify d into d
1.786 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.787 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c
1.787 * [taylor]: Taking taylor expansion of -1 in c
1.787 * [backup-simplify]: Simplify -1 into -1
1.787 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.787 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.787 * [taylor]: Taking taylor expansion of b in c
1.787 * [backup-simplify]: Simplify b into b
1.787 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.787 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.787 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.787 * [taylor]: Taking taylor expansion of a in c
1.787 * [backup-simplify]: Simplify a into a
1.787 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.787 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.787 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.787 * [taylor]: Taking taylor expansion of c in c
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify 1 into 1
1.787 * [backup-simplify]: Simplify (/ 1 1) into 1
1.787 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.787 * [taylor]: Taking taylor expansion of d in c
1.788 * [backup-simplify]: Simplify d into d
1.788 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.788 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c
1.788 * [taylor]: Taking taylor expansion of -1 in c
1.788 * [backup-simplify]: Simplify -1 into -1
1.788 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c
1.788 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.788 * [taylor]: Taking taylor expansion of b in c
1.788 * [backup-simplify]: Simplify b into b
1.788 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.788 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c
1.788 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.788 * [taylor]: Taking taylor expansion of a in c
1.788 * [backup-simplify]: Simplify a into a
1.788 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.788 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.788 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.788 * [taylor]: Taking taylor expansion of c in c
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify 1 into 1
1.789 * [backup-simplify]: Simplify (/ 1 1) into 1
1.789 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.789 * [taylor]: Taking taylor expansion of d in c
1.789 * [backup-simplify]: Simplify d into d
1.789 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.789 * [backup-simplify]: Simplify (+ 1 0) into 1
1.790 * [backup-simplify]: Simplify (+ 0 1) into 1
1.790 * [backup-simplify]: Simplify (+ 0 1) into 1
1.790 * [backup-simplify]: Simplify (* -1 1) into -1
1.790 * [taylor]: Taking taylor expansion of -1 in b
1.791 * [backup-simplify]: Simplify -1 into -1
1.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.791 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d)
1.792 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.792 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))
1.792 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1)) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))))
1.792 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b
1.792 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b
1.792 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.793 * [taylor]: Taking taylor expansion of b in b
1.793 * [backup-simplify]: Simplify 0 into 0
1.793 * [backup-simplify]: Simplify 1 into 1
1.793 * [backup-simplify]: Simplify (/ 1 1) into 1
1.793 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b
1.793 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.793 * [taylor]: Taking taylor expansion of a in b
1.793 * [backup-simplify]: Simplify a into a
1.793 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.793 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.793 * [taylor]: Taking taylor expansion of d in b
1.793 * [backup-simplify]: Simplify d into d
1.793 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d)
1.794 * [backup-simplify]: Simplify (+ 1 0) into 1
1.794 * [backup-simplify]: Simplify (- 1) into -1
1.794 * [taylor]: Taking taylor expansion of -1 in d
1.794 * [backup-simplify]: Simplify -1 into -1
1.794 * [taylor]: Taking taylor expansion of -1 in d
1.794 * [backup-simplify]: Simplify -1 into -1
1.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.796 * [backup-simplify]: Simplify (+ 0 0) into 0
1.796 * [backup-simplify]: Simplify (+ 0 0) into 0
1.796 * [backup-simplify]: Simplify (+ 0 0) into 0
1.798 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1))) into 0
1.798 * [taylor]: Taking taylor expansion of 0 in b
1.798 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.799 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d))
1.799 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
1.799 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d)))
1.799 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d
1.799 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d
1.799 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.799 * [taylor]: Taking taylor expansion of a in d
1.799 * [backup-simplify]: Simplify a into a
1.799 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.799 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.799 * [taylor]: Taking taylor expansion of d in d
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 1 into 1
1.800 * [backup-simplify]: Simplify (/ 1 1) into 1
1.800 * [backup-simplify]: Simplify (+ 0 1) into 1
1.801 * [backup-simplify]: Simplify (- 1) into -1
1.801 * [taylor]: Taking taylor expansion of -1 in a
1.801 * [backup-simplify]: Simplify -1 into -1
1.801 * [taylor]: Taking taylor expansion of 0 in d
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [taylor]: Taking taylor expansion of -1 in a
1.801 * [backup-simplify]: Simplify -1 into -1
1.801 * [taylor]: Taking taylor expansion of -1 in a
1.801 * [backup-simplify]: Simplify -1 into -1
1.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
1.803 * [backup-simplify]: Simplify (+ 0 0) into 0
1.803 * [backup-simplify]: Simplify (+ 0 0) into 0
1.804 * [backup-simplify]: Simplify (+ 0 0) into 0
1.805 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) (* 0 1)))) into 0
1.805 * [taylor]: Taking taylor expansion of 0 in b
1.805 * [backup-simplify]: Simplify 0 into 0
1.805 * [taylor]: Taking taylor expansion of 0 in d
1.805 * [backup-simplify]: Simplify 0 into 0
1.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
1.807 * [backup-simplify]: Simplify (+ 0 0) into 0
1.807 * [backup-simplify]: Simplify (+ 0 0) into 0
1.807 * [backup-simplify]: Simplify (- 0) into 0
1.807 * [taylor]: Taking taylor expansion of 0 in d
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [taylor]: Taking taylor expansion of 0 in d
1.807 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.808 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
1.808 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
1.808 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.808 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.808 * [taylor]: Taking taylor expansion of a in a
1.808 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify 1 into 1
1.809 * [backup-simplify]: Simplify (/ 1 1) into 1
1.809 * [backup-simplify]: Simplify (- 1) into -1
1.809 * [backup-simplify]: Simplify -1 into -1
1.809 * [taylor]: Taking taylor expansion of 0 in a
1.809 * [backup-simplify]: Simplify 0 into 0
1.809 * [taylor]: Taking taylor expansion of 0 in a
1.809 * [backup-simplify]: Simplify 0 into 0
1.809 * [taylor]: Taking taylor expansion of 0 in a
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify -1 into -1
1.810 * [backup-simplify]: Simplify -1 into -1
1.811 * [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.811 * * * [progress]: simplifying candidates
1.813 * [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.816 * * [simplify]: iteration 0: 129 enodes
1.862 * * [simplify]: iteration 1: 425 enodes
2.094 * * [simplify]: iteration 2: 2872 enodes
3.455 * * [simplify]: iteration complete: 5001 enodes
3.455 * * [simplify]: Extracting #0: cost 54 inf + 0
3.457 * * [simplify]: Extracting #1: cost 912 inf + 1
3.462 * * [simplify]: Extracting #2: cost 1701 inf + 174
3.468 * * [simplify]: Extracting #3: cost 1376 inf + 5459
3.474 * * [simplify]: Extracting #4: cost 491 inf + 24194
3.480 * * [simplify]: Extracting #5: cost 62 inf + 36696
3.491 * * [simplify]: Extracting #6: cost 4 inf + 37832
3.502 * * [simplify]: Extracting #7: cost 0 inf + 37852
3.515 * [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.515 * * * [progress]: adding candidates to table
3.910 * * [progress]: iteration 3 / 4
3.910 * * * [progress]: picking best candidate
3.913 * * * * [pick]: Picked  #<alt (λ (a b c d) (* 2.0 (* (+ (+ c b) (+ a d)) 1)))>
3.913 * * * [progress]: localizing error
3.924 * * * [progress]: generating rewritten candidates
3.924 * * * [progress]: generating series expansions
3.924 * * * [progress]: simplifying candidates
3.924 * [simplify]: Simplifying:
  
3.924 * * [simplify]: iteration 0: 0 enodes
3.924 * * [simplify]: iteration complete: 0 enodes
3.924 * * [simplify]: Extracting #0: cost 0 inf + 0
3.924 * [simplify]: Simplified to:
  
3.924 * * * [progress]: adding candidates to table
3.925 * [progress]: [Phase 3 of 3] Extracting.
3.928 * [simplify]: Simplifying:
  (* 2.0 (* (+ (+ c b) (+ a d)) 1))
3.928 * * [simplify]: iteration 0: 11 enodes
3.929 * * [simplify]: iteration 1: 18 enodes
3.930 * * [simplify]: iteration 2: 19 enodes
3.931 * * [simplify]: iteration complete: 19 enodes
3.931 * * [simplify]: Extracting #0: cost 1 inf + 0
3.931 * * [simplify]: Extracting #1: cost 3 inf + 0
3.931 * * [simplify]: Extracting #2: cost 5 inf + 1
3.931 * * [simplify]: Extracting #3: cost 8 inf + 2
3.931 * * [simplify]: Extracting #4: cost 0 inf + 28
3.931 * [simplify]: Simplified to:
  (* (+ (+ c b) (+ d a)) 2.0)
5.426 * [regime-testing]: Baseline error score: 0
5.428 * [regime-testing]: Oracle error score: 0
5.428 * [regime-testing]: End program error score: 0
5.567 * [regime-testing]: Target error score: 3.8423971559626926