4.461 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.068 * [simplify]: Simplifying:
  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.068 * * [simplify]: iteration 0: 11 enodes
0.072 * * [simplify]: iteration 1: 26 enodes
0.083 * * [simplify]: iteration 2: 81 enodes
0.135 * * [simplify]: iteration 3: 240 enodes
0.306 * * [simplify]: iteration 4: 548 enodes
0.741 * * [simplify]: iteration 5: 1220 enodes
2.234 * * [simplify]: iteration 6: 3495 enodes
3.355 * * [simplify]: iteration complete: 5000 enodes
3.355 * * [simplify]: Extracting #0: cost 1 inf + 0
3.356 * * [simplify]: Extracting #1: cost 185 inf + 0
3.363 * * [simplify]: Extracting #2: cost 555 inf + 786
3.384 * * [simplify]: Extracting #3: cost 171 inf + 39218
3.420 * * [simplify]: Extracting #4: cost 0 inf + 62168
3.468 * [simplify]: Simplified to:
  (* d1 (+ (- d4 d3) (- d2 d1)))
3.478 * * [progress]: iteration 1 / 4
3.478 * * * [progress]: picking best candidate
3.486 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
3.486 * * * [progress]: localizing error
3.504 * * * [progress]: generating rewritten candidates
3.505 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
3.511 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.536 * * * [progress]: generating series expansions
3.536 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
3.536 * [backup-simplify]: Simplify (- (* d1 d2) (* d1 d3)) into (- (* d2 d1) (* d3 d1))
3.536 * [approximate]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in (d1 d2 d3) around 0
3.536 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d3
3.536 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.536 * [taylor]: Taking taylor expansion of d2 in d3
3.536 * [backup-simplify]: Simplify d2 into d2
3.536 * [taylor]: Taking taylor expansion of d1 in d3
3.536 * [backup-simplify]: Simplify d1 into d1
3.536 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.536 * [taylor]: Taking taylor expansion of d3 in d3
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.536 * [taylor]: Taking taylor expansion of d1 in d3
3.536 * [backup-simplify]: Simplify d1 into d1
3.536 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d2
3.536 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.536 * [taylor]: Taking taylor expansion of d2 in d2
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.536 * [taylor]: Taking taylor expansion of d1 in d2
3.536 * [backup-simplify]: Simplify d1 into d1
3.536 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.536 * [taylor]: Taking taylor expansion of d3 in d2
3.536 * [backup-simplify]: Simplify d3 into d3
3.536 * [taylor]: Taking taylor expansion of d1 in d2
3.536 * [backup-simplify]: Simplify d1 into d1
3.536 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1
3.536 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.536 * [taylor]: Taking taylor expansion of d2 in d1
3.536 * [backup-simplify]: Simplify d2 into d2
3.536 * [taylor]: Taking taylor expansion of d1 in d1
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.536 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.536 * [taylor]: Taking taylor expansion of d3 in d1
3.537 * [backup-simplify]: Simplify d3 into d3
3.537 * [taylor]: Taking taylor expansion of d1 in d1
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1
3.537 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.537 * [taylor]: Taking taylor expansion of d2 in d1
3.537 * [backup-simplify]: Simplify d2 into d2
3.537 * [taylor]: Taking taylor expansion of d1 in d1
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.537 * [taylor]: Taking taylor expansion of d3 in d1
3.537 * [backup-simplify]: Simplify d3 into d3
3.537 * [taylor]: Taking taylor expansion of d1 in d1
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify (* d2 0) into 0
3.537 * [backup-simplify]: Simplify (* d3 0) into 0
3.537 * [backup-simplify]: Simplify (- 0) into 0
3.538 * [backup-simplify]: Simplify (+ 0 0) into 0
3.538 * [taylor]: Taking taylor expansion of 0 in d2
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [taylor]: Taking taylor expansion of 0 in d3
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.538 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.538 * [backup-simplify]: Simplify (- d3) into (- d3)
3.539 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3)
3.539 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
3.539 * [taylor]: Taking taylor expansion of d2 in d2
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.539 * [taylor]: Taking taylor expansion of d3 in d2
3.539 * [backup-simplify]: Simplify d3 into d3
3.539 * [backup-simplify]: Simplify (- d3) into (- d3)
3.539 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
3.539 * [taylor]: Taking taylor expansion of (- d3) in d3
3.539 * [taylor]: Taking taylor expansion of d3 in d3
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.539 * [backup-simplify]: Simplify (- 0) into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [taylor]: Taking taylor expansion of 0 in d3
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.541 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) 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 d2
3.542 * [backup-simplify]: Simplify 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 0 into 0
3.542 * [backup-simplify]: Simplify (- 0) into 0
3.543 * [backup-simplify]: Simplify (+ 1 0) into 1
3.543 * [taylor]: Taking taylor expansion of 1 in d3
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [taylor]: Taking taylor expansion of 0 in d3
3.543 * [backup-simplify]: Simplify 0 into 0
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 0 into 0
3.543 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.545 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.545 * [backup-simplify]: Simplify (- 0) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [taylor]: Taking taylor expansion of 0 in d2
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [taylor]: Taking taylor expansion of 0 in d3
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [taylor]: Taking taylor expansion of 0 in d3
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 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 d3
3.547 * [backup-simplify]: Simplify 0 into 0
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 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d2 d1) (* d3 d1))
3.547 * [backup-simplify]: Simplify (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1)))
3.547 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0
3.547 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3
3.547 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.548 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.548 * [taylor]: Taking taylor expansion of d2 in d3
3.548 * [backup-simplify]: Simplify d2 into d2
3.548 * [taylor]: Taking taylor expansion of d1 in d3
3.548 * [backup-simplify]: Simplify d1 into d1
3.548 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.548 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.548 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.548 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
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 * [taylor]: Taking taylor expansion of d1 in d3
3.548 * [backup-simplify]: Simplify d1 into d1
3.548 * [backup-simplify]: Simplify (* 0 d1) into 0
3.548 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.549 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.549 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2
3.549 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.549 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.549 * [taylor]: Taking taylor expansion of d2 in d2
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 1 into 1
3.549 * [taylor]: Taking taylor expansion of d1 in d2
3.549 * [backup-simplify]: Simplify d1 into d1
3.549 * [backup-simplify]: Simplify (* 0 d1) into 0
3.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.549 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.549 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.549 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.549 * [taylor]: Taking taylor expansion of d3 in d2
3.549 * [backup-simplify]: Simplify d3 into d3
3.549 * [taylor]: Taking taylor expansion of d1 in d2
3.549 * [backup-simplify]: Simplify d1 into d1
3.550 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.550 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.550 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.550 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.550 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.550 * [taylor]: Taking taylor expansion of d2 in d1
3.550 * [backup-simplify]: Simplify d2 into d2
3.550 * [taylor]: Taking taylor expansion of d1 in d1
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.550 * [backup-simplify]: Simplify (* d2 0) into 0
3.550 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.550 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.550 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.550 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.550 * [taylor]: Taking taylor expansion of d3 in d1
3.550 * [backup-simplify]: Simplify d3 into d3
3.550 * [taylor]: Taking taylor expansion of d1 in d1
3.550 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (* d3 0) into 0
3.551 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.551 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.551 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.551 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.551 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.551 * [taylor]: Taking taylor expansion of d2 in d1
3.551 * [backup-simplify]: Simplify d2 into d2
3.551 * [taylor]: Taking taylor expansion of d1 in d1
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (* d2 0) into 0
3.552 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.552 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.552 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.552 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.552 * [taylor]: Taking taylor expansion of d3 in d1
3.552 * [backup-simplify]: Simplify d3 into d3
3.552 * [taylor]: Taking taylor expansion of d1 in d1
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 1 into 1
3.552 * [backup-simplify]: Simplify (* d3 0) into 0
3.552 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.553 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.553 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.553 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
3.553 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
3.553 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.553 * [taylor]: Taking taylor expansion of d2 in d2
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 1 into 1
3.553 * [backup-simplify]: Simplify (/ 1 1) into 1
3.553 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.553 * [taylor]: Taking taylor expansion of d3 in d2
3.553 * [backup-simplify]: Simplify d3 into d3
3.553 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.554 * [backup-simplify]: Simplify (+ 1 0) into 1
3.554 * [taylor]: Taking taylor expansion of 1 in d3
3.554 * [backup-simplify]: Simplify 1 into 1
3.555 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.556 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.556 * [backup-simplify]: Simplify (- 0) into 0
3.557 * [backup-simplify]: Simplify (+ 0 0) into 0
3.557 * [taylor]: Taking taylor expansion of 0 in d2
3.557 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.558 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.558 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
3.558 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
3.558 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.558 * [taylor]: Taking taylor expansion of d3 in d3
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (/ 1 1) into 1
3.559 * [backup-simplify]: Simplify (- 1) into -1
3.559 * [backup-simplify]: Simplify -1 into -1
3.559 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.561 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.562 * [backup-simplify]: Simplify (- 0) into 0
3.562 * [backup-simplify]: Simplify (+ 0 0) into 0
3.562 * [taylor]: Taking taylor expansion of 0 in d2
3.562 * [backup-simplify]: Simplify 0 into 0
3.562 * [taylor]: Taking taylor expansion of 0 in d3
3.562 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.563 * [backup-simplify]: Simplify (- 0) into 0
3.564 * [backup-simplify]: Simplify (+ 0 0) into 0
3.564 * [taylor]: Taking taylor expansion of 0 in d3
3.564 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify (- 0) into 0
3.565 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify 0 into 0
3.566 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.567 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) 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.568 * [taylor]: Taking taylor expansion of 0 in d3
3.568 * [backup-simplify]: Simplify 0 into 0
3.568 * [taylor]: Taking taylor expansion of 0 in d3
3.568 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.570 * [backup-simplify]: Simplify (- 0) into 0
3.570 * [backup-simplify]: Simplify (+ 0 0) into 0
3.570 * [taylor]: Taking taylor expansion of 0 in d3
3.570 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify 0 into 0
3.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.572 * [backup-simplify]: Simplify (- 0) into 0
3.572 * [backup-simplify]: Simplify 0 into 0
3.572 * [backup-simplify]: Simplify 0 into 0
3.572 * [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.573 * [backup-simplify]: Simplify (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1)))
3.573 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0
3.573 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3
3.573 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.573 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.573 * [taylor]: Taking taylor expansion of d2 in d3
3.573 * [backup-simplify]: Simplify d2 into d2
3.573 * [taylor]: Taking taylor expansion of d1 in d3
3.573 * [backup-simplify]: Simplify d1 into d1
3.573 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.573 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.573 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.573 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.573 * [taylor]: Taking taylor expansion of d3 in d3
3.573 * [backup-simplify]: Simplify 0 into 0
3.573 * [backup-simplify]: Simplify 1 into 1
3.573 * [taylor]: Taking taylor expansion of d1 in d3
3.573 * [backup-simplify]: Simplify d1 into d1
3.573 * [backup-simplify]: Simplify (* 0 d1) into 0
3.574 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.574 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.574 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2
3.574 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.574 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.574 * [taylor]: Taking taylor expansion of d2 in d2
3.574 * [backup-simplify]: Simplify 0 into 0
3.574 * [backup-simplify]: Simplify 1 into 1
3.574 * [taylor]: Taking taylor expansion of d1 in d2
3.574 * [backup-simplify]: Simplify d1 into d1
3.574 * [backup-simplify]: Simplify (* 0 d1) into 0
3.574 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.574 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.574 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.574 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.574 * [taylor]: Taking taylor expansion of d3 in d2
3.575 * [backup-simplify]: Simplify d3 into d3
3.575 * [taylor]: Taking taylor expansion of d1 in d2
3.575 * [backup-simplify]: Simplify d1 into d1
3.575 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.575 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.575 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.575 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.575 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.575 * [taylor]: Taking taylor expansion of d2 in d1
3.575 * [backup-simplify]: Simplify d2 into d2
3.575 * [taylor]: Taking taylor expansion of d1 in d1
3.575 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify 1 into 1
3.575 * [backup-simplify]: Simplify (* d2 0) into 0
3.575 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.575 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.575 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.575 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.575 * [taylor]: Taking taylor expansion of d3 in d1
3.576 * [backup-simplify]: Simplify d3 into d3
3.576 * [taylor]: Taking taylor expansion of d1 in d1
3.576 * [backup-simplify]: Simplify 0 into 0
3.576 * [backup-simplify]: Simplify 1 into 1
3.576 * [backup-simplify]: Simplify (* d3 0) into 0
3.576 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.576 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.576 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1
3.576 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.576 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.576 * [taylor]: Taking taylor expansion of d2 in d1
3.576 * [backup-simplify]: Simplify d2 into d2
3.576 * [taylor]: Taking taylor expansion of d1 in d1
3.576 * [backup-simplify]: Simplify 0 into 0
3.576 * [backup-simplify]: Simplify 1 into 1
3.576 * [backup-simplify]: Simplify (* d2 0) into 0
3.577 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.577 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.577 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.577 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.577 * [taylor]: Taking taylor expansion of d3 in d1
3.577 * [backup-simplify]: Simplify d3 into d3
3.577 * [taylor]: Taking taylor expansion of d1 in d1
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [backup-simplify]: Simplify (* d3 0) into 0
3.578 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.578 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.578 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.578 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
3.578 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
3.578 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.578 * [taylor]: Taking taylor expansion of d2 in d2
3.578 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify 1 into 1
3.579 * [backup-simplify]: Simplify (/ 1 1) into 1
3.579 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.579 * [taylor]: Taking taylor expansion of d3 in d2
3.579 * [backup-simplify]: Simplify d3 into d3
3.579 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.579 * [backup-simplify]: Simplify (+ 1 0) into 1
3.579 * [taylor]: Taking taylor expansion of 1 in d3
3.579 * [backup-simplify]: Simplify 1 into 1
3.580 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.581 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.581 * [backup-simplify]: Simplify (- 0) into 0
3.582 * [backup-simplify]: Simplify (+ 0 0) into 0
3.582 * [taylor]: Taking taylor expansion of 0 in d2
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.583 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.583 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
3.583 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
3.583 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.583 * [taylor]: Taking taylor expansion of d3 in d3
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [backup-simplify]: Simplify (- 1) into -1
3.584 * [backup-simplify]: Simplify -1 into -1
3.584 * [backup-simplify]: Simplify 1 into 1
3.585 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.586 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.586 * [backup-simplify]: Simplify (- 0) into 0
3.586 * [backup-simplify]: Simplify (+ 0 0) into 0
3.587 * [taylor]: Taking taylor expansion of 0 in d2
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [taylor]: Taking taylor expansion of 0 in d3
3.587 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.588 * [backup-simplify]: Simplify (- 0) into 0
3.589 * [backup-simplify]: Simplify (+ 0 0) into 0
3.589 * [taylor]: Taking taylor expansion of 0 in d3
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.590 * [backup-simplify]: Simplify (- 0) into 0
3.590 * [backup-simplify]: Simplify 0 into 0
3.590 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.592 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.593 * [backup-simplify]: Simplify (- 0) into 0
3.593 * [backup-simplify]: Simplify (+ 0 0) into 0
3.593 * [taylor]: Taking taylor expansion of 0 in d2
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [taylor]: Taking taylor expansion of 0 in d3
3.593 * [backup-simplify]: Simplify 0 into 0
3.594 * [taylor]: Taking taylor expansion of 0 in d3
3.594 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.595 * [backup-simplify]: Simplify (- 0) into 0
3.595 * [backup-simplify]: Simplify (+ 0 0) into 0
3.596 * [taylor]: Taking taylor expansion of 0 in d3
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.597 * [backup-simplify]: Simplify (- 0) into 0
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 0 into 0
3.598 * [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.598 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.598 * [backup-simplify]: Simplify (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.598 * [approximate]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in (d1 d2 d3 d4) around 0
3.598 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d4
3.598 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d4
3.598 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.598 * [taylor]: Taking taylor expansion of d4 in d4
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.598 * [taylor]: Taking taylor expansion of d1 in d4
3.598 * [backup-simplify]: Simplify d1 into d1
3.598 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.598 * [taylor]: Taking taylor expansion of d2 in d4
3.598 * [backup-simplify]: Simplify d2 into d2
3.598 * [taylor]: Taking taylor expansion of d1 in d4
3.598 * [backup-simplify]: Simplify d1 into d1
3.598 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.598 * [taylor]: Taking taylor expansion of d3 in d4
3.599 * [backup-simplify]: Simplify d3 into d3
3.599 * [taylor]: Taking taylor expansion of d1 in d4
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d3
3.599 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d3
3.599 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.599 * [taylor]: Taking taylor expansion of d4 in d3
3.599 * [backup-simplify]: Simplify d4 into d4
3.599 * [taylor]: Taking taylor expansion of d1 in d3
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.599 * [taylor]: Taking taylor expansion of d2 in d3
3.599 * [backup-simplify]: Simplify d2 into d2
3.599 * [taylor]: Taking taylor expansion of d1 in d3
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.599 * [taylor]: Taking taylor expansion of d3 in d3
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify 1 into 1
3.599 * [taylor]: Taking taylor expansion of d1 in d3
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d2
3.599 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d2
3.599 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.599 * [taylor]: Taking taylor expansion of d4 in d2
3.599 * [backup-simplify]: Simplify d4 into d4
3.599 * [taylor]: Taking taylor expansion of d1 in d2
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.599 * [taylor]: Taking taylor expansion of d2 in d2
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify 1 into 1
3.599 * [taylor]: Taking taylor expansion of d1 in d2
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.599 * [taylor]: Taking taylor expansion of d3 in d2
3.599 * [backup-simplify]: Simplify d3 into d3
3.599 * [taylor]: Taking taylor expansion of d1 in d2
3.599 * [backup-simplify]: Simplify d1 into d1
3.599 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1
3.599 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.599 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.599 * [taylor]: Taking taylor expansion of d4 in d1
3.600 * [backup-simplify]: Simplify d4 into d4
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.600 * [taylor]: Taking taylor expansion of d2 in d1
3.600 * [backup-simplify]: Simplify d2 into d2
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.600 * [taylor]: Taking taylor expansion of d3 in d1
3.600 * [backup-simplify]: Simplify d3 into d3
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1
3.600 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
3.600 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.600 * [taylor]: Taking taylor expansion of d4 in d1
3.600 * [backup-simplify]: Simplify d4 into d4
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.600 * [taylor]: Taking taylor expansion of d2 in d1
3.600 * [backup-simplify]: Simplify d2 into d2
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.600 * [taylor]: Taking taylor expansion of d3 in d1
3.600 * [backup-simplify]: Simplify d3 into d3
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [backup-simplify]: Simplify (* d4 0) into 0
3.601 * [backup-simplify]: Simplify (* d2 0) into 0
3.601 * [backup-simplify]: Simplify (+ 0 0) into 0
3.601 * [backup-simplify]: Simplify (* d3 0) into 0
3.602 * [backup-simplify]: Simplify (- 0) into 0
3.602 * [backup-simplify]: Simplify (+ 0 0) into 0
3.602 * [taylor]: Taking taylor expansion of 0 in d2
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [taylor]: Taking taylor expansion of 0 in d3
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [taylor]: Taking taylor expansion of 0 in d4
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.603 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.603 * [backup-simplify]: Simplify (+ d4 d2) into (+ d4 d2)
3.603 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.603 * [backup-simplify]: Simplify (- d3) into (- d3)
3.604 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3)
3.604 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2
3.604 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
3.604 * [taylor]: Taking taylor expansion of d4 in d2
3.604 * [backup-simplify]: Simplify d4 into d4
3.604 * [taylor]: Taking taylor expansion of d2 in d2
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify 1 into 1
3.604 * [taylor]: Taking taylor expansion of d3 in d2
3.604 * [backup-simplify]: Simplify d3 into d3
3.604 * [backup-simplify]: Simplify (+ d4 0) into d4
3.604 * [backup-simplify]: Simplify (- d3) into (- d3)
3.604 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
3.604 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
3.604 * [taylor]: Taking taylor expansion of d4 in d3
3.604 * [backup-simplify]: Simplify d4 into d4
3.604 * [taylor]: Taking taylor expansion of d3 in d3
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify 1 into 1
3.604 * [backup-simplify]: Simplify (- 0) into 0
3.605 * [backup-simplify]: Simplify (+ d4 0) into d4
3.605 * [taylor]: Taking taylor expansion of d4 in d4
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 1 into 1
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [taylor]: Taking taylor expansion of 0 in d3
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [taylor]: Taking taylor expansion of 0 in d4
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [taylor]: Taking taylor expansion of 0 in d4
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.606 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.607 * [backup-simplify]: Simplify (+ 0 0) into 0
3.609 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.610 * [backup-simplify]: Simplify (- 0) into 0
3.610 * [backup-simplify]: Simplify (+ 0 0) into 0
3.610 * [taylor]: Taking taylor expansion of 0 in d2
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [taylor]: Taking taylor expansion of 0 in d3
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [taylor]: Taking taylor expansion of 0 in d4
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify 0 into 0
3.611 * [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.611 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0
3.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4
3.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.611 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.611 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.611 * [taylor]: Taking taylor expansion of d2 in d4
3.611 * [backup-simplify]: Simplify d2 into d2
3.611 * [taylor]: Taking taylor expansion of d1 in d4
3.611 * [backup-simplify]: Simplify d1 into d1
3.611 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.611 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.611 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.611 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.611 * [taylor]: Taking taylor expansion of d4 in d4
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [taylor]: Taking taylor expansion of d1 in d4
3.611 * [backup-simplify]: Simplify d1 into d1
3.611 * [backup-simplify]: Simplify (* 0 d1) into 0
3.612 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.612 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.612 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.612 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.612 * [taylor]: Taking taylor expansion of d3 in d4
3.612 * [backup-simplify]: Simplify d3 into d3
3.612 * [taylor]: Taking taylor expansion of d1 in d4
3.612 * [backup-simplify]: Simplify d1 into d1
3.612 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.612 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3
3.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.612 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.612 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.612 * [taylor]: Taking taylor expansion of d2 in d3
3.612 * [backup-simplify]: Simplify d2 into d2
3.612 * [taylor]: Taking taylor expansion of d1 in d3
3.612 * [backup-simplify]: Simplify d1 into d1
3.613 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.613 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.613 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.613 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.613 * [taylor]: Taking taylor expansion of d4 in d3
3.613 * [backup-simplify]: Simplify d4 into d4
3.613 * [taylor]: Taking taylor expansion of d1 in d3
3.613 * [backup-simplify]: Simplify d1 into d1
3.613 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.613 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.613 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.613 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.613 * [taylor]: Taking taylor expansion of d3 in d3
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 1 into 1
3.613 * [taylor]: Taking taylor expansion of d1 in d3
3.613 * [backup-simplify]: Simplify d1 into d1
3.613 * [backup-simplify]: Simplify (* 0 d1) into 0
3.614 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.614 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2
3.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.614 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.614 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.614 * [taylor]: Taking taylor expansion of d2 in d2
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [taylor]: Taking taylor expansion of d1 in d2
3.614 * [backup-simplify]: Simplify d1 into d1
3.614 * [backup-simplify]: Simplify (* 0 d1) into 0
3.614 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.614 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.614 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.614 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.615 * [taylor]: Taking taylor expansion of d4 in d2
3.615 * [backup-simplify]: Simplify d4 into d4
3.615 * [taylor]: Taking taylor expansion of d1 in d2
3.615 * [backup-simplify]: Simplify d1 into d1
3.615 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.615 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.615 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.615 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.615 * [taylor]: Taking taylor expansion of d3 in d2
3.615 * [backup-simplify]: Simplify d3 into d3
3.615 * [taylor]: Taking taylor expansion of d1 in d2
3.615 * [backup-simplify]: Simplify d1 into d1
3.615 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.615 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.615 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.615 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.615 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.615 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.615 * [taylor]: Taking taylor expansion of d2 in d1
3.615 * [backup-simplify]: Simplify d2 into d2
3.615 * [taylor]: Taking taylor expansion of d1 in d1
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 1 into 1
3.615 * [backup-simplify]: Simplify (* d2 0) into 0
3.616 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.616 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.616 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.616 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.616 * [taylor]: Taking taylor expansion of d4 in d1
3.616 * [backup-simplify]: Simplify d4 into d4
3.616 * [taylor]: Taking taylor expansion of d1 in d1
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 1 into 1
3.616 * [backup-simplify]: Simplify (* d4 0) into 0
3.616 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.616 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.617 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.617 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.617 * [taylor]: Taking taylor expansion of d3 in d1
3.617 * [backup-simplify]: Simplify d3 into d3
3.617 * [taylor]: Taking taylor expansion of d1 in d1
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 1 into 1
3.617 * [backup-simplify]: Simplify (* d3 0) into 0
3.617 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.617 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.617 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.617 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.617 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.617 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.617 * [taylor]: Taking taylor expansion of d2 in d1
3.617 * [backup-simplify]: Simplify d2 into d2
3.617 * [taylor]: Taking taylor expansion of d1 in d1
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 1 into 1
3.617 * [backup-simplify]: Simplify (* d2 0) into 0
3.618 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.618 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.618 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.618 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.618 * [taylor]: Taking taylor expansion of d4 in d1
3.618 * [backup-simplify]: Simplify d4 into d4
3.618 * [taylor]: Taking taylor expansion of d1 in d1
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 1 into 1
3.618 * [backup-simplify]: Simplify (* d4 0) into 0
3.619 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.619 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.619 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.619 * [taylor]: Taking taylor expansion of d3 in d1
3.619 * [backup-simplify]: Simplify d3 into d3
3.619 * [taylor]: Taking taylor expansion of d1 in d1
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [backup-simplify]: Simplify (* d3 0) into 0
3.619 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.619 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.620 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.620 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.620 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.620 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.620 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.620 * [taylor]: Taking taylor expansion of d4 in d2
3.620 * [backup-simplify]: Simplify d4 into d4
3.620 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.620 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.620 * [taylor]: Taking taylor expansion of d2 in d2
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 1 into 1
3.621 * [backup-simplify]: Simplify (/ 1 1) into 1
3.621 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.621 * [taylor]: Taking taylor expansion of d3 in d2
3.621 * [backup-simplify]: Simplify d3 into d3
3.621 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.621 * [backup-simplify]: Simplify (+ 0 1) into 1
3.622 * [backup-simplify]: Simplify (+ 1 0) into 1
3.622 * [taylor]: Taking taylor expansion of 1 in d3
3.622 * [backup-simplify]: Simplify 1 into 1
3.622 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.623 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.624 * [backup-simplify]: Simplify (+ 0 0) into 0
3.624 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.625 * [backup-simplify]: Simplify (- 0) into 0
3.625 * [backup-simplify]: Simplify (+ 0 0) into 0
3.625 * [taylor]: Taking taylor expansion of 0 in d2
3.625 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.626 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.626 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.626 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.626 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.626 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.626 * [taylor]: Taking taylor expansion of d4 in d3
3.626 * [backup-simplify]: Simplify d4 into d4
3.627 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.627 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.627 * [taylor]: Taking taylor expansion of d3 in d3
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [backup-simplify]: Simplify (/ 1 1) into 1
3.628 * [backup-simplify]: Simplify (- 1) into -1
3.628 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.628 * [taylor]: Taking taylor expansion of -1 in d4
3.628 * [backup-simplify]: Simplify -1 into -1
3.628 * [taylor]: Taking taylor expansion of 1 in d4
3.628 * [backup-simplify]: Simplify 1 into 1
3.629 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.630 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.631 * [backup-simplify]: Simplify (+ 0 0) into 0
3.632 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.632 * [backup-simplify]: Simplify (- 0) into 0
3.632 * [backup-simplify]: Simplify (+ 0 0) into 0
3.633 * [taylor]: Taking taylor expansion of 0 in d2
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [taylor]: Taking taylor expansion of 0 in d3
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.634 * [backup-simplify]: Simplify (+ 0 0) into 0
3.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.635 * [backup-simplify]: Simplify (- 0) into 0
3.635 * [backup-simplify]: Simplify (+ 0 0) into 0
3.635 * [taylor]: Taking taylor expansion of 0 in d3
3.635 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.636 * [backup-simplify]: Simplify (- 0) into 0
3.636 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.636 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.636 * [taylor]: Taking taylor expansion of d4 in d4
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify (/ 1 1) into 1
3.637 * [backup-simplify]: Simplify 1 into 1
3.637 * [taylor]: Taking taylor expansion of 0 in d4
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify -1 into -1
3.637 * [backup-simplify]: Simplify 1 into 1
3.638 * [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.638 * [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.638 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0
3.638 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4
3.638 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
3.638 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
3.638 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
3.638 * [taylor]: Taking taylor expansion of d2 in d4
3.638 * [backup-simplify]: Simplify d2 into d2
3.638 * [taylor]: Taking taylor expansion of d1 in d4
3.638 * [backup-simplify]: Simplify d1 into d1
3.638 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.639 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.639 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
3.639 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
3.639 * [taylor]: Taking taylor expansion of d4 in d4
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.639 * [taylor]: Taking taylor expansion of d1 in d4
3.639 * [backup-simplify]: Simplify d1 into d1
3.639 * [backup-simplify]: Simplify (* 0 d1) into 0
3.639 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.639 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.639 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
3.639 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
3.639 * [taylor]: Taking taylor expansion of d3 in d4
3.639 * [backup-simplify]: Simplify d3 into d3
3.639 * [taylor]: Taking taylor expansion of d1 in d4
3.639 * [backup-simplify]: Simplify d1 into d1
3.640 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.640 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.640 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3
3.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
3.640 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
3.640 * [taylor]: Taking taylor expansion of d2 in d3
3.640 * [backup-simplify]: Simplify d2 into d2
3.640 * [taylor]: Taking taylor expansion of d1 in d3
3.640 * [backup-simplify]: Simplify d1 into d1
3.640 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
3.640 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
3.640 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
3.640 * [taylor]: Taking taylor expansion of d4 in d3
3.640 * [backup-simplify]: Simplify d4 into d4
3.640 * [taylor]: Taking taylor expansion of d1 in d3
3.640 * [backup-simplify]: Simplify d1 into d1
3.640 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.640 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
3.640 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
3.640 * [taylor]: Taking taylor expansion of d3 in d3
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 1 into 1
3.640 * [taylor]: Taking taylor expansion of d1 in d3
3.640 * [backup-simplify]: Simplify d1 into d1
3.640 * [backup-simplify]: Simplify (* 0 d1) into 0
3.641 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.641 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.641 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2
3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
3.641 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
3.641 * [taylor]: Taking taylor expansion of d2 in d2
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [taylor]: Taking taylor expansion of d1 in d2
3.641 * [backup-simplify]: Simplify d1 into d1
3.641 * [backup-simplify]: Simplify (* 0 d1) into 0
3.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
3.642 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.642 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
3.642 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
3.642 * [taylor]: Taking taylor expansion of d4 in d2
3.642 * [backup-simplify]: Simplify d4 into d4
3.642 * [taylor]: Taking taylor expansion of d1 in d2
3.642 * [backup-simplify]: Simplify d1 into d1
3.642 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
3.642 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
3.642 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
3.642 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
3.642 * [taylor]: Taking taylor expansion of d3 in d2
3.642 * [backup-simplify]: Simplify d3 into d3
3.642 * [taylor]: Taking taylor expansion of d1 in d2
3.642 * [backup-simplify]: Simplify d1 into d1
3.642 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
3.642 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
3.642 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.642 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.642 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.642 * [taylor]: Taking taylor expansion of d2 in d1
3.642 * [backup-simplify]: Simplify d2 into d2
3.643 * [taylor]: Taking taylor expansion of d1 in d1
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.643 * [backup-simplify]: Simplify (* d2 0) into 0
3.643 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.643 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.643 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.643 * [taylor]: Taking taylor expansion of d4 in d1
3.643 * [backup-simplify]: Simplify d4 into d4
3.643 * [taylor]: Taking taylor expansion of d1 in d1
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.643 * [backup-simplify]: Simplify (* d4 0) into 0
3.644 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.644 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.644 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.644 * [taylor]: Taking taylor expansion of d3 in d1
3.644 * [backup-simplify]: Simplify d3 into d3
3.644 * [taylor]: Taking taylor expansion of d1 in d1
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify 1 into 1
3.644 * [backup-simplify]: Simplify (* d3 0) into 0
3.644 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.645 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1
3.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
3.645 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
3.645 * [taylor]: Taking taylor expansion of d2 in d1
3.645 * [backup-simplify]: Simplify d2 into d2
3.645 * [taylor]: Taking taylor expansion of d1 in d1
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [backup-simplify]: Simplify (* d2 0) into 0
3.645 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
3.645 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
3.645 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
3.645 * [taylor]: Taking taylor expansion of d4 in d1
3.645 * [backup-simplify]: Simplify d4 into d4
3.645 * [taylor]: Taking taylor expansion of d1 in d1
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.646 * [backup-simplify]: Simplify (* d4 0) into 0
3.646 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
3.646 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.646 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
3.646 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
3.646 * [taylor]: Taking taylor expansion of d3 in d1
3.646 * [backup-simplify]: Simplify d3 into d3
3.646 * [taylor]: Taking taylor expansion of d1 in d1
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.646 * [backup-simplify]: Simplify (* d3 0) into 0
3.647 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
3.647 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.647 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
3.647 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.647 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.647 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.647 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.647 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.647 * [taylor]: Taking taylor expansion of d4 in d2
3.647 * [backup-simplify]: Simplify d4 into d4
3.647 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.647 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.647 * [taylor]: Taking taylor expansion of d2 in d2
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.648 * [taylor]: Taking taylor expansion of d3 in d2
3.648 * [backup-simplify]: Simplify d3 into d3
3.648 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.648 * [backup-simplify]: Simplify (+ 0 1) into 1
3.649 * [backup-simplify]: Simplify (+ 1 0) into 1
3.649 * [taylor]: Taking taylor expansion of 1 in d3
3.649 * [backup-simplify]: Simplify 1 into 1
3.650 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
3.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.650 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.651 * [backup-simplify]: Simplify (+ 0 0) into 0
3.652 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
3.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.652 * [backup-simplify]: Simplify (- 0) into 0
3.652 * [backup-simplify]: Simplify (+ 0 0) into 0
3.652 * [taylor]: Taking taylor expansion of 0 in d2
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.653 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.654 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.654 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.654 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.654 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.654 * [taylor]: Taking taylor expansion of d4 in d3
3.654 * [backup-simplify]: Simplify d4 into d4
3.654 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.654 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.654 * [taylor]: Taking taylor expansion of d3 in d3
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 1 into 1
3.654 * [backup-simplify]: Simplify (/ 1 1) into 1
3.655 * [backup-simplify]: Simplify (- 1) into -1
3.655 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.655 * [taylor]: Taking taylor expansion of -1 in d4
3.655 * [backup-simplify]: Simplify -1 into -1
3.655 * [taylor]: Taking taylor expansion of 1 in d4
3.655 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.657 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.658 * [backup-simplify]: Simplify (+ 0 0) into 0
3.658 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.659 * [backup-simplify]: Simplify (- 0) into 0
3.659 * [backup-simplify]: Simplify (+ 0 0) into 0
3.659 * [taylor]: Taking taylor expansion of 0 in d2
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [taylor]: Taking taylor expansion of 0 in d3
3.659 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.661 * [backup-simplify]: Simplify (+ 0 0) into 0
3.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.661 * [backup-simplify]: Simplify (- 0) into 0
3.662 * [backup-simplify]: Simplify (+ 0 0) into 0
3.662 * [taylor]: Taking taylor expansion of 0 in d3
3.662 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.663 * [backup-simplify]: Simplify (- 0) into 0
3.663 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.663 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.663 * [taylor]: Taking taylor expansion of d4 in d4
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [backup-simplify]: Simplify (/ 1 1) into 1
3.664 * [backup-simplify]: Simplify 1 into 1
3.664 * [taylor]: Taking taylor expansion of 0 in d4
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify -1 into -1
3.664 * [backup-simplify]: Simplify 1 into 1
3.664 * [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.665 * * * [progress]: simplifying candidates
3.666 * [simplify]: Simplifying:
  (fma d1 d2 (- (* d3 d1)))
  (fma (- d3) d1 (* d3 d1))
  (expm1 (- (* d1 d2) (* d1 d3)))
  (log1p (- (* d1 d2) (* d1 d3)))
  (- (* d1 d3))
  (/ (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))
  (expm1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (log1p (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
  (* (/ (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))
  (+ (fma (- d3) d1 (* d3 d1)) (* d4 d1))
  (+ (- (* d1 d3)) (* d4 d1))
  (+ (- (* d1 d3)) (* d4 d1))
  (- (* d1 d3) (* d4 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))
3.667 * * [simplify]: iteration 0: 68 enodes
3.702 * * [simplify]: iteration 1: 207 enodes
3.780 * * [simplify]: iteration 2: 772 enodes
4.568 * * [simplify]: iteration 3: 2985 enodes
5.540 * * [simplify]: iteration complete: 5000 enodes
5.540 * * [simplify]: Extracting #0: cost 33 inf + 0
5.541 * * [simplify]: Extracting #1: cost 406 inf + 1
5.547 * * [simplify]: Extracting #2: cost 678 inf + 5842
5.585 * * [simplify]: Extracting #3: cost 346 inf + 78750
5.697 * * [simplify]: Extracting #4: cost 101 inf + 149335
5.815 * * [simplify]: Extracting #5: cost 43 inf + 169654
5.907 * * [simplify]: Extracting #6: cost 6 inf + 194321
6.002 * * [simplify]: Extracting #7: cost 0 inf + 199217
6.124 * [simplify]: Simplified to:
  (* (- d2 d3) d1)
  (+ (* d1 d3) (- (* d1 d3)))
  (expm1 (* (- d2 d3) d1))
  (log1p (* (- d2 d3) d1))
  (- (* d1 d3))
  (exp (* (- d2 d3) d1))
  (log (* (- d2 d3) d1))
  (exp (* (- d2 d3) d1))
  (* (cbrt (* (- d2 d3) d1)) (cbrt (* (- d2 d3) d1)))
  (cbrt (* (- d2 d3) d1))
  (* (* (- d2 d3) d1) (* (* (- d2 d3) d1) (* (- d2 d3) d1)))
  (sqrt (* (- d2 d3) d1))
  (sqrt (* (- d2 d3) d1))
  (- (* (* d1 d2) (* (* d1 d2) (* d1 d2))) (* (* d1 d3) (* (* d1 d3) (* d1 d3))))
  (fma (* d1 d2) (* d1 d3) (fma (* d1 d2) (* d1 d2) (* (* d1 d3) (* d1 d3))))
  (- (* d1 d3))
  (* (* d1 (- (* d2 d2) (* d3 d3))) d1)
  (* d1 (+ d2 d3))
  (- d2 d3)
  (- (* d1 d3))
  (expm1 (* (+ (- d2 d3) d4) d1))
  (log1p (* (+ (- d2 d3) d4) d1))
  (exp (* (+ (- d2 d3) d4) d1))
  (exp (* (+ (- d2 d3) d4) d1))
  (log (* (+ (- d2 d3) d4) d1))
  (exp (* (+ (- d2 d3) d4) d1))
  (* (cbrt (* (+ (- d2 d3) d4) d1)) (cbrt (* (+ (- d2 d3) d4) d1)))
  (cbrt (* (+ (- d2 d3) d4) d1))
  (* (* (+ (- d2 d3) d4) d1) (* (* (+ (- d2 d3) d4) d1) (* (+ (- d2 d3) d4) d1)))
  (sqrt (* (+ (- d2 d3) d4) d1))
  (sqrt (* (+ (- d2 d3) d4) d1))
  (fma (* (- d2 d3) d1) (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (* (* d4 d1) (* d4 d1)) (* d4 d1)))
  (fma (* d1 (- d4 (- d2 d3))) (* d4 d1) (* (* (- d2 d3) d1) (* (- d2 d3) d1)))
  (* (* d1 d1) (* (+ (- d2 d3) d4) (- (- d2 d3) d4)))
  (* d1 (- (- d2 d3) d4))
  (fma (- d4 d3) d1 (* d1 d3))
  (* d1 (- d4 d3))
  (* d1 (- d4 d3))
  (* d1 (- d3 d4))
  (* (- d2 d3) d1)
  (* (- d2 d3) d1)
  (* (- d2 d3) d1)
  0
  (* (+ (- d2 d3) d4) d1)
  (* (+ (- d2 d3) d4) d1)
6.128 * * * [progress]: adding candidates to table
6.482 * * [progress]: iteration 2 / 4
6.482 * * * [progress]: picking best candidate
6.486 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))>
6.486 * * * [progress]: localizing error
6.503 * * * [progress]: generating rewritten candidates
6.503 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
6.504 * * * [progress]: generating series expansions
6.504 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
6.504 * [backup-simplify]: Simplify (fma d1 (- d2 d3) (* d4 d1)) into (fma d1 (- d2 d3) (* d4 d1))
6.504 * [approximate]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in (d1 d2 d3 d4) around 0
6.504 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in d4
6.504 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d4 d1))
6.504 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d4
6.504 * [taylor]: Taking taylor expansion of d1 in d4
6.504 * [backup-simplify]: Simplify d1 into d1
6.504 * [taylor]: Taking taylor expansion of (- d2 d3) in d4
6.504 * [taylor]: Taking taylor expansion of d2 in d4
6.504 * [backup-simplify]: Simplify d2 into d2
6.504 * [taylor]: Taking taylor expansion of d3 in d4
6.504 * [backup-simplify]: Simplify d3 into d3
6.504 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
6.504 * [taylor]: Taking taylor expansion of d4 in d4
6.504 * [backup-simplify]: Simplify 0 into 0
6.504 * [backup-simplify]: Simplify 1 into 1
6.504 * [taylor]: Taking taylor expansion of d1 in d4
6.504 * [backup-simplify]: Simplify d1 into d1
6.504 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in d3
6.504 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d4 d1))
6.504 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3
6.504 * [taylor]: Taking taylor expansion of d1 in d3
6.504 * [backup-simplify]: Simplify d1 into d1
6.504 * [taylor]: Taking taylor expansion of (- d2 d3) in d3
6.504 * [taylor]: Taking taylor expansion of d2 in d3
6.504 * [backup-simplify]: Simplify d2 into d2
6.504 * [taylor]: Taking taylor expansion of d3 in d3
6.504 * [backup-simplify]: Simplify 0 into 0
6.504 * [backup-simplify]: Simplify 1 into 1
6.504 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
6.504 * [taylor]: Taking taylor expansion of d4 in d3
6.504 * [backup-simplify]: Simplify d4 into d4
6.504 * [taylor]: Taking taylor expansion of d1 in d3
6.504 * [backup-simplify]: Simplify d1 into d1
6.505 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in d2
6.505 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d4 d1))
6.505 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2
6.505 * [taylor]: Taking taylor expansion of d1 in d2
6.505 * [backup-simplify]: Simplify d1 into d1
6.505 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
6.505 * [taylor]: Taking taylor expansion of d2 in d2
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 1 into 1
6.505 * [taylor]: Taking taylor expansion of d3 in d2
6.505 * [backup-simplify]: Simplify d3 into d3
6.505 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
6.505 * [taylor]: Taking taylor expansion of d4 in d2
6.505 * [backup-simplify]: Simplify d4 into d4
6.505 * [taylor]: Taking taylor expansion of d1 in d2
6.505 * [backup-simplify]: Simplify d1 into d1
6.505 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in d1
6.505 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d4 d1))
6.505 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1
6.505 * [taylor]: Taking taylor expansion of d1 in d1
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 1 into 1
6.505 * [taylor]: Taking taylor expansion of (- d2 d3) in d1
6.505 * [taylor]: Taking taylor expansion of d2 in d1
6.505 * [backup-simplify]: Simplify d2 into d2
6.505 * [taylor]: Taking taylor expansion of d3 in d1
6.505 * [backup-simplify]: Simplify d3 into d3
6.505 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.505 * [taylor]: Taking taylor expansion of d4 in d1
6.505 * [backup-simplify]: Simplify d4 into d4
6.505 * [taylor]: Taking taylor expansion of d1 in d1
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 1 into 1
6.505 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d4 d1)) in d1
6.505 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d4 d1))
6.505 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1
6.505 * [taylor]: Taking taylor expansion of d1 in d1
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 1 into 1
6.505 * [taylor]: Taking taylor expansion of (- d2 d3) in d1
6.505 * [taylor]: Taking taylor expansion of d2 in d1
6.505 * [backup-simplify]: Simplify d2 into d2
6.505 * [taylor]: Taking taylor expansion of d3 in d1
6.505 * [backup-simplify]: Simplify d3 into d3
6.505 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.505 * [taylor]: Taking taylor expansion of d4 in d1
6.505 * [backup-simplify]: Simplify d4 into d4
6.505 * [taylor]: Taking taylor expansion of d1 in d1
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 1 into 1
6.505 * [backup-simplify]: Simplify (- d3) into (- d3)
6.505 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3)
6.506 * [backup-simplify]: Simplify (* 0 (- d2 d3)) into 0
6.506 * [backup-simplify]: Simplify (* d4 0) into 0
6.506 * [backup-simplify]: Simplify (+ 0 0) into 0
6.506 * [taylor]: Taking taylor expansion of 0 in d2
6.506 * [backup-simplify]: Simplify 0 into 0
6.506 * [taylor]: Taking taylor expansion of 0 in d3
6.506 * [backup-simplify]: Simplify 0 into 0
6.506 * [taylor]: Taking taylor expansion of 0 in d4
6.506 * [backup-simplify]: Simplify 0 into 0
6.506 * [backup-simplify]: Simplify 0 into 0
6.506 * [backup-simplify]: Simplify (- 0) into 0
6.507 * [backup-simplify]: Simplify (+ 0 0) into 0
6.507 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- d2 d3))) into (- d2 d3)
6.507 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
6.507 * [backup-simplify]: Simplify (+ (- d2 d3) d4) into (- (+ d2 d4) d3)
6.507 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2
6.507 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
6.507 * [taylor]: Taking taylor expansion of d2 in d2
6.507 * [backup-simplify]: Simplify 0 into 0
6.507 * [backup-simplify]: Simplify 1 into 1
6.507 * [taylor]: Taking taylor expansion of d4 in d2
6.507 * [backup-simplify]: Simplify d4 into d4
6.507 * [taylor]: Taking taylor expansion of d3 in d2
6.507 * [backup-simplify]: Simplify d3 into d3
6.507 * [backup-simplify]: Simplify (+ 0 d4) into d4
6.508 * [backup-simplify]: Simplify (- d3) into (- d3)
6.508 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
6.508 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
6.508 * [taylor]: Taking taylor expansion of d4 in d3
6.508 * [backup-simplify]: Simplify d4 into d4
6.508 * [taylor]: Taking taylor expansion of d3 in d3
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 1 into 1
6.508 * [backup-simplify]: Simplify (- 0) into 0
6.508 * [backup-simplify]: Simplify (+ d4 0) into d4
6.508 * [taylor]: Taking taylor expansion of d4 in d4
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 1 into 1
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [taylor]: Taking taylor expansion of 0 in d3
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [taylor]: Taking taylor expansion of 0 in d4
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [taylor]: Taking taylor expansion of 0 in d4
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify (- 0) into 0
6.509 * [backup-simplify]: Simplify (+ 0 0) into 0
6.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- d2 d3)))) into 0
6.510 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
6.510 * [backup-simplify]: Simplify (+ 0 0) into 0
6.510 * [taylor]: Taking taylor expansion of 0 in d2
6.510 * [backup-simplify]: Simplify 0 into 0
6.510 * [taylor]: Taking taylor expansion of 0 in d3
6.510 * [backup-simplify]: Simplify 0 into 0
6.510 * [taylor]: Taking taylor expansion of 0 in d4
6.510 * [backup-simplify]: Simplify 0 into 0
6.510 * [backup-simplify]: Simplify 0 into 0
6.510 * [backup-simplify]: Simplify 0 into 0
6.510 * [backup-simplify]: Simplify (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (* (/ 1 d4) (/ 1 d1))) into (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1)))
6.510 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in (d1 d2 d3 d4) around 0
6.510 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in d4
6.510 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d4 d1)))
6.510 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d4
6.510 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
6.510 * [taylor]: Taking taylor expansion of d1 in d4
6.510 * [backup-simplify]: Simplify d1 into d1
6.510 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
6.510 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d4
6.510 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
6.510 * [taylor]: Taking taylor expansion of d2 in d4
6.510 * [backup-simplify]: Simplify d2 into d2
6.510 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.510 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
6.510 * [taylor]: Taking taylor expansion of d3 in d4
6.511 * [backup-simplify]: Simplify d3 into d3
6.511 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.511 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
6.511 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
6.511 * [taylor]: Taking taylor expansion of d4 in d4
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 1 into 1
6.511 * [taylor]: Taking taylor expansion of d1 in d4
6.511 * [backup-simplify]: Simplify d1 into d1
6.511 * [backup-simplify]: Simplify (* 0 d1) into 0
6.511 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
6.511 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
6.511 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in d3
6.511 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d4 d1)))
6.511 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d3
6.511 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
6.511 * [taylor]: Taking taylor expansion of d1 in d3
6.511 * [backup-simplify]: Simplify d1 into d1
6.511 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
6.511 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3
6.511 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
6.511 * [taylor]: Taking taylor expansion of d2 in d3
6.511 * [backup-simplify]: Simplify d2 into d2
6.511 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.511 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
6.511 * [taylor]: Taking taylor expansion of d3 in d3
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 1 into 1
6.512 * [backup-simplify]: Simplify (/ 1 1) into 1
6.512 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
6.512 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
6.512 * [taylor]: Taking taylor expansion of d4 in d3
6.512 * [backup-simplify]: Simplify d4 into d4
6.512 * [taylor]: Taking taylor expansion of d1 in d3
6.512 * [backup-simplify]: Simplify d1 into d1
6.512 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
6.512 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
6.512 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in d2
6.512 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d4 d1)))
6.512 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d2
6.512 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
6.512 * [taylor]: Taking taylor expansion of d1 in d2
6.512 * [backup-simplify]: Simplify d1 into d1
6.512 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
6.512 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
6.512 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
6.512 * [taylor]: Taking taylor expansion of d2 in d2
6.512 * [backup-simplify]: Simplify 0 into 0
6.512 * [backup-simplify]: Simplify 1 into 1
6.512 * [backup-simplify]: Simplify (/ 1 1) into 1
6.512 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
6.512 * [taylor]: Taking taylor expansion of d3 in d2
6.512 * [backup-simplify]: Simplify d3 into d3
6.512 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.512 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
6.512 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
6.512 * [taylor]: Taking taylor expansion of d4 in d2
6.512 * [backup-simplify]: Simplify d4 into d4
6.512 * [taylor]: Taking taylor expansion of d1 in d2
6.512 * [backup-simplify]: Simplify d1 into d1
6.513 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
6.513 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
6.513 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in d1
6.513 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d4 d1)))
6.513 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1
6.513 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
6.513 * [taylor]: Taking taylor expansion of d1 in d1
6.513 * [backup-simplify]: Simplify 0 into 0
6.513 * [backup-simplify]: Simplify 1 into 1
6.513 * [backup-simplify]: Simplify (/ 1 1) into 1
6.513 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1
6.513 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
6.513 * [taylor]: Taking taylor expansion of d2 in d1
6.513 * [backup-simplify]: Simplify d2 into d2
6.513 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.513 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
6.513 * [taylor]: Taking taylor expansion of d3 in d1
6.513 * [backup-simplify]: Simplify d3 into d3
6.513 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.513 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
6.513 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.513 * [taylor]: Taking taylor expansion of d4 in d1
6.513 * [backup-simplify]: Simplify d4 into d4
6.513 * [taylor]: Taking taylor expansion of d1 in d1
6.513 * [backup-simplify]: Simplify 0 into 0
6.513 * [backup-simplify]: Simplify 1 into 1
6.513 * [backup-simplify]: Simplify (* d4 0) into 0
6.514 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
6.514 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.514 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d4 d1))) in d1
6.514 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d4 d1)))
6.514 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1
6.514 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
6.514 * [taylor]: Taking taylor expansion of d1 in d1
6.514 * [backup-simplify]: Simplify 0 into 0
6.514 * [backup-simplify]: Simplify 1 into 1
6.514 * [backup-simplify]: Simplify (/ 1 1) into 1
6.514 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1
6.514 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
6.514 * [taylor]: Taking taylor expansion of d2 in d1
6.514 * [backup-simplify]: Simplify d2 into d2
6.514 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.514 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
6.514 * [taylor]: Taking taylor expansion of d3 in d1
6.514 * [backup-simplify]: Simplify d3 into d3
6.514 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.514 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
6.514 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.514 * [taylor]: Taking taylor expansion of d4 in d1
6.514 * [backup-simplify]: Simplify d4 into d4
6.514 * [taylor]: Taking taylor expansion of d1 in d1
6.514 * [backup-simplify]: Simplify 0 into 0
6.515 * [backup-simplify]: Simplify 1 into 1
6.515 * [backup-simplify]: Simplify (* d4 0) into 0
6.515 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
6.515 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.515 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
6.515 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
6.515 * [backup-simplify]: Simplify (* 1 (- (/ 1 d2) (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
6.515 * [backup-simplify]: Simplify (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
6.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
6.515 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
6.515 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
6.515 * [taylor]: Taking taylor expansion of d4 in d2
6.515 * [backup-simplify]: Simplify d4 into d4
6.515 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.515 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
6.515 * [taylor]: Taking taylor expansion of d2 in d2
6.515 * [backup-simplify]: Simplify 0 into 0
6.515 * [backup-simplify]: Simplify 1 into 1
6.516 * [backup-simplify]: Simplify (/ 1 1) into 1
6.516 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
6.516 * [taylor]: Taking taylor expansion of d3 in d2
6.516 * [backup-simplify]: Simplify d3 into d3
6.516 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.516 * [backup-simplify]: Simplify (+ 0 1) into 1
6.516 * [backup-simplify]: Simplify (+ 1 0) into 1
6.516 * [taylor]: Taking taylor expansion of 1 in d3
6.516 * [backup-simplify]: Simplify 1 into 1
6.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
6.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
6.517 * [backup-simplify]: Simplify (- 0) into 0
6.517 * [backup-simplify]: Simplify (+ 0 0) into 0
6.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 d2) (/ 1 d3)))) into 0
6.518 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
6.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
6.518 * [backup-simplify]: Simplify (+ 0 0) into 0
6.518 * [taylor]: Taking taylor expansion of 0 in d2
6.518 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.519 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
6.519 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
6.519 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
6.519 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
6.519 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
6.519 * [taylor]: Taking taylor expansion of d4 in d3
6.519 * [backup-simplify]: Simplify d4 into d4
6.519 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.519 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
6.519 * [taylor]: Taking taylor expansion of d3 in d3
6.519 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify 1 into 1
6.519 * [backup-simplify]: Simplify (/ 1 1) into 1
6.520 * [backup-simplify]: Simplify (- 1) into -1
6.520 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.520 * [taylor]: Taking taylor expansion of -1 in d4
6.520 * [backup-simplify]: Simplify -1 into -1
6.520 * [taylor]: Taking taylor expansion of 1 in d4
6.520 * [backup-simplify]: Simplify 1 into 1
6.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
6.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
6.521 * [backup-simplify]: Simplify (- 0) into 0
6.521 * [backup-simplify]: Simplify (+ 0 0) into 0
6.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 d2) (/ 1 d3))))) into 0
6.522 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
6.523 * [backup-simplify]: Simplify (+ 0 0) into 0
6.523 * [taylor]: Taking taylor expansion of 0 in d2
6.523 * [backup-simplify]: Simplify 0 into 0
6.523 * [taylor]: Taking taylor expansion of 0 in d3
6.523 * [backup-simplify]: Simplify 0 into 0
6.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
6.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.525 * [backup-simplify]: Simplify (+ 0 0) into 0
6.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
6.525 * [backup-simplify]: Simplify (- 0) into 0
6.525 * [backup-simplify]: Simplify (+ 0 0) into 0
6.525 * [taylor]: Taking taylor expansion of 0 in d3
6.525 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.527 * [backup-simplify]: Simplify (- 0) into 0
6.527 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
6.527 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
6.527 * [taylor]: Taking taylor expansion of d4 in d4
6.527 * [backup-simplify]: Simplify 0 into 0
6.527 * [backup-simplify]: Simplify 1 into 1
6.527 * [backup-simplify]: Simplify (/ 1 1) into 1
6.527 * [backup-simplify]: Simplify 1 into 1
6.527 * [taylor]: Taking taylor expansion of 0 in d4
6.527 * [backup-simplify]: Simplify 0 into 0
6.527 * [backup-simplify]: Simplify -1 into -1
6.527 * [backup-simplify]: Simplify 1 into 1
6.528 * [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))
6.528 * [backup-simplify]: Simplify (fma (/ 1 (- d1)) (- (/ 1 (- d2)) (/ 1 (- d3))) (* (/ 1 (- d4)) (/ 1 (- d1)))) into (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1)))
6.528 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in (d1 d2 d3 d4) around 0
6.528 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in d4
6.529 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d4 d1)))
6.529 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d4
6.529 * [taylor]: Taking taylor expansion of (/ -1 d1) in d4
6.529 * [taylor]: Taking taylor expansion of -1 in d4
6.529 * [backup-simplify]: Simplify -1 into -1
6.529 * [taylor]: Taking taylor expansion of d1 in d4
6.529 * [backup-simplify]: Simplify d1 into d1
6.529 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
6.529 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d4
6.529 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
6.529 * [taylor]: Taking taylor expansion of d3 in d4
6.529 * [backup-simplify]: Simplify d3 into d3
6.529 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.529 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
6.529 * [taylor]: Taking taylor expansion of d2 in d4
6.529 * [backup-simplify]: Simplify d2 into d2
6.529 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.529 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
6.529 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
6.529 * [taylor]: Taking taylor expansion of d4 in d4
6.529 * [backup-simplify]: Simplify 0 into 0
6.529 * [backup-simplify]: Simplify 1 into 1
6.529 * [taylor]: Taking taylor expansion of d1 in d4
6.529 * [backup-simplify]: Simplify d1 into d1
6.529 * [backup-simplify]: Simplify (* 0 d1) into 0
6.530 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
6.530 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
6.530 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in d3
6.530 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d4 d1)))
6.530 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d3
6.530 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3
6.531 * [taylor]: Taking taylor expansion of -1 in d3
6.531 * [backup-simplify]: Simplify -1 into -1
6.531 * [taylor]: Taking taylor expansion of d1 in d3
6.531 * [backup-simplify]: Simplify d1 into d1
6.531 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
6.531 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3
6.531 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
6.531 * [taylor]: Taking taylor expansion of d3 in d3
6.531 * [backup-simplify]: Simplify 0 into 0
6.531 * [backup-simplify]: Simplify 1 into 1
6.531 * [backup-simplify]: Simplify (/ 1 1) into 1
6.531 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
6.531 * [taylor]: Taking taylor expansion of d2 in d3
6.531 * [backup-simplify]: Simplify d2 into d2
6.531 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.531 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
6.531 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
6.532 * [taylor]: Taking taylor expansion of d4 in d3
6.532 * [backup-simplify]: Simplify d4 into d4
6.532 * [taylor]: Taking taylor expansion of d1 in d3
6.532 * [backup-simplify]: Simplify d1 into d1
6.532 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
6.532 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
6.532 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in d2
6.532 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d4 d1)))
6.532 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d2
6.532 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2
6.532 * [taylor]: Taking taylor expansion of -1 in d2
6.532 * [backup-simplify]: Simplify -1 into -1
6.532 * [taylor]: Taking taylor expansion of d1 in d2
6.532 * [backup-simplify]: Simplify d1 into d1
6.532 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
6.532 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2
6.532 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
6.532 * [taylor]: Taking taylor expansion of d3 in d2
6.532 * [backup-simplify]: Simplify d3 into d3
6.532 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.532 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
6.532 * [taylor]: Taking taylor expansion of d2 in d2
6.532 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify 1 into 1
6.533 * [backup-simplify]: Simplify (/ 1 1) into 1
6.533 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
6.533 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
6.533 * [taylor]: Taking taylor expansion of d4 in d2
6.533 * [backup-simplify]: Simplify d4 into d4
6.533 * [taylor]: Taking taylor expansion of d1 in d2
6.533 * [backup-simplify]: Simplify d1 into d1
6.533 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
6.533 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
6.533 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in d1
6.533 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d4 d1)))
6.534 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1
6.534 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
6.534 * [taylor]: Taking taylor expansion of -1 in d1
6.534 * [backup-simplify]: Simplify -1 into -1
6.534 * [taylor]: Taking taylor expansion of d1 in d1
6.534 * [backup-simplify]: Simplify 0 into 0
6.534 * [backup-simplify]: Simplify 1 into 1
6.534 * [backup-simplify]: Simplify (/ -1 1) into -1
6.534 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1
6.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
6.534 * [taylor]: Taking taylor expansion of d3 in d1
6.534 * [backup-simplify]: Simplify d3 into d3
6.534 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.534 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
6.534 * [taylor]: Taking taylor expansion of d2 in d1
6.534 * [backup-simplify]: Simplify d2 into d2
6.534 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.535 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
6.535 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.535 * [taylor]: Taking taylor expansion of d4 in d1
6.535 * [backup-simplify]: Simplify d4 into d4
6.535 * [taylor]: Taking taylor expansion of d1 in d1
6.535 * [backup-simplify]: Simplify 0 into 0
6.535 * [backup-simplify]: Simplify 1 into 1
6.535 * [backup-simplify]: Simplify (* d4 0) into 0
6.535 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
6.535 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.535 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d4 d1))) in d1
6.536 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d4 d1)))
6.536 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1
6.536 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
6.536 * [taylor]: Taking taylor expansion of -1 in d1
6.536 * [backup-simplify]: Simplify -1 into -1
6.536 * [taylor]: Taking taylor expansion of d1 in d1
6.536 * [backup-simplify]: Simplify 0 into 0
6.536 * [backup-simplify]: Simplify 1 into 1
6.536 * [backup-simplify]: Simplify (/ -1 1) into -1
6.536 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1
6.536 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
6.536 * [taylor]: Taking taylor expansion of d3 in d1
6.536 * [backup-simplify]: Simplify d3 into d3
6.536 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.536 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
6.536 * [taylor]: Taking taylor expansion of d2 in d1
6.536 * [backup-simplify]: Simplify d2 into d2
6.537 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
6.537 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
6.537 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
6.537 * [taylor]: Taking taylor expansion of d4 in d1
6.537 * [backup-simplify]: Simplify d4 into d4
6.537 * [taylor]: Taking taylor expansion of d1 in d1
6.537 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify 1 into 1
6.537 * [backup-simplify]: Simplify (* d4 0) into 0
6.537 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
6.537 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.537 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
6.538 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d2))) into (- (/ 1 d3) (/ 1 d2))
6.538 * [backup-simplify]: Simplify (* -1 (- (/ 1 d3) (/ 1 d2))) into (* -1 (- (/ 1 d3) (/ 1 d2)))
6.538 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 d3) (/ 1 d2))) (/ 1 d4)) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
6.538 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
6.538 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
6.538 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
6.538 * [taylor]: Taking taylor expansion of d4 in d2
6.538 * [backup-simplify]: Simplify d4 into d4
6.538 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.538 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
6.538 * [taylor]: Taking taylor expansion of d2 in d2
6.538 * [backup-simplify]: Simplify 0 into 0
6.538 * [backup-simplify]: Simplify 1 into 1
6.539 * [backup-simplify]: Simplify (/ 1 1) into 1
6.539 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
6.539 * [taylor]: Taking taylor expansion of d3 in d2
6.539 * [backup-simplify]: Simplify d3 into d3
6.539 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
6.539 * [backup-simplify]: Simplify (+ 0 1) into 1
6.540 * [backup-simplify]: Simplify (+ 1 0) into 1
6.540 * [taylor]: Taking taylor expansion of 1 in d3
6.540 * [backup-simplify]: Simplify 1 into 1
6.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
6.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
6.541 * [backup-simplify]: Simplify (- 0) into 0
6.541 * [backup-simplify]: Simplify (+ 0 0) into 0
6.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.542 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 d3) (/ 1 d2)))) into 0
6.543 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
6.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
6.544 * [backup-simplify]: Simplify (+ 0 0) into 0
6.544 * [taylor]: Taking taylor expansion of 0 in d2
6.544 * [backup-simplify]: Simplify 0 into 0
6.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.545 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
6.545 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
6.545 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
6.545 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
6.545 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
6.545 * [taylor]: Taking taylor expansion of d4 in d3
6.545 * [backup-simplify]: Simplify d4 into d4
6.545 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
6.545 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
6.545 * [taylor]: Taking taylor expansion of d3 in d3
6.545 * [backup-simplify]: Simplify 0 into 0
6.545 * [backup-simplify]: Simplify 1 into 1
6.546 * [backup-simplify]: Simplify (/ 1 1) into 1
6.546 * [backup-simplify]: Simplify (- 1) into -1
6.546 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.546 * [taylor]: Taking taylor expansion of -1 in d4
6.547 * [backup-simplify]: Simplify -1 into -1
6.547 * [taylor]: Taking taylor expansion of 1 in d4
6.547 * [backup-simplify]: Simplify 1 into 1
6.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
6.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
6.547 * [backup-simplify]: Simplify (- 0) into 0
6.548 * [backup-simplify]: Simplify (+ 0 0) into 0
6.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.550 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2))))) into 0
6.551 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
6.551 * [backup-simplify]: Simplify (+ 0 0) into 0
6.551 * [taylor]: Taking taylor expansion of 0 in d2
6.551 * [backup-simplify]: Simplify 0 into 0
6.551 * [taylor]: Taking taylor expansion of 0 in d3
6.551 * [backup-simplify]: Simplify 0 into 0
6.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
6.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.553 * [backup-simplify]: Simplify (+ 0 0) into 0
6.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
6.553 * [backup-simplify]: Simplify (- 0) into 0
6.554 * [backup-simplify]: Simplify (+ 0 0) into 0
6.554 * [taylor]: Taking taylor expansion of 0 in d3
6.554 * [backup-simplify]: Simplify 0 into 0
6.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.555 * [backup-simplify]: Simplify (- 0) into 0
6.555 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
6.555 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
6.555 * [taylor]: Taking taylor expansion of d4 in d4
6.555 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify 1 into 1
6.555 * [backup-simplify]: Simplify (/ 1 1) into 1
6.555 * [backup-simplify]: Simplify 1 into 1
6.555 * [taylor]: Taking taylor expansion of 0 in d4
6.555 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify -1 into -1
6.556 * [backup-simplify]: Simplify 1 into 1
6.556 * [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))
6.556 * * * [progress]: simplifying candidates
6.557 * [simplify]: Simplifying:
  (expm1 (fma d1 (- d2 d3) (* d4 d1)))
  (log1p (fma d1 (- d2 d3) (* d4 d1)))
  (* d1 (- d2 d3))
  (log (fma d1 (- d2 d3) (* d4 d1)))
  (exp (fma d1 (- d2 d3) (* d4 d1)))
  (* (cbrt (fma d1 (- d2 d3) (* d4 d1))) (cbrt (fma d1 (- d2 d3) (* d4 d1))))
  (cbrt (fma d1 (- d2 d3) (* d4 d1)))
  (* (* (fma d1 (- d2 d3) (* d4 d1)) (fma d1 (- d2 d3) (* d4 d1))) (fma d1 (- d2 d3) (* d4 d1)))
  (sqrt (fma d1 (- d2 d3) (* d4 d1)))
  (sqrt (fma d1 (- d2 d3) (* d4 d1)))
  0
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
6.557 * * [simplify]: iteration 0: 22 enodes
6.565 * * [simplify]: iteration 1: 38 enodes
6.579 * * [simplify]: iteration 2: 83 enodes
6.624 * * [simplify]: iteration 3: 357 enodes
7.156 * * [simplify]: iteration 4: 1932 enodes
7.901 * * [simplify]: iteration complete: 5003 enodes
7.901 * * [simplify]: Extracting #0: cost 11 inf + 0
7.902 * * [simplify]: Extracting #1: cost 154 inf + 1
7.910 * * [simplify]: Extracting #2: cost 966 inf + 1124
7.934 * * [simplify]: Extracting #3: cost 1077 inf + 40565
8.019 * * [simplify]: Extracting #4: cost 234 inf + 262767
8.154 * * [simplify]: Extracting #5: cost 8 inf + 320272
8.311 * * [simplify]: Extracting #6: cost 0 inf + 321687
8.408 * * [simplify]: Extracting #7: cost 0 inf + 321647
8.571 * [simplify]: Simplified to:
  (expm1 (* d1 (+ (- d2 d3) d4)))
  (log1p (* d1 (+ (- d2 d3) d4)))
  (* (- d2 d3) d1)
  (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)))
  0
  (* d1 (+ (- d2 d3) d4))
  (* d1 (+ (- d2 d3) d4))
