44.976 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.072 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.079 * [simplify]: Simplifying: (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.079 * * [simplify]: iteration 1: (11 enodes) 0.083 * * [simplify]: iteration 2: (25 enodes) 0.092 * * [simplify]: iteration 3: (69 enodes) 0.128 * * [simplify]: iteration 4: (185 enodes) 0.199 * * [simplify]: iteration 5: (412 enodes) 0.391 * * [simplify]: iteration 6: (698 enodes) 0.757 * * [simplify]: iteration 7: (1147 enodes) 1.466 * * [simplify]: iteration 8: (1793 enodes) 2.698 * * [simplify]: Extracting #0: cost 1 inf + 0 2.698 * * [simplify]: Extracting #1: cost 52 inf + 0 2.699 * * [simplify]: Extracting #2: cost 133 inf + 1 2.700 * * [simplify]: Extracting #3: cost 115 inf + 1858 2.708 * * [simplify]: Extracting #4: cost 20 inf + 11939 2.723 * * [simplify]: Extracting #5: cost 0 inf + 14147 2.736 * [simplify]: Simplified to: (* (+ d4 (- d2 (+ d3 d1))) d1) 2.742 * * [progress]: iteration 1 / 4 2.742 * * * [progress]: picking best candidate 2.747 * * * * [pick]: Picked # 2.747 * * * [progress]: localizing error 2.772 * * * [progress]: generating rewritten candidates 2.772 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.796 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 2.817 * * * [progress]: generating series expansions 2.817 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.817 * [backup-simplify]: Simplify (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) 2.817 * [approximate]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in (d1 d2 d3 d4) around 0 2.817 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d4 2.817 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d4 2.817 * [taylor]: Taking taylor expansion of (* d4 d1) in d4 2.818 * [taylor]: Taking taylor expansion of d4 in d4 2.818 * [backup-simplify]: Simplify 0 into 0 2.818 * [backup-simplify]: Simplify 1 into 1 2.818 * [taylor]: Taking taylor expansion of d1 in d4 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (* d2 d1) in d4 2.818 * [taylor]: Taking taylor expansion of d2 in d4 2.818 * [backup-simplify]: Simplify d2 into d2 2.818 * [taylor]: Taking taylor expansion of d1 in d4 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (* d3 d1) in d4 2.818 * [taylor]: Taking taylor expansion of d3 in d4 2.818 * [backup-simplify]: Simplify d3 into d3 2.818 * [taylor]: Taking taylor expansion of d1 in d4 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d3 2.818 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d3 2.818 * [taylor]: Taking taylor expansion of (* d4 d1) in d3 2.818 * [taylor]: Taking taylor expansion of d4 in d3 2.818 * [backup-simplify]: Simplify d4 into d4 2.818 * [taylor]: Taking taylor expansion of d1 in d3 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.818 * [taylor]: Taking taylor expansion of d2 in d3 2.818 * [backup-simplify]: Simplify d2 into d2 2.818 * [taylor]: Taking taylor expansion of d1 in d3 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.818 * [taylor]: Taking taylor expansion of d3 in d3 2.818 * [backup-simplify]: Simplify 0 into 0 2.818 * [backup-simplify]: Simplify 1 into 1 2.818 * [taylor]: Taking taylor expansion of d1 in d3 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d2 2.818 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d2 2.818 * [taylor]: Taking taylor expansion of (* d4 d1) in d2 2.818 * [taylor]: Taking taylor expansion of d4 in d2 2.818 * [backup-simplify]: Simplify d4 into d4 2.818 * [taylor]: Taking taylor expansion of d1 in d2 2.818 * [backup-simplify]: Simplify d1 into d1 2.818 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.819 * [taylor]: Taking taylor expansion of d2 in d2 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [taylor]: Taking taylor expansion of d1 in d2 2.819 * [backup-simplify]: Simplify d1 into d1 2.819 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.819 * [taylor]: Taking taylor expansion of d3 in d2 2.819 * [backup-simplify]: Simplify d3 into d3 2.819 * [taylor]: Taking taylor expansion of d1 in d2 2.819 * [backup-simplify]: Simplify d1 into d1 2.819 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1 2.819 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1 2.819 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.819 * [taylor]: Taking taylor expansion of d4 in d1 2.819 * [backup-simplify]: Simplify d4 into d4 2.819 * [taylor]: Taking taylor expansion of d1 in d1 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.819 * [taylor]: Taking taylor expansion of d2 in d1 2.819 * [backup-simplify]: Simplify d2 into d2 2.819 * [taylor]: Taking taylor expansion of d1 in d1 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.820 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.820 * [taylor]: Taking taylor expansion of d3 in d1 2.820 * [backup-simplify]: Simplify d3 into d3 2.820 * [taylor]: Taking taylor expansion of d1 in d1 2.820 * [backup-simplify]: Simplify 0 into 0 2.820 * [backup-simplify]: Simplify 1 into 1 2.820 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) in d1 2.820 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1 2.820 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.820 * [taylor]: Taking taylor expansion of d4 in d1 2.820 * [backup-simplify]: Simplify d4 into d4 2.820 * [taylor]: Taking taylor expansion of d1 in d1 2.820 * [backup-simplify]: Simplify 0 into 0 2.820 * [backup-simplify]: Simplify 1 into 1 2.820 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.820 * [taylor]: Taking taylor expansion of d2 in d1 2.820 * [backup-simplify]: Simplify d2 into d2 2.820 * [taylor]: Taking taylor expansion of d1 in d1 2.820 * [backup-simplify]: Simplify 0 into 0 2.820 * [backup-simplify]: Simplify 1 into 1 2.820 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.820 * [taylor]: Taking taylor expansion of d3 in d1 2.820 * [backup-simplify]: Simplify d3 into d3 2.820 * [taylor]: Taking taylor expansion of d1 in d1 2.820 * [backup-simplify]: Simplify 0 into 0 2.820 * [backup-simplify]: Simplify 1 into 1 2.820 * [backup-simplify]: Simplify (* d4 0) into 0 2.820 * [backup-simplify]: Simplify (* d2 0) into 0 2.821 * [backup-simplify]: Simplify (+ 0 0) into 0 2.821 * [backup-simplify]: Simplify (* d3 0) into 0 2.821 * [backup-simplify]: Simplify (- 0) into 0 2.822 * [backup-simplify]: Simplify (+ 0 0) into 0 2.822 * [taylor]: Taking taylor expansion of 0 in d2 2.822 * [backup-simplify]: Simplify 0 into 0 2.822 * [taylor]: Taking taylor expansion of 0 in d3 2.822 * [backup-simplify]: Simplify 0 into 0 2.822 * [taylor]: Taking taylor expansion of 0 in d4 2.822 * [backup-simplify]: Simplify 0 into 0 2.822 * [backup-simplify]: Simplify 0 into 0 2.823 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4 2.823 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.823 * [backup-simplify]: Simplify (+ d4 d2) into (+ d4 d2) 2.823 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.823 * [backup-simplify]: Simplify (- d3) into (- d3) 2.824 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3) 2.824 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 2.824 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 2.824 * [taylor]: Taking taylor expansion of d4 in d2 2.824 * [backup-simplify]: Simplify d4 into d4 2.824 * [taylor]: Taking taylor expansion of d2 in d2 2.824 * [backup-simplify]: Simplify 0 into 0 2.824 * [backup-simplify]: Simplify 1 into 1 2.824 * [taylor]: Taking taylor expansion of d3 in d2 2.824 * [backup-simplify]: Simplify d3 into d3 2.824 * [backup-simplify]: Simplify (+ d4 0) into d4 2.824 * [backup-simplify]: Simplify (- d3) into (- d3) 2.824 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3) 2.824 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 2.824 * [taylor]: Taking taylor expansion of d4 in d3 2.824 * [backup-simplify]: Simplify d4 into d4 2.824 * [taylor]: Taking taylor expansion of d3 in d3 2.824 * [backup-simplify]: Simplify 0 into 0 2.824 * [backup-simplify]: Simplify 1 into 1 2.825 * [backup-simplify]: Simplify (- 0) into 0 2.825 * [backup-simplify]: Simplify (+ d4 0) into d4 2.825 * [taylor]: Taking taylor expansion of d4 in d4 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify 1 into 1 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [taylor]: Taking taylor expansion of 0 in d3 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [taylor]: Taking taylor expansion of 0 in d4 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [taylor]: Taking taylor expansion of 0 in d4 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0 2.826 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.827 * [backup-simplify]: Simplify (+ 0 0) into 0 2.828 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.828 * [backup-simplify]: Simplify (- 0) into 0 2.828 * [backup-simplify]: Simplify (+ 0 0) into 0 2.828 * [taylor]: Taking taylor expansion of 0 in d2 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [taylor]: Taking taylor expansion of 0 in d3 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [taylor]: Taking taylor expansion of 0 in d4 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [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))) 2.829 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0 2.829 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4 2.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4 2.829 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4 2.829 * [taylor]: Taking taylor expansion of (* d2 d1) in d4 2.829 * [taylor]: Taking taylor expansion of d2 in d4 2.829 * [backup-simplify]: Simplify d2 into d2 2.830 * [taylor]: Taking taylor expansion of d1 in d4 2.830 * [backup-simplify]: Simplify d1 into d1 2.830 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.830 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.830 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4 2.830 * [taylor]: Taking taylor expansion of (* d4 d1) in d4 2.830 * [taylor]: Taking taylor expansion of d4 in d4 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [taylor]: Taking taylor expansion of d1 in d4 2.830 * [backup-simplify]: Simplify d1 into d1 2.830 * [backup-simplify]: Simplify (* 0 d1) into 0 2.830 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.831 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4 2.831 * [taylor]: Taking taylor expansion of (* d3 d1) in d4 2.831 * [taylor]: Taking taylor expansion of d3 in d4 2.831 * [backup-simplify]: Simplify d3 into d3 2.831 * [taylor]: Taking taylor expansion of d1 in d4 2.831 * [backup-simplify]: Simplify d1 into d1 2.831 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.831 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3 2.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.831 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.831 * [taylor]: Taking taylor expansion of d2 in d3 2.831 * [backup-simplify]: Simplify d2 into d2 2.831 * [taylor]: Taking taylor expansion of d1 in d3 2.831 * [backup-simplify]: Simplify d1 into d1 2.831 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.831 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3 2.831 * [taylor]: Taking taylor expansion of (* d4 d1) in d3 2.831 * [taylor]: Taking taylor expansion of d4 in d3 2.831 * [backup-simplify]: Simplify d4 into d4 2.831 * [taylor]: Taking taylor expansion of d1 in d3 2.831 * [backup-simplify]: Simplify d1 into d1 2.831 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1) 2.831 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1)) 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.832 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.832 * [taylor]: Taking taylor expansion of d3 in d3 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [taylor]: Taking taylor expansion of d1 in d3 2.832 * [backup-simplify]: Simplify d1 into d1 2.832 * [backup-simplify]: Simplify (* 0 d1) into 0 2.832 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.832 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.832 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2 2.832 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2 2.832 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.832 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.832 * [taylor]: Taking taylor expansion of d2 in d2 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [taylor]: Taking taylor expansion of d1 in d2 2.833 * [backup-simplify]: Simplify d1 into d1 2.833 * [backup-simplify]: Simplify (* 0 d1) into 0 2.833 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.833 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.833 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2 2.833 * [taylor]: Taking taylor expansion of (* d4 d1) in d2 2.833 * [taylor]: Taking taylor expansion of d4 in d2 2.833 * [backup-simplify]: Simplify d4 into d4 2.833 * [taylor]: Taking taylor expansion of d1 in d2 2.833 * [backup-simplify]: Simplify d1 into d1 2.833 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1) 2.833 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1)) 2.833 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.833 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.833 * [taylor]: Taking taylor expansion of d3 in d2 2.834 * [backup-simplify]: Simplify d3 into d3 2.834 * [taylor]: Taking taylor expansion of d1 in d2 2.834 * [backup-simplify]: Simplify d1 into d1 2.834 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.834 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1 2.834 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1 2.834 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.834 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.834 * [taylor]: Taking taylor expansion of d2 in d1 2.834 * [backup-simplify]: Simplify d2 into d2 2.834 * [taylor]: Taking taylor expansion of d1 in d1 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify 1 into 1 2.834 * [backup-simplify]: Simplify (* d2 0) into 0 2.834 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.835 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.835 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1 2.835 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.835 * [taylor]: Taking taylor expansion of d4 in d1 2.835 * [backup-simplify]: Simplify d4 into d4 2.835 * [taylor]: Taking taylor expansion of d1 in d1 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 1 into 1 2.835 * [backup-simplify]: Simplify (* d4 0) into 0 2.835 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4 2.835 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.835 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.835 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.835 * [taylor]: Taking taylor expansion of d3 in d1 2.835 * [backup-simplify]: Simplify d3 into d3 2.835 * [taylor]: Taking taylor expansion of d1 in d1 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (* d3 0) into 0 2.836 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.836 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.836 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1 2.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1 2.836 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.836 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.836 * [taylor]: Taking taylor expansion of d2 in d1 2.836 * [backup-simplify]: Simplify d2 into d2 2.836 * [taylor]: Taking taylor expansion of d1 in d1 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (* d2 0) into 0 2.837 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.837 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.837 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1 2.837 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.837 * [taylor]: Taking taylor expansion of d4 in d1 2.837 * [backup-simplify]: Simplify d4 into d4 2.837 * [taylor]: Taking taylor expansion of d1 in d1 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify 1 into 1 2.837 * [backup-simplify]: Simplify (* d4 0) into 0 2.838 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4 2.838 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.838 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.838 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.838 * [taylor]: Taking taylor expansion of d3 in d1 2.838 * [backup-simplify]: Simplify d3 into d3 2.838 * [taylor]: Taking taylor expansion of d1 in d1 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 1 into 1 2.838 * [backup-simplify]: Simplify (* d3 0) into 0 2.838 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.838 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.839 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2)) 2.839 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.839 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) 2.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2 2.839 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2 2.839 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.839 * [taylor]: Taking taylor expansion of d4 in d2 2.839 * [backup-simplify]: Simplify d4 into d4 2.839 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.839 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.839 * [taylor]: Taking taylor expansion of d2 in d2 2.839 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify 1 into 1 2.840 * [backup-simplify]: Simplify (/ 1 1) into 1 2.840 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.840 * [taylor]: Taking taylor expansion of d3 in d2 2.840 * [backup-simplify]: Simplify d3 into d3 2.840 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.840 * [backup-simplify]: Simplify (+ 0 1) into 1 2.841 * [backup-simplify]: Simplify (+ 1 0) into 1 2.841 * [taylor]: Taking taylor expansion of 1 in d3 2.841 * [backup-simplify]: Simplify 1 into 1 2.842 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.842 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0 2.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 2.843 * [backup-simplify]: Simplify (+ 0 0) into 0 2.844 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.844 * [backup-simplify]: Simplify (- 0) into 0 2.845 * [backup-simplify]: Simplify (+ 0 0) into 0 2.845 * [taylor]: Taking taylor expansion of 0 in d2 2.845 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.846 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 2.846 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.846 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 2.846 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 2.846 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.846 * [taylor]: Taking taylor expansion of d4 in d3 2.846 * [backup-simplify]: Simplify d4 into d4 2.846 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.846 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.846 * [taylor]: Taking taylor expansion of d3 in d3 2.846 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify 1 into 1 2.847 * [backup-simplify]: Simplify (/ 1 1) into 1 2.847 * [backup-simplify]: Simplify (- 1) into -1 2.848 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.848 * [taylor]: Taking taylor expansion of -1 in d4 2.848 * [backup-simplify]: Simplify -1 into -1 2.848 * [taylor]: Taking taylor expansion of 1 in d4 2.848 * [backup-simplify]: Simplify 1 into 1 2.849 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.850 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 2.850 * [backup-simplify]: Simplify (+ 0 0) into 0 2.851 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.852 * [backup-simplify]: Simplify (- 0) into 0 2.852 * [backup-simplify]: Simplify (+ 0 0) into 0 2.852 * [taylor]: Taking taylor expansion of 0 in d2 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [taylor]: Taking taylor expansion of 0 in d3 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 2.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.854 * [backup-simplify]: Simplify (+ 0 0) into 0 2.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.854 * [backup-simplify]: Simplify (- 0) into 0 2.854 * [backup-simplify]: Simplify (+ 0 0) into 0 2.854 * [taylor]: Taking taylor expansion of 0 in d3 2.854 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.856 * [backup-simplify]: Simplify (- 0) into 0 2.856 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 2.856 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.856 * [taylor]: Taking taylor expansion of d4 in d4 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify 1 into 1 2.856 * [backup-simplify]: Simplify (/ 1 1) into 1 2.856 * [backup-simplify]: Simplify 1 into 1 2.856 * [taylor]: Taking taylor expansion of 0 in d4 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify -1 into -1 2.856 * [backup-simplify]: Simplify 1 into 1 2.857 * [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)) 2.857 * [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))) 2.857 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in (d1 d2 d3 d4) around 0 2.857 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d4 2.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4 2.857 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4 2.857 * [taylor]: Taking taylor expansion of (* d2 d1) in d4 2.857 * [taylor]: Taking taylor expansion of d2 in d4 2.857 * [backup-simplify]: Simplify d2 into d2 2.858 * [taylor]: Taking taylor expansion of d1 in d4 2.858 * [backup-simplify]: Simplify d1 into d1 2.858 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.858 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.858 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4 2.858 * [taylor]: Taking taylor expansion of (* d4 d1) in d4 2.858 * [taylor]: Taking taylor expansion of d4 in d4 2.858 * [backup-simplify]: Simplify 0 into 0 2.858 * [backup-simplify]: Simplify 1 into 1 2.858 * [taylor]: Taking taylor expansion of d1 in d4 2.858 * [backup-simplify]: Simplify d1 into d1 2.858 * [backup-simplify]: Simplify (* 0 d1) into 0 2.858 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.858 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.858 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4 2.858 * [taylor]: Taking taylor expansion of (* d3 d1) in d4 2.859 * [taylor]: Taking taylor expansion of d3 in d4 2.859 * [backup-simplify]: Simplify d3 into d3 2.859 * [taylor]: Taking taylor expansion of d1 in d4 2.859 * [backup-simplify]: Simplify d1 into d1 2.859 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.859 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.859 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d3 2.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3 2.859 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.859 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.859 * [taylor]: Taking taylor expansion of d2 in d3 2.859 * [backup-simplify]: Simplify d2 into d2 2.859 * [taylor]: Taking taylor expansion of d1 in d3 2.859 * [backup-simplify]: Simplify d1 into d1 2.859 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.859 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.859 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3 2.859 * [taylor]: Taking taylor expansion of (* d4 d1) in d3 2.859 * [taylor]: Taking taylor expansion of d4 in d3 2.859 * [backup-simplify]: Simplify d4 into d4 2.859 * [taylor]: Taking taylor expansion of d1 in d3 2.859 * [backup-simplify]: Simplify d1 into d1 2.859 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1) 2.859 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1)) 2.859 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.859 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.859 * [taylor]: Taking taylor expansion of d3 in d3 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.859 * [taylor]: Taking taylor expansion of d1 in d3 2.859 * [backup-simplify]: Simplify d1 into d1 2.860 * [backup-simplify]: Simplify (* 0 d1) into 0 2.860 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.860 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.860 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d2 2.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2 2.860 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.860 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.860 * [taylor]: Taking taylor expansion of d2 in d2 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify 1 into 1 2.860 * [taylor]: Taking taylor expansion of d1 in d2 2.860 * [backup-simplify]: Simplify d1 into d1 2.860 * [backup-simplify]: Simplify (* 0 d1) into 0 2.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.861 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.861 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2 2.861 * [taylor]: Taking taylor expansion of (* d4 d1) in d2 2.861 * [taylor]: Taking taylor expansion of d4 in d2 2.861 * [backup-simplify]: Simplify d4 into d4 2.861 * [taylor]: Taking taylor expansion of d1 in d2 2.861 * [backup-simplify]: Simplify d1 into d1 2.861 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1) 2.861 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1)) 2.861 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.861 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.861 * [taylor]: Taking taylor expansion of d3 in d2 2.861 * [backup-simplify]: Simplify d3 into d3 2.861 * [taylor]: Taking taylor expansion of d1 in d2 2.861 * [backup-simplify]: Simplify d1 into d1 2.861 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.861 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1 2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1 2.861 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.861 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.861 * [taylor]: Taking taylor expansion of d2 in d1 2.861 * [backup-simplify]: Simplify d2 into d2 2.862 * [taylor]: Taking taylor expansion of d1 in d1 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify 1 into 1 2.862 * [backup-simplify]: Simplify (* d2 0) into 0 2.862 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.862 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.862 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1 2.862 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.862 * [taylor]: Taking taylor expansion of d4 in d1 2.862 * [backup-simplify]: Simplify d4 into d4 2.862 * [taylor]: Taking taylor expansion of d1 in d1 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify 1 into 1 2.862 * [backup-simplify]: Simplify (* d4 0) into 0 2.863 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4 2.863 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.863 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.863 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.863 * [taylor]: Taking taylor expansion of d3 in d1 2.863 * [backup-simplify]: Simplify d3 into d3 2.863 * [taylor]: Taking taylor expansion of d1 in d1 2.863 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify 1 into 1 2.863 * [backup-simplify]: Simplify (* d3 0) into 0 2.864 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.864 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.864 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (/ 1 (* d3 d1))) in d1 2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1 2.864 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.864 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.864 * [taylor]: Taking taylor expansion of d2 in d1 2.864 * [backup-simplify]: Simplify d2 into d2 2.864 * [taylor]: Taking taylor expansion of d1 in d1 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify 1 into 1 2.864 * [backup-simplify]: Simplify (* d2 0) into 0 2.864 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.864 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.865 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1 2.865 * [taylor]: Taking taylor expansion of (* d4 d1) in d1 2.865 * [taylor]: Taking taylor expansion of d4 in d1 2.865 * [backup-simplify]: Simplify d4 into d4 2.865 * [taylor]: Taking taylor expansion of d1 in d1 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.865 * [backup-simplify]: Simplify (* d4 0) into 0 2.865 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4 2.865 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.865 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.865 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.865 * [taylor]: Taking taylor expansion of d3 in d1 2.865 * [backup-simplify]: Simplify d3 into d3 2.865 * [taylor]: Taking taylor expansion of d1 in d1 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.866 * [backup-simplify]: Simplify (* d3 0) into 0 2.866 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.866 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.866 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2)) 2.866 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.867 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) 2.867 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2 2.867 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2 2.867 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.867 * [taylor]: Taking taylor expansion of d4 in d2 2.867 * [backup-simplify]: Simplify d4 into d4 2.867 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.867 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.867 * [taylor]: Taking taylor expansion of d2 in d2 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 1 into 1 2.867 * [backup-simplify]: Simplify (/ 1 1) into 1 2.867 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.867 * [taylor]: Taking taylor expansion of d3 in d2 2.867 * [backup-simplify]: Simplify d3 into d3 2.867 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.868 * [backup-simplify]: Simplify (+ 0 1) into 1 2.868 * [backup-simplify]: Simplify (+ 1 0) into 1 2.868 * [taylor]: Taking taylor expansion of 1 in d3 2.868 * [backup-simplify]: Simplify 1 into 1 2.869 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.870 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0 2.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 2.871 * [backup-simplify]: Simplify (+ 0 0) into 0 2.872 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.872 * [backup-simplify]: Simplify (- 0) into 0 2.873 * [backup-simplify]: Simplify (+ 0 0) into 0 2.873 * [taylor]: Taking taylor expansion of 0 in d2 2.873 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.874 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 2.874 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.874 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 2.874 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 2.874 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.874 * [taylor]: Taking taylor expansion of d4 in d3 2.874 * [backup-simplify]: Simplify d4 into d4 2.874 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 2.874 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.874 * [taylor]: Taking taylor expansion of d3 in d3 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 1 into 1 2.875 * [backup-simplify]: Simplify (/ 1 1) into 1 2.875 * [backup-simplify]: Simplify (- 1) into -1 2.876 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.876 * [taylor]: Taking taylor expansion of -1 in d4 2.876 * [backup-simplify]: Simplify -1 into -1 2.876 * [taylor]: Taking taylor expansion of 1 in d4 2.876 * [backup-simplify]: Simplify 1 into 1 2.877 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.878 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 2.879 * [backup-simplify]: Simplify (+ 0 0) into 0 2.879 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.880 * [backup-simplify]: Simplify (- 0) into 0 2.880 * [backup-simplify]: Simplify (+ 0 0) into 0 2.880 * [taylor]: Taking taylor expansion of 0 in d2 2.880 * [backup-simplify]: Simplify 0 into 0 2.881 * [taylor]: Taking taylor expansion of 0 in d3 2.881 * [backup-simplify]: Simplify 0 into 0 2.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 2.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.882 * [backup-simplify]: Simplify (+ 0 0) into 0 2.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.883 * [backup-simplify]: Simplify (- 0) into 0 2.883 * [backup-simplify]: Simplify (+ 0 0) into 0 2.883 * [taylor]: Taking taylor expansion of 0 in d3 2.883 * [backup-simplify]: Simplify 0 into 0 2.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.884 * [backup-simplify]: Simplify (- 0) into 0 2.884 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 2.884 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.885 * [taylor]: Taking taylor expansion of d4 in d4 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify 1 into 1 2.885 * [backup-simplify]: Simplify (/ 1 1) into 1 2.885 * [backup-simplify]: Simplify 1 into 1 2.885 * [taylor]: Taking taylor expansion of 0 in d4 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify -1 into -1 2.885 * [backup-simplify]: Simplify 1 into 1 2.886 * [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)) 2.886 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 2.886 * [backup-simplify]: Simplify (- (* d1 d2) (* d1 d3)) into (- (* d2 d1) (* d3 d1)) 2.886 * [approximate]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in (d1 d2 d3) around 0 2.886 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d3 2.886 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.886 * [taylor]: Taking taylor expansion of d2 in d3 2.886 * [backup-simplify]: Simplify d2 into d2 2.886 * [taylor]: Taking taylor expansion of d1 in d3 2.886 * [backup-simplify]: Simplify d1 into d1 2.886 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.886 * [taylor]: Taking taylor expansion of d3 in d3 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify 1 into 1 2.886 * [taylor]: Taking taylor expansion of d1 in d3 2.886 * [backup-simplify]: Simplify d1 into d1 2.887 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d2 2.887 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.887 * [taylor]: Taking taylor expansion of d2 in d2 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.887 * [taylor]: Taking taylor expansion of d1 in d2 2.887 * [backup-simplify]: Simplify d1 into d1 2.887 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.887 * [taylor]: Taking taylor expansion of d3 in d2 2.887 * [backup-simplify]: Simplify d3 into d3 2.887 * [taylor]: Taking taylor expansion of d1 in d2 2.887 * [backup-simplify]: Simplify d1 into d1 2.887 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1 2.887 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.887 * [taylor]: Taking taylor expansion of d2 in d1 2.887 * [backup-simplify]: Simplify d2 into d2 2.887 * [taylor]: Taking taylor expansion of d1 in d1 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.887 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.887 * [taylor]: Taking taylor expansion of d3 in d1 2.887 * [backup-simplify]: Simplify d3 into d3 2.887 * [taylor]: Taking taylor expansion of d1 in d1 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.887 * [taylor]: Taking taylor expansion of (- (* d2 d1) (* d3 d1)) in d1 2.887 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.887 * [taylor]: Taking taylor expansion of d2 in d1 2.887 * [backup-simplify]: Simplify d2 into d2 2.887 * [taylor]: Taking taylor expansion of d1 in d1 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.887 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.887 * [taylor]: Taking taylor expansion of d3 in d1 2.887 * [backup-simplify]: Simplify d3 into d3 2.887 * [taylor]: Taking taylor expansion of d1 in d1 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.888 * [backup-simplify]: Simplify (* d2 0) into 0 2.888 * [backup-simplify]: Simplify (* d3 0) into 0 2.888 * [backup-simplify]: Simplify (- 0) into 0 2.889 * [backup-simplify]: Simplify (+ 0 0) into 0 2.889 * [taylor]: Taking taylor expansion of 0 in d2 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [taylor]: Taking taylor expansion of 0 in d3 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.890 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.890 * [backup-simplify]: Simplify (- d3) into (- d3) 2.890 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3) 2.890 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 2.890 * [taylor]: Taking taylor expansion of d2 in d2 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify 1 into 1 2.890 * [taylor]: Taking taylor expansion of d3 in d2 2.890 * [backup-simplify]: Simplify d3 into d3 2.890 * [backup-simplify]: Simplify (- d3) into (- d3) 2.890 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3) 2.890 * [taylor]: Taking taylor expansion of (- d3) in d3 2.890 * [taylor]: Taking taylor expansion of d3 in d3 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify 1 into 1 2.891 * [backup-simplify]: Simplify (- 0) into 0 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [taylor]: Taking taylor expansion of 0 in d3 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.892 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.893 * [backup-simplify]: Simplify (- 0) into 0 2.893 * [backup-simplify]: Simplify (+ 0 0) into 0 2.893 * [taylor]: Taking taylor expansion of 0 in d2 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [taylor]: Taking taylor expansion of 0 in d3 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify (- 0) into 0 2.894 * [backup-simplify]: Simplify (+ 1 0) into 1 2.894 * [taylor]: Taking taylor expansion of 1 in d3 2.894 * [backup-simplify]: Simplify 1 into 1 2.894 * [backup-simplify]: Simplify 1 into 1 2.894 * [taylor]: Taking taylor expansion of 0 in d3 2.894 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify (- 1) into -1 2.895 * [backup-simplify]: Simplify -1 into -1 2.895 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.897 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.897 * [backup-simplify]: Simplify (- 0) into 0 2.897 * [backup-simplify]: Simplify (+ 0 0) into 0 2.897 * [taylor]: Taking taylor expansion of 0 in d2 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in d3 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in d3 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [backup-simplify]: Simplify (- 0) into 0 2.898 * [backup-simplify]: Simplify (+ 0 0) into 0 2.898 * [taylor]: Taking taylor expansion of 0 in d3 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in d3 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d2 d1) (* d3 d1)) 2.899 * [backup-simplify]: Simplify (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 2.899 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 2.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 2.899 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.899 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.899 * [taylor]: Taking taylor expansion of d2 in d3 2.899 * [backup-simplify]: Simplify d2 into d2 2.899 * [taylor]: Taking taylor expansion of d1 in d3 2.899 * [backup-simplify]: Simplify d1 into d1 2.899 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.900 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.900 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.900 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.900 * [taylor]: Taking taylor expansion of d3 in d3 2.900 * [backup-simplify]: Simplify 0 into 0 2.900 * [backup-simplify]: Simplify 1 into 1 2.900 * [taylor]: Taking taylor expansion of d1 in d3 2.900 * [backup-simplify]: Simplify d1 into d1 2.900 * [backup-simplify]: Simplify (* 0 d1) into 0 2.900 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.900 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 2.900 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.900 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.900 * [taylor]: Taking taylor expansion of d2 in d2 2.900 * [backup-simplify]: Simplify 0 into 0 2.900 * [backup-simplify]: Simplify 1 into 1 2.900 * [taylor]: Taking taylor expansion of d1 in d2 2.900 * [backup-simplify]: Simplify d1 into d1 2.901 * [backup-simplify]: Simplify (* 0 d1) into 0 2.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.901 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.901 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.901 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.901 * [taylor]: Taking taylor expansion of d3 in d2 2.901 * [backup-simplify]: Simplify d3 into d3 2.901 * [taylor]: Taking taylor expansion of d1 in d2 2.901 * [backup-simplify]: Simplify d1 into d1 2.901 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.901 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.901 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.901 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.901 * [taylor]: Taking taylor expansion of d2 in d1 2.901 * [backup-simplify]: Simplify d2 into d2 2.901 * [taylor]: Taking taylor expansion of d1 in d1 2.902 * [backup-simplify]: Simplify 0 into 0 2.902 * [backup-simplify]: Simplify 1 into 1 2.902 * [backup-simplify]: Simplify (* d2 0) into 0 2.902 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.902 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.902 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.902 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.902 * [taylor]: Taking taylor expansion of d3 in d1 2.902 * [backup-simplify]: Simplify d3 into d3 2.902 * [taylor]: Taking taylor expansion of d1 in d1 2.902 * [backup-simplify]: Simplify 0 into 0 2.902 * [backup-simplify]: Simplify 1 into 1 2.902 * [backup-simplify]: Simplify (* d3 0) into 0 2.903 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.903 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.903 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.903 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.903 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.903 * [taylor]: Taking taylor expansion of d2 in d1 2.903 * [backup-simplify]: Simplify d2 into d2 2.903 * [taylor]: Taking taylor expansion of d1 in d1 2.903 * [backup-simplify]: Simplify 0 into 0 2.903 * [backup-simplify]: Simplify 1 into 1 2.903 * [backup-simplify]: Simplify (* d2 0) into 0 2.904 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.904 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.904 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.904 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.904 * [taylor]: Taking taylor expansion of d3 in d1 2.904 * [backup-simplify]: Simplify d3 into d3 2.904 * [taylor]: Taking taylor expansion of d1 in d1 2.904 * [backup-simplify]: Simplify 0 into 0 2.904 * [backup-simplify]: Simplify 1 into 1 2.904 * [backup-simplify]: Simplify (* d3 0) into 0 2.904 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.904 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.905 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.905 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 2.905 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 2.905 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.905 * [taylor]: Taking taylor expansion of d2 in d2 2.905 * [backup-simplify]: Simplify 0 into 0 2.905 * [backup-simplify]: Simplify 1 into 1 2.905 * [backup-simplify]: Simplify (/ 1 1) into 1 2.905 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.905 * [taylor]: Taking taylor expansion of d3 in d2 2.905 * [backup-simplify]: Simplify d3 into d3 2.905 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.906 * [backup-simplify]: Simplify (+ 1 0) into 1 2.906 * [taylor]: Taking taylor expansion of 1 in d3 2.906 * [backup-simplify]: Simplify 1 into 1 2.907 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.908 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.908 * [backup-simplify]: Simplify (- 0) into 0 2.909 * [backup-simplify]: Simplify (+ 0 0) into 0 2.909 * [taylor]: Taking taylor expansion of 0 in d2 2.909 * [backup-simplify]: Simplify 0 into 0 2.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.910 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.910 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3)) 2.910 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 2.910 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.910 * [taylor]: Taking taylor expansion of d3 in d3 2.910 * [backup-simplify]: Simplify 0 into 0 2.910 * [backup-simplify]: Simplify 1 into 1 2.910 * [backup-simplify]: Simplify (/ 1 1) into 1 2.911 * [backup-simplify]: Simplify (- 1) into -1 2.911 * [backup-simplify]: Simplify -1 into -1 2.911 * [backup-simplify]: Simplify 1 into 1 2.912 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.913 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.913 * [backup-simplify]: Simplify (- 0) into 0 2.914 * [backup-simplify]: Simplify (+ 0 0) into 0 2.914 * [taylor]: Taking taylor expansion of 0 in d2 2.914 * [backup-simplify]: Simplify 0 into 0 2.914 * [taylor]: Taking taylor expansion of 0 in d3 2.914 * [backup-simplify]: Simplify 0 into 0 2.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.915 * [backup-simplify]: Simplify (- 0) into 0 2.916 * [backup-simplify]: Simplify (+ 0 0) into 0 2.916 * [taylor]: Taking taylor expansion of 0 in d3 2.916 * [backup-simplify]: Simplify 0 into 0 2.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.917 * [backup-simplify]: Simplify (- 0) into 0 2.917 * [backup-simplify]: Simplify 0 into 0 2.917 * [backup-simplify]: Simplify 0 into 0 2.918 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.919 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.920 * [backup-simplify]: Simplify (- 0) into 0 2.920 * [backup-simplify]: Simplify (+ 0 0) into 0 2.920 * [taylor]: Taking taylor expansion of 0 in d2 2.920 * [backup-simplify]: Simplify 0 into 0 2.920 * [taylor]: Taking taylor expansion of 0 in d3 2.921 * [backup-simplify]: Simplify 0 into 0 2.921 * [taylor]: Taking taylor expansion of 0 in d3 2.921 * [backup-simplify]: Simplify 0 into 0 2.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.922 * [backup-simplify]: Simplify (- 0) into 0 2.923 * [backup-simplify]: Simplify (+ 0 0) into 0 2.923 * [taylor]: Taking taylor expansion of 0 in d3 2.923 * [backup-simplify]: Simplify 0 into 0 2.923 * [backup-simplify]: Simplify 0 into 0 2.923 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.924 * [backup-simplify]: Simplify (- 0) into 0 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d2 d1) (* d3 d1)) 2.925 * [backup-simplify]: Simplify (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 2.925 * [approximate]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 2.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 2.925 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.925 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.925 * [taylor]: Taking taylor expansion of d2 in d3 2.925 * [backup-simplify]: Simplify d2 into d2 2.925 * [taylor]: Taking taylor expansion of d1 in d3 2.925 * [backup-simplify]: Simplify d1 into d1 2.925 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.925 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.925 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.925 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.925 * [taylor]: Taking taylor expansion of d3 in d3 2.925 * [backup-simplify]: Simplify 0 into 0 2.925 * [backup-simplify]: Simplify 1 into 1 2.925 * [taylor]: Taking taylor expansion of d1 in d3 2.925 * [backup-simplify]: Simplify d1 into d1 2.925 * [backup-simplify]: Simplify (* 0 d1) into 0 2.926 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.926 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.926 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 2.926 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.926 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.926 * [taylor]: Taking taylor expansion of d2 in d2 2.926 * [backup-simplify]: Simplify 0 into 0 2.926 * [backup-simplify]: Simplify 1 into 1 2.926 * [taylor]: Taking taylor expansion of d1 in d2 2.926 * [backup-simplify]: Simplify d1 into d1 2.926 * [backup-simplify]: Simplify (* 0 d1) into 0 2.927 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.927 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.927 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.927 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.927 * [taylor]: Taking taylor expansion of d3 in d2 2.927 * [backup-simplify]: Simplify d3 into d3 2.927 * [taylor]: Taking taylor expansion of d1 in d2 2.927 * [backup-simplify]: Simplify d1 into d1 2.927 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.927 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.927 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.927 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.927 * [taylor]: Taking taylor expansion of d2 in d1 2.927 * [backup-simplify]: Simplify d2 into d2 2.927 * [taylor]: Taking taylor expansion of d1 in d1 2.927 * [backup-simplify]: Simplify 0 into 0 2.927 * [backup-simplify]: Simplify 1 into 1 2.927 * [backup-simplify]: Simplify (* d2 0) into 0 2.928 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.928 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.928 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.928 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.928 * [taylor]: Taking taylor expansion of d3 in d1 2.928 * [backup-simplify]: Simplify d3 into d3 2.928 * [taylor]: Taking taylor expansion of d1 in d1 2.928 * [backup-simplify]: Simplify 0 into 0 2.928 * [backup-simplify]: Simplify 1 into 1 2.928 * [backup-simplify]: Simplify (* d3 0) into 0 2.928 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.928 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.928 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.929 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.929 * [taylor]: Taking taylor expansion of d2 in d1 2.929 * [backup-simplify]: Simplify d2 into d2 2.929 * [taylor]: Taking taylor expansion of d1 in d1 2.929 * [backup-simplify]: Simplify 0 into 0 2.929 * [backup-simplify]: Simplify 1 into 1 2.929 * [backup-simplify]: Simplify (* d2 0) into 0 2.929 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.929 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.929 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.929 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.929 * [taylor]: Taking taylor expansion of d3 in d1 2.929 * [backup-simplify]: Simplify d3 into d3 2.929 * [taylor]: Taking taylor expansion of d1 in d1 2.929 * [backup-simplify]: Simplify 0 into 0 2.929 * [backup-simplify]: Simplify 1 into 1 2.929 * [backup-simplify]: Simplify (* d3 0) into 0 2.930 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.930 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.930 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.930 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 2.930 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 2.930 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.930 * [taylor]: Taking taylor expansion of d2 in d2 2.930 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify 1 into 1 2.930 * [backup-simplify]: Simplify (/ 1 1) into 1 2.930 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.930 * [taylor]: Taking taylor expansion of d3 in d2 2.930 * [backup-simplify]: Simplify d3 into d3 2.931 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.931 * [backup-simplify]: Simplify (+ 1 0) into 1 2.931 * [taylor]: Taking taylor expansion of 1 in d3 2.931 * [backup-simplify]: Simplify 1 into 1 2.931 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.932 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.932 * [backup-simplify]: Simplify (- 0) into 0 2.932 * [backup-simplify]: Simplify (+ 0 0) into 0 2.932 * [taylor]: Taking taylor expansion of 0 in d2 2.932 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.933 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.933 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3)) 2.933 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 2.933 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.933 * [taylor]: Taking taylor expansion of d3 in d3 2.933 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify 1 into 1 2.933 * [backup-simplify]: Simplify (/ 1 1) into 1 2.933 * [backup-simplify]: Simplify (- 1) into -1 2.934 * [backup-simplify]: Simplify -1 into -1 2.934 * [backup-simplify]: Simplify 1 into 1 2.934 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.934 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.935 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.935 * [backup-simplify]: Simplify (- 0) into 0 2.935 * [backup-simplify]: Simplify (+ 0 0) into 0 2.935 * [taylor]: Taking taylor expansion of 0 in d2 2.935 * [backup-simplify]: Simplify 0 into 0 2.935 * [taylor]: Taking taylor expansion of 0 in d3 2.935 * [backup-simplify]: Simplify 0 into 0 2.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.936 * [backup-simplify]: Simplify (- 0) into 0 2.937 * [backup-simplify]: Simplify (+ 0 0) into 0 2.937 * [taylor]: Taking taylor expansion of 0 in d3 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.937 * [backup-simplify]: Simplify (- 0) into 0 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify 0 into 0 2.938 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.939 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.939 * [backup-simplify]: Simplify (- 0) into 0 2.939 * [backup-simplify]: Simplify (+ 0 0) into 0 2.939 * [taylor]: Taking taylor expansion of 0 in d2 2.939 * [backup-simplify]: Simplify 0 into 0 2.939 * [taylor]: Taking taylor expansion of 0 in d3 2.939 * [backup-simplify]: Simplify 0 into 0 2.939 * [taylor]: Taking taylor expansion of 0 in d3 2.939 * [backup-simplify]: Simplify 0 into 0 2.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.940 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.941 * [backup-simplify]: Simplify (- 0) into 0 2.941 * [backup-simplify]: Simplify (+ 0 0) into 0 2.941 * [taylor]: Taking taylor expansion of 0 in d3 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.942 * [backup-simplify]: Simplify (- 0) into 0 2.942 * [backup-simplify]: Simplify 0 into 0 2.942 * [backup-simplify]: Simplify 0 into 0 2.942 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d2 d1) (* d3 d1)) 2.942 * * * [progress]: simplifying candidates 2.942 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 11 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 2.942 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 15 / 36 ] simplifiying candidate #real (real->posit16 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))> 2.943 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 19 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 29 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #real (real->posit16 (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))> 2.943 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 33 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 2.943 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 2.944 * [simplify]: Simplifying: (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (- (* d1 d3) (* d4 d1)) (real->posit16 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (/ (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)) (real->posit16 (- (* d1 d2) (* d1 d3))) 0 (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) (- (+ (* d4 d1) (* d2 d1)) (* d3 d1)) (- (* d2 d1) (* d3 d1)) (- (* d2 d1) (* d3 d1)) (- (* d2 d1) (* d3 d1)) 2.944 * * [simplify]: iteration 1: (61 enodes) 2.959 * * [simplify]: iteration 2: (179 enodes) 3.052 * * [simplify]: iteration 3: (633 enodes) 3.450 * * [simplify]: Extracting #0: cost 29 inf + 0 3.451 * * [simplify]: Extracting #1: cost 202 inf + 1 3.453 * * [simplify]: Extracting #2: cost 601 inf + 1956 3.465 * * [simplify]: Extracting #3: cost 448 inf + 48948 3.505 * * [simplify]: Extracting #4: cost 73 inf + 131636 3.539 * * [simplify]: Extracting #5: cost 7 inf + 150942 3.583 * * [simplify]: Extracting #6: cost 0 inf + 154220 3.621 * [simplify]: Simplified to: (exp (* d1 (+ (- d2 d3) d4))) (exp (* d1 (+ (- d2 d3) d4))) (log (* d1 (+ (- d2 d3) d4))) (exp (* d1 (+ (- d2 d3) d4))) (* (cbrt (* d1 (+ (- d2 d3) d4))) (cbrt (* d1 (+ (- d2 d3) d4)))) (cbrt (* d1 (+ (- d2 d3) d4))) (* (* d1 (+ (- d2 d3) d4)) (* (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)))) (sqrt (* d1 (+ (- d2 d3) d4))) (sqrt (* d1 (+ (- d2 d3) d4))) (+ (* (* (* d1 d4) (* d1 d4)) (* d1 d4)) (* (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (- d2 d3) d1))) (+ (* (* d1 d4) (* d1 d4)) (* (* (- d2 d3) d1) (- (* (- d2 d3) d1) (* d1 d4)))) (* (* d1 d1) (- (* (- d2 d3) (- d2 d3)) (* d4 d4))) (* d1 (- (- d2 d3) d4)) (* d1 (- d4 d3)) (* d1 (- d4 d3)) (* (- d3 d4) d1) (real->posit16 (* d1 (+ (- d2 d3) d4))) (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))) (* (* d3 d1) (* (* d3 d1) (* d3 d1)))) (+ (+ (* (* d1 d2) (* d1 d2)) (* (* d3 d1) (* d3 d1))) (* (* d1 d2) (* d3 d1))) (- (* d3 d1)) (* d1 (* (* (+ d2 d3) d1) (- d2 d3))) (* (+ d2 d3) d1) (- d2 d3) (- (* d3 d1)) (real->posit16 (* (- d2 d3) d1)) 0 (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* (- d2 d3) d1) (* (- d2 d3) d1) (* (- d2 d3) d1) 3.624 * * * [progress]: adding candidates to table 4.034 * * [progress]: iteration 2 / 4 4.034 * * * [progress]: picking best candidate 4.040 * * * * [pick]: Picked # 4.040 * * * [progress]: localizing error 4.072 * * * [progress]: generating rewritten candidates 4.072 * * * [progress]: generating series expansions 4.072 * * * [progress]: simplifying candidates 4.072 * [simplify]: Simplifying: 4.072 * * [simplify]: iteration 1: (0 enodes) 4.072 * * [simplify]: Extracting #0: cost 0 inf + 0 4.072 * [simplify]: Simplified to: 4.072 * * * [progress]: adding candidates to table 4.073 * [progress]: [Phase 3 of 3] Extracting. 4.079 * [simplify]: Simplifying: (- (- (* d1 d2) (* (- d3 d4) d1)) (* d1 d1)) 4.079 * * [simplify]: iteration 1: (10 enodes) 4.080 * * [simplify]: iteration 2: (12 enodes) 4.080 * * [simplify]: Extracting #0: cost 1 inf + 0 4.080 * * [simplify]: Extracting #1: cost 3 inf + 0 4.081 * * [simplify]: Extracting #2: cost 6 inf + 0 4.081 * * [simplify]: Extracting #3: cost 6 inf + 42 4.081 * * [simplify]: Extracting #4: cost 6 inf + 85 4.081 * * [simplify]: Extracting #5: cost 0 inf + 620 4.081 * [simplify]: Simplified to: (- (- (* d1 d2) (* (- d3 d4) d1)) (* d1 d1)) 6.450 * [regime-testing]: Baseline error score: 0.025108095885504368 6.452 * [regime-testing]: Oracle error score: 0.025108095885504368 6.452 * [regime-testing]: End program error score: 0.025108095885504368 6.522 * [regime-testing]: Target error score: 0.024753094136767097