28.700 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying:
  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.044 * * [simplify]: iteration 0: 11 enodes
0.048 * * [simplify]: iteration 1: 25 enodes
0.057 * * [simplify]: iteration 2: 69 enodes
0.084 * * [simplify]: iteration 3: 185 enodes
0.197 * * [simplify]: iteration 4: 412 enodes
0.429 * * [simplify]: iteration 5: 1018 enodes
1.336 * * [simplify]: iteration 6: 3220 enodes
2.985 * * [simplify]: iteration complete: 5000 enodes
2.985 * * [simplify]: Extracting #0: cost 1 inf + 0
2.985 * * [simplify]: Extracting #1: cost 89 inf + 0
2.987 * * [simplify]: Extracting #2: cost 728 inf + 1
2.993 * * [simplify]: Extracting #3: cost 770 inf + 17817
3.016 * * [simplify]: Extracting #4: cost 123 inf + 87491
3.058 * * [simplify]: Extracting #5: cost 0 inf + 104597
3.092 * * [simplify]: Extracting #6: cost 0 inf + 104437
3.123 * [simplify]: Simplified to:
  (* (+ (- d2 d1) (- d4 d3)) d1)
3.133 * * [progress]: iteration 1 / 4
3.134 * * * [progress]: picking best candidate
3.143 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
3.143 * * * [progress]: localizing error
3.161 * * * [progress]: generating rewritten candidates
3.161 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.167 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.212 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.411 * * * [progress]: generating series expansions
3.411 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.411 * [backup-simplify]: Simplify (- (* d1 d2) (* d1 d3)) into (- (* d2 d1) (* d3 d1))
3.411 * [approximate]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in (d1 d2 d3) around 0
3.411 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d3
3.411 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.411 * [taylor]: Taking taylor expansion of d2 in d3
3.411 * [backup-simplify]: Simplify d2 into d2
3.411 * [taylor]: Taking taylor expansion of d1 in d3
3.411 * [backup-simplify]: Simplify d1 into d1
3.411 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.411 * [taylor]: Taking taylor expansion of d3 in d3
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify 1 into 1
3.411 * [taylor]: Taking taylor expansion of d1 in d3
3.411 * [backup-simplify]: Simplify d1 into d1
3.411 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d2
3.412 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.412 * [taylor]: Taking taylor expansion of d2 in d2
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [taylor]: Taking taylor expansion of d1 in d2
3.412 * [backup-simplify]: Simplify d1 into d1
3.412 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.412 * [taylor]: Taking taylor expansion of d3 in d2
3.412 * [backup-simplify]: Simplify d3 into d3
3.412 * [taylor]: Taking taylor expansion of d1 in d2
3.412 * [backup-simplify]: Simplify d1 into d1
3.412 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1
3.412 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.412 * [taylor]: Taking taylor expansion of d2 in d1
3.412 * [backup-simplify]: Simplify d2 into d2
3.412 * [taylor]: Taking taylor expansion of d1 in d1
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.412 * [taylor]: Taking taylor expansion of d3 in d1
3.412 * [backup-simplify]: Simplify d3 into d3
3.412 * [taylor]: Taking taylor expansion of d1 in d1
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1
3.412 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.412 * [taylor]: Taking taylor expansion of d2 in d1
3.412 * [backup-simplify]: Simplify d2 into d2
3.412 * [taylor]: Taking taylor expansion of d1 in d1
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.412 * [taylor]: Taking taylor expansion of d3 in d1
3.412 * [backup-simplify]: Simplify d3 into d3
3.412 * [taylor]: Taking taylor expansion of d1 in d1
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.413 * [backup-simplify]: Simplify (* d2 0) into 0
3.413 * [backup-simplify]: Simplify (* d3 0) into 0
3.413 * [backup-simplify]: Simplify (- 0) into 0
3.414 * [backup-simplify]: Simplify (+ 0 0) into 0
3.414 * [taylor]: Taking taylor expansion of 0 in d2
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [taylor]: Taking taylor expansion of 0 in d3
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.415 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.415 * [backup-simplify]: Simplify (- d3) into (- d3)
3.415 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3)
3.415 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
3.415 * [taylor]: Taking taylor expansion of d2 in d2
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [taylor]: Taking taylor expansion of d3 in d2
3.415 * [backup-simplify]: Simplify d3 into d3
3.415 * [backup-simplify]: Simplify (- d3) into (- d3)
3.415 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
3.415 * [taylor]: Taking taylor expansion of (- d3) in d3
3.415 * [taylor]: Taking taylor expansion of d3 in d3
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.416 * [backup-simplify]: Simplify (- 0) into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [taylor]: Taking taylor expansion of 0 in d3
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.417 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.417 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.418 * [backup-simplify]: Simplify (- 0) into 0
3.418 * [backup-simplify]: Simplify (+ 0 0) into 0
3.418 * [taylor]: Taking taylor expansion of 0 in d2
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [taylor]: Taking taylor expansion of 0 in d3
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify (- 0) into 0
3.419 * [backup-simplify]: Simplify (+ 1 0) into 1
3.419 * [taylor]: Taking taylor expansion of 1 in d3
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of 0 in d3
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (- 1) into -1
3.420 * [backup-simplify]: Simplify -1 into -1
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.422 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.422 * [backup-simplify]: Simplify (- 0) into 0
3.424 * [backup-simplify]: Simplify (+ 0 0) into 0
3.424 * [taylor]: Taking taylor expansion of 0 in d2
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [taylor]: Taking taylor expansion of 0 in d3
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 0 into 0
3.425 * [taylor]: Taking taylor expansion of 0 in d3
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify (- 0) into 0
3.425 * [backup-simplify]: Simplify (+ 0 0) into 0
3.425 * [taylor]: Taking taylor expansion of 0 in d3
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 0 into 0
3.426 * [taylor]: Taking taylor expansion of 0 in d3
3.426 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d2 d1) (* d3 d1))
3.426 * [backup-simplify]: Simplify (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1)))
3.426 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0
3.426 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3
3.426 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.426 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.426 * [taylor]: Taking taylor expansion of d2 in d3
3.426 * [backup-simplify]: Simplify d2 into d2
3.426 * [taylor]: Taking taylor expansion of d1 in d3
3.426 * [backup-simplify]: Simplify d1 into d1
3.426 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.427 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.427 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.427 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.427 * [taylor]: Taking taylor expansion of d3 in d3
3.427 * [backup-simplify]: Simplify 0 into 0
3.427 * [backup-simplify]: Simplify 1 into 1
3.427 * [taylor]: Taking taylor expansion of d1 in d3
3.427 * [backup-simplify]: Simplify d1 into d1
3.427 * [backup-simplify]: Simplify (* 0 d1) into 0
3.427 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.427 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.427 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2
3.427 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.427 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.427 * [taylor]: Taking taylor expansion of d2 in d2
3.427 * [backup-simplify]: Simplify 0 into 0
3.427 * [backup-simplify]: Simplify 1 into 1
3.427 * [taylor]: Taking taylor expansion of d1 in d2
3.427 * [backup-simplify]: Simplify d1 into d1
3.428 * [backup-simplify]: Simplify (* 0 d1) into 0
3.428 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.428 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.428 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.428 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.428 * [taylor]: Taking taylor expansion of d3 in d2
3.428 * [backup-simplify]: Simplify d3 into d3
3.428 * [taylor]: Taking taylor expansion of d1 in d2
3.428 * [backup-simplify]: Simplify d1 into d1
3.428 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.428 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.428 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.428 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.428 * [taylor]: Taking taylor expansion of d2 in d1
3.428 * [backup-simplify]: Simplify d2 into d2
3.428 * [taylor]: Taking taylor expansion of d1 in d1
3.428 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [backup-simplify]: Simplify (* d2 0) into 0
3.429 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.429 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.429 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.429 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.429 * [taylor]: Taking taylor expansion of d3 in d1
3.429 * [backup-simplify]: Simplify d3 into d3
3.429 * [taylor]: Taking taylor expansion of d1 in d1
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [backup-simplify]: Simplify (* d3 0) into 0
3.430 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.430 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.430 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.430 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.430 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.430 * [taylor]: Taking taylor expansion of d2 in d1
3.430 * [backup-simplify]: Simplify d2 into d2
3.430 * [taylor]: Taking taylor expansion of d1 in d1
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 1 into 1
3.430 * [backup-simplify]: Simplify (* d2 0) into 0
3.430 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.430 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.431 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.431 * [taylor]: Taking taylor expansion of d3 in d1
3.431 * [backup-simplify]: Simplify d3 into d3
3.431 * [taylor]: Taking taylor expansion of d1 in d1
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.431 * [backup-simplify]: Simplify (* d3 0) into 0
3.431 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.431 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.431 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.431 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
3.432 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
3.432 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.432 * [taylor]: Taking taylor expansion of d2 in d2
3.432 * [backup-simplify]: Simplify 0 into 0
3.432 * [backup-simplify]: Simplify 1 into 1
3.432 * [backup-simplify]: Simplify (/ 1 1) into 1
3.432 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.432 * [taylor]: Taking taylor expansion of d3 in d2
3.432 * [backup-simplify]: Simplify d3 into d3
3.432 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.433 * [backup-simplify]: Simplify (+ 1 0) into 1
3.433 * [taylor]: Taking taylor expansion of 1 in d3
3.433 * [backup-simplify]: Simplify 1 into 1
3.433 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.434 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.435 * [backup-simplify]: Simplify (- 0) into 0
3.435 * [backup-simplify]: Simplify (+ 0 0) into 0
3.435 * [taylor]: Taking taylor expansion of 0 in d2
3.435 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.436 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.437 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
3.437 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
3.437 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.437 * [taylor]: Taking taylor expansion of d3 in d3
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 1 into 1
3.437 * [backup-simplify]: Simplify (/ 1 1) into 1
3.437 * [backup-simplify]: Simplify (- 1) into -1
3.437 * [backup-simplify]: Simplify -1 into -1
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.439 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.439 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.440 * [backup-simplify]: Simplify (- 0) into 0
3.440 * [backup-simplify]: Simplify (+ 0 0) into 0
3.440 * [taylor]: Taking taylor expansion of 0 in d2
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [taylor]: Taking taylor expansion of 0 in d3
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.442 * [backup-simplify]: Simplify (- 0) into 0
3.442 * [backup-simplify]: Simplify (+ 0 0) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in d3
3.442 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.444 * [backup-simplify]: Simplify (- 0) into 0
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.446 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.447 * [backup-simplify]: Simplify (- 0) into 0
3.447 * [backup-simplify]: Simplify (+ 0 0) into 0
3.447 * [taylor]: Taking taylor expansion of 0 in d2
3.447 * [backup-simplify]: Simplify 0 into 0
3.447 * [taylor]: Taking taylor expansion of 0 in d3
3.447 * [backup-simplify]: Simplify 0 into 0
3.447 * [taylor]: Taking taylor expansion of 0 in d3
3.447 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.449 * [backup-simplify]: Simplify (- 0) into 0
3.449 * [backup-simplify]: Simplify (+ 0 0) into 0
3.449 * [taylor]: Taking taylor expansion of 0 in d3
3.449 * [backup-simplify]: Simplify 0 into 0
3.449 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.451 * [backup-simplify]: Simplify (- 0) into 0
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d2 d1) (* d3 d1))
3.452 * [backup-simplify]: Simplify (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1)))
3.452 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0
3.452 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3
3.452 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.452 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.452 * [taylor]: Taking taylor expansion of d2 in d3
3.452 * [backup-simplify]: Simplify d2 into d2
3.452 * [taylor]: Taking taylor expansion of d1 in d3
3.452 * [backup-simplify]: Simplify d1 into d1
3.452 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.452 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.452 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.452 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.452 * [taylor]: Taking taylor expansion of d3 in d3
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify 1 into 1
3.452 * [taylor]: Taking taylor expansion of d1 in d3
3.452 * [backup-simplify]: Simplify d1 into d1
3.452 * [backup-simplify]: Simplify (* 0 d1) into 0
3.453 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.453 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.453 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2
3.453 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.453 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.453 * [taylor]: Taking taylor expansion of d2 in d2
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify 1 into 1
3.453 * [taylor]: Taking taylor expansion of d1 in d2
3.453 * [backup-simplify]: Simplify d1 into d1
3.453 * [backup-simplify]: Simplify (* 0 d1) into 0
3.454 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.454 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.454 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.454 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.454 * [taylor]: Taking taylor expansion of d3 in d2
3.454 * [backup-simplify]: Simplify d3 into d3
3.454 * [taylor]: Taking taylor expansion of d1 in d2
3.454 * [backup-simplify]: Simplify d1 into d1
3.454 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.454 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.454 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.454 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.454 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.454 * [taylor]: Taking taylor expansion of d2 in d1
3.454 * [backup-simplify]: Simplify d2 into d2
3.454 * [taylor]: Taking taylor expansion of d1 in d1
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify 1 into 1
3.454 * [backup-simplify]: Simplify (* d2 0) into 0
3.455 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.455 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.455 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.455 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.455 * [taylor]: Taking taylor expansion of d3 in d1
3.455 * [backup-simplify]: Simplify d3 into d3
3.455 * [taylor]: Taking taylor expansion of d1 in d1
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (* d3 0) into 0
3.455 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.456 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.456 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.456 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.456 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.456 * [taylor]: Taking taylor expansion of d2 in d1
3.456 * [backup-simplify]: Simplify d2 into d2
3.456 * [taylor]: Taking taylor expansion of d1 in d1
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify 1 into 1
3.456 * [backup-simplify]: Simplify (* d2 0) into 0
3.456 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.456 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.456 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.456 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.456 * [taylor]: Taking taylor expansion of d3 in d1
3.456 * [backup-simplify]: Simplify d3 into d3
3.456 * [taylor]: Taking taylor expansion of d1 in d1
3.456 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify 1 into 1
3.457 * [backup-simplify]: Simplify (* d3 0) into 0
3.457 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.457 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.457 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.457 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
3.457 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
3.457 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.457 * [taylor]: Taking taylor expansion of d2 in d2
3.457 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (/ 1 1) into 1
3.458 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.458 * [taylor]: Taking taylor expansion of d3 in d2
3.458 * [backup-simplify]: Simplify d3 into d3
3.458 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.458 * [backup-simplify]: Simplify (+ 1 0) into 1
3.459 * [taylor]: Taking taylor expansion of 1 in d3
3.459 * [backup-simplify]: Simplify 1 into 1
3.459 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.460 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.461 * [backup-simplify]: Simplify (- 0) into 0
3.461 * [backup-simplify]: Simplify (+ 0 0) into 0
3.461 * [taylor]: Taking taylor expansion of 0 in d2
3.461 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.462 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.462 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
3.462 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
3.462 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.462 * [taylor]: Taking taylor expansion of d3 in d3
3.462 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify 1 into 1
3.463 * [backup-simplify]: Simplify (/ 1 1) into 1
3.463 * [backup-simplify]: Simplify (- 1) into -1
3.463 * [backup-simplify]: Simplify -1 into -1
3.463 * [backup-simplify]: Simplify 1 into 1
3.464 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.465 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.465 * [backup-simplify]: Simplify (- 0) into 0
3.466 * [backup-simplify]: Simplify (+ 0 0) into 0
3.466 * [taylor]: Taking taylor expansion of 0 in d2
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [taylor]: Taking taylor expansion of 0 in d3
3.466 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.467 * [backup-simplify]: Simplify (- 0) into 0
3.468 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [taylor]: Taking taylor expansion of 0 in d3
3.468 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.469 * [backup-simplify]: Simplify (- 0) into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.471 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.472 * [backup-simplify]: Simplify (- 0) into 0
3.472 * [backup-simplify]: Simplify (+ 0 0) into 0
3.472 * [taylor]: Taking taylor expansion of 0 in d2
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [taylor]: Taking taylor expansion of 0 in d3
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [taylor]: Taking taylor expansion of 0 in d3
3.473 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.474 * [backup-simplify]: Simplify (- 0) into 0
3.475 * [backup-simplify]: Simplify (+ 0 0) into 0
3.475 * [taylor]: Taking taylor expansion of 0 in d3
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.476 * [backup-simplify]: Simplify (- 0) into 0
3.476 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d2 d1) (* d3 d1))
3.477 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.477 * [backup-simplify]: Simplify (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.477 * [approximate]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in (d1 d2 d3 d4) around 0
3.477 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d4
3.477 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d4
3.477 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.477 * [taylor]: Taking taylor expansion of d4 in d4
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify 1 into 1
3.477 * [taylor]: Taking taylor expansion of d1 in d4
3.477 * [backup-simplify]: Simplify d1 into d1
3.477 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.477 * [taylor]: Taking taylor expansion of d2 in d4
3.477 * [backup-simplify]: Simplify d2 into d2
3.477 * [taylor]: Taking taylor expansion of d1 in d4
3.477 * [backup-simplify]: Simplify d1 into d1
3.477 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.478 * [taylor]: Taking taylor expansion of d3 in d4
3.478 * [backup-simplify]: Simplify d3 into d3
3.478 * [taylor]: Taking taylor expansion of d1 in d4
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d3
3.478 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d3
3.478 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.478 * [taylor]: Taking taylor expansion of d4 in d3
3.478 * [backup-simplify]: Simplify d4 into d4
3.478 * [taylor]: Taking taylor expansion of d1 in d3
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.478 * [taylor]: Taking taylor expansion of d2 in d3
3.478 * [backup-simplify]: Simplify d2 into d2
3.478 * [taylor]: Taking taylor expansion of d1 in d3
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.478 * [taylor]: Taking taylor expansion of d3 in d3
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [taylor]: Taking taylor expansion of d1 in d3
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d2
3.478 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d2
3.478 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.478 * [taylor]: Taking taylor expansion of d4 in d2
3.478 * [backup-simplify]: Simplify d4 into d4
3.478 * [taylor]: Taking taylor expansion of d1 in d2
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.478 * [taylor]: Taking taylor expansion of d2 in d2
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [taylor]: Taking taylor expansion of d1 in d2
3.478 * [backup-simplify]: Simplify d1 into d1
3.478 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.478 * [taylor]: Taking taylor expansion of d3 in d2
3.479 * [backup-simplify]: Simplify d3 into d3
3.479 * [taylor]: Taking taylor expansion of d1 in d2
3.479 * [backup-simplify]: Simplify d1 into d1
3.479 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1
3.479 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.479 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.479 * [taylor]: Taking taylor expansion of d4 in d1
3.479 * [backup-simplify]: Simplify d4 into d4
3.479 * [taylor]: Taking taylor expansion of d1 in d1
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.479 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.479 * [taylor]: Taking taylor expansion of d2 in d1
3.479 * [backup-simplify]: Simplify d2 into d2
3.479 * [taylor]: Taking taylor expansion of d1 in d1
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.479 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.479 * [taylor]: Taking taylor expansion of d3 in d1
3.479 * [backup-simplify]: Simplify d3 into d3
3.479 * [taylor]: Taking taylor expansion of d1 in d1
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.479 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1
3.479 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.479 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.479 * [taylor]: Taking taylor expansion of d4 in d1
3.479 * [backup-simplify]: Simplify d4 into d4
3.479 * [taylor]: Taking taylor expansion of d1 in d1
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.479 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.479 * [taylor]: Taking taylor expansion of d2 in d1
3.479 * [backup-simplify]: Simplify d2 into d2
3.479 * [taylor]: Taking taylor expansion of d1 in d1
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.480 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.480 * [taylor]: Taking taylor expansion of d3 in d1
3.480 * [backup-simplify]: Simplify d3 into d3
3.480 * [taylor]: Taking taylor expansion of d1 in d1
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.480 * [backup-simplify]: Simplify (* d4 0) into 0
3.480 * [backup-simplify]: Simplify (* d2 0) into 0
3.480 * [backup-simplify]: Simplify (+ 0 0) into 0
3.480 * [backup-simplify]: Simplify (* d3 0) into 0
3.481 * [backup-simplify]: Simplify (- 0) into 0
3.481 * [backup-simplify]: Simplify (+ 0 0) into 0
3.481 * [taylor]: Taking taylor expansion of 0 in d2
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [taylor]: Taking taylor expansion of 0 in d3
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [taylor]: Taking taylor expansion of 0 in d4
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.482 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.482 * [backup-simplify]: Simplify (+ d4 d2) into (+ d4 d2)
3.483 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.483 * [backup-simplify]: Simplify (- d3) into (- d3)
3.483 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3)
3.483 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2
3.483 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
3.483 * [taylor]: Taking taylor expansion of d4 in d2
3.483 * [backup-simplify]: Simplify d4 into d4
3.483 * [taylor]: Taking taylor expansion of d2 in d2
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.483 * [taylor]: Taking taylor expansion of d3 in d2
3.483 * [backup-simplify]: Simplify d3 into d3
3.483 * [backup-simplify]: Simplify (+ d4 0) into d4
3.483 * [backup-simplify]: Simplify (- d3) into (- d3)
3.483 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
3.483 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
3.483 * [taylor]: Taking taylor expansion of d4 in d3
3.484 * [backup-simplify]: Simplify d4 into d4
3.484 * [taylor]: Taking taylor expansion of d3 in d3
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify (- 0) into 0
3.484 * [backup-simplify]: Simplify (+ d4 0) into d4
3.484 * [taylor]: Taking taylor expansion of d4 in d4
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [taylor]: Taking taylor expansion of 0 in d3
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [taylor]: Taking taylor expansion of 0 in d4
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [taylor]: Taking taylor expansion of 0 in d4
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.486 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.486 * [backup-simplify]: Simplify (+ 0 0) into 0
3.487 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.487 * [backup-simplify]: Simplify (- 0) into 0
3.488 * [backup-simplify]: Simplify (+ 0 0) into 0
3.488 * [taylor]: Taking taylor expansion of 0 in d2
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [taylor]: Taking taylor expansion of 0 in d3
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [taylor]: Taking taylor expansion of 0 in d4
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1)))
3.489 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0
3.489 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4
3.489 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.489 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.489 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.489 * [taylor]: Taking taylor expansion of d2 in d4
3.489 * [backup-simplify]: Simplify d2 into d2
3.489 * [taylor]: Taking taylor expansion of d1 in d4
3.489 * [backup-simplify]: Simplify d1 into d1
3.489 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.489 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.489 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.489 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.489 * [taylor]: Taking taylor expansion of d4 in d4
3.489 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify 1 into 1
3.489 * [taylor]: Taking taylor expansion of d1 in d4
3.489 * [backup-simplify]: Simplify d1 into d1
3.489 * [backup-simplify]: Simplify (* 0 d1) into 0
3.490 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.490 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.490 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.490 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.490 * [taylor]: Taking taylor expansion of d3 in d4
3.490 * [backup-simplify]: Simplify d3 into d3
3.490 * [taylor]: Taking taylor expansion of d1 in d4
3.490 * [backup-simplify]: Simplify d1 into d1
3.490 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.490 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.490 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3
3.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.490 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.490 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.490 * [taylor]: Taking taylor expansion of d2 in d3
3.490 * [backup-simplify]: Simplify d2 into d2
3.490 * [taylor]: Taking taylor expansion of d1 in d3
3.490 * [backup-simplify]: Simplify d1 into d1
3.490 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.490 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.490 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.490 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.490 * [taylor]: Taking taylor expansion of d4 in d3
3.490 * [backup-simplify]: Simplify d4 into d4
3.490 * [taylor]: Taking taylor expansion of d1 in d3
3.491 * [backup-simplify]: Simplify d1 into d1
3.491 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.491 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.491 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.491 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.491 * [taylor]: Taking taylor expansion of d3 in d3
3.491 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify 1 into 1
3.491 * [taylor]: Taking taylor expansion of d1 in d3
3.491 * [backup-simplify]: Simplify d1 into d1
3.491 * [backup-simplify]: Simplify (* 0 d1) into 0
3.491 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.491 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.491 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2
3.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.492 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.492 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.492 * [taylor]: Taking taylor expansion of d2 in d2
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [taylor]: Taking taylor expansion of d1 in d2
3.492 * [backup-simplify]: Simplify d1 into d1
3.492 * [backup-simplify]: Simplify (* 0 d1) into 0
3.492 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.492 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.492 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.492 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.492 * [taylor]: Taking taylor expansion of d4 in d2
3.492 * [backup-simplify]: Simplify d4 into d4
3.492 * [taylor]: Taking taylor expansion of d1 in d2
3.492 * [backup-simplify]: Simplify d1 into d1
3.492 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.492 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.493 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.493 * [taylor]: Taking taylor expansion of d3 in d2
3.493 * [backup-simplify]: Simplify d3 into d3
3.493 * [taylor]: Taking taylor expansion of d1 in d2
3.493 * [backup-simplify]: Simplify d1 into d1
3.493 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.493 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.493 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.493 * [taylor]: Taking taylor expansion of d2 in d1
3.493 * [backup-simplify]: Simplify d2 into d2
3.493 * [taylor]: Taking taylor expansion of d1 in d1
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (* d2 0) into 0
3.494 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.494 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.494 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.494 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.494 * [taylor]: Taking taylor expansion of d4 in d1
3.494 * [backup-simplify]: Simplify d4 into d4
3.494 * [taylor]: Taking taylor expansion of d1 in d1
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 1 into 1
3.494 * [backup-simplify]: Simplify (* d4 0) into 0
3.495 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.495 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.495 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.495 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.495 * [taylor]: Taking taylor expansion of d3 in d1
3.495 * [backup-simplify]: Simplify d3 into d3
3.495 * [taylor]: Taking taylor expansion of d1 in d1
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify 1 into 1
3.495 * [backup-simplify]: Simplify (* d3 0) into 0
3.495 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.495 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.496 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.496 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.496 * [taylor]: Taking taylor expansion of d2 in d1
3.496 * [backup-simplify]: Simplify d2 into d2
3.496 * [taylor]: Taking taylor expansion of d1 in d1
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [backup-simplify]: Simplify (* d2 0) into 0
3.497 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.497 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.497 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.497 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.497 * [taylor]: Taking taylor expansion of d4 in d1
3.497 * [backup-simplify]: Simplify d4 into d4
3.497 * [taylor]: Taking taylor expansion of d1 in d1
3.497 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify 1 into 1
3.497 * [backup-simplify]: Simplify (* d4 0) into 0
3.497 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.497 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.497 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.497 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.497 * [taylor]: Taking taylor expansion of d3 in d1
3.497 * [backup-simplify]: Simplify d3 into d3
3.498 * [taylor]: Taking taylor expansion of d1 in d1
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 1 into 1
3.498 * [backup-simplify]: Simplify (* d3 0) into 0
3.498 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.498 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.498 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.498 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.499 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.499 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.499 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.499 * [taylor]: Taking taylor expansion of d4 in d2
3.499 * [backup-simplify]: Simplify d4 into d4
3.499 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.499 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.499 * [taylor]: Taking taylor expansion of d2 in d2
3.499 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify 1 into 1
3.499 * [backup-simplify]: Simplify (/ 1 1) into 1
3.499 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.500 * [taylor]: Taking taylor expansion of d3 in d2
3.500 * [backup-simplify]: Simplify d3 into d3
3.500 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.500 * [backup-simplify]: Simplify (+ 0 1) into 1
3.500 * [backup-simplify]: Simplify (+ 1 0) into 1
3.500 * [taylor]: Taking taylor expansion of 1 in d3
3.501 * [backup-simplify]: Simplify 1 into 1
3.501 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.502 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.502 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.503 * [backup-simplify]: Simplify (+ 0 0) into 0
3.503 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.504 * [backup-simplify]: Simplify (- 0) into 0
3.504 * [backup-simplify]: Simplify (+ 0 0) into 0
3.504 * [taylor]: Taking taylor expansion of 0 in d2
3.504 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.505 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.505 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.505 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.506 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.506 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.506 * [taylor]: Taking taylor expansion of d4 in d3
3.506 * [backup-simplify]: Simplify d4 into d4
3.506 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.506 * [taylor]: Taking taylor expansion of d3 in d3
3.506 * [backup-simplify]: Simplify 0 into 0
3.506 * [backup-simplify]: Simplify 1 into 1
3.506 * [backup-simplify]: Simplify (/ 1 1) into 1
3.507 * [backup-simplify]: Simplify (- 1) into -1
3.507 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.507 * [taylor]: Taking taylor expansion of -1 in d4
3.507 * [backup-simplify]: Simplify -1 into -1
3.507 * [taylor]: Taking taylor expansion of 1 in d4
3.507 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.509 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.510 * [backup-simplify]: Simplify (+ 0 0) into 0
3.510 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.511 * [backup-simplify]: Simplify (- 0) into 0
3.511 * [backup-simplify]: Simplify (+ 0 0) into 0
3.511 * [taylor]: Taking taylor expansion of 0 in d2
3.511 * [backup-simplify]: Simplify 0 into 0
3.512 * [taylor]: Taking taylor expansion of 0 in d3
3.512 * [backup-simplify]: Simplify 0 into 0
3.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (+ 0 0) into 0
3.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.514 * [backup-simplify]: Simplify (- 0) into 0
3.514 * [backup-simplify]: Simplify (+ 0 0) into 0
3.514 * [taylor]: Taking taylor expansion of 0 in d3
3.514 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.515 * [backup-simplify]: Simplify (- 0) into 0
3.515 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.515 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.515 * [taylor]: Taking taylor expansion of d4 in d4
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.516 * [backup-simplify]: Simplify (/ 1 1) into 1
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [taylor]: Taking taylor expansion of 0 in d4
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify -1 into -1
3.516 * [backup-simplify]: Simplify 1 into 1
3.517 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.517 * [backup-simplify]: Simplify (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1)))
3.517 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0
3.517 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4
3.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.517 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.517 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.517 * [taylor]: Taking taylor expansion of d2 in d4
3.517 * [backup-simplify]: Simplify d2 into d2
3.518 * [taylor]: Taking taylor expansion of d1 in d4
3.518 * [backup-simplify]: Simplify d1 into d1
3.518 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.518 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.518 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.518 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.518 * [taylor]: Taking taylor expansion of d4 in d4
3.518 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify 1 into 1
3.518 * [taylor]: Taking taylor expansion of d1 in d4
3.518 * [backup-simplify]: Simplify d1 into d1
3.518 * [backup-simplify]: Simplify (* 0 d1) into 0
3.518 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.519 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.519 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.519 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.519 * [taylor]: Taking taylor expansion of d3 in d4
3.519 * [backup-simplify]: Simplify d3 into d3
3.519 * [taylor]: Taking taylor expansion of d1 in d4
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.519 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.519 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3
3.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.519 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.519 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.519 * [taylor]: Taking taylor expansion of d2 in d3
3.519 * [backup-simplify]: Simplify d2 into d2
3.519 * [taylor]: Taking taylor expansion of d1 in d3
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.519 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.519 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.519 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.519 * [taylor]: Taking taylor expansion of d4 in d3
3.519 * [backup-simplify]: Simplify d4 into d4
3.519 * [taylor]: Taking taylor expansion of d1 in d3
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.520 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.520 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.520 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.520 * [taylor]: Taking taylor expansion of d3 in d3
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.520 * [taylor]: Taking taylor expansion of d1 in d3
3.520 * [backup-simplify]: Simplify d1 into d1
3.520 * [backup-simplify]: Simplify (* 0 d1) into 0
3.520 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.520 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.520 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2
3.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.520 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.520 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.520 * [taylor]: Taking taylor expansion of d2 in d2
3.520 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify 1 into 1
3.521 * [taylor]: Taking taylor expansion of d1 in d2
3.521 * [backup-simplify]: Simplify d1 into d1
3.521 * [backup-simplify]: Simplify (* 0 d1) into 0
3.521 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.521 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.521 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.521 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.521 * [taylor]: Taking taylor expansion of d4 in d2
3.521 * [backup-simplify]: Simplify d4 into d4
3.521 * [taylor]: Taking taylor expansion of d1 in d2
3.521 * [backup-simplify]: Simplify d1 into d1
3.521 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.521 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.521 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.521 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.522 * [taylor]: Taking taylor expansion of d3 in d2
3.522 * [backup-simplify]: Simplify d3 into d3
3.522 * [taylor]: Taking taylor expansion of d1 in d2
3.522 * [backup-simplify]: Simplify d1 into d1
3.522 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.522 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.522 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.522 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.522 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.522 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.522 * [taylor]: Taking taylor expansion of d2 in d1
3.522 * [backup-simplify]: Simplify d2 into d2
3.522 * [taylor]: Taking taylor expansion of d1 in d1
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [backup-simplify]: Simplify 1 into 1
3.522 * [backup-simplify]: Simplify (* d2 0) into 0
3.522 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.523 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.523 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.523 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.523 * [taylor]: Taking taylor expansion of d4 in d1
3.523 * [backup-simplify]: Simplify d4 into d4
3.523 * [taylor]: Taking taylor expansion of d1 in d1
3.523 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify 1 into 1
3.523 * [backup-simplify]: Simplify (* d4 0) into 0
3.523 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.523 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.523 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.523 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.523 * [taylor]: Taking taylor expansion of d3 in d1
3.523 * [backup-simplify]: Simplify d3 into d3
3.523 * [taylor]: Taking taylor expansion of d1 in d1
3.523 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [backup-simplify]: Simplify (* d3 0) into 0
3.524 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.524 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.524 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.524 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.524 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.524 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.524 * [taylor]: Taking taylor expansion of d2 in d1
3.524 * [backup-simplify]: Simplify d2 into d2
3.524 * [taylor]: Taking taylor expansion of d1 in d1
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [backup-simplify]: Simplify (* d2 0) into 0
3.525 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.525 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.525 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.525 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.525 * [taylor]: Taking taylor expansion of d4 in d1
3.525 * [backup-simplify]: Simplify d4 into d4
3.525 * [taylor]: Taking taylor expansion of d1 in d1
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify 1 into 1
3.525 * [backup-simplify]: Simplify (* d4 0) into 0
3.526 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.526 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.526 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.526 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.526 * [taylor]: Taking taylor expansion of d3 in d1
3.526 * [backup-simplify]: Simplify d3 into d3
3.526 * [taylor]: Taking taylor expansion of d1 in d1
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify 1 into 1
3.526 * [backup-simplify]: Simplify (* d3 0) into 0
3.526 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.526 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.527 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.527 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.527 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.527 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.527 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.527 * [taylor]: Taking taylor expansion of d4 in d2
3.527 * [backup-simplify]: Simplify d4 into d4
3.527 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.527 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.527 * [taylor]: Taking taylor expansion of d2 in d2
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify 1 into 1
3.528 * [backup-simplify]: Simplify (/ 1 1) into 1
3.528 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.528 * [taylor]: Taking taylor expansion of d3 in d2
3.528 * [backup-simplify]: Simplify d3 into d3
3.528 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.528 * [backup-simplify]: Simplify (+ 0 1) into 1
3.529 * [backup-simplify]: Simplify (+ 1 0) into 1
3.529 * [taylor]: Taking taylor expansion of 1 in d3
3.529 * [backup-simplify]: Simplify 1 into 1
3.530 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.530 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.531 * [backup-simplify]: Simplify (+ 0 0) into 0
3.532 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.532 * [backup-simplify]: Simplify (- 0) into 0
3.533 * [backup-simplify]: Simplify (+ 0 0) into 0
3.533 * [taylor]: Taking taylor expansion of 0 in d2
3.533 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.534 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.534 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.534 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.534 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.534 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.534 * [taylor]: Taking taylor expansion of d4 in d3
3.534 * [backup-simplify]: Simplify d4 into d4
3.534 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.534 * [taylor]: Taking taylor expansion of d3 in d3
3.534 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify 1 into 1
3.534 * [backup-simplify]: Simplify (/ 1 1) into 1
3.535 * [backup-simplify]: Simplify (- 1) into -1
3.535 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.535 * [taylor]: Taking taylor expansion of -1 in d4
3.535 * [backup-simplify]: Simplify -1 into -1
3.535 * [taylor]: Taking taylor expansion of 1 in d4
3.535 * [backup-simplify]: Simplify 1 into 1
3.536 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.537 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.538 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.539 * [backup-simplify]: Simplify (- 0) into 0
3.540 * [backup-simplify]: Simplify (+ 0 0) into 0
3.540 * [taylor]: Taking taylor expansion of 0 in d2
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [taylor]: Taking taylor expansion of 0 in d3
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.541 * [backup-simplify]: Simplify (+ 0 0) into 0
3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.541 * [backup-simplify]: Simplify (- 0) into 0
3.542 * [backup-simplify]: Simplify (+ 0 0) into 0
3.542 * [taylor]: Taking taylor expansion of 0 in d3
3.542 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.542 * [backup-simplify]: Simplify (- 0) into 0
3.542 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.542 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.542 * [taylor]: Taking taylor expansion of d4 in d4
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (/ 1 1) into 1
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [taylor]: Taking taylor expansion of 0 in d4
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify -1 into -1
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.543 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.544 * [backup-simplify]: Simplify (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) into (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1)))
3.544 * [approximate]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in (d1 d2 d3 d4) around 0
3.544 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d4
3.544 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d4
3.544 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.544 * [taylor]: Taking taylor expansion of d4 in d4
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [taylor]: Taking taylor expansion of d1 in d4
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.544 * [taylor]: Taking taylor expansion of d2 in d4
3.544 * [backup-simplify]: Simplify d2 into d2
3.544 * [taylor]: Taking taylor expansion of d1 in d4
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d4
3.544 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
3.544 * [taylor]: Taking taylor expansion of d1 in d4
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.544 * [taylor]: Taking taylor expansion of d3 in d4
3.544 * [backup-simplify]: Simplify d3 into d3
3.544 * [taylor]: Taking taylor expansion of d1 in d4
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d3
3.544 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d3
3.544 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.544 * [taylor]: Taking taylor expansion of d4 in d3
3.544 * [backup-simplify]: Simplify d4 into d4
3.544 * [taylor]: Taking taylor expansion of d1 in d3
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.544 * [taylor]: Taking taylor expansion of d2 in d3
3.544 * [backup-simplify]: Simplify d2 into d2
3.544 * [taylor]: Taking taylor expansion of d1 in d3
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d3
3.544 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
3.544 * [taylor]: Taking taylor expansion of d1 in d3
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.544 * [taylor]: Taking taylor expansion of d3 in d3
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [taylor]: Taking taylor expansion of d1 in d3
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d2
3.544 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d2
3.544 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.544 * [taylor]: Taking taylor expansion of d4 in d2
3.544 * [backup-simplify]: Simplify d4 into d4
3.544 * [taylor]: Taking taylor expansion of d1 in d2
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.544 * [taylor]: Taking taylor expansion of d2 in d2
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [taylor]: Taking taylor expansion of d1 in d2
3.544 * [backup-simplify]: Simplify d1 into d1
3.544 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d2
3.545 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
3.545 * [taylor]: Taking taylor expansion of d1 in d2
3.545 * [backup-simplify]: Simplify d1 into d1
3.545 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.545 * [taylor]: Taking taylor expansion of d3 in d2
3.545 * [backup-simplify]: Simplify d3 into d3
3.545 * [taylor]: Taking taylor expansion of d1 in d2
3.545 * [backup-simplify]: Simplify d1 into d1
3.545 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d1
3.545 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.545 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d4 in d1
3.545 * [backup-simplify]: Simplify d4 into d4
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d2 in d1
3.545 * [backup-simplify]: Simplify d2 into d2
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d1
3.545 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d3 in d1
3.545 * [backup-simplify]: Simplify d3 into d3
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d1
3.545 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.545 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d4 in d1
3.545 * [backup-simplify]: Simplify d4 into d4
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d2 in d1
3.545 * [backup-simplify]: Simplify d2 into d2
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d1
3.545 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.545 * [taylor]: Taking taylor expansion of d3 in d1
3.545 * [backup-simplify]: Simplify d3 into d3
3.545 * [taylor]: Taking taylor expansion of d1 in d1
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [backup-simplify]: Simplify (* d4 0) into 0
3.545 * [backup-simplify]: Simplify (* d2 0) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [backup-simplify]: Simplify (* d3 0) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [backup-simplify]: Simplify (- 0) into 0
3.547 * [backup-simplify]: Simplify (+ 0 0) into 0
3.547 * [taylor]: Taking taylor expansion of 0 in d2
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [taylor]: Taking taylor expansion of 0 in d3
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [taylor]: Taking taylor expansion of 0 in d4
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.547 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.547 * [backup-simplify]: Simplify (+ d4 d2) into (+ d4 d2)
3.548 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.548 * [backup-simplify]: Simplify (+ 0 d3) into d3
3.548 * [backup-simplify]: Simplify (- d3) into (- d3)
3.548 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3)
3.548 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2
3.548 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
3.548 * [taylor]: Taking taylor expansion of d4 in d2
3.548 * [backup-simplify]: Simplify d4 into d4
3.548 * [taylor]: Taking taylor expansion of d2 in d2
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [taylor]: Taking taylor expansion of d3 in d2
3.548 * [backup-simplify]: Simplify d3 into d3
3.548 * [backup-simplify]: Simplify (+ d4 0) into d4
3.548 * [backup-simplify]: Simplify (- d3) into (- d3)
3.548 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
3.548 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
3.548 * [taylor]: Taking taylor expansion of d4 in d3
3.548 * [backup-simplify]: Simplify d4 into d4
3.548 * [taylor]: Taking taylor expansion of d3 in d3
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify (- 0) into 0
3.548 * [backup-simplify]: Simplify (+ d4 0) into d4
3.548 * [taylor]: Taking taylor expansion of d4 in d4
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [taylor]: Taking taylor expansion of 0 in d3
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [taylor]: Taking taylor expansion of 0 in d4
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [taylor]: Taking taylor expansion of 0 in d4
3.548 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.549 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.550 * [backup-simplify]: Simplify (+ 0 0) into 0
3.550 * [backup-simplify]: Simplify (* 1 1) into 1
3.550 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.550 * [backup-simplify]: Simplify (+ 1 0) into 1
3.551 * [backup-simplify]: Simplify (- 1) into -1
3.551 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.551 * [taylor]: Taking taylor expansion of -1 in d2
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [taylor]: Taking taylor expansion of -1 in d3
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [taylor]: Taking taylor expansion of -1 in d4
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [backup-simplify]: Simplify (+ 0 1) into 1
3.552 * [backup-simplify]: Simplify (- 0) into 0
3.552 * [backup-simplify]: Simplify (+ 1 0) into 1
3.552 * [taylor]: Taking taylor expansion of 1 in d3
3.552 * [backup-simplify]: Simplify 1 into 1
3.552 * [taylor]: Taking taylor expansion of 1 in d4
3.552 * [backup-simplify]: Simplify 1 into 1
3.552 * [backup-simplify]: Simplify 1 into 1
3.552 * [taylor]: Taking taylor expansion of 0 in d3
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [taylor]: Taking taylor expansion of 0 in d4
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify (- 1) into -1
3.553 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.553 * [taylor]: Taking taylor expansion of -1 in d4
3.553 * [backup-simplify]: Simplify -1 into -1
3.553 * [backup-simplify]: Simplify -1 into -1
3.553 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* d3 (* 1 d1)))) (+ (* 1 (* 1 (* 1 (* d2 d1)))) (* -1 (pow (* 1 (* 1 (* 1 d1))) 2)))) into (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
3.553 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))))
3.553 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in (d1 d2 d3 d4) around 0
3.553 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d4
3.553 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.553 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.553 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.553 * [taylor]: Taking taylor expansion of d2 in d4
3.553 * [backup-simplify]: Simplify d2 into d2
3.553 * [taylor]: Taking taylor expansion of d1 in d4
3.553 * [backup-simplify]: Simplify d1 into d1
3.553 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.554 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.554 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.554 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.554 * [taylor]: Taking taylor expansion of d4 in d4
3.554 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify 1 into 1
3.554 * [taylor]: Taking taylor expansion of d1 in d4
3.554 * [backup-simplify]: Simplify d1 into d1
3.554 * [backup-simplify]: Simplify (* 0 d1) into 0
3.554 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.554 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d4
3.554 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4
3.554 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
3.554 * [taylor]: Taking taylor expansion of d1 in d4
3.554 * [backup-simplify]: Simplify d1 into d1
3.554 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.554 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.554 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.554 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.554 * [taylor]: Taking taylor expansion of d3 in d4
3.554 * [backup-simplify]: Simplify d3 into d3
3.554 * [taylor]: Taking taylor expansion of d1 in d4
3.554 * [backup-simplify]: Simplify d1 into d1
3.554 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.554 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.554 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d3
3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.554 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.554 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.555 * [taylor]: Taking taylor expansion of d2 in d3
3.555 * [backup-simplify]: Simplify d2 into d2
3.555 * [taylor]: Taking taylor expansion of d1 in d3
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.555 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.555 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.555 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.555 * [taylor]: Taking taylor expansion of d4 in d3
3.555 * [backup-simplify]: Simplify d4 into d4
3.555 * [taylor]: Taking taylor expansion of d1 in d3
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.555 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d3
3.555 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3
3.555 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
3.555 * [taylor]: Taking taylor expansion of d1 in d3
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.555 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.555 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.555 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.555 * [taylor]: Taking taylor expansion of d3 in d3
3.555 * [backup-simplify]: Simplify 0 into 0
3.555 * [backup-simplify]: Simplify 1 into 1
3.555 * [taylor]: Taking taylor expansion of d1 in d3
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (* 0 d1) into 0
3.555 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.555 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d2
3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.556 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.556 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.556 * [taylor]: Taking taylor expansion of d2 in d2
3.556 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify 1 into 1
3.556 * [taylor]: Taking taylor expansion of d1 in d2
3.556 * [backup-simplify]: Simplify d1 into d1
3.556 * [backup-simplify]: Simplify (* 0 d1) into 0
3.556 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.556 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.556 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.556 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.556 * [taylor]: Taking taylor expansion of d4 in d2
3.556 * [backup-simplify]: Simplify d4 into d4
3.556 * [taylor]: Taking taylor expansion of d1 in d2
3.556 * [backup-simplify]: Simplify d1 into d1
3.556 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.556 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d2
3.556 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2
3.556 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
3.556 * [taylor]: Taking taylor expansion of d1 in d2
3.556 * [backup-simplify]: Simplify d1 into d1
3.557 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.557 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.557 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.557 * [taylor]: Taking taylor expansion of d3 in d2
3.557 * [backup-simplify]: Simplify d3 into d3
3.557 * [taylor]: Taking taylor expansion of d1 in d2
3.557 * [backup-simplify]: Simplify d1 into d1
3.557 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.557 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.557 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
3.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.557 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.557 * [taylor]: Taking taylor expansion of d2 in d1
3.557 * [backup-simplify]: Simplify d2 into d2
3.557 * [taylor]: Taking taylor expansion of d1 in d1
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 1 into 1
3.557 * [backup-simplify]: Simplify (* d2 0) into 0
3.557 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.557 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.557 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.557 * [taylor]: Taking taylor expansion of d4 in d1
3.557 * [backup-simplify]: Simplify d4 into d4
3.557 * [taylor]: Taking taylor expansion of d1 in d1
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 1 into 1
3.557 * [backup-simplify]: Simplify (* d4 0) into 0
3.558 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.558 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
3.558 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
3.558 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.558 * [taylor]: Taking taylor expansion of d1 in d1
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.558 * [backup-simplify]: Simplify (* 1 1) into 1
3.558 * [backup-simplify]: Simplify (/ 1 1) into 1
3.558 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.558 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.558 * [taylor]: Taking taylor expansion of d3 in d1
3.558 * [backup-simplify]: Simplify d3 into d3
3.558 * [taylor]: Taking taylor expansion of d1 in d1
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (* d3 0) into 0
3.559 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.559 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.559 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
3.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.559 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.559 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.559 * [taylor]: Taking taylor expansion of d2 in d1
3.559 * [backup-simplify]: Simplify d2 into d2
3.559 * [taylor]: Taking taylor expansion of d1 in d1
3.559 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (* d2 0) into 0
3.559 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.559 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.559 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.559 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.559 * [taylor]: Taking taylor expansion of d4 in d1
3.559 * [backup-simplify]: Simplify d4 into d4
3.559 * [taylor]: Taking taylor expansion of d1 in d1
3.559 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (* d4 0) into 0
3.560 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.560 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
3.560 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
3.560 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.560 * [taylor]: Taking taylor expansion of d1 in d1
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (* 1 1) into 1
3.560 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.560 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.560 * [taylor]: Taking taylor expansion of d3 in d1
3.560 * [backup-simplify]: Simplify d3 into d3
3.560 * [taylor]: Taking taylor expansion of d1 in d1
3.561 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [backup-simplify]: Simplify (* d3 0) into 0
3.561 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.561 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.561 * [backup-simplify]: Simplify (+ 1 0) into 1
3.561 * [backup-simplify]: Simplify (- 1) into -1
3.562 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.562 * [taylor]: Taking taylor expansion of -1 in d2
3.562 * [backup-simplify]: Simplify -1 into -1
3.562 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.563 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
3.563 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.563 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.563 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.563 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.563 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.563 * [taylor]: Taking taylor expansion of d4 in d2
3.563 * [backup-simplify]: Simplify d4 into d4
3.563 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.563 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.563 * [taylor]: Taking taylor expansion of d2 in d2
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.563 * [backup-simplify]: Simplify (/ 1 1) into 1
3.563 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.563 * [taylor]: Taking taylor expansion of d3 in d2
3.563 * [backup-simplify]: Simplify d3 into d3
3.563 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.564 * [backup-simplify]: Simplify (+ 0 1) into 1
3.564 * [backup-simplify]: Simplify (+ 1 0) into 1
3.564 * [taylor]: Taking taylor expansion of 1 in d3
3.564 * [backup-simplify]: Simplify 1 into 1
3.564 * [taylor]: Taking taylor expansion of -1 in d3
3.564 * [backup-simplify]: Simplify -1 into -1
3.564 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.565 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.565 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.567 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.567 * [backup-simplify]: Simplify (+ 0 0) into 0
3.568 * [backup-simplify]: Simplify (- 0) into 0
3.568 * [backup-simplify]: Simplify (+ 0 0) into 0
3.568 * [taylor]: Taking taylor expansion of 0 in d2
3.568 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.569 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.569 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.569 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.569 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.569 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.569 * [taylor]: Taking taylor expansion of d4 in d3
3.569 * [backup-simplify]: Simplify d4 into d4
3.569 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.569 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.569 * [taylor]: Taking taylor expansion of d3 in d3
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify 1 into 1
3.572 * [backup-simplify]: Simplify (/ 1 1) into 1
3.572 * [backup-simplify]: Simplify (- 1) into -1
3.573 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.573 * [taylor]: Taking taylor expansion of -1 in d4
3.573 * [backup-simplify]: Simplify -1 into -1
3.573 * [taylor]: Taking taylor expansion of 0 in d3
3.573 * [backup-simplify]: Simplify 0 into 0
3.573 * [taylor]: Taking taylor expansion of 1 in d4
3.573 * [backup-simplify]: Simplify 1 into 1
3.573 * [taylor]: Taking taylor expansion of -1 in d4
3.573 * [backup-simplify]: Simplify -1 into -1
3.574 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.575 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.575 * [backup-simplify]: Simplify (+ 0 0) into 0
3.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.578 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.579 * [backup-simplify]: Simplify (+ 0 0) into 0
3.579 * [backup-simplify]: Simplify (- 0) into 0
3.579 * [backup-simplify]: Simplify (+ 0 0) into 0
3.580 * [taylor]: Taking taylor expansion of 0 in d2
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [taylor]: Taking taylor expansion of 0 in d3
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.581 * [backup-simplify]: Simplify (+ 0 0) into 0
3.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.582 * [backup-simplify]: Simplify (- 0) into 0
3.582 * [backup-simplify]: Simplify (+ 0 0) into 0
3.582 * [taylor]: Taking taylor expansion of 0 in d3
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [taylor]: Taking taylor expansion of 0 in d3
3.582 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.583 * [backup-simplify]: Simplify (- 0) into 0
3.583 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.583 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.583 * [taylor]: Taking taylor expansion of d4 in d4
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [taylor]: Taking taylor expansion of 0 in d4
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [taylor]: Taking taylor expansion of 0 in d4
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [taylor]: Taking taylor expansion of 0 in d4
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify -1 into -1
3.584 * [backup-simplify]: Simplify 1 into 1
3.585 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.586 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))))
3.586 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in (d1 d2 d3 d4) around 0
3.586 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d4
3.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.586 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.586 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.586 * [taylor]: Taking taylor expansion of d2 in d4
3.586 * [backup-simplify]: Simplify d2 into d2
3.586 * [taylor]: Taking taylor expansion of d1 in d4
3.586 * [backup-simplify]: Simplify d1 into d1
3.586 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.586 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.586 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.586 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.586 * [taylor]: Taking taylor expansion of d4 in d4
3.586 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify 1 into 1
3.586 * [taylor]: Taking taylor expansion of d1 in d4
3.586 * [backup-simplify]: Simplify d1 into d1
3.586 * [backup-simplify]: Simplify (* 0 d1) into 0
3.587 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.587 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d4
3.587 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4
3.587 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
3.587 * [taylor]: Taking taylor expansion of d1 in d4
3.587 * [backup-simplify]: Simplify d1 into d1
3.587 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.587 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.587 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.587 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.587 * [taylor]: Taking taylor expansion of d3 in d4
3.587 * [backup-simplify]: Simplify d3 into d3
3.587 * [taylor]: Taking taylor expansion of d1 in d4
3.587 * [backup-simplify]: Simplify d1 into d1
3.587 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.587 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.587 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d3
3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.587 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.588 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.588 * [taylor]: Taking taylor expansion of d2 in d3
3.588 * [backup-simplify]: Simplify d2 into d2
3.588 * [taylor]: Taking taylor expansion of d1 in d3
3.588 * [backup-simplify]: Simplify d1 into d1
3.588 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.588 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.588 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.588 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.588 * [taylor]: Taking taylor expansion of d4 in d3
3.588 * [backup-simplify]: Simplify d4 into d4
3.588 * [taylor]: Taking taylor expansion of d1 in d3
3.588 * [backup-simplify]: Simplify d1 into d1
3.588 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.588 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d3
3.588 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3
3.588 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
3.588 * [taylor]: Taking taylor expansion of d1 in d3
3.588 * [backup-simplify]: Simplify d1 into d1
3.588 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.588 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.588 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.588 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.588 * [taylor]: Taking taylor expansion of d3 in d3
3.588 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify 1 into 1
3.588 * [taylor]: Taking taylor expansion of d1 in d3
3.589 * [backup-simplify]: Simplify d1 into d1
3.589 * [backup-simplify]: Simplify (* 0 d1) into 0
3.589 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.589 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.589 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d2
3.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.589 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.589 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.589 * [taylor]: Taking taylor expansion of d2 in d2
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 1 into 1
3.589 * [taylor]: Taking taylor expansion of d1 in d2
3.589 * [backup-simplify]: Simplify d1 into d1
3.589 * [backup-simplify]: Simplify (* 0 d1) into 0
3.590 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.590 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.590 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.590 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.590 * [taylor]: Taking taylor expansion of d4 in d2
3.590 * [backup-simplify]: Simplify d4 into d4
3.590 * [taylor]: Taking taylor expansion of d1 in d2
3.590 * [backup-simplify]: Simplify d1 into d1
3.590 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.590 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d2
3.590 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2
3.590 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
3.590 * [taylor]: Taking taylor expansion of d1 in d2
3.590 * [backup-simplify]: Simplify d1 into d1
3.590 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
3.591 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
3.591 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.591 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.591 * [taylor]: Taking taylor expansion of d3 in d2
3.591 * [backup-simplify]: Simplify d3 into d3
3.591 * [taylor]: Taking taylor expansion of d1 in d2
3.591 * [backup-simplify]: Simplify d1 into d1
3.591 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.591 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.591 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
3.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.591 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.591 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.591 * [taylor]: Taking taylor expansion of d2 in d1
3.591 * [backup-simplify]: Simplify d2 into d2
3.591 * [taylor]: Taking taylor expansion of d1 in d1
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify 1 into 1
3.591 * [backup-simplify]: Simplify (* d2 0) into 0
3.592 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.592 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.592 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.592 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.592 * [taylor]: Taking taylor expansion of d4 in d1
3.592 * [backup-simplify]: Simplify d4 into d4
3.592 * [taylor]: Taking taylor expansion of d1 in d1
3.592 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify 1 into 1
3.592 * [backup-simplify]: Simplify (* d4 0) into 0
3.592 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.592 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
3.592 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
3.592 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.592 * [taylor]: Taking taylor expansion of d1 in d1
3.592 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify 1 into 1
3.593 * [backup-simplify]: Simplify (* 1 1) into 1
3.593 * [backup-simplify]: Simplify (/ 1 1) into 1
3.593 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.593 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.593 * [taylor]: Taking taylor expansion of d3 in d1
3.593 * [backup-simplify]: Simplify d3 into d3
3.593 * [taylor]: Taking taylor expansion of d1 in d1
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify 1 into 1
3.593 * [backup-simplify]: Simplify (* d3 0) into 0
3.594 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.594 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.594 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
3.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.594 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.594 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.594 * [taylor]: Taking taylor expansion of d2 in d1
3.594 * [backup-simplify]: Simplify d2 into d2
3.594 * [taylor]: Taking taylor expansion of d1 in d1
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 1 into 1
3.594 * [backup-simplify]: Simplify (* d2 0) into 0
3.595 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.595 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.595 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.595 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.595 * [taylor]: Taking taylor expansion of d4 in d1
3.595 * [backup-simplify]: Simplify d4 into d4
3.595 * [taylor]: Taking taylor expansion of d1 in d1
3.595 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (* d4 0) into 0
3.596 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.596 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.596 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
3.596 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
3.596 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
3.596 * [taylor]: Taking taylor expansion of d1 in d1
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.596 * [backup-simplify]: Simplify (* 1 1) into 1
3.597 * [backup-simplify]: Simplify (/ 1 1) into 1
3.597 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.597 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.597 * [taylor]: Taking taylor expansion of d3 in d1
3.597 * [backup-simplify]: Simplify d3 into d3
3.597 * [taylor]: Taking taylor expansion of d1 in d1
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [backup-simplify]: Simplify (* d3 0) into 0
3.597 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.597 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.598 * [backup-simplify]: Simplify (+ 1 0) into 1
3.598 * [backup-simplify]: Simplify (- 1) into -1
3.599 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.599 * [taylor]: Taking taylor expansion of -1 in d2
3.599 * [backup-simplify]: Simplify -1 into -1
3.599 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.601 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
3.601 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.601 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.601 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.601 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.601 * [taylor]: Taking taylor expansion of d4 in d2
3.601 * [backup-simplify]: Simplify d4 into d4
3.601 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.601 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.601 * [taylor]: Taking taylor expansion of d2 in d2
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.602 * [backup-simplify]: Simplify (/ 1 1) into 1
3.602 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.602 * [taylor]: Taking taylor expansion of d3 in d2
3.602 * [backup-simplify]: Simplify d3 into d3
3.602 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.602 * [backup-simplify]: Simplify (+ 0 1) into 1
3.603 * [backup-simplify]: Simplify (+ 1 0) into 1
3.603 * [taylor]: Taking taylor expansion of 1 in d3
3.603 * [backup-simplify]: Simplify 1 into 1
3.603 * [taylor]: Taking taylor expansion of -1 in d3
3.603 * [backup-simplify]: Simplify -1 into -1
3.604 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.604 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.605 * [backup-simplify]: Simplify (+ 0 0) into 0
3.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.608 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.608 * [backup-simplify]: Simplify (+ 0 0) into 0
3.609 * [backup-simplify]: Simplify (- 0) into 0
3.609 * [backup-simplify]: Simplify (+ 0 0) into 0
3.609 * [taylor]: Taking taylor expansion of 0 in d2
3.609 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.610 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.610 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.610 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.610 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.610 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.610 * [taylor]: Taking taylor expansion of d4 in d3
3.611 * [backup-simplify]: Simplify d4 into d4
3.611 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.611 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.611 * [taylor]: Taking taylor expansion of d3 in d3
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [backup-simplify]: Simplify (/ 1 1) into 1
3.611 * [backup-simplify]: Simplify (- 1) into -1
3.612 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.612 * [taylor]: Taking taylor expansion of -1 in d4
3.612 * [backup-simplify]: Simplify -1 into -1
3.612 * [taylor]: Taking taylor expansion of 0 in d3
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [taylor]: Taking taylor expansion of 1 in d4
3.612 * [backup-simplify]: Simplify 1 into 1
3.612 * [taylor]: Taking taylor expansion of -1 in d4
3.612 * [backup-simplify]: Simplify -1 into -1
3.613 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.614 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.615 * [backup-simplify]: Simplify (+ 0 0) into 0
3.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.618 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.618 * [backup-simplify]: Simplify (+ 0 0) into 0
3.619 * [backup-simplify]: Simplify (- 0) into 0
3.619 * [backup-simplify]: Simplify (+ 0 0) into 0
3.619 * [taylor]: Taking taylor expansion of 0 in d2
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [taylor]: Taking taylor expansion of 0 in d3
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.621 * [backup-simplify]: Simplify (+ 0 0) into 0
3.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.621 * [backup-simplify]: Simplify (- 0) into 0
3.622 * [backup-simplify]: Simplify (+ 0 0) into 0
3.622 * [taylor]: Taking taylor expansion of 0 in d3
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [taylor]: Taking taylor expansion of 0 in d3
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.623 * [backup-simplify]: Simplify (- 0) into 0
3.623 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.623 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.623 * [taylor]: Taking taylor expansion of d4 in d4
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (/ 1 1) into 1
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [taylor]: Taking taylor expansion of 0 in d4
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [taylor]: Taking taylor expansion of 0 in d4
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [taylor]: Taking taylor expansion of 0 in d4
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify -1 into -1
3.624 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.625 * * * [progress]: simplifying candidates
3.626 * [simplify]: Simplifying:
  (/ (exp (* d1 d2)) (exp (* d1 d3)))
  (log (- (* d1 d2) (* d1 d3)))
  (exp (- (* d1 d2) (* d1 d3)))
  (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))
  (cbrt (- (* d1 d2) (* d1 d3)))
  (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))
  (sqrt (- (* d1 d2) (* d1 d3)))
  (sqrt (- (* d1 d2) (* d1 d3)))
  (- (pow (* d1 d2) 3) (pow (* d1 d3) 3))
  (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))
  (- (* d1 d3))
  (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3)))
  (+ (* d1 d2) (* d1 d3))
  (- d2 d3)
  (- (* d1 d3))
  (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))
  (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
  (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))
  (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
  (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))
  (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1)))
  (- (- (* d1 d2) (* d1 d3)) (* d4 d1))
  (+ (- (* d1 d3)) (* d4 d1))
  (+ (- (* d1 d3)) (* d4 d1))
  (- (* d1 d3) (* d4 d1))
  (/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
  (/ (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
  (/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1)))
  (log (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (exp (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (* (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))))
  (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (* (* (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
  (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 3) (pow (* d1 d1) 3))
  (+ (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (* (* d1 d1) (* d1 d1)) (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))))
  (- (* d1 d1))
  (- (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* d1 d1) (* d1 d1)))
  (+ (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
  (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1)
  (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1)
  (- (* d4 d1) (* d1 d1))
  (+ (- (* d1 d3) (* d4 d1)) (* d1 d1))
  (- (* d1 d1))
  (- (* d2 d1) (* d3 d1))
  (- (* d2 d1) (* d3 d1))
  (- (* d2 d1) (* d3 d1))
  0
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.628 * * [simplify]: iteration 0: 90 enodes
3.669 * * [simplify]: iteration 1: 263 enodes
3.823 * * [simplify]: iteration 2: 956 enodes
4.684 * * [simplify]: iteration 3: 4948 enodes
6.319 * * [simplify]: iteration complete: 5002 enodes
6.319 * * [simplify]: Extracting #0: cost 43 inf + 0
6.321 * * [simplify]: Extracting #1: cost 415 inf + 1
6.329 * * [simplify]: Extracting #2: cost 1220 inf + 5936
6.365 * * [simplify]: Extracting #3: cost 1105 inf + 46509
6.422 * * [simplify]: Extracting #4: cost 627 inf + 150892
6.546 * * [simplify]: Extracting #5: cost 47 inf + 328197
6.691 * * [simplify]: Extracting #6: cost 0 inf + 332287
6.801 * * [simplify]: Extracting #7: cost 0 inf + 329407
6.934 * * [simplify]: Extracting #8: cost 0 inf + 329367
7.056 * [simplify]: Simplified to:
  (exp (* d1 (- d2 d3)))
  (log (* d1 (- d2 d3)))
  (exp (* d1 (- d2 d3)))
  (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
  (cbrt (* d1 (- d2 d3)))
  (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (- (* (* d1 d2) (* (* d1 d2) (* d1 d2))) (* (* d3 d1) (* (* d3 d1) (* d3 d1))))
  (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d3 d1) (* d1 d2)) (* (* d3 d1) (* d3 d1))))
  (* d3 (- d1))
  (- (* (* d1 d2) (* d1 d2)) (* (* d3 d1) (* d3 d1)))
  (* d1 (+ d2 d3))
  (- d2 d3)
  (* d3 (- d1))
  (exp (* d1 (- d2 (- d3 d4))))
  (exp (* d1 (- d2 (- d3 d4))))
  (log (* d1 (- d2 (- d3 d4))))
  (exp (* d1 (- d2 (- d3 d4))))
  (* (cbrt (* d1 (- d2 (- d3 d4)))) (cbrt (* d1 (- d2 (- d3 d4)))))
  (cbrt (* d1 (- d2 (- d3 d4))))
  (* (* (* d1 (- d2 (- d3 d4))) (* d1 (- d2 (- d3 d4)))) (* d1 (- d2 (- d3 d4))))
  (sqrt (* d1 (- d2 (- d3 d4))))
  (sqrt (* d1 (- d2 (- d3 d4))))
  (+ (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3))) (* (* (* d4 d1) (* d4 d1)) (* d4 d1)))
  (* d1 (+ (* (* d4 d1) (- d4 (- d2 d3))) (* (- d2 d3) (* d1 (- d2 d3)))))
  (- (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* (* d4 d1) (* d4 d1)))
  (* (- (- d2 d3) d4) d1)
  (* d1 (- d4 d3))
  (* d1 (- d4 d3))
  (* d1 (- d3 d4))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (log (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
  (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (- (* (* (* d1 (- d2 (- d3 d4))) (* d1 (- d2 (- d3 d4)))) (* d1 (- d2 (- d3 d4)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (+ (* (* d1 (- d2 (- d3 d4))) (+ (* d1 d1) (* d1 (- d2 (- d3 d4))))) (* (* d1 d1) (* d1 d1)))
  (* d1 (- d1))
  (- (* (* d1 (- d2 (- d3 d4))) (* d1 (- d2 (- d3 d4)))) (* (* d1 d1) (* d1 d1)))
  (+ (* d1 d1) (* d1 (- d2 (- d3 d4))))
  (+ d1 (sqrt (* d1 (- d2 (- d3 d4)))))
  (- (sqrt (* d1 (- d2 (- d3 d4)))) d1)
  (* d1 (- d4 d1))
  (* d1 (- d3 (- d4 d1)))
  (* d1 (- d1))
  (* d1 (- d2 d3))
  (* d1 (- d2 d3))
  (* d1 (- d2 d3))
  0
  (* d1 (- d2 (- d3 d4)))
  (* d1 (- d2 (- d3 d4)))
  (- (* d1 (- d2 d3)) (* d1 d1))
  (* d1 (- d2 (- d3 d4)))
  (* d1 (- d2 (- d3 d4)))
7.062 * * * [progress]: adding candidates to table
7.374 * * [progress]: iteration 2 / 4
7.374 * * * [progress]: picking best candidate
7.378 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))>
7.379 * * * [progress]: localizing error
7.393 * * * [progress]: generating rewritten candidates
7.393 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
7.533 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.570 * * * [progress]: generating series expansions
7.570 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.570 * [backup-simplify]: Simplify (* (+ (- d2 d1) (- d4 d3)) d1) into (* (- (+ d2 d4) (+ d3 d1)) d1)
7.571 * [approximate]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in (d2 d1 d4 d3) around 0
7.571 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d3
7.571 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3
7.571 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3
7.571 * [taylor]: Taking taylor expansion of d2 in d3
7.571 * [backup-simplify]: Simplify d2 into d2
7.571 * [taylor]: Taking taylor expansion of d4 in d3
7.571 * [backup-simplify]: Simplify d4 into d4
7.571 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
7.571 * [taylor]: Taking taylor expansion of d3 in d3
7.571 * [backup-simplify]: Simplify 0 into 0
7.571 * [backup-simplify]: Simplify 1 into 1
7.571 * [taylor]: Taking taylor expansion of d1 in d3
7.571 * [backup-simplify]: Simplify d1 into d1
7.571 * [taylor]: Taking taylor expansion of d1 in d3
7.571 * [backup-simplify]: Simplify d1 into d1
7.571 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d4
7.571 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4
7.571 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4
7.571 * [taylor]: Taking taylor expansion of d2 in d4
7.571 * [backup-simplify]: Simplify d2 into d2
7.571 * [taylor]: Taking taylor expansion of d4 in d4
7.571 * [backup-simplify]: Simplify 0 into 0
7.571 * [backup-simplify]: Simplify 1 into 1
7.571 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4
7.571 * [taylor]: Taking taylor expansion of d3 in d4
7.571 * [backup-simplify]: Simplify d3 into d3
7.571 * [taylor]: Taking taylor expansion of d1 in d4
7.571 * [backup-simplify]: Simplify d1 into d1
7.571 * [taylor]: Taking taylor expansion of d1 in d4
7.571 * [backup-simplify]: Simplify d1 into d1
7.571 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d1
7.571 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1
7.571 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1
7.571 * [taylor]: Taking taylor expansion of d2 in d1
7.571 * [backup-simplify]: Simplify d2 into d2
7.571 * [taylor]: Taking taylor expansion of d4 in d1
7.571 * [backup-simplify]: Simplify d4 into d4
7.571 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
7.572 * [taylor]: Taking taylor expansion of d3 in d1
7.572 * [backup-simplify]: Simplify d3 into d3
7.572 * [taylor]: Taking taylor expansion of d1 in d1
7.572 * [backup-simplify]: Simplify 0 into 0
7.572 * [backup-simplify]: Simplify 1 into 1
7.572 * [taylor]: Taking taylor expansion of d1 in d1
7.572 * [backup-simplify]: Simplify 0 into 0
7.572 * [backup-simplify]: Simplify 1 into 1
7.572 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d2
7.572 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
7.572 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
7.572 * [taylor]: Taking taylor expansion of d2 in d2
7.572 * [backup-simplify]: Simplify 0 into 0
7.572 * [backup-simplify]: Simplify 1 into 1
7.572 * [taylor]: Taking taylor expansion of d4 in d2
7.572 * [backup-simplify]: Simplify d4 into d4
7.572 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
7.572 * [taylor]: Taking taylor expansion of d3 in d2
7.572 * [backup-simplify]: Simplify d3 into d3
7.572 * [taylor]: Taking taylor expansion of d1 in d2
7.572 * [backup-simplify]: Simplify d1 into d1
7.572 * [taylor]: Taking taylor expansion of d1 in d2
7.572 * [backup-simplify]: Simplify d1 into d1
7.572 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d2
7.572 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
7.572 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
7.572 * [taylor]: Taking taylor expansion of d2 in d2
7.572 * [backup-simplify]: Simplify 0 into 0
7.572 * [backup-simplify]: Simplify 1 into 1
7.572 * [taylor]: Taking taylor expansion of d4 in d2
7.572 * [backup-simplify]: Simplify d4 into d4
7.572 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
7.572 * [taylor]: Taking taylor expansion of d3 in d2
7.572 * [backup-simplify]: Simplify d3 into d3
7.572 * [taylor]: Taking taylor expansion of d1 in d2
7.572 * [backup-simplify]: Simplify d1 into d1
7.572 * [taylor]: Taking taylor expansion of d1 in d2
7.572 * [backup-simplify]: Simplify d1 into d1
7.572 * [backup-simplify]: Simplify (+ 0 d4) into d4
7.573 * [backup-simplify]: Simplify (+ d3 d1) into (+ d3 d1)
7.573 * [backup-simplify]: Simplify (- (+ d3 d1)) into (- (+ d3 d1))
7.573 * [backup-simplify]: Simplify (+ d4 (- (+ d3 d1))) into (- d4 (+ d3 d1))
7.573 * [backup-simplify]: Simplify (* (- d4 (+ d3 d1)) d1) into (* (- d4 (+ d3 d1)) d1)
7.573 * [taylor]: Taking taylor expansion of (* (- d4 (+ d3 d1)) d1) in d1
7.573 * [taylor]: Taking taylor expansion of (- d4 (+ d3 d1)) in d1
7.573 * [taylor]: Taking taylor expansion of d4 in d1
7.573 * [backup-simplify]: Simplify d4 into d4
7.573 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
7.573 * [taylor]: Taking taylor expansion of d3 in d1
7.573 * [backup-simplify]: Simplify d3 into d3
7.573 * [taylor]: Taking taylor expansion of d1 in d1
7.573 * [backup-simplify]: Simplify 0 into 0
7.573 * [backup-simplify]: Simplify 1 into 1
7.573 * [taylor]: Taking taylor expansion of d1 in d1
7.573 * [backup-simplify]: Simplify 0 into 0
7.573 * [backup-simplify]: Simplify 1 into 1
7.573 * [backup-simplify]: Simplify (+ d3 0) into d3
7.573 * [backup-simplify]: Simplify (- d3) into (- d3)
7.573 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
7.573 * [backup-simplify]: Simplify (* (- d4 d3) 0) into 0
7.573 * [taylor]: Taking taylor expansion of 0 in d4
7.573 * [backup-simplify]: Simplify 0 into 0
7.573 * [taylor]: Taking taylor expansion of 0 in d3
7.573 * [backup-simplify]: Simplify 0 into 0
7.573 * [backup-simplify]: Simplify 0 into 0
7.574 * [backup-simplify]: Simplify (+ 1 0) into 1
7.575 * [backup-simplify]: Simplify (+ 0 0) into 0
7.575 * [backup-simplify]: Simplify (- 0) into 0
7.575 * [backup-simplify]: Simplify (+ 1 0) into 1
7.575 * [backup-simplify]: Simplify (+ (* (- d4 (+ d3 d1)) 0) (* 1 d1)) into d1
7.575 * [taylor]: Taking taylor expansion of d1 in d1
7.575 * [backup-simplify]: Simplify 0 into 0
7.575 * [backup-simplify]: Simplify 1 into 1
7.576 * [taylor]: Taking taylor expansion of 0 in d4
7.576 * [backup-simplify]: Simplify 0 into 0
7.576 * [taylor]: Taking taylor expansion of 0 in d3
7.576 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify (+ 0 1) into 1
7.576 * [backup-simplify]: Simplify (- 1) into -1
7.577 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.577 * [backup-simplify]: Simplify (+ (* (- d4 d3) 1) (* -1 0)) into (- d4 d3)
7.577 * [taylor]: Taking taylor expansion of (- d4 d3) in d4
7.577 * [taylor]: Taking taylor expansion of d4 in d4
7.577 * [backup-simplify]: Simplify 0 into 0
7.577 * [backup-simplify]: Simplify 1 into 1
7.577 * [taylor]: Taking taylor expansion of d3 in d4
7.577 * [backup-simplify]: Simplify d3 into d3
7.577 * [backup-simplify]: Simplify (- d3) into (- d3)
7.577 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
7.577 * [taylor]: Taking taylor expansion of (- d3) in d3
7.578 * [taylor]: Taking taylor expansion of d3 in d3
7.578 * [backup-simplify]: Simplify 0 into 0
7.578 * [backup-simplify]: Simplify 1 into 1
7.578 * [backup-simplify]: Simplify (- 0) into 0
7.578 * [backup-simplify]: Simplify 0 into 0
7.578 * [taylor]: Taking taylor expansion of 0 in d3
7.578 * [backup-simplify]: Simplify 0 into 0
7.578 * [backup-simplify]: Simplify 0 into 0
7.578 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify (+ 0 0) into 0
7.579 * [backup-simplify]: Simplify (+ 0 0) into 0
7.579 * [backup-simplify]: Simplify (- 0) into 0
7.580 * [backup-simplify]: Simplify (+ 0 0) into 0
7.580 * [backup-simplify]: Simplify (+ (* (- d4 (+ d3 d1)) 0) (+ (* 1 0) (* 0 d1))) into 0
7.580 * [taylor]: Taking taylor expansion of 0 in d1
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [taylor]: Taking taylor expansion of 0 in d4
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [taylor]: Taking taylor expansion of 0 in d3
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.581 * [backup-simplify]: Simplify 0 into 0
7.581 * [backup-simplify]: Simplify (* (+ (- (/ 1 d2) (/ 1 d1)) (- (/ 1 d4) (/ 1 d3))) (/ 1 d1)) into (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1)
7.581 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d2 d1 d4 d3) around 0
7.581 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3
7.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d3
7.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
7.581 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
7.581 * [taylor]: Taking taylor expansion of d4 in d3
7.581 * [backup-simplify]: Simplify d4 into d4
7.581 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.581 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
7.581 * [taylor]: Taking taylor expansion of d2 in d3
7.581 * [backup-simplify]: Simplify d2 into d2
7.581 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
7.581 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
7.581 * [taylor]: Taking taylor expansion of d1 in d3
7.581 * [backup-simplify]: Simplify d1 into d1
7.581 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.581 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.581 * [taylor]: Taking taylor expansion of d3 in d3
7.581 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 1 into 1
7.582 * [backup-simplify]: Simplify (/ 1 1) into 1
7.582 * [taylor]: Taking taylor expansion of d1 in d3
7.582 * [backup-simplify]: Simplify d1 into d1
7.583 * [backup-simplify]: Simplify (+ 0 1) into 1
7.583 * [backup-simplify]: Simplify (- 1) into -1
7.583 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.583 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
7.583 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4
7.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d4
7.583 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
7.584 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.584 * [taylor]: Taking taylor expansion of d4 in d4
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 1 into 1
7.584 * [backup-simplify]: Simplify (/ 1 1) into 1
7.584 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
7.584 * [taylor]: Taking taylor expansion of d2 in d4
7.584 * [backup-simplify]: Simplify d2 into d2
7.584 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.584 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
7.584 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
7.584 * [taylor]: Taking taylor expansion of d1 in d4
7.584 * [backup-simplify]: Simplify d1 into d1
7.584 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.584 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.584 * [taylor]: Taking taylor expansion of d3 in d4
7.584 * [backup-simplify]: Simplify d3 into d3
7.584 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.584 * [taylor]: Taking taylor expansion of d1 in d4
7.584 * [backup-simplify]: Simplify d1 into d1
7.585 * [backup-simplify]: Simplify (+ 1 0) into 1
7.585 * [backup-simplify]: Simplify (+ 1 0) into 1
7.585 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.585 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1
7.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d1
7.586 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
7.586 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.586 * [taylor]: Taking taylor expansion of d4 in d1
7.586 * [backup-simplify]: Simplify d4 into d4
7.586 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.586 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
7.586 * [taylor]: Taking taylor expansion of d2 in d1
7.586 * [backup-simplify]: Simplify d2 into d2
7.586 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.586 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.586 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.586 * [taylor]: Taking taylor expansion of d1 in d1
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify 1 into 1
7.586 * [backup-simplify]: Simplify (/ 1 1) into 1
7.586 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.586 * [taylor]: Taking taylor expansion of d3 in d1
7.586 * [backup-simplify]: Simplify d3 into d3
7.586 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.586 * [taylor]: Taking taylor expansion of d1 in d1
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify 1 into 1
7.587 * [backup-simplify]: Simplify (+ 1 0) into 1
7.588 * [backup-simplify]: Simplify (- 1) into -1
7.588 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.589 * [backup-simplify]: Simplify (/ -1 1) into -1
7.589 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2
7.589 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
7.589 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.589 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.589 * [taylor]: Taking taylor expansion of d4 in d2
7.589 * [backup-simplify]: Simplify d4 into d4
7.589 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.589 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.589 * [taylor]: Taking taylor expansion of d2 in d2
7.589 * [backup-simplify]: Simplify 0 into 0
7.589 * [backup-simplify]: Simplify 1 into 1
7.589 * [backup-simplify]: Simplify (/ 1 1) into 1
7.589 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.589 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.589 * [taylor]: Taking taylor expansion of d1 in d2
7.589 * [backup-simplify]: Simplify d1 into d1
7.589 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.590 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.590 * [taylor]: Taking taylor expansion of d3 in d2
7.590 * [backup-simplify]: Simplify d3 into d3
7.590 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.590 * [taylor]: Taking taylor expansion of d1 in d2
7.590 * [backup-simplify]: Simplify d1 into d1
7.590 * [backup-simplify]: Simplify (+ 0 1) into 1
7.591 * [backup-simplify]: Simplify (+ 1 0) into 1
7.591 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.591 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2
7.591 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
7.591 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.591 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.591 * [taylor]: Taking taylor expansion of d4 in d2
7.591 * [backup-simplify]: Simplify d4 into d4
7.591 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.591 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.591 * [taylor]: Taking taylor expansion of d2 in d2
7.591 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify 1 into 1
7.591 * [backup-simplify]: Simplify (/ 1 1) into 1
7.591 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.591 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.591 * [taylor]: Taking taylor expansion of d1 in d2
7.591 * [backup-simplify]: Simplify d1 into d1
7.592 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.592 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.592 * [taylor]: Taking taylor expansion of d3 in d2
7.592 * [backup-simplify]: Simplify d3 into d3
7.592 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.592 * [taylor]: Taking taylor expansion of d1 in d2
7.592 * [backup-simplify]: Simplify d1 into d1
7.592 * [backup-simplify]: Simplify (+ 0 1) into 1
7.593 * [backup-simplify]: Simplify (+ 1 0) into 1
7.593 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.593 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.593 * [taylor]: Taking taylor expansion of d1 in d1
7.593 * [backup-simplify]: Simplify 0 into 0
7.593 * [backup-simplify]: Simplify 1 into 1
7.593 * [backup-simplify]: Simplify (/ 1 1) into 1
7.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.594 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
7.594 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
7.594 * [backup-simplify]: Simplify (- (+ (/ 1 d1) (/ 1 d3))) into (- (+ (/ 1 d1) (/ 1 d3)))
7.595 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (+ (/ 1 d1) (/ 1 d3)))) into (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3)))
7.595 * [backup-simplify]: Simplify (- (/ (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3))) d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))))
7.595 * [taylor]: Taking taylor expansion of (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d1
7.595 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
7.595 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
7.595 * [taylor]: Taking taylor expansion of d4 in d1
7.595 * [backup-simplify]: Simplify d4 into d4
7.595 * [taylor]: Taking taylor expansion of d1 in d1
7.595 * [backup-simplify]: Simplify 0 into 0
7.595 * [backup-simplify]: Simplify 1 into 1
7.595 * [backup-simplify]: Simplify (* d4 0) into 0
7.596 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
7.596 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.596 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d1
7.596 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
7.596 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
7.596 * [taylor]: Taking taylor expansion of d3 in d1
7.596 * [backup-simplify]: Simplify d3 into d3
7.596 * [taylor]: Taking taylor expansion of d1 in d1
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [backup-simplify]: Simplify 1 into 1
7.596 * [backup-simplify]: Simplify (* d3 0) into 0
7.597 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
7.597 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.597 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
7.597 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
7.597 * [taylor]: Taking taylor expansion of d1 in d1
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 1 into 1
7.597 * [backup-simplify]: Simplify (* 1 1) into 1
7.598 * [backup-simplify]: Simplify (/ 1 1) into 1
7.598 * [backup-simplify]: Simplify (+ 0 1) into 1
7.599 * [backup-simplify]: Simplify (- 1) into -1
7.599 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.599 * [taylor]: Taking taylor expansion of -1 in d4
7.599 * [backup-simplify]: Simplify -1 into -1
7.599 * [taylor]: Taking taylor expansion of 1 in d4
7.599 * [backup-simplify]: Simplify 1 into 1
7.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.601 * [backup-simplify]: Simplify (+ 0 0) into 0
7.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
7.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.602 * [backup-simplify]: Simplify (+ 0 0) into 0
7.602 * [backup-simplify]: Simplify (- 0) into 0
7.602 * [backup-simplify]: Simplify (+ 0 0) into 0
7.603 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) (/ 0 d1)))) into 0
7.603 * [taylor]: Taking taylor expansion of 0 in d1
7.603 * [backup-simplify]: Simplify 0 into 0
7.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.604 * [backup-simplify]: Simplify (+ (/ 1 d3) 0) into (/ 1 d3)
7.605 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.605 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
7.605 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d4
7.605 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.605 * [taylor]: Taking taylor expansion of d4 in d4
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 1 into 1
7.605 * [backup-simplify]: Simplify (/ 1 1) into 1
7.605 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.605 * [taylor]: Taking taylor expansion of d3 in d4
7.605 * [backup-simplify]: Simplify d3 into d3
7.605 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.606 * [backup-simplify]: Simplify (+ 1 0) into 1
7.606 * [taylor]: Taking taylor expansion of 1 in d3
7.606 * [backup-simplify]: Simplify 1 into 1
7.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.607 * [taylor]: Taking taylor expansion of 0 in d4
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [taylor]: Taking taylor expansion of -1 in d3
7.607 * [backup-simplify]: Simplify -1 into -1
7.607 * [taylor]: Taking taylor expansion of 1 in d3
7.607 * [backup-simplify]: Simplify 1 into 1
7.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
7.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.608 * [backup-simplify]: Simplify (+ 0 0) into 0
7.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
7.609 * [backup-simplify]: Simplify (+ 0 0) into 0
7.610 * [backup-simplify]: Simplify (- 0) into 0
7.610 * [backup-simplify]: Simplify (+ 0 0) into 0
7.611 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.611 * [taylor]: Taking taylor expansion of 0 in d1
7.611 * [backup-simplify]: Simplify 0 into 0
7.612 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
7.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.613 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
7.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.615 * [backup-simplify]: Simplify (+ 0 0) into 0
7.615 * [backup-simplify]: Simplify (- 0) into 0
7.616 * [backup-simplify]: Simplify (+ 0 0) into 0
7.616 * [taylor]: Taking taylor expansion of 0 in d4
7.616 * [backup-simplify]: Simplify 0 into 0
7.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.619 * [taylor]: Taking taylor expansion of 0 in d4
7.619 * [backup-simplify]: Simplify 0 into 0
7.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.620 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.620 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
7.620 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
7.620 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.620 * [taylor]: Taking taylor expansion of d3 in d3
7.620 * [backup-simplify]: Simplify 0 into 0
7.620 * [backup-simplify]: Simplify 1 into 1
7.620 * [backup-simplify]: Simplify (/ 1 1) into 1
7.621 * [backup-simplify]: Simplify (- 1) into -1
7.621 * [backup-simplify]: Simplify -1 into -1
7.621 * [taylor]: Taking taylor expansion of 0 in d3
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [taylor]: Taking taylor expansion of 0 in d3
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [taylor]: Taking taylor expansion of 0 in d3
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [backup-simplify]: Simplify 1 into 1
7.621 * [backup-simplify]: Simplify -1 into -1
7.622 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (* 1 (* (/ 1 (/ 1 d1)) 1))) 2)) (+ (* 1 (* 1 (* (/ 1 (/ 1 d4)) (* (/ 1 (/ 1 d1)) 1)))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (* (/ 1 (/ 1 d1)) 1)))))) into (- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
7.622 * [backup-simplify]: Simplify (* (+ (- (/ 1 (- d2)) (/ 1 (- d1))) (- (/ 1 (- d4)) (/ 1 (- d3)))) (/ 1 (- d1))) into (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1))
7.622 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in (d2 d1 d4 d3) around 0
7.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d3
7.622 * [taylor]: Taking taylor expansion of -1 in d3
7.622 * [backup-simplify]: Simplify -1 into -1
7.622 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d3
7.622 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d3
7.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
7.622 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
7.622 * [taylor]: Taking taylor expansion of d1 in d3
7.623 * [backup-simplify]: Simplify d1 into d1
7.623 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.623 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.623 * [taylor]: Taking taylor expansion of d3 in d3
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 1 into 1
7.623 * [backup-simplify]: Simplify (/ 1 1) into 1
7.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
7.623 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
7.623 * [taylor]: Taking taylor expansion of d4 in d3
7.623 * [backup-simplify]: Simplify d4 into d4
7.623 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.623 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
7.623 * [taylor]: Taking taylor expansion of d2 in d3
7.623 * [backup-simplify]: Simplify d2 into d2
7.623 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.623 * [taylor]: Taking taylor expansion of d1 in d3
7.623 * [backup-simplify]: Simplify d1 into d1
7.624 * [backup-simplify]: Simplify (+ 0 1) into 1
7.624 * [backup-simplify]: Simplify (+ 1 0) into 1
7.624 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.624 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d4
7.624 * [taylor]: Taking taylor expansion of -1 in d4
7.625 * [backup-simplify]: Simplify -1 into -1
7.625 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d4
7.625 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d4
7.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
7.625 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
7.625 * [taylor]: Taking taylor expansion of d1 in d4
7.625 * [backup-simplify]: Simplify d1 into d1
7.625 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.625 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.625 * [taylor]: Taking taylor expansion of d3 in d4
7.625 * [backup-simplify]: Simplify d3 into d3
7.625 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
7.625 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.625 * [taylor]: Taking taylor expansion of d4 in d4
7.625 * [backup-simplify]: Simplify 0 into 0
7.625 * [backup-simplify]: Simplify 1 into 1
7.625 * [backup-simplify]: Simplify (/ 1 1) into 1
7.625 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
7.625 * [taylor]: Taking taylor expansion of d2 in d4
7.625 * [backup-simplify]: Simplify d2 into d2
7.626 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.626 * [taylor]: Taking taylor expansion of d1 in d4
7.626 * [backup-simplify]: Simplify d1 into d1
7.626 * [backup-simplify]: Simplify (+ 1 0) into 1
7.626 * [backup-simplify]: Simplify (- 1) into -1
7.627 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.627 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
7.627 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d1
7.627 * [taylor]: Taking taylor expansion of -1 in d1
7.627 * [backup-simplify]: Simplify -1 into -1
7.627 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d1
7.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d1
7.627 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.627 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.627 * [taylor]: Taking taylor expansion of d1 in d1
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [backup-simplify]: Simplify (/ 1 1) into 1
7.628 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.628 * [taylor]: Taking taylor expansion of d3 in d1
7.628 * [backup-simplify]: Simplify d3 into d3
7.628 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.628 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
7.628 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.628 * [taylor]: Taking taylor expansion of d4 in d1
7.628 * [backup-simplify]: Simplify d4 into d4
7.628 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.628 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
7.628 * [taylor]: Taking taylor expansion of d2 in d1
7.628 * [backup-simplify]: Simplify d2 into d2
7.628 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.628 * [taylor]: Taking taylor expansion of d1 in d1
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 1 into 1
7.628 * [backup-simplify]: Simplify (+ 1 0) into 1
7.629 * [backup-simplify]: Simplify (+ 1 0) into 1
7.629 * [backup-simplify]: Simplify (/ 1 1) into 1
7.629 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d2
7.629 * [taylor]: Taking taylor expansion of -1 in d2
7.629 * [backup-simplify]: Simplify -1 into -1
7.629 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d2
7.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
7.629 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.629 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.629 * [taylor]: Taking taylor expansion of d1 in d2
7.630 * [backup-simplify]: Simplify d1 into d1
7.630 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.630 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.630 * [taylor]: Taking taylor expansion of d3 in d2
7.630 * [backup-simplify]: Simplify d3 into d3
7.630 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.630 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.630 * [taylor]: Taking taylor expansion of d4 in d2
7.630 * [backup-simplify]: Simplify d4 into d4
7.630 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.630 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.630 * [taylor]: Taking taylor expansion of d2 in d2
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify 1 into 1
7.630 * [backup-simplify]: Simplify (/ 1 1) into 1
7.630 * [taylor]: Taking taylor expansion of d1 in d2
7.630 * [backup-simplify]: Simplify d1 into d1
7.631 * [backup-simplify]: Simplify (+ 0 1) into 1
7.631 * [backup-simplify]: Simplify (- 1) into -1
7.632 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.632 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
7.632 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d2
7.632 * [taylor]: Taking taylor expansion of -1 in d2
7.632 * [backup-simplify]: Simplify -1 into -1
7.632 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d2
7.632 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
7.632 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.632 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.632 * [taylor]: Taking taylor expansion of d1 in d2
7.632 * [backup-simplify]: Simplify d1 into d1
7.632 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.632 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.632 * [taylor]: Taking taylor expansion of d3 in d2
7.632 * [backup-simplify]: Simplify d3 into d3
7.632 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.632 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.632 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.632 * [taylor]: Taking taylor expansion of d4 in d2
7.632 * [backup-simplify]: Simplify d4 into d4
7.632 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.632 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.632 * [taylor]: Taking taylor expansion of d2 in d2
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 1 into 1
7.633 * [backup-simplify]: Simplify (/ 1 1) into 1
7.633 * [taylor]: Taking taylor expansion of d1 in d2
7.633 * [backup-simplify]: Simplify d1 into d1
7.633 * [backup-simplify]: Simplify (+ 0 1) into 1
7.633 * [backup-simplify]: Simplify (- 1) into -1
7.634 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.634 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
7.634 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1)
7.634 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.634 * [taylor]: Taking taylor expansion of d1 in d1
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 1 into 1
7.635 * [backup-simplify]: Simplify (/ 1 1) into 1
7.635 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
7.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.636 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
7.636 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
7.636 * [backup-simplify]: Simplify (+ (+ (/ 1 d1) (/ 1 d3)) (- (/ 1 d4))) into (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4))
7.636 * [backup-simplify]: Simplify (- (/ (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4)) d1) (+ (* (/ -1 d1) (/ 0 d1)))) into (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1)))
7.637 * [backup-simplify]: Simplify (+ (* -1 (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1)))) (* 0 (/ -1 d1))) into (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))))
7.637 * [taylor]: Taking taylor expansion of (- (/ 1 (* d4 d1)) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d1
7.637 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
7.637 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
7.637 * [taylor]: Taking taylor expansion of d4 in d1
7.637 * [backup-simplify]: Simplify d4 into d4
7.637 * [taylor]: Taking taylor expansion of d1 in d1
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 1 into 1
7.637 * [backup-simplify]: Simplify (* d4 0) into 0
7.638 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
7.638 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.638 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d1
7.638 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
7.638 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
7.638 * [taylor]: Taking taylor expansion of d3 in d1
7.638 * [backup-simplify]: Simplify d3 into d3
7.638 * [taylor]: Taking taylor expansion of d1 in d1
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 1 into 1
7.638 * [backup-simplify]: Simplify (* d3 0) into 0
7.639 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
7.639 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.639 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
7.639 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
7.639 * [taylor]: Taking taylor expansion of d1 in d1
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.640 * [backup-simplify]: Simplify (* 1 1) into 1
7.640 * [backup-simplify]: Simplify (/ 1 1) into 1
7.640 * [backup-simplify]: Simplify (+ 0 1) into 1
7.641 * [backup-simplify]: Simplify (- 1) into -1
7.641 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.641 * [taylor]: Taking taylor expansion of -1 in d4
7.641 * [backup-simplify]: Simplify -1 into -1
7.641 * [taylor]: Taking taylor expansion of 1 in d4
7.641 * [backup-simplify]: Simplify 1 into 1
7.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
7.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.642 * [backup-simplify]: Simplify (+ 0 0) into 0
7.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.644 * [backup-simplify]: Simplify (+ 0 0) into 0
7.644 * [backup-simplify]: Simplify (- 0) into 0
7.645 * [backup-simplify]: Simplify (+ 0 0) into 0
7.645 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1))) (/ 0 d1)))) into 0
7.646 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1)))) (* 0 (/ -1 d1)))) into 0
7.646 * [taylor]: Taking taylor expansion of 0 in d1
7.647 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.648 * [backup-simplify]: Simplify (+ (/ 1 d3) 0) into (/ 1 d3)
7.648 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.648 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
7.648 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d4
7.648 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.648 * [taylor]: Taking taylor expansion of d4 in d4
7.648 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify 1 into 1
7.649 * [backup-simplify]: Simplify (/ 1 1) into 1
7.649 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.649 * [taylor]: Taking taylor expansion of d3 in d4
7.649 * [backup-simplify]: Simplify d3 into d3
7.649 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.650 * [backup-simplify]: Simplify (+ 1 0) into 1
7.650 * [taylor]: Taking taylor expansion of 1 in d3
7.650 * [backup-simplify]: Simplify 1 into 1
7.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.650 * [taylor]: Taking taylor expansion of 0 in d4
7.650 * [backup-simplify]: Simplify 0 into 0
7.651 * [taylor]: Taking taylor expansion of -1 in d3
7.651 * [backup-simplify]: Simplify -1 into -1
7.651 * [taylor]: Taking taylor expansion of 1 in d3
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
7.651 * [backup-simplify]: Simplify (+ 0 0) into 0
7.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
7.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.653 * [backup-simplify]: Simplify (+ 0 0) into 0
7.653 * [backup-simplify]: Simplify (- 0) into 0
7.654 * [backup-simplify]: Simplify (+ 0 0) into 0
7.654 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1))) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.656 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) (/ 1 (* d4 d1)))) (* 0 (/ -1 d1))))) into 0
7.656 * [taylor]: Taking taylor expansion of 0 in d1
7.656 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
7.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.658 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
7.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.660 * [backup-simplify]: Simplify (+ 0 0) into 0
7.661 * [backup-simplify]: Simplify (- 0) into 0
7.661 * [backup-simplify]: Simplify (+ 0 0) into 0
7.661 * [taylor]: Taking taylor expansion of 0 in d4
7.661 * [backup-simplify]: Simplify 0 into 0
7.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.662 * [taylor]: Taking taylor expansion of 0 in d4
7.662 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.663 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
7.663 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
7.663 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.663 * [taylor]: Taking taylor expansion of d3 in d3
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 1 into 1
7.664 * [backup-simplify]: Simplify (/ 1 1) into 1
7.664 * [backup-simplify]: Simplify (- 1) into -1
7.664 * [backup-simplify]: Simplify -1 into -1
7.664 * [taylor]: Taking taylor expansion of 0 in d3
7.664 * [backup-simplify]: Simplify 0 into 0
7.664 * [taylor]: Taking taylor expansion of 0 in d3
7.664 * [backup-simplify]: Simplify 0 into 0
7.664 * [taylor]: Taking taylor expansion of 0 in d3
7.664 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify 1 into 1
7.665 * [backup-simplify]: Simplify -1 into -1
7.665 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (* 1 (* (/ 1 (/ 1 (- d1))) 1))) 2)) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d4))) (* (/ 1 (/ 1 (- d1))) 1)))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (* (/ 1 (/ 1 (- d1))) 1)))))) into (- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
7.666 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.666 * [backup-simplify]: Simplify (+ (- d2 d1) (- d4 d3)) into (- (+ d2 d4) (+ d3 d1))
7.666 * [approximate]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in (d2 d1 d4 d3) around 0
7.666 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3
7.666 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3
7.666 * [taylor]: Taking taylor expansion of d2 in d3
7.666 * [backup-simplify]: Simplify d2 into d2
7.666 * [taylor]: Taking taylor expansion of d4 in d3
7.666 * [backup-simplify]: Simplify d4 into d4
7.666 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
7.666 * [taylor]: Taking taylor expansion of d3 in d3
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 1 into 1
7.666 * [taylor]: Taking taylor expansion of d1 in d3
7.666 * [backup-simplify]: Simplify d1 into d1
7.666 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4
7.666 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4
7.666 * [taylor]: Taking taylor expansion of d2 in d4
7.666 * [backup-simplify]: Simplify d2 into d2
7.666 * [taylor]: Taking taylor expansion of d4 in d4
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 1 into 1
7.666 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4
7.666 * [taylor]: Taking taylor expansion of d3 in d4
7.666 * [backup-simplify]: Simplify d3 into d3
7.666 * [taylor]: Taking taylor expansion of d1 in d4
7.666 * [backup-simplify]: Simplify d1 into d1
7.666 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1
7.666 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1
7.666 * [taylor]: Taking taylor expansion of d2 in d1
7.666 * [backup-simplify]: Simplify d2 into d2
7.666 * [taylor]: Taking taylor expansion of d4 in d1
7.667 * [backup-simplify]: Simplify d4 into d4
7.667 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
7.667 * [taylor]: Taking taylor expansion of d3 in d1
7.667 * [backup-simplify]: Simplify d3 into d3
7.667 * [taylor]: Taking taylor expansion of d1 in d1
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
7.667 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
7.667 * [taylor]: Taking taylor expansion of d2 in d2
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [taylor]: Taking taylor expansion of d4 in d2
7.667 * [backup-simplify]: Simplify d4 into d4
7.667 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
7.667 * [taylor]: Taking taylor expansion of d3 in d2
7.667 * [backup-simplify]: Simplify d3 into d3
7.667 * [taylor]: Taking taylor expansion of d1 in d2
7.667 * [backup-simplify]: Simplify d1 into d1
7.667 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
7.667 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
7.667 * [taylor]: Taking taylor expansion of d2 in d2
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [taylor]: Taking taylor expansion of d4 in d2
7.667 * [backup-simplify]: Simplify d4 into d4
7.667 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
7.667 * [taylor]: Taking taylor expansion of d3 in d2
7.667 * [backup-simplify]: Simplify d3 into d3
7.667 * [taylor]: Taking taylor expansion of d1 in d2
7.667 * [backup-simplify]: Simplify d1 into d1
7.667 * [backup-simplify]: Simplify (+ 0 d4) into d4
7.667 * [backup-simplify]: Simplify (+ d3 d1) into (+ d3 d1)
7.667 * [backup-simplify]: Simplify (- (+ d3 d1)) into (- (+ d3 d1))
7.667 * [backup-simplify]: Simplify (+ d4 (- (+ d3 d1))) into (- d4 (+ d3 d1))
7.667 * [taylor]: Taking taylor expansion of (- d4 (+ d3 d1)) in d1
7.667 * [taylor]: Taking taylor expansion of d4 in d1
7.667 * [backup-simplify]: Simplify d4 into d4
7.667 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
7.667 * [taylor]: Taking taylor expansion of d3 in d1
7.667 * [backup-simplify]: Simplify d3 into d3
7.667 * [taylor]: Taking taylor expansion of d1 in d1
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [backup-simplify]: Simplify (+ d3 0) into d3
7.667 * [backup-simplify]: Simplify (- d3) into (- d3)
7.668 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
7.668 * [taylor]: Taking taylor expansion of (- d4 d3) in d4
7.668 * [taylor]: Taking taylor expansion of d4 in d4
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [taylor]: Taking taylor expansion of d3 in d4
7.668 * [backup-simplify]: Simplify d3 into d3
7.668 * [backup-simplify]: Simplify (- d3) into (- d3)
7.668 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
7.668 * [taylor]: Taking taylor expansion of (- d3) in d3
7.668 * [taylor]: Taking taylor expansion of d3 in d3
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [backup-simplify]: Simplify (- 0) into 0
7.668 * [backup-simplify]: Simplify 0 into 0
7.669 * [backup-simplify]: Simplify (+ 1 0) into 1
7.669 * [backup-simplify]: Simplify (+ 0 0) into 0
7.669 * [backup-simplify]: Simplify (- 0) into 0
7.669 * [backup-simplify]: Simplify (+ 1 0) into 1
7.669 * [taylor]: Taking taylor expansion of 1 in d1
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [taylor]: Taking taylor expansion of 1 in d4
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [taylor]: Taking taylor expansion of 1 in d3
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [backup-simplify]: Simplify (+ 0 1) into 1
7.670 * [backup-simplify]: Simplify (- 1) into -1
7.670 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.671 * [taylor]: Taking taylor expansion of -1 in d4
7.671 * [backup-simplify]: Simplify -1 into -1
7.671 * [taylor]: Taking taylor expansion of -1 in d3
7.671 * [backup-simplify]: Simplify -1 into -1
7.671 * [backup-simplify]: Simplify -1 into -1
7.671 * [backup-simplify]: Simplify (- 0) into 0
7.671 * [backup-simplify]: Simplify (+ 1 0) into 1
7.672 * [taylor]: Taking taylor expansion of 1 in d3
7.672 * [backup-simplify]: Simplify 1 into 1
7.672 * [backup-simplify]: Simplify 1 into 1
7.672 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d4 (* 1 1)))) (+ (* -1 (* 1 (* 1 (* d1 1)))) (* 1 (* 1 (* 1 (* 1 d2)))))) into (- (+ d4 d2) d1)
7.672 * [backup-simplify]: Simplify (+ (- (/ 1 d2) (/ 1 d1)) (- (/ 1 d4) (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3)))
7.672 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in (d2 d1 d4 d3) around 0
7.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d3
7.672 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
7.672 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
7.672 * [taylor]: Taking taylor expansion of d4 in d3
7.672 * [backup-simplify]: Simplify d4 into d4
7.672 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.672 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
7.672 * [taylor]: Taking taylor expansion of d2 in d3
7.672 * [backup-simplify]: Simplify d2 into d2
7.672 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.672 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
7.672 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
7.672 * [taylor]: Taking taylor expansion of d1 in d3
7.673 * [backup-simplify]: Simplify d1 into d1
7.673 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.673 * [taylor]: Taking taylor expansion of d3 in d3
7.673 * [backup-simplify]: Simplify 0 into 0
7.673 * [backup-simplify]: Simplify 1 into 1
7.673 * [backup-simplify]: Simplify (/ 1 1) into 1
7.673 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d4
7.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
7.673 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.673 * [taylor]: Taking taylor expansion of d4 in d4
7.673 * [backup-simplify]: Simplify 0 into 0
7.673 * [backup-simplify]: Simplify 1 into 1
7.673 * [backup-simplify]: Simplify (/ 1 1) into 1
7.673 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
7.673 * [taylor]: Taking taylor expansion of d2 in d4
7.673 * [backup-simplify]: Simplify d2 into d2
7.673 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
7.673 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
7.673 * [taylor]: Taking taylor expansion of d1 in d4
7.673 * [backup-simplify]: Simplify d1 into d1
7.673 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.673 * [taylor]: Taking taylor expansion of d3 in d4
7.673 * [backup-simplify]: Simplify d3 into d3
7.674 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d1
7.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
7.674 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.674 * [taylor]: Taking taylor expansion of d4 in d1
7.674 * [backup-simplify]: Simplify d4 into d4
7.674 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.674 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
7.674 * [taylor]: Taking taylor expansion of d2 in d1
7.674 * [backup-simplify]: Simplify d2 into d2
7.674 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.674 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.674 * [taylor]: Taking taylor expansion of d1 in d1
7.674 * [backup-simplify]: Simplify 0 into 0
7.674 * [backup-simplify]: Simplify 1 into 1
7.674 * [backup-simplify]: Simplify (/ 1 1) into 1
7.674 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.674 * [taylor]: Taking taylor expansion of d3 in d1
7.674 * [backup-simplify]: Simplify d3 into d3
7.674 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
7.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.674 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.674 * [taylor]: Taking taylor expansion of d4 in d2
7.674 * [backup-simplify]: Simplify d4 into d4
7.674 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.674 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.674 * [taylor]: Taking taylor expansion of d2 in d2
7.674 * [backup-simplify]: Simplify 0 into 0
7.674 * [backup-simplify]: Simplify 1 into 1
7.675 * [backup-simplify]: Simplify (/ 1 1) into 1
7.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.675 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.675 * [taylor]: Taking taylor expansion of d1 in d2
7.675 * [backup-simplify]: Simplify d1 into d1
7.675 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.675 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.675 * [taylor]: Taking taylor expansion of d3 in d2
7.675 * [backup-simplify]: Simplify d3 into d3
7.675 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.675 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
7.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.675 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.675 * [taylor]: Taking taylor expansion of d4 in d2
7.675 * [backup-simplify]: Simplify d4 into d4
7.675 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.675 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.675 * [taylor]: Taking taylor expansion of d2 in d2
7.675 * [backup-simplify]: Simplify 0 into 0
7.675 * [backup-simplify]: Simplify 1 into 1
7.675 * [backup-simplify]: Simplify (/ 1 1) into 1
7.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.675 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.675 * [taylor]: Taking taylor expansion of d1 in d2
7.675 * [backup-simplify]: Simplify d1 into d1
7.675 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.675 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.675 * [taylor]: Taking taylor expansion of d3 in d2
7.675 * [backup-simplify]: Simplify d3 into d3
7.675 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.676 * [backup-simplify]: Simplify (+ 0 1) into 1
7.676 * [backup-simplify]: Simplify (+ 1 0) into 1
7.676 * [taylor]: Taking taylor expansion of 1 in d1
7.676 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.677 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
7.677 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
7.677 * [backup-simplify]: Simplify (- (+ (/ 1 d1) (/ 1 d3))) into (- (+ (/ 1 d1) (/ 1 d3)))
7.677 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (+ (/ 1 d1) (/ 1 d3)))) into (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3)))
7.677 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3))) in d1
7.677 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.677 * [taylor]: Taking taylor expansion of d4 in d1
7.677 * [backup-simplify]: Simplify d4 into d4
7.677 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.677 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.677 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.677 * [taylor]: Taking taylor expansion of d1 in d1
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (/ 1 1) into 1
7.678 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.678 * [taylor]: Taking taylor expansion of d3 in d1
7.678 * [backup-simplify]: Simplify d3 into d3
7.678 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.678 * [backup-simplify]: Simplify (+ 1 0) into 1
7.678 * [backup-simplify]: Simplify (- 1) into -1
7.679 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.679 * [taylor]: Taking taylor expansion of -1 in d4
7.679 * [backup-simplify]: Simplify -1 into -1
7.679 * [taylor]: Taking taylor expansion of 1 in d4
7.679 * [backup-simplify]: Simplify 1 into 1
7.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.680 * [backup-simplify]: Simplify (+ 0 0) into 0
7.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
7.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.680 * [backup-simplify]: Simplify (+ 0 0) into 0
7.680 * [backup-simplify]: Simplify (- 0) into 0
7.681 * [backup-simplify]: Simplify (+ 0 0) into 0
7.681 * [taylor]: Taking taylor expansion of 0 in d1
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.681 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
7.681 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.681 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
7.681 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d4
7.681 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.681 * [taylor]: Taking taylor expansion of d4 in d4
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify 1 into 1
7.682 * [backup-simplify]: Simplify (/ 1 1) into 1
7.682 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.682 * [taylor]: Taking taylor expansion of d3 in d4
7.682 * [backup-simplify]: Simplify d3 into d3
7.682 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.682 * [backup-simplify]: Simplify (+ 1 0) into 1
7.682 * [taylor]: Taking taylor expansion of 1 in d3
7.682 * [backup-simplify]: Simplify 1 into 1
7.682 * [taylor]: Taking taylor expansion of 0 in d4
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [taylor]: Taking taylor expansion of -1 in d3
7.682 * [backup-simplify]: Simplify -1 into -1
7.682 * [taylor]: Taking taylor expansion of 1 in d3
7.682 * [backup-simplify]: Simplify 1 into 1
7.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
7.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.683 * [backup-simplify]: Simplify (+ 0 0) into 0
7.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
7.684 * [backup-simplify]: Simplify (+ 0 0) into 0
7.684 * [backup-simplify]: Simplify (- 0) into 0
7.684 * [backup-simplify]: Simplify (+ 0 0) into 0
7.684 * [taylor]: Taking taylor expansion of 0 in d1
7.684 * [backup-simplify]: Simplify 0 into 0
7.684 * [taylor]: Taking taylor expansion of 0 in d4
7.684 * [backup-simplify]: Simplify 0 into 0
7.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.685 * [backup-simplify]: Simplify (+ 0 0) into 0
7.685 * [backup-simplify]: Simplify (- 0) into 0
7.686 * [backup-simplify]: Simplify (+ 0 0) into 0
7.686 * [taylor]: Taking taylor expansion of 0 in d4
7.686 * [backup-simplify]: Simplify 0 into 0
7.686 * [taylor]: Taking taylor expansion of 0 in d4
7.686 * [backup-simplify]: Simplify 0 into 0
7.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.686 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
7.686 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
7.686 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
7.686 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.686 * [taylor]: Taking taylor expansion of d3 in d3
7.686 * [backup-simplify]: Simplify 0 into 0
7.686 * [backup-simplify]: Simplify 1 into 1
7.687 * [backup-simplify]: Simplify (/ 1 1) into 1
7.687 * [backup-simplify]: Simplify (- 1) into -1
7.687 * [backup-simplify]: Simplify -1 into -1
7.687 * [taylor]: Taking taylor expansion of 0 in d3
7.687 * [backup-simplify]: Simplify 0 into 0
7.687 * [taylor]: Taking taylor expansion of 0 in d3
7.687 * [backup-simplify]: Simplify 0 into 0
7.687 * [taylor]: Taking taylor expansion of 0 in d3
7.687 * [backup-simplify]: Simplify 0 into 0
7.687 * [backup-simplify]: Simplify 1 into 1
7.687 * [backup-simplify]: Simplify -1 into -1
7.688 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 d1)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d4)) (* 1 1)))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (* 1 1)))))) into (- d4 (+ d3 d1))
7.688 * [backup-simplify]: Simplify (+ (- (/ 1 (- d2)) (/ 1 (- d1))) (- (/ 1 (- d4)) (/ 1 (- d3)))) into (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2)))
7.688 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in (d2 d1 d4 d3) around 0
7.688 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d3
7.688 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
7.688 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
7.688 * [taylor]: Taking taylor expansion of d1 in d3
7.688 * [backup-simplify]: Simplify d1 into d1
7.688 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.688 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.688 * [taylor]: Taking taylor expansion of d3 in d3
7.688 * [backup-simplify]: Simplify 0 into 0
7.688 * [backup-simplify]: Simplify 1 into 1
7.689 * [backup-simplify]: Simplify (/ 1 1) into 1
7.689 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
7.689 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
7.689 * [taylor]: Taking taylor expansion of d4 in d3
7.689 * [backup-simplify]: Simplify d4 into d4
7.689 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.689 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
7.689 * [taylor]: Taking taylor expansion of d2 in d3
7.689 * [backup-simplify]: Simplify d2 into d2
7.689 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d4
7.689 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
7.689 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
7.689 * [taylor]: Taking taylor expansion of d1 in d4
7.689 * [backup-simplify]: Simplify d1 into d1
7.689 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.689 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.689 * [taylor]: Taking taylor expansion of d3 in d4
7.689 * [backup-simplify]: Simplify d3 into d3
7.689 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.689 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
7.689 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.689 * [taylor]: Taking taylor expansion of d4 in d4
7.689 * [backup-simplify]: Simplify 0 into 0
7.689 * [backup-simplify]: Simplify 1 into 1
7.689 * [backup-simplify]: Simplify (/ 1 1) into 1
7.689 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
7.689 * [taylor]: Taking taylor expansion of d2 in d4
7.689 * [backup-simplify]: Simplify d2 into d2
7.689 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d1
7.689 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.689 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.689 * [taylor]: Taking taylor expansion of d1 in d1
7.689 * [backup-simplify]: Simplify 0 into 0
7.689 * [backup-simplify]: Simplify 1 into 1
7.690 * [backup-simplify]: Simplify (/ 1 1) into 1
7.690 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.690 * [taylor]: Taking taylor expansion of d3 in d1
7.690 * [backup-simplify]: Simplify d3 into d3
7.690 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.690 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
7.690 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.690 * [taylor]: Taking taylor expansion of d4 in d1
7.690 * [backup-simplify]: Simplify d4 into d4
7.690 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.690 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
7.690 * [taylor]: Taking taylor expansion of d2 in d1
7.690 * [backup-simplify]: Simplify d2 into d2
7.690 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
7.690 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
7.690 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.690 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.690 * [taylor]: Taking taylor expansion of d1 in d2
7.690 * [backup-simplify]: Simplify d1 into d1
7.690 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.690 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.690 * [taylor]: Taking taylor expansion of d3 in d2
7.690 * [backup-simplify]: Simplify d3 into d3
7.690 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.690 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.690 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.690 * [taylor]: Taking taylor expansion of d4 in d2
7.690 * [backup-simplify]: Simplify d4 into d4
7.690 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.690 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.690 * [taylor]: Taking taylor expansion of d2 in d2
7.690 * [backup-simplify]: Simplify 0 into 0
7.690 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (/ 1 1) into 1
7.691 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
7.691 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
7.691 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
7.691 * [taylor]: Taking taylor expansion of d1 in d2
7.691 * [backup-simplify]: Simplify d1 into d1
7.691 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
7.691 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
7.691 * [taylor]: Taking taylor expansion of d3 in d2
7.691 * [backup-simplify]: Simplify d3 into d3
7.691 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.691 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
7.691 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
7.691 * [taylor]: Taking taylor expansion of d4 in d2
7.691 * [backup-simplify]: Simplify d4 into d4
7.691 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.691 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.691 * [taylor]: Taking taylor expansion of d2 in d2
7.691 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (/ 1 1) into 1
7.692 * [backup-simplify]: Simplify (+ 0 1) into 1
7.692 * [backup-simplify]: Simplify (- 1) into -1
7.692 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.692 * [taylor]: Taking taylor expansion of -1 in d1
7.692 * [backup-simplify]: Simplify -1 into -1
7.692 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
7.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.693 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
7.693 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
7.693 * [backup-simplify]: Simplify (+ (+ (/ 1 d1) (/ 1 d3)) (- (/ 1 d4))) into (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4))
7.693 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4)) in d1
7.693 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
7.693 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.693 * [taylor]: Taking taylor expansion of d1 in d1
7.693 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify 1 into 1
7.693 * [backup-simplify]: Simplify (/ 1 1) into 1
7.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
7.693 * [taylor]: Taking taylor expansion of d3 in d1
7.693 * [backup-simplify]: Simplify d3 into d3
7.694 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.694 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
7.694 * [taylor]: Taking taylor expansion of d4 in d1
7.694 * [backup-simplify]: Simplify d4 into d4
7.694 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
7.694 * [backup-simplify]: Simplify (+ 1 0) into 1
7.694 * [backup-simplify]: Simplify (+ 1 0) into 1
7.694 * [taylor]: Taking taylor expansion of 1 in d4
7.694 * [backup-simplify]: Simplify 1 into 1
7.694 * [taylor]: Taking taylor expansion of -1 in d4
7.694 * [backup-simplify]: Simplify -1 into -1
7.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
7.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.695 * [backup-simplify]: Simplify (+ 0 0) into 0
7.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.696 * [backup-simplify]: Simplify (+ 0 0) into 0
7.696 * [backup-simplify]: Simplify (- 0) into 0
7.696 * [backup-simplify]: Simplify (+ 0 0) into 0
7.696 * [taylor]: Taking taylor expansion of 0 in d1
7.696 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.697 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
7.697 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
7.697 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d4))) into (- (/ 1 d3) (/ 1 d4))
7.697 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d4)) in d4
7.697 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
7.697 * [taylor]: Taking taylor expansion of d3 in d4
7.697 * [backup-simplify]: Simplify d3 into d3
7.697 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
7.697 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
7.697 * [taylor]: Taking taylor expansion of d4 in d4
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify 1 into 1
7.697 * [backup-simplify]: Simplify (/ 1 1) into 1
7.697 * [backup-simplify]: Simplify (- 1) into -1
7.698 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.698 * [taylor]: Taking taylor expansion of -1 in d3
7.698 * [backup-simplify]: Simplify -1 into -1
7.698 * [taylor]: Taking taylor expansion of 0 in d4
7.698 * [backup-simplify]: Simplify 0 into 0
7.698 * [taylor]: Taking taylor expansion of 1 in d3
7.698 * [backup-simplify]: Simplify 1 into 1
7.698 * [taylor]: Taking taylor expansion of -1 in d3
7.698 * [backup-simplify]: Simplify -1 into -1
7.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
7.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
7.698 * [backup-simplify]: Simplify (+ 0 0) into 0
7.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
7.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.699 * [backup-simplify]: Simplify (+ 0 0) into 0
7.700 * [backup-simplify]: Simplify (- 0) into 0
7.700 * [backup-simplify]: Simplify (+ 0 0) into 0
7.700 * [taylor]: Taking taylor expansion of 0 in d1
7.700 * [backup-simplify]: Simplify 0 into 0
7.700 * [taylor]: Taking taylor expansion of 0 in d4
7.700 * [backup-simplify]: Simplify 0 into 0
7.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
7.701 * [backup-simplify]: Simplify (+ 0 0) into 0
7.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
7.701 * [backup-simplify]: Simplify (- 0) into 0
7.701 * [backup-simplify]: Simplify (+ 0 0) into 0
7.701 * [taylor]: Taking taylor expansion of 0 in d4
7.701 * [backup-simplify]: Simplify 0 into 0
7.701 * [taylor]: Taking taylor expansion of 0 in d4
7.702 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.702 * [backup-simplify]: Simplify (- 0) into 0
7.702 * [backup-simplify]: Simplify (+ (/ 1 d3) 0) into (/ 1 d3)
7.702 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
7.702 * [taylor]: Taking taylor expansion of d3 in d3
7.702 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify 1 into 1
7.703 * [backup-simplify]: Simplify (/ 1 1) into 1
7.703 * [backup-simplify]: Simplify 1 into 1
7.703 * [taylor]: Taking taylor expansion of 0 in d3
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [taylor]: Taking taylor expansion of 0 in d3
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [taylor]: Taking taylor expansion of 0 in d3
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [backup-simplify]: Simplify -1 into -1
7.703 * [backup-simplify]: Simplify 1 into 1
7.704 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d1))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 1)))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (* 1 1)))))) into (- d4 (+ d3 d1))
7.704 * * * [progress]: simplifying candidates
7.706 * [simplify]: Simplifying:
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (+ (log (+ (- d2 d1) (- d4 d3))) (log d1))
  (log (* (+ (- d2 d1) (- d4 d3)) d1))
  (exp (* (+ (- d2 d1) (- d4 d3)) d1))
  (* (* (* (+ (- d2 d1) (- d4 d3)) (+ (- d2 d1) (- d4 d3))) (+ (- d2 d1) (- d4 d3))) (* (* d1 d1) d1))
  (* (cbrt (* (+ (- d2 d1) (- d4 d3)) d1)) (cbrt (* (+ (- d2 d1) (- d4 d3)) d1)))
  (cbrt (* (+ (- d2 d1) (- d4 d3)) d1))
  (* (* (* (+ (- d2 d1) (- d4 d3)) d1) (* (+ (- d2 d1) (- d4 d3)) d1)) (* (+ (- d2 d1) (- d4 d3)) d1))
  (sqrt (* (+ (- d2 d1) (- d4 d3)) d1))
  (sqrt (* (+ (- d2 d1) (- d4 d3)) d1))
  (* (sqrt (+ (- d2 d1) (- d4 d3))) (sqrt d1))
  (* (sqrt (+ (- d2 d1) (- d4 d3))) (sqrt d1))
  (* (+ (- d2 d1) (- d4 d3)) (* (cbrt d1) (cbrt d1)))
  (* (+ (- d2 d1) (- d4 d3)) (sqrt d1))
  (* (+ (- d2 d1) (- d4 d3)) 1)
  (* (cbrt (+ (- d2 d1) (- d4 d3))) d1)
  (* (sqrt (+ (- d2 d1) (- d4 d3))) d1)
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (* (+ (- d2 d1) (- d4 d3)) d1)
  (* (+ (* (- (pow d2 3) (pow d1 3)) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3)))) (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (- (pow d4 3) (pow d3 3)))) d1)
  (* (+ (* (- (pow d2 3) (pow d1 3)) (+ d4 d3)) (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (- (* d4 d4) (* d3 d3)))) d1)
  (* (+ (* (- (* d2 d2) (* d1 d1)) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3)))) (* (+ d2 d1) (- (pow d4 3) (pow d3 3)))) d1)
  (* (+ (* (- (* d2 d2) (* d1 d1)) (+ d4 d3)) (* (+ d2 d1) (- (* d4 d4) (* d3 d3)))) d1)
  (* (+ (pow (- d2 d1) 3) (pow (- d4 d3) 3)) d1)
  (* (- (* (- d2 d1) (- d2 d1)) (* (- d4 d3) (- d4 d3))) d1)
  (* (/ (exp d2) (exp d1)) (/ (exp d4) (exp d3)))
  (* (/ (exp d2) (exp d1)) (exp (- d4 d3)))
  (* (exp (- d2 d1)) (/ (exp d4) (exp d3)))
  (* (exp (- d2 d1)) (exp (- d4 d3)))
  (log (+ (- d2 d1) (- d4 d3)))
  (exp (+ (- d2 d1) (- d4 d3)))
  (* (cbrt (+ (- d2 d1) (- d4 d3))) (cbrt (+ (- d2 d1) (- d4 d3))))
  (cbrt (+ (- d2 d1) (- d4 d3)))
  (* (* (+ (- d2 d1) (- d4 d3)) (+ (- d2 d1) (- d4 d3))) (+ (- d2 d1) (- d4 d3)))
  (sqrt (+ (- d2 d1) (- d4 d3)))
  (sqrt (+ (- d2 d1) (- d4 d3)))
  (+ (* (- (pow d2 3) (pow d1 3)) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3)))) (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (- (pow d4 3) (pow d3 3))))
  (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3))))
  (+ (* (- (pow d2 3) (pow d1 3)) (+ d4 d3)) (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (- (* d4 d4) (* d3 d3))))
  (* (+ (* d2 d2) (+ (* d1 d1) (* d2 d1))) (+ d4 d3))
  (+ (* (- (* d2 d2) (* d1 d1)) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3)))) (* (+ d2 d1) (- (pow d4 3) (pow d3 3))))
  (* (+ d2 d1) (+ (* d4 d4) (+ (* d3 d3) (* d4 d3))))
  (+ (* (- (* d2 d2) (* d1 d1)) (+ d4 d3)) (* (+ d2 d1) (- (* d4 d4) (* d3 d3))))
  (* (+ d2 d1) (+ d4 d3))
  (+ (pow (- d2 d1) 3) (pow (- d4 d3) 3))
  (+ (* (- d2 d1) (- d2 d1)) (- (* (- d4 d3) (- d4 d3)) (* (- d2 d1) (- d4 d3))))
  (- (* (- d2 d1) (- d2 d1)) (* (- d4 d3) (- d4 d3)))
  (- (- d2 d1) (- d4 d3))
  (+ (- d2 d1) (- d4 d3))
  (+ (- d2 d1) (- d4 d3))
  (+ (- d2 d1) (- d4 d3))
  (+ (- d2 d1) (- d4 d3))
  (+ (- d2 d1) d4)
  (+ (- d2 d1) d4)
  (+ (- d1) (- d4 d3))
  (+ (- d1) (- d4 d3))
  (+ (- d2 d1) d4)
  (- d1 (- d4 d3))
  0
  (- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
  (- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
  (- (+ d4 d2) d1)
  (- d4 (+ d3 d1))
  (- d4 (+ d3 d1))
7.708 * * [simplify]: iteration 0: 116 enodes
7.745 * * [simplify]: iteration 1: 330 enodes
7.877 * * [simplify]: iteration 2: 1260 enodes
8.312 * * [simplify]: iteration complete: 5001 enodes
8.312 * * [simplify]: Extracting #0: cost 42 inf + 0
8.314 * * [simplify]: Extracting #1: cost 604 inf + 1
8.326 * * [simplify]: Extracting #2: cost 1898 inf + 544
8.341 * * [simplify]: Extracting #3: cost 1993 inf + 43866
8.412 * * [simplify]: Extracting #4: cost 740 inf + 290805
8.553 * * [simplify]: Extracting #5: cost 83 inf + 444665
8.664 * * [simplify]: Extracting #6: cost 17 inf + 466808
8.792 * * [simplify]: Extracting #7: cost 21 inf + 468446
8.932 * * [simplify]: Extracting #8: cost 7 inf + 469878
9.044 * * [simplify]: Extracting #9: cost 0 inf + 471649
9.182 * [simplify]: Simplified to:
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (log (* d1 (+ (- d4 d3) (- d2 d1))))
  (log (* d1 (+ (- d4 d3) (- d2 d1))))
  (exp (* d1 (+ (- d4 d3) (- d2 d1))))
  (* (* (* d1 (+ (- d4 d3) (- d2 d1))) (* d1 (+ (- d4 d3) (- d2 d1)))) (* d1 (+ (- d4 d3) (- d2 d1))))
  (* (cbrt (* d1 (+ (- d4 d3) (- d2 d1)))) (cbrt (* d1 (+ (- d4 d3) (- d2 d1)))))
  (cbrt (* d1 (+ (- d4 d3) (- d2 d1))))
  (* (* (* d1 (+ (- d4 d3) (- d2 d1))) (* d1 (+ (- d4 d3) (- d2 d1)))) (* d1 (+ (- d4 d3) (- d2 d1))))
  (sqrt (* d1 (+ (- d4 d3) (- d2 d1))))
  (sqrt (* d1 (+ (- d4 d3) (- d2 d1))))
  (* (sqrt d1) (sqrt (+ (- d4 d3) (- d2 d1))))
  (* (sqrt d1) (sqrt (+ (- d4 d3) (- d2 d1))))
  (* (cbrt d1) (* (+ (- d4 d3) (- d2 d1)) (cbrt d1)))
  (* (+ (- d4 d3) (- d2 d1)) (sqrt d1))
  (+ (- d4 d3) (- d2 d1))
  (* d1 (cbrt (+ (- d4 d3) (- d2 d1))))
  (* d1 (sqrt (+ (- d4 d3) (- d2 d1))))
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (* d1 (+ (- d4 d3) (- d2 d1)))
  (* (+ (* (+ (* d2 d2) (* d1 (+ d1 d2))) (- (* d4 (* d4 d4)) (* d3 (* d3 d3)))) (* (- (* d2 (* d2 d2)) (* d1 (* d1 d1))) (+ (* d4 d4) (* d3 (+ d4 d3))))) d1)
  (* (+ (* (- (* d2 (* d2 d2)) (* d1 (* d1 d1))) (+ d4 d3)) (* (+ (* d2 d2) (* d1 (+ d1 d2))) (* (+ d4 d3) (- d4 d3)))) d1)
  (* d1 (+ (* (- (* d4 (* d4 d4)) (* d3 (* d3 d3))) (+ d1 d2)) (* (- (* d2 d2) (* d1 d1)) (+ (* d4 d4) (* d3 (+ d4 d3))))))
  (* d1 (+ (* (* (+ d4 d3) (+ d1 d2)) (- d2 d1)) (* (+ d1 d2) (* (+ d4 d3) (- d4 d3)))))
  (* d1 (+ (* (* (- d4 d3) (- d4 d3)) (- d4 d3)) (* (* (- d2 d1) (- d2 d1)) (- d2 d1))))
  (* (- (* (- d2 d1) (- d2 d1)) (* (- d4 d3) (- d4 d3))) d1)
  (exp (- (+ d2 (- d4 d3)) d1))
  (exp (- (+ d2 (- d4 d3)) d1))
  (exp (- (+ d2 (- d4 d3)) d1))
  (exp (- (+ d2 (- d4 d3)) d1))
  (log (+ (- d4 d3) (- d2 d1)))
  (exp (- (+ d2 (- d4 d3)) d1))
  (* (cbrt (+ (- d4 d3) (- d2 d1))) (cbrt (+ (- d4 d3) (- d2 d1))))
  (cbrt (+ (- d4 d3) (- d2 d1)))
  (* (* (+ (- d4 d3) (- d2 d1)) (+ (- d4 d3) (- d2 d1))) (+ (- d4 d3) (- d2 d1)))
  (sqrt (+ (- d4 d3) (- d2 d1)))
  (sqrt (+ (- d4 d3) (- d2 d1)))
  (+ (* (+ (* d2 d2) (* d1 (+ d1 d2))) (- (* d4 (* d4 d4)) (* d3 (* d3 d3)))) (* (- (* d2 (* d2 d2)) (* d1 (* d1 d1))) (+ (* d4 d4) (* d3 (+ d4 d3)))))
  (* (+ (* d2 d2) (* d1 (+ d1 d2))) (+ (* d4 d4) (* d3 (+ d4 d3))))
  (+ (* (- (* d2 (* d2 d2)) (* d1 (* d1 d1))) (+ d4 d3)) (* (+ (* d2 d2) (* d1 (+ d1 d2))) (* (+ d4 d3) (- d4 d3))))
  (* (+ (* d2 d2) (* d1 (+ d1 d2))) (+ d4 d3))
  (+ (* (- (* d4 (* d4 d4)) (* d3 (* d3 d3))) (+ d1 d2)) (* (- (* d2 d2) (* d1 d1)) (+ (* d4 d4) (* d3 (+ d4 d3)))))
  (* (+ d1 d2) (+ (* d4 d4) (* d3 (+ d4 d3))))
  (+ (* (* (+ d4 d3) (+ d1 d2)) (- d2 d1)) (* (+ d1 d2) (* (+ d4 d3) (- d4 d3))))
  (* (+ d4 d3) (+ d1 d2))
  (+ (* (* (- d4 d3) (- d4 d3)) (- d4 d3)) (* (* (- d2 d1) (- d2 d1)) (- d2 d1)))
  (- (+ (* (- d2 d1) (- d2 d1)) (* (- d4 d3) (- d4 d3))) (* (- d2 d1) (- d4 d3)))
  (- (* (- d2 d1) (- d2 d1)) (* (- d4 d3) (- d4 d3)))
  (+ (- d2 (+ d1 d4)) d3)
  (+ (- d4 d3) (- d2 d1))
  (+ (- d4 d3) (- d2 d1))
  (+ (- d4 d3) (- d2 d1))
  (+ (- d4 d3) (- d2 d1))
  (- d2 (- d1 d4))
  (- d2 (- d1 d4))
  (- d4 (+ d1 d3))
  (- d4 (+ d1 d3))
  (- d2 (- d1 d4))
  (+ d3 (- d1 d4))
  0
  (- (* d4 d1) (+ (* d1 d3) (* d1 d1)))
  (- (* d4 d1) (+ (* d1 d3) (* d1 d1)))
  (- d2 (- d1 d4))
  (- d4 (+ d1 d3))
  (- d4 (+ d1 d3))
9.185 * * * [progress]: adding candidates to table
9.477 * [progress]: [Phase 3 of 3] Extracting.
9.477 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.478 * * * [regime-changes]: Trying 5 branch expressions: ((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) d4 d3 d2 d1)
9.478 * * * * [regimes]: Trying to branch on (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) from (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.531 * * * * [regimes]: Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.592 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.655 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.715 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (* (+ (- d2 d1) (- d4 d3)) d1))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
9.766 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.766 * [simplify]: Simplifying:
  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
9.766 * * [simplify]: iteration 0: 11 enodes
9.767 * * [simplify]: iteration 1: 15 enodes
9.767 * * [simplify]: iteration complete: 15 enodes
9.767 * * [simplify]: Extracting #0: cost 1 inf + 0
9.767 * * [simplify]: Extracting #1: cost 3 inf + 0
9.767 * * [simplify]: Extracting #2: cost 6 inf + 0
9.767 * * [simplify]: Extracting #3: cost 8 inf + 1
9.768 * * [simplify]: Extracting #4: cost 7 inf + 85
9.768 * * [simplify]: Extracting #5: cost 0 inf + 782
9.768 * [simplify]: Simplified to:
  (- (+ (- (* d1 d2) (* d3 d1)) (* d1 d4)) (* d1 d1))
12.166 * [regime-testing]: Baseline error score: 0.024097373109409112
12.180 * [regime-testing]: Oracle error score: 0.007000875109388674
12.206 * [regime-testing]: End program error score: 0.024097373109409112
12.324 * [regime-testing]: Target error score: 0.02425303162895362