8.571 * * * [progress]: adding candidates to table
8.655 * [progress]: [Phase 3 of 3] Extracting.
8.655 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.656 * * * [regime-changes]: Trying 5 branch expressions: ((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) d4 d3 d2 d1)
8.656 * * * * [regimes]: Trying to branch on (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) from (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.721 * * * * [regimes]: Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.777 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.847 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.897 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
8.937 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.937 * [simplify]: Simplifying:
  (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))
8.937 * * [simplify]: iteration 0: 9 enodes
8.938 * * [simplify]: iteration 1: 10 enodes
8.939 * * [simplify]: iteration complete: 10 enodes
8.939 * * [simplify]: Extracting #0: cost 1 inf + 0
8.939 * * [simplify]: Extracting #1: cost 3 inf + 0
8.939 * * [simplify]: Extracting #2: cost 6 inf + 0
8.939 * * [simplify]: Extracting #3: cost 7 inf + 42
8.939 * * [simplify]: Extracting #4: cost 0 inf + 487
8.939 * [simplify]: Simplified to:
  (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))
11.370 * [regime-testing]: Baseline error score: 0.02072195118166814
11.378 * [regime-testing]: Oracle error score: 0.01589822790366825
11.395 * [regime-testing]: End program error score: 0.02072195118166814
11.539 * [regime-testing]: Target error score: 0.02212776597074634