1.855 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.033 * [simplify]: Sending expressions to egg_math:
 (- (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)) (* h0 h0))
0.035 * * [simplify]: iteration  0 :  25  enodes  (cost  6 )
0.037 * * [simplify]: iteration  1 :  69  enodes  (cost  5 )
0.039 * * [simplify]: iteration  2 :  195  enodes  (cost  4 )
0.043 * * [simplify]: iteration  3 :  461  enodes  (cost  4 )
0.050 * * [simplify]: iteration  4 :  969  enodes  (cost  4 )
0.059 * * [simplify]: iteration  5 :  1760  enodes  (cost  4 )
0.072 * * [simplify]: iteration  6 :  2455  enodes  (cost  4 )
0.090 * * [simplify]: iteration  7 :  3258  enodes  (cost  4 )
0.106 * * [simplify]: iteration  8 :  3451  enodes  (cost  4 )
0.121 * * [simplify]: iteration  9 :  3451  enodes  (cost  4 )
0.124 * * [progress]: iteration 1 / 4
0.124 * * * [progress]: picking best candidate
0.126 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))>
0.127 * * * [progress]: localizing error
0.133 * * * [progress]: generating rewritten candidates
0.133 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.256 * * * [progress]: generating series expansions
0.256 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.256 * [backup-simplify]: Simplify (* d1 (+ (- d2 d3) (- d4 d1))) into (* d1 (- (+ d4 d2) (+ d3 d1)))
0.256 * [approximate]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in (d1 d2 d3 d4) around 0
0.256 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d4
0.256 * [taylor]: Taking taylor expansion of d1 in d4
0.256 * [backup-simplify]: Simplify d1 into d1
0.256 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d4
0.256 * [taylor]: Taking taylor expansion of (+ d4 d2) in d4
0.256 * [taylor]: Taking taylor expansion of d4 in d4
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of d2 in d4
0.256 * [backup-simplify]: Simplify d2 into d2
0.256 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4
0.256 * [taylor]: Taking taylor expansion of d3 in d4
0.256 * [backup-simplify]: Simplify d3 into d3
0.256 * [taylor]: Taking taylor expansion of d1 in d4
0.256 * [backup-simplify]: Simplify d1 into d1
0.256 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d3
0.256 * [taylor]: Taking taylor expansion of d1 in d3
0.256 * [backup-simplify]: Simplify d1 into d1
0.256 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d3
0.256 * [taylor]: Taking taylor expansion of (+ d4 d2) in d3
0.256 * [taylor]: Taking taylor expansion of d4 in d3
0.256 * [backup-simplify]: Simplify d4 into d4
0.256 * [taylor]: Taking taylor expansion of d2 in d3
0.256 * [backup-simplify]: Simplify d2 into d2
0.256 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
0.256 * [taylor]: Taking taylor expansion of d3 in d3
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of d1 in d3
0.256 * [backup-simplify]: Simplify d1 into d1
0.256 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d2
0.256 * [taylor]: Taking taylor expansion of d1 in d2
0.256 * [backup-simplify]: Simplify d1 into d1
0.256 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d2
0.256 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
0.256 * [taylor]: Taking taylor expansion of d4 in d2
0.256 * [backup-simplify]: Simplify d4 into d4
0.256 * [taylor]: Taking taylor expansion of d2 in d2
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
0.256 * [taylor]: Taking taylor expansion of d3 in d2
0.256 * [backup-simplify]: Simplify d3 into d3
0.256 * [taylor]: Taking taylor expansion of d1 in d2
0.256 * [backup-simplify]: Simplify d1 into d1
0.257 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1
0.257 * [taylor]: Taking taylor expansion of d1 in d1
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1
0.257 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1
0.257 * [taylor]: Taking taylor expansion of d4 in d1
0.257 * [backup-simplify]: Simplify d4 into d4
0.257 * [taylor]: Taking taylor expansion of d2 in d1
0.257 * [backup-simplify]: Simplify d2 into d2
0.257 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
0.257 * [taylor]: Taking taylor expansion of d3 in d1
0.257 * [backup-simplify]: Simplify d3 into d3
0.257 * [taylor]: Taking taylor expansion of d1 in d1
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1
0.257 * [taylor]: Taking taylor expansion of d1 in d1
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1
0.257 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1
0.257 * [taylor]: Taking taylor expansion of d4 in d1
0.257 * [backup-simplify]: Simplify d4 into d4
0.257 * [taylor]: Taking taylor expansion of d2 in d1
0.257 * [backup-simplify]: Simplify d2 into d2
0.257 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
0.257 * [taylor]: Taking taylor expansion of d3 in d1
0.257 * [backup-simplify]: Simplify d3 into d3
0.257 * [taylor]: Taking taylor expansion of d1 in d1
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (+ d4 d2) into (+ d2 d4)
0.257 * [backup-simplify]: Simplify (+ d3 0) into d3
0.257 * [backup-simplify]: Simplify (- d3) into (- d3)
0.257 * [backup-simplify]: Simplify (+ (+ d2 d4) (- d3)) into (- (+ d2 d4) d3)
0.257 * [backup-simplify]: Simplify (* 0 (- (+ d2 d4) d3)) into 0
0.257 * [taylor]: Taking taylor expansion of 0 in d2
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [taylor]: Taking taylor expansion of 0 in d3
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [taylor]: Taking taylor expansion of 0 in d4
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (+ 0 0) into 0
0.258 * [backup-simplify]: Simplify (+ 0 1) into 1
0.258 * [backup-simplify]: Simplify (- 1) into -1
0.259 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.259 * [backup-simplify]: Simplify (+ (* 0 -1) (* 1 (- (+ d2 d4) d3))) into (- (+ d4 d2) d3)
0.259 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2
0.259 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
0.259 * [taylor]: Taking taylor expansion of d4 in d2
0.259 * [backup-simplify]: Simplify d4 into d4
0.259 * [taylor]: Taking taylor expansion of d2 in d2
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [taylor]: Taking taylor expansion of d3 in d2
0.259 * [backup-simplify]: Simplify d3 into d3
0.259 * [backup-simplify]: Simplify (+ d4 0) into d4
0.259 * [backup-simplify]: Simplify (- d3) into (- d3)
0.259 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
0.259 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
0.259 * [taylor]: Taking taylor expansion of d4 in d3
0.259 * [backup-simplify]: Simplify d4 into d4
0.259 * [taylor]: Taking taylor expansion of d3 in d3
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [backup-simplify]: Simplify (- 0) into 0
0.260 * [backup-simplify]: Simplify (+ d4 0) into d4
0.260 * [taylor]: Taking taylor expansion of d4 in d4
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [taylor]: Taking taylor expansion of 0 in d3
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [taylor]: Taking taylor expansion of 0 in d4
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [taylor]: Taking taylor expansion of 0 in d4
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [backup-simplify]: Simplify (- 0) into 0
0.261 * [backup-simplify]: Simplify (+ 0 0) into 0
0.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (* 0 (- (+ d2 d4) d3)))) into (- 1)
0.261 * [taylor]: Taking taylor expansion of (- 1) in d2
0.261 * [taylor]: Taking taylor expansion of 1 in d2
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [backup-simplify]: Simplify (- 1) into -1
0.262 * [taylor]: Taking taylor expansion of -1 in d3
0.262 * [backup-simplify]: Simplify -1 into -1
0.262 * [taylor]: Taking taylor expansion of -1 in d4
0.262 * [backup-simplify]: Simplify -1 into -1
0.262 * [backup-simplify]: Simplify -1 into -1
0.262 * [backup-simplify]: Simplify (+ 0 1) into 1
0.262 * [backup-simplify]: Simplify (- 0) into 0
0.262 * [backup-simplify]: Simplify (+ 1 0) into 1
0.262 * [taylor]: Taking taylor expansion of 1 in d3
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [taylor]: Taking taylor expansion of 1 in d4
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [taylor]: Taking taylor expansion of 0 in d3
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [taylor]: Taking taylor expansion of 0 in d4
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (- 1) into -1
0.263 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.263 * [taylor]: Taking taylor expansion of -1 in d4
0.263 * [backup-simplify]: Simplify -1 into -1
0.263 * [backup-simplify]: Simplify -1 into -1
0.263 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* d3 (* 1 d1)))) (+ (* 1 (* 1 (* 1 (* d2 d1)))) (* -1 (pow (* 1 (* 1 (* 1 d1))) 2)))) into (- (* d1 d2) (+ (pow d1 2) (* d1 d3)))
0.264 * [backup-simplify]: Simplify (* (/ 1 d1) (+ (- (/ 1 d2) (/ 1 d3)) (- (/ 1 d4) (/ 1 d1)))) into (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1)
0.264 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d3 d4) around 0
0.264 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4
0.264 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4
0.264 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
0.264 * [taylor]: Taking taylor expansion of d2 in d4
0.264 * [backup-simplify]: Simplify d2 into d2
0.264 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.264 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.264 * [taylor]: Taking taylor expansion of d4 in d4
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify 1 into 1
0.264 * [backup-simplify]: Simplify (/ 1 1) into 1
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
0.264 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
0.264 * [taylor]: Taking taylor expansion of d1 in d4
0.264 * [backup-simplify]: Simplify d1 into d1
0.264 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.264 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
0.264 * [taylor]: Taking taylor expansion of d3 in d4
0.264 * [backup-simplify]: Simplify d3 into d3
0.264 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.264 * [taylor]: Taking taylor expansion of d1 in d4
0.264 * [backup-simplify]: Simplify d1 into d1
0.265 * [backup-simplify]: Simplify (+ 0 1) into 1
0.265 * [backup-simplify]: Simplify (+ 1 0) into 1
0.265 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.265 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3
0.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3
0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3
0.265 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.265 * [taylor]: Taking taylor expansion of d2 in d3
0.265 * [backup-simplify]: Simplify d2 into d2
0.265 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.265 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.265 * [taylor]: Taking taylor expansion of d4 in d3
0.265 * [backup-simplify]: Simplify d4 into d4
0.265 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
0.265 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.265 * [taylor]: Taking taylor expansion of d1 in d3
0.265 * [backup-simplify]: Simplify d1 into d1
0.265 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.265 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.265 * [taylor]: Taking taylor expansion of d3 in d3
0.265 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify 1 into 1
0.265 * [backup-simplify]: Simplify (/ 1 1) into 1
0.266 * [taylor]: Taking taylor expansion of d1 in d3
0.266 * [backup-simplify]: Simplify d1 into d1
0.266 * [backup-simplify]: Simplify (+ 0 1) into 1
0.266 * [backup-simplify]: Simplify (- 1) into -1
0.266 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.266 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
0.266 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2
0.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.266 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.266 * [taylor]: Taking taylor expansion of d2 in d2
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify 1 into 1
0.267 * [backup-simplify]: Simplify (/ 1 1) into 1
0.267 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.267 * [taylor]: Taking taylor expansion of d4 in d2
0.267 * [backup-simplify]: Simplify d4 into d4
0.267 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
0.267 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.267 * [taylor]: Taking taylor expansion of d1 in d2
0.267 * [backup-simplify]: Simplify d1 into d1
0.267 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.267 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.267 * [taylor]: Taking taylor expansion of d3 in d2
0.267 * [backup-simplify]: Simplify d3 into d3
0.267 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.267 * [taylor]: Taking taylor expansion of d1 in d2
0.267 * [backup-simplify]: Simplify d1 into d1
0.267 * [backup-simplify]: Simplify (+ 1 0) into 1
0.267 * [backup-simplify]: Simplify (+ 1 0) into 1
0.267 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.268 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1
0.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1
0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1
0.268 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.268 * [taylor]: Taking taylor expansion of d2 in d1
0.268 * [backup-simplify]: Simplify d2 into d2
0.268 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.268 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
0.268 * [taylor]: Taking taylor expansion of d4 in d1
0.268 * [backup-simplify]: Simplify d4 into d4
0.268 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
0.268 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.268 * [taylor]: Taking taylor expansion of d1 in d1
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 1 into 1
0.268 * [backup-simplify]: Simplify (/ 1 1) into 1
0.268 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.268 * [taylor]: Taking taylor expansion of d3 in d1
0.268 * [backup-simplify]: Simplify d3 into d3
0.268 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.268 * [taylor]: Taking taylor expansion of d1 in d1
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 1 into 1
0.268 * [backup-simplify]: Simplify (+ 1 0) into 1
0.269 * [backup-simplify]: Simplify (- 1) into -1
0.269 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.269 * [backup-simplify]: Simplify (/ -1 1) into -1
0.269 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1
0.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1
0.269 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.269 * [taylor]: Taking taylor expansion of d2 in d1
0.269 * [backup-simplify]: Simplify d2 into d2
0.269 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.269 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
0.269 * [taylor]: Taking taylor expansion of d4 in d1
0.269 * [backup-simplify]: Simplify d4 into d4
0.269 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
0.269 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.269 * [taylor]: Taking taylor expansion of d1 in d1
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (/ 1 1) into 1
0.270 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.270 * [taylor]: Taking taylor expansion of d3 in d1
0.270 * [backup-simplify]: Simplify d3 into d3
0.270 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.270 * [taylor]: Taking taylor expansion of d1 in d1
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (+ 1 0) into 1
0.270 * [backup-simplify]: Simplify (- 1) into -1
0.270 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.271 * [backup-simplify]: Simplify (/ -1 1) into -1
0.271 * [taylor]: Taking taylor expansion of -1 in d2
0.271 * [backup-simplify]: Simplify -1 into -1
0.271 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4))
0.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.271 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
0.271 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.272 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
0.272 * [backup-simplify]: Simplify (- (/ (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 1) (+ (* -1 (/ 0 1)))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
0.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.272 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.272 * [taylor]: Taking taylor expansion of d2 in d2
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (/ 1 1) into 1
0.273 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.273 * [taylor]: Taking taylor expansion of d4 in d2
0.273 * [backup-simplify]: Simplify d4 into d4
0.273 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.273 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.273 * [taylor]: Taking taylor expansion of d3 in d2
0.273 * [backup-simplify]: Simplify d3 into d3
0.273 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.273 * [backup-simplify]: Simplify (+ 1 0) into 1
0.273 * [backup-simplify]: Simplify (+ 1 0) into 1
0.273 * [taylor]: Taking taylor expansion of 1 in d3
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [taylor]: Taking taylor expansion of -1 in d3
0.273 * [backup-simplify]: Simplify -1 into -1
0.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.275 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [backup-simplify]: Simplify (- 0) into 0
0.275 * [backup-simplify]: Simplify (+ 0 0) into 0
0.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) (/ 0 1)))) into 0
0.276 * [taylor]: Taking taylor expansion of 0 in d2
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.276 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
0.276 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.277 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
0.277 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.277 * [taylor]: Taking taylor expansion of d4 in d3
0.277 * [backup-simplify]: Simplify d4 into d4
0.277 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.277 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.277 * [taylor]: Taking taylor expansion of d3 in d3
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 1 into 1
0.277 * [backup-simplify]: Simplify (/ 1 1) into 1
0.277 * [backup-simplify]: Simplify (- 1) into -1
0.277 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.277 * [taylor]: Taking taylor expansion of -1 in d4
0.277 * [backup-simplify]: Simplify -1 into -1
0.278 * [taylor]: Taking taylor expansion of 0 in d3
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [taylor]: Taking taylor expansion of 1 in d4
0.278 * [backup-simplify]: Simplify 1 into 1
0.278 * [taylor]: Taking taylor expansion of -1 in d4
0.278 * [backup-simplify]: Simplify -1 into -1
0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
0.278 * [backup-simplify]: Simplify (+ 0 0) into 0
0.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.279 * [backup-simplify]: Simplify (+ 0 0) into 0
0.279 * [backup-simplify]: Simplify (- 0) into 0
0.279 * [backup-simplify]: Simplify (+ 0 0) into 0
0.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.281 * [taylor]: Taking taylor expansion of 0 in d2
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [taylor]: Taking taylor expansion of 0 in d3
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.281 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.282 * [backup-simplify]: Simplify (- 0) into 0
0.282 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [taylor]: Taking taylor expansion of 0 in d3
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [taylor]: Taking taylor expansion of 0 in d3
0.282 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.283 * [backup-simplify]: Simplify (- 0) into 0
0.283 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
0.283 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.283 * [taylor]: Taking taylor expansion of d4 in d4
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify 1 into 1
0.283 * [backup-simplify]: Simplify (/ 1 1) into 1
0.283 * [backup-simplify]: Simplify 1 into 1
0.283 * [taylor]: Taking taylor expansion of 0 in d4
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [taylor]: Taking taylor expansion of 0 in d4
0.283 * [backup-simplify]: Simplify 0 into 0
0.284 * [taylor]: Taking taylor expansion of 0 in d4
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify -1 into -1
0.284 * [backup-simplify]: Simplify 1 into 1
0.284 * [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 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.284 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (+ (- (/ 1 (- d2)) (/ 1 (- d3))) (- (/ 1 (- d4)) (/ 1 (- d1))))) into (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1))
0.284 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in (d1 d2 d3 d4) around 0
0.284 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d4
0.284 * [taylor]: Taking taylor expansion of -1 in d4
0.284 * [backup-simplify]: Simplify -1 into -1
0.284 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d4
0.284 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
0.284 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
0.284 * [taylor]: Taking taylor expansion of d1 in d4
0.284 * [backup-simplify]: Simplify d1 into d1
0.284 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.284 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
0.285 * [taylor]: Taking taylor expansion of d3 in d4
0.285 * [backup-simplify]: Simplify d3 into d3
0.285 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4
0.285 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
0.285 * [taylor]: Taking taylor expansion of d2 in d4
0.285 * [backup-simplify]: Simplify d2 into d2
0.285 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.285 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.285 * [taylor]: Taking taylor expansion of d4 in d4
0.285 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify 1 into 1
0.285 * [backup-simplify]: Simplify (/ 1 1) into 1
0.285 * [taylor]: Taking taylor expansion of d1 in d4
0.285 * [backup-simplify]: Simplify d1 into d1
0.285 * [backup-simplify]: Simplify (+ 0 1) into 1
0.285 * [backup-simplify]: Simplify (- 1) into -1
0.286 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.286 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
0.286 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d3
0.286 * [taylor]: Taking taylor expansion of -1 in d3
0.286 * [backup-simplify]: Simplify -1 into -1
0.286 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d3
0.286 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
0.286 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.286 * [taylor]: Taking taylor expansion of d1 in d3
0.286 * [backup-simplify]: Simplify d1 into d1
0.286 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.286 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.286 * [taylor]: Taking taylor expansion of d3 in d3
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify 1 into 1
0.286 * [backup-simplify]: Simplify (/ 1 1) into 1
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3
0.286 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.286 * [taylor]: Taking taylor expansion of d2 in d3
0.286 * [backup-simplify]: Simplify d2 into d2
0.286 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.286 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.286 * [taylor]: Taking taylor expansion of d4 in d3
0.286 * [backup-simplify]: Simplify d4 into d4
0.286 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.286 * [taylor]: Taking taylor expansion of d1 in d3
0.286 * [backup-simplify]: Simplify d1 into d1
0.287 * [backup-simplify]: Simplify (+ 0 1) into 1
0.287 * [backup-simplify]: Simplify (+ 1 0) into 1
0.287 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d2
0.287 * [taylor]: Taking taylor expansion of -1 in d2
0.287 * [backup-simplify]: Simplify -1 into -1
0.287 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d2
0.287 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
0.287 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.287 * [taylor]: Taking taylor expansion of d1 in d2
0.287 * [backup-simplify]: Simplify d1 into d1
0.287 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.287 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.287 * [taylor]: Taking taylor expansion of d3 in d2
0.287 * [backup-simplify]: Simplify d3 into d3
0.287 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.287 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.287 * [taylor]: Taking taylor expansion of d2 in d2
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ 1 1) into 1
0.288 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.288 * [taylor]: Taking taylor expansion of d4 in d2
0.288 * [backup-simplify]: Simplify d4 into d4
0.288 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.288 * [taylor]: Taking taylor expansion of d1 in d2
0.288 * [backup-simplify]: Simplify d1 into d1
0.288 * [backup-simplify]: Simplify (+ 1 0) into 1
0.288 * [backup-simplify]: Simplify (- 1) into -1
0.288 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.288 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1
0.288 * [taylor]: Taking taylor expansion of -1 in d1
0.288 * [backup-simplify]: Simplify -1 into -1
0.289 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1
0.289 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (/ 1 1) into 1
0.289 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.289 * [taylor]: Taking taylor expansion of d3 in d1
0.289 * [backup-simplify]: Simplify d3 into d3
0.289 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.289 * [taylor]: Taking taylor expansion of d2 in d1
0.289 * [backup-simplify]: Simplify d2 into d2
0.289 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.289 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
0.289 * [taylor]: Taking taylor expansion of d4 in d1
0.289 * [backup-simplify]: Simplify d4 into d4
0.289 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (+ 1 0) into 1
0.290 * [backup-simplify]: Simplify (+ 1 0) into 1
0.290 * [backup-simplify]: Simplify (/ 1 1) into 1
0.290 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1
0.290 * [taylor]: Taking taylor expansion of -1 in d1
0.290 * [backup-simplify]: Simplify -1 into -1
0.290 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1
0.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
0.290 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.290 * [taylor]: Taking taylor expansion of d1 in d1
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify 1 into 1
0.290 * [backup-simplify]: Simplify (/ 1 1) into 1
0.290 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.290 * [taylor]: Taking taylor expansion of d3 in d1
0.290 * [backup-simplify]: Simplify d3 into d3
0.290 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1
0.290 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.290 * [taylor]: Taking taylor expansion of d2 in d1
0.290 * [backup-simplify]: Simplify d2 into d2
0.290 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.290 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
0.290 * [taylor]: Taking taylor expansion of d4 in d1
0.291 * [backup-simplify]: Simplify d4 into d4
0.291 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.291 * [taylor]: Taking taylor expansion of d1 in d1
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 1 into 1
0.291 * [backup-simplify]: Simplify (+ 1 0) into 1
0.291 * [backup-simplify]: Simplify (+ 1 0) into 1
0.291 * [backup-simplify]: Simplify (/ 1 1) into 1
0.292 * [backup-simplify]: Simplify (* -1 1) into -1
0.292 * [taylor]: Taking taylor expansion of -1 in d2
0.292 * [backup-simplify]: Simplify -1 into -1
0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.292 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
0.292 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4))
0.292 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d4))) into (- (+ (/ 1 d2) (/ 1 d4)))
0.292 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (+ (/ 1 d2) (/ 1 d4)))) into (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))
0.293 * [backup-simplify]: Simplify (- (/ (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))
0.293 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
0.294 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
0.294 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.294 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.294 * [taylor]: Taking taylor expansion of d2 in d2
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [backup-simplify]: Simplify (/ 1 1) into 1
0.294 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.294 * [taylor]: Taking taylor expansion of d4 in d2
0.294 * [backup-simplify]: Simplify d4 into d4
0.294 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.294 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.294 * [taylor]: Taking taylor expansion of d3 in d2
0.294 * [backup-simplify]: Simplify d3 into d3
0.294 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.294 * [backup-simplify]: Simplify (+ 1 0) into 1
0.295 * [backup-simplify]: Simplify (+ 1 0) into 1
0.295 * [taylor]: Taking taylor expansion of 1 in d3
0.295 * [backup-simplify]: Simplify 1 into 1
0.295 * [taylor]: Taking taylor expansion of -1 in d3
0.295 * [backup-simplify]: Simplify -1 into -1
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.295 * [backup-simplify]: Simplify (+ 0 0) into 0
0.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.296 * [backup-simplify]: Simplify (+ 0 0) into 0
0.296 * [backup-simplify]: Simplify (- 0) into 0
0.296 * [backup-simplify]: Simplify (+ 0 0) into 0
0.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) (/ 0 1)))) into 0
0.298 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1))) into 0
0.298 * [taylor]: Taking taylor expansion of 0 in d2
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.298 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
0.298 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.298 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
0.298 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
0.298 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.298 * [taylor]: Taking taylor expansion of d4 in d3
0.299 * [backup-simplify]: Simplify d4 into d4
0.299 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.299 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.299 * [taylor]: Taking taylor expansion of d3 in d3
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (/ 1 1) into 1
0.299 * [backup-simplify]: Simplify (- 1) into -1
0.299 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.299 * [taylor]: Taking taylor expansion of -1 in d4
0.299 * [backup-simplify]: Simplify -1 into -1
0.299 * [taylor]: Taking taylor expansion of 0 in d3
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [taylor]: Taking taylor expansion of 1 in d4
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of -1 in d4
0.299 * [backup-simplify]: Simplify -1 into -1
0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
0.301 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [backup-simplify]: Simplify (- 0) into 0
0.301 * [backup-simplify]: Simplify (+ 0 0) into 0
0.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1)))) into 0
0.303 * [taylor]: Taking taylor expansion of 0 in d2
0.303 * [backup-simplify]: Simplify 0 into 0
0.303 * [taylor]: Taking taylor expansion of 0 in d3
0.303 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.304 * [backup-simplify]: Simplify (+ 0 0) into 0
0.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.304 * [backup-simplify]: Simplify (- 0) into 0
0.305 * [backup-simplify]: Simplify (+ 0 0) into 0
0.305 * [taylor]: Taking taylor expansion of 0 in d3
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [taylor]: Taking taylor expansion of 0 in d3
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.305 * [backup-simplify]: Simplify (- 0) into 0
0.305 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
0.305 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.305 * [taylor]: Taking taylor expansion of d4 in d4
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.306 * [backup-simplify]: Simplify (/ 1 1) into 1
0.306 * [backup-simplify]: Simplify 1 into 1
0.306 * [taylor]: Taking taylor expansion of 0 in d4
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [taylor]: Taking taylor expansion of 0 in d4
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [taylor]: Taking taylor expansion of 0 in d4
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify -1 into -1
0.306 * [backup-simplify]: Simplify 1 into 1
0.306 * [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 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.306 * * * [progress]: simplifying candidates
0.307 * [simplify]: Simplifying:
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (+ (log d1) (log (+ (- d2 d3) (- d4 d1))))
  (log (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (* (* d1 d1) d1) (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1))))
  (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
  (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))
  (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))
  (* d1 (- d2 d3))
  (* d1 (- d4 d1))
  (* (- d2 d3) d1)
  (* (- d4 d1) d1)
  (* d1 (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1)))))
  (* d1 (sqrt (+ (- d2 d3) (- d4 d1))))
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* (cbrt d1) (+ (- d2 d3) (- d4 d1)))
  (* (sqrt d1) (+ (- d2 d3) (- d4 d1)))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (pow d4 3) (pow d1 3)))))
  (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (* d4 d4) (* d1 d1)))))
  (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3)))))
  (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ d4 d1)) (* (+ d2 d3) (- (* d4 d4) (* d1 d1)))))
  (* d1 (+ (pow (- d2 d3) 3) (pow (- d4 d1) 3)))
  (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
  (- (* d1 d2) (+ (pow d1 2) (* d1 d3)))
  (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
  (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.307 * [simplify]: Sending expressions to egg_math:
 (* h0 (+ (- h1 h2) (- h3 h0)))
 (+ (log h0) (log (+ (- h1 h2) (- h3 h0))))
 (log (* h0 (+ (- h1 h2) (- h3 h0))))
 (exp (* h0 (+ (- h1 h2) (- h3 h0))))
 (* (* (* h0 h0) h0) (* (* (+ (- h1 h2) (- h3 h0)) (+ (- h1 h2) (- h3 h0))) (+ (- h1 h2) (- h3 h0))))
 (* (cbrt (* h0 (+ (- h1 h2) (- h3 h0)))) (cbrt (* h0 (+ (- h1 h2) (- h3 h0)))))
 (cbrt (* h0 (+ (- h1 h2) (- h3 h0))))
 (* (* (* h0 (+ (- h1 h2) (- h3 h0))) (* h0 (+ (- h1 h2) (- h3 h0)))) (* h0 (+ (- h1 h2) (- h3 h0))))
 (sqrt (* h0 (+ (- h1 h2) (- h3 h0))))
 (sqrt (* h0 (+ (- h1 h2) (- h3 h0))))
 (* (sqrt h0) (sqrt (+ (- h1 h2) (- h3 h0))))
 (* (sqrt h0) (sqrt (+ (- h1 h2) (- h3 h0))))
 (* h0 (- h1 h2))
 (* h0 (- h3 h0))
 (* (- h1 h2) h0)
 (* (- h3 h0) h0)
 (* h0 (* (cbrt (+ (- h1 h2) (- h3 h0))) (cbrt (+ (- h1 h2) (- h3 h0)))))
 (* h0 (sqrt (+ (- h1 h2) (- h3 h0))))
 (* h0 1)
 (* h0 1)
 (* h0 1)
 (* h0 1)
 (* h0 1)
 (* (cbrt h0) (+ (- h1 h2) (- h3 h0)))
 (* (sqrt h0) (+ (- h1 h2) (- h3 h0)))
 (* h0 (+ (- h1 h2) (- h3 h0)))
 (* h0 (+ (* (- (pow h1 3) (pow h2 3)) (+ (* h3 h3) (+ (* h0 h0) (* h3 h0)))) (* (+ (* h1 h1) (+ (* h2 h2) (* h1 h2))) (- (pow h3 3) (pow h0 3)))))
 (* h0 (+ (* (- (pow h1 3) (pow h2 3)) (+ h3 h0)) (* (+ (* h1 h1) (+ (* h2 h2) (* h1 h2))) (- (* h3 h3) (* h0 h0)))))
 (* h0 (+ (* (- (* h1 h1) (* h2 h2)) (+ (* h3 h3) (+ (* h0 h0) (* h3 h0)))) (* (+ h1 h2) (- (pow h3 3) (pow h0 3)))))
 (* h0 (+ (* (- (* h1 h1) (* h2 h2)) (+ h3 h0)) (* (+ h1 h2) (- (* h3 h3) (* h0 h0)))))
 (* h0 (+ (pow (- h1 h2) 3) (pow (- h3 h0) 3)))
 (* h0 (- (* (- h1 h2) (- h1 h2)) (* (- h3 h0) (- h3 h0))))
 (- (* h0 h1) (+ (pow h0 2) (* h0 h2)))
 (- (+ (* h0 h3) (* h0 h1)) (* h0 h2))
 (- (+ (* h0 h3) (* h0 h1)) (* h0 h2))
0.311 * * [simplify]: iteration  0 :  298  enodes  (cost  214 )
0.318 * * [simplify]: iteration  1 :  1486  enodes  (cost  191 )
0.350 * * [simplify]: iteration  2 :  5003  enodes  (cost  191 )
0.352 * * * [progress]: adding candidates to table
0.419 * * [progress]: iteration 2 / 4
0.419 * * * [progress]: picking best candidate
0.420 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
0.420 * * * [progress]: localizing error
0.430 * * * [progress]: generating rewritten candidates
0.430 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.460 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
0.468 * * * [progress]: generating series expansions
0.469 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.469 * [backup-simplify]: Simplify (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) into (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.469 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in (d1 d2 d3 d4) around 0
0.469 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d4
0.469 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4
0.469 * [taylor]: Taking taylor expansion of (* d1 d4) in d4
0.469 * [taylor]: Taking taylor expansion of d1 in d4
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d4 in d4
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 1 into 1
0.469 * [taylor]: Taking taylor expansion of (* d1 d2) in d4
0.469 * [taylor]: Taking taylor expansion of d1 in d4
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d2 in d4
0.469 * [backup-simplify]: Simplify d2 into d2
0.469 * [taylor]: Taking taylor expansion of (* d1 d3) in d4
0.469 * [taylor]: Taking taylor expansion of d1 in d4
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d3 in d4
0.469 * [backup-simplify]: Simplify d3 into d3
0.469 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d3
0.469 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3
0.469 * [taylor]: Taking taylor expansion of (* d1 d4) in d3
0.469 * [taylor]: Taking taylor expansion of d1 in d3
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d4 in d3
0.469 * [backup-simplify]: Simplify d4 into d4
0.469 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.469 * [taylor]: Taking taylor expansion of d1 in d3
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d2 in d3
0.469 * [backup-simplify]: Simplify d2 into d2
0.469 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.469 * [taylor]: Taking taylor expansion of d1 in d3
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d3 in d3
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 1 into 1
0.469 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d2
0.469 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2
0.469 * [taylor]: Taking taylor expansion of (* d1 d4) in d2
0.469 * [taylor]: Taking taylor expansion of d1 in d2
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d4 in d2
0.469 * [backup-simplify]: Simplify d4 into d4
0.469 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.469 * [taylor]: Taking taylor expansion of d1 in d2
0.469 * [backup-simplify]: Simplify d1 into d1
0.469 * [taylor]: Taking taylor expansion of d2 in d2
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.470 * [taylor]: Taking taylor expansion of d1 in d2
0.470 * [backup-simplify]: Simplify d1 into d1
0.470 * [taylor]: Taking taylor expansion of d3 in d2
0.470 * [backup-simplify]: Simplify d3 into d3
0.470 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1
0.470 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1
0.470 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d4 in d1
0.470 * [backup-simplify]: Simplify d4 into d4
0.470 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d2 in d1
0.470 * [backup-simplify]: Simplify d2 into d2
0.470 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d3 in d1
0.470 * [backup-simplify]: Simplify d3 into d3
0.470 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1
0.470 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1
0.470 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d4 in d1
0.470 * [backup-simplify]: Simplify d4 into d4
0.470 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d2 in d1
0.470 * [backup-simplify]: Simplify d2 into d2
0.470 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.470 * [taylor]: Taking taylor expansion of d1 in d1
0.470 * [backup-simplify]: Simplify 0 into 0
0.470 * [backup-simplify]: Simplify 1 into 1
0.470 * [taylor]: Taking taylor expansion of d3 in d1
0.470 * [backup-simplify]: Simplify d3 into d3
0.470 * [backup-simplify]: Simplify (* 0 d4) into 0
0.470 * [backup-simplify]: Simplify (* 0 d2) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [backup-simplify]: Simplify (* 0 d3) into 0
0.471 * [backup-simplify]: Simplify (- 0) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [taylor]: Taking taylor expansion of 0 in d2
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [taylor]: Taking taylor expansion of 0 in d3
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [taylor]: Taking taylor expansion of 0 in d4
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4
0.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.472 * [backup-simplify]: Simplify (+ d4 d2) into (+ d2 d4)
0.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.472 * [backup-simplify]: Simplify (- d3) into (- d3)
0.472 * [backup-simplify]: Simplify (+ (+ d2 d4) (- d3)) into (- (+ d2 d4) d3)
0.472 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2
0.472 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
0.472 * [taylor]: Taking taylor expansion of d2 in d2
0.472 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify 1 into 1
0.472 * [taylor]: Taking taylor expansion of d4 in d2
0.472 * [backup-simplify]: Simplify d4 into d4
0.472 * [taylor]: Taking taylor expansion of d3 in d2
0.472 * [backup-simplify]: Simplify d3 into d3
0.472 * [backup-simplify]: Simplify (+ 0 d4) into d4
0.473 * [backup-simplify]: Simplify (- d3) into (- d3)
0.473 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
0.473 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
0.473 * [taylor]: Taking taylor expansion of d4 in d3
0.473 * [backup-simplify]: Simplify d4 into d4
0.473 * [taylor]: Taking taylor expansion of d3 in d3
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 1 into 1
0.473 * [backup-simplify]: Simplify (- 0) into 0
0.473 * [backup-simplify]: Simplify (+ d4 0) into d4
0.473 * [taylor]: Taking taylor expansion of d4 in d4
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 1 into 1
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [taylor]: Taking taylor expansion of 0 in d3
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [taylor]: Taking taylor expansion of 0 in d4
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [taylor]: Taking taylor expansion of 0 in d4
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0
0.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.474 * [backup-simplify]: Simplify (+ 0 0) into 0
0.475 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.475 * [backup-simplify]: Simplify (- 0) into 0
0.475 * [backup-simplify]: Simplify (+ 0 0) into 0
0.475 * [taylor]: Taking taylor expansion of 0 in d2
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [taylor]: Taking taylor expansion of 0 in d3
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [taylor]: Taking taylor expansion of 0 in d4
0.475 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) into (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3)))
0.476 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0
0.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4
0.476 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4
0.476 * [taylor]: Taking taylor expansion of (* d1 d4) in d4
0.476 * [taylor]: Taking taylor expansion of d1 in d4
0.476 * [backup-simplify]: Simplify d1 into d1
0.476 * [taylor]: Taking taylor expansion of d4 in d4
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 1 into 1
0.476 * [backup-simplify]: Simplify (* d1 0) into 0
0.476 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.476 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.476 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4
0.476 * [taylor]: Taking taylor expansion of (* d1 d2) in d4
0.476 * [taylor]: Taking taylor expansion of d1 in d4
0.476 * [backup-simplify]: Simplify d1 into d1
0.476 * [taylor]: Taking taylor expansion of d2 in d4
0.476 * [backup-simplify]: Simplify d2 into d2
0.476 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.476 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.476 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4
0.476 * [taylor]: Taking taylor expansion of (* d1 d3) in d4
0.477 * [taylor]: Taking taylor expansion of d1 in d4
0.477 * [backup-simplify]: Simplify d1 into d1
0.477 * [taylor]: Taking taylor expansion of d3 in d4
0.477 * [backup-simplify]: Simplify d3 into d3
0.477 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.477 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.477 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3
0.477 * [taylor]: Taking taylor expansion of (* d1 d4) in d3
0.477 * [taylor]: Taking taylor expansion of d1 in d3
0.477 * [backup-simplify]: Simplify d1 into d1
0.477 * [taylor]: Taking taylor expansion of d4 in d3
0.477 * [backup-simplify]: Simplify d4 into d4
0.477 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4)
0.477 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4))
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.477 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.477 * [taylor]: Taking taylor expansion of d1 in d3
0.477 * [backup-simplify]: Simplify d1 into d1
0.477 * [taylor]: Taking taylor expansion of d2 in d3
0.477 * [backup-simplify]: Simplify d2 into d2
0.477 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.477 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.477 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.477 * [taylor]: Taking taylor expansion of d1 in d3
0.477 * [backup-simplify]: Simplify d1 into d1
0.477 * [taylor]: Taking taylor expansion of d3 in d3
0.477 * [backup-simplify]: Simplify 0 into 0
0.477 * [backup-simplify]: Simplify 1 into 1
0.477 * [backup-simplify]: Simplify (* d1 0) into 0
0.477 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.477 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.477 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2
0.478 * [taylor]: Taking taylor expansion of (* d1 d4) in d2
0.478 * [taylor]: Taking taylor expansion of d1 in d2
0.478 * [backup-simplify]: Simplify d1 into d1
0.478 * [taylor]: Taking taylor expansion of d4 in d2
0.478 * [backup-simplify]: Simplify d4 into d4
0.478 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4)
0.478 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4))
0.478 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.478 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.478 * [taylor]: Taking taylor expansion of d1 in d2
0.478 * [backup-simplify]: Simplify d1 into d1
0.478 * [taylor]: Taking taylor expansion of d2 in d2
0.478 * [backup-simplify]: Simplify 0 into 0
0.478 * [backup-simplify]: Simplify 1 into 1
0.478 * [backup-simplify]: Simplify (* d1 0) into 0
0.478 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.478 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.478 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.478 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.478 * [taylor]: Taking taylor expansion of d1 in d2
0.478 * [backup-simplify]: Simplify d1 into d1
0.478 * [taylor]: Taking taylor expansion of d3 in d2
0.478 * [backup-simplify]: Simplify d3 into d3
0.478 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.478 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.478 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1
0.478 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1
0.478 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.478 * [taylor]: Taking taylor expansion of d1 in d1
0.478 * [backup-simplify]: Simplify 0 into 0
0.478 * [backup-simplify]: Simplify 1 into 1
0.478 * [taylor]: Taking taylor expansion of d4 in d1
0.478 * [backup-simplify]: Simplify d4 into d4
0.478 * [backup-simplify]: Simplify (* 0 d4) into 0
0.479 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4
0.479 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.479 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.479 * [taylor]: Taking taylor expansion of d1 in d1
0.479 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify 1 into 1
0.479 * [taylor]: Taking taylor expansion of d2 in d1
0.479 * [backup-simplify]: Simplify d2 into d2
0.479 * [backup-simplify]: Simplify (* 0 d2) into 0
0.479 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.479 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.479 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.479 * [taylor]: Taking taylor expansion of d1 in d1
0.479 * [backup-simplify]: Simplify 0 into 0
0.479 * [backup-simplify]: Simplify 1 into 1
0.479 * [taylor]: Taking taylor expansion of d3 in d1
0.479 * [backup-simplify]: Simplify d3 into d3
0.479 * [backup-simplify]: Simplify (* 0 d3) into 0
0.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.480 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.480 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1
0.480 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.480 * [taylor]: Taking taylor expansion of d1 in d1
0.480 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify 1 into 1
0.480 * [taylor]: Taking taylor expansion of d4 in d1
0.480 * [backup-simplify]: Simplify d4 into d4
0.480 * [backup-simplify]: Simplify (* 0 d4) into 0
0.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4
0.480 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.480 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.480 * [taylor]: Taking taylor expansion of d1 in d1
0.480 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify 1 into 1
0.480 * [taylor]: Taking taylor expansion of d2 in d1
0.480 * [backup-simplify]: Simplify d2 into d2
0.480 * [backup-simplify]: Simplify (* 0 d2) into 0
0.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.480 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.481 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.481 * [taylor]: Taking taylor expansion of d1 in d1
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify 1 into 1
0.481 * [taylor]: Taking taylor expansion of d3 in d1
0.481 * [backup-simplify]: Simplify d3 into d3
0.481 * [backup-simplify]: Simplify (* 0 d3) into 0
0.481 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.481 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.481 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d4))
0.481 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.481 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
0.481 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.481 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.481 * [taylor]: Taking taylor expansion of d2 in d2
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify 1 into 1
0.482 * [backup-simplify]: Simplify (/ 1 1) into 1
0.482 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.482 * [taylor]: Taking taylor expansion of d4 in d2
0.482 * [backup-simplify]: Simplify d4 into d4
0.482 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.482 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.482 * [taylor]: Taking taylor expansion of d3 in d2
0.482 * [backup-simplify]: Simplify d3 into d3
0.482 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.482 * [backup-simplify]: Simplify (+ 1 0) into 1
0.482 * [backup-simplify]: Simplify (+ 1 0) into 1
0.482 * [taylor]: Taking taylor expansion of 1 in d3
0.482 * [backup-simplify]: Simplify 1 into 1
0.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0
0.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.484 * [backup-simplify]: Simplify (+ 0 0) into 0
0.484 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.484 * [backup-simplify]: Simplify (- 0) into 0
0.485 * [backup-simplify]: Simplify (+ 0 0) into 0
0.485 * [taylor]: Taking taylor expansion of 0 in d2
0.485 * [backup-simplify]: Simplify 0 into 0
0.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.485 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
0.485 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.485 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
0.485 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
0.485 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.485 * [taylor]: Taking taylor expansion of d4 in d3
0.485 * [backup-simplify]: Simplify d4 into d4
0.485 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.485 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.485 * [taylor]: Taking taylor expansion of d3 in d3
0.485 * [backup-simplify]: Simplify 0 into 0
0.485 * [backup-simplify]: Simplify 1 into 1
0.486 * [backup-simplify]: Simplify (/ 1 1) into 1
0.486 * [backup-simplify]: Simplify (- 1) into -1
0.486 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.486 * [taylor]: Taking taylor expansion of -1 in d4
0.486 * [backup-simplify]: Simplify -1 into -1
0.486 * [taylor]: Taking taylor expansion of 1 in d4
0.486 * [backup-simplify]: Simplify 1 into 1
0.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0
0.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
0.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
0.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.488 * [backup-simplify]: Simplify (+ 0 0) into 0
0.489 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
0.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.489 * [backup-simplify]: Simplify (- 0) into 0
0.492 * [backup-simplify]: Simplify (+ 0 0) into 0
0.492 * [taylor]: Taking taylor expansion of 0 in d2
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [taylor]: Taking taylor expansion of 0 in d3
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.493 * [backup-simplify]: Simplify (+ 0 0) into 0
0.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.493 * [backup-simplify]: Simplify (- 0) into 0
0.493 * [backup-simplify]: Simplify (+ 0 0) into 0
0.493 * [taylor]: Taking taylor expansion of 0 in d3
0.493 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.494 * [backup-simplify]: Simplify (- 0) into 0
0.494 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
0.494 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.494 * [taylor]: Taking taylor expansion of d4 in d4
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 1 into 1
0.494 * [backup-simplify]: Simplify (/ 1 1) into 1
0.494 * [backup-simplify]: Simplify 1 into 1
0.494 * [taylor]: Taking taylor expansion of 0 in d4
0.494 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify -1 into -1
0.495 * [backup-simplify]: Simplify 1 into 1
0.495 * [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 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.495 * [backup-simplify]: Simplify (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) into (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3)))
0.495 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0
0.495 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4
0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4
0.495 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4
0.495 * [taylor]: Taking taylor expansion of (* d1 d4) in d4
0.495 * [taylor]: Taking taylor expansion of d1 in d4
0.495 * [backup-simplify]: Simplify d1 into d1
0.495 * [taylor]: Taking taylor expansion of d4 in d4
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify 1 into 1
0.495 * [backup-simplify]: Simplify (* d1 0) into 0
0.496 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.496 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4
0.496 * [taylor]: Taking taylor expansion of (* d1 d2) in d4
0.496 * [taylor]: Taking taylor expansion of d1 in d4
0.496 * [backup-simplify]: Simplify d1 into d1
0.496 * [taylor]: Taking taylor expansion of d2 in d4
0.496 * [backup-simplify]: Simplify d2 into d2
0.496 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.496 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4
0.496 * [taylor]: Taking taylor expansion of (* d1 d3) in d4
0.496 * [taylor]: Taking taylor expansion of d1 in d4
0.496 * [backup-simplify]: Simplify d1 into d1
0.496 * [taylor]: Taking taylor expansion of d3 in d4
0.496 * [backup-simplify]: Simplify d3 into d3
0.496 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.496 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.496 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3
0.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3
0.496 * [taylor]: Taking taylor expansion of (* d1 d4) in d3
0.496 * [taylor]: Taking taylor expansion of d1 in d3
0.496 * [backup-simplify]: Simplify d1 into d1
0.496 * [taylor]: Taking taylor expansion of d4 in d3
0.496 * [backup-simplify]: Simplify d4 into d4
0.496 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4)
0.496 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4))
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.496 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.496 * [taylor]: Taking taylor expansion of d1 in d3
0.496 * [backup-simplify]: Simplify d1 into d1
0.496 * [taylor]: Taking taylor expansion of d2 in d3
0.496 * [backup-simplify]: Simplify d2 into d2
0.496 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.496 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.497 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.497 * [taylor]: Taking taylor expansion of d1 in d3
0.497 * [backup-simplify]: Simplify d1 into d1
0.497 * [taylor]: Taking taylor expansion of d3 in d3
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 1 into 1
0.497 * [backup-simplify]: Simplify (* d1 0) into 0
0.497 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.497 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.497 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2
0.497 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2
0.497 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2
0.497 * [taylor]: Taking taylor expansion of (* d1 d4) in d2
0.497 * [taylor]: Taking taylor expansion of d1 in d2
0.497 * [backup-simplify]: Simplify d1 into d1
0.497 * [taylor]: Taking taylor expansion of d4 in d2
0.497 * [backup-simplify]: Simplify d4 into d4
0.497 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4)
0.497 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4))
0.497 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.497 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.497 * [taylor]: Taking taylor expansion of d1 in d2
0.497 * [backup-simplify]: Simplify d1 into d1
0.497 * [taylor]: Taking taylor expansion of d2 in d2
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 1 into 1
0.497 * [backup-simplify]: Simplify (* d1 0) into 0
0.497 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.498 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.498 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.498 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.498 * [taylor]: Taking taylor expansion of d1 in d2
0.498 * [backup-simplify]: Simplify d1 into d1
0.498 * [taylor]: Taking taylor expansion of d3 in d2
0.498 * [backup-simplify]: Simplify d3 into d3
0.498 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.498 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1
0.498 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1
0.498 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1
0.498 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.498 * [taylor]: Taking taylor expansion of d1 in d1
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify 1 into 1
0.498 * [taylor]: Taking taylor expansion of d4 in d1
0.498 * [backup-simplify]: Simplify d4 into d4
0.498 * [backup-simplify]: Simplify (* 0 d4) into 0
0.498 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4
0.498 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.498 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.498 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.498 * [taylor]: Taking taylor expansion of d1 in d1
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify 1 into 1
0.498 * [taylor]: Taking taylor expansion of d2 in d1
0.498 * [backup-simplify]: Simplify d2 into d2
0.498 * [backup-simplify]: Simplify (* 0 d2) into 0
0.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.499 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.499 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.499 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.499 * [taylor]: Taking taylor expansion of d1 in d1
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [taylor]: Taking taylor expansion of d3 in d1
0.499 * [backup-simplify]: Simplify d3 into d3
0.499 * [backup-simplify]: Simplify (* 0 d3) into 0
0.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.499 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1
0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1
0.499 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1
0.499 * [taylor]: Taking taylor expansion of (* d1 d4) in d1
0.499 * [taylor]: Taking taylor expansion of d1 in d1
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [taylor]: Taking taylor expansion of d4 in d1
0.499 * [backup-simplify]: Simplify d4 into d4
0.499 * [backup-simplify]: Simplify (* 0 d4) into 0
0.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4
0.500 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.500 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.500 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.500 * [taylor]: Taking taylor expansion of d1 in d1
0.500 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify 1 into 1
0.500 * [taylor]: Taking taylor expansion of d2 in d1
0.500 * [backup-simplify]: Simplify d2 into d2
0.500 * [backup-simplify]: Simplify (* 0 d2) into 0
0.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.500 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.500 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.500 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.500 * [taylor]: Taking taylor expansion of d1 in d1
0.500 * [backup-simplify]: Simplify 0 into 0
0.500 * [backup-simplify]: Simplify 1 into 1
0.500 * [taylor]: Taking taylor expansion of d3 in d1
0.500 * [backup-simplify]: Simplify d3 into d3
0.500 * [backup-simplify]: Simplify (* 0 d3) into 0
0.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.500 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.501 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d4))
0.501 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.501 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
0.501 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
0.501 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
0.501 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.501 * [taylor]: Taking taylor expansion of d2 in d2
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [backup-simplify]: Simplify (/ 1 1) into 1
0.501 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
0.501 * [taylor]: Taking taylor expansion of d4 in d2
0.501 * [backup-simplify]: Simplify d4 into d4
0.501 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.501 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.501 * [taylor]: Taking taylor expansion of d3 in d2
0.501 * [backup-simplify]: Simplify d3 into d3
0.501 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.501 * [backup-simplify]: Simplify (+ 1 0) into 1
0.502 * [backup-simplify]: Simplify (+ 1 0) into 1
0.502 * [taylor]: Taking taylor expansion of 1 in d3
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0
0.502 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.503 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.503 * [backup-simplify]: Simplify (+ 0 0) into 0
0.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.504 * [backup-simplify]: Simplify (- 0) into 0
0.504 * [backup-simplify]: Simplify (+ 0 0) into 0
0.504 * [taylor]: Taking taylor expansion of 0 in d2
0.504 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.505 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
0.505 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.505 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
0.505 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
0.505 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
0.505 * [taylor]: Taking taylor expansion of d4 in d3
0.505 * [backup-simplify]: Simplify d4 into d4
0.505 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
0.505 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.505 * [taylor]: Taking taylor expansion of d3 in d3
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 1 into 1
0.505 * [backup-simplify]: Simplify (/ 1 1) into 1
0.505 * [backup-simplify]: Simplify (- 1) into -1
0.506 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.506 * [taylor]: Taking taylor expansion of -1 in d4
0.506 * [backup-simplify]: Simplify -1 into -1
0.506 * [taylor]: Taking taylor expansion of 1 in d4
0.506 * [backup-simplify]: Simplify 1 into 1
0.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0
0.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
0.507 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
0.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.508 * [backup-simplify]: Simplify (+ 0 0) into 0
0.508 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
0.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.509 * [backup-simplify]: Simplify (- 0) into 0
0.509 * [backup-simplify]: Simplify (+ 0 0) into 0
0.509 * [taylor]: Taking taylor expansion of 0 in d2
0.509 * [backup-simplify]: Simplify 0 into 0
0.509 * [taylor]: Taking taylor expansion of 0 in d3
0.509 * [backup-simplify]: Simplify 0 into 0
0.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
0.510 * [backup-simplify]: Simplify (+ 0 0) into 0
0.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.510 * [backup-simplify]: Simplify (- 0) into 0
0.510 * [backup-simplify]: Simplify (+ 0 0) into 0
0.510 * [taylor]: Taking taylor expansion of 0 in d3
0.510 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.511 * [backup-simplify]: Simplify (- 0) into 0
0.511 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
0.511 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
0.511 * [taylor]: Taking taylor expansion of d4 in d4
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 1 into 1
0.512 * [backup-simplify]: Simplify (/ 1 1) into 1
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [taylor]: Taking taylor expansion of 0 in d4
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [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 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
0.512 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
0.512 * [backup-simplify]: Simplify (- (* d1 d2) (* d1 d3)) into (- (* d1 d2) (* d1 d3))
0.512 * [approximate]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0
0.512 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3
0.512 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.512 * [taylor]: Taking taylor expansion of d1 in d3
0.512 * [backup-simplify]: Simplify d1 into d1
0.512 * [taylor]: Taking taylor expansion of d2 in d3
0.512 * [backup-simplify]: Simplify d2 into d2
0.512 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.512 * [taylor]: Taking taylor expansion of d1 in d3
0.513 * [backup-simplify]: Simplify d1 into d1
0.513 * [taylor]: Taking taylor expansion of d3 in d3
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2
0.513 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.513 * [taylor]: Taking taylor expansion of d1 in d2
0.513 * [backup-simplify]: Simplify d1 into d1
0.513 * [taylor]: Taking taylor expansion of d2 in d2
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.513 * [taylor]: Taking taylor expansion of d1 in d2
0.513 * [backup-simplify]: Simplify d1 into d1
0.513 * [taylor]: Taking taylor expansion of d3 in d2
0.513 * [backup-simplify]: Simplify d3 into d3
0.513 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
0.513 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.513 * [taylor]: Taking taylor expansion of d1 in d1
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of d2 in d1
0.513 * [backup-simplify]: Simplify d2 into d2
0.513 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.513 * [taylor]: Taking taylor expansion of d1 in d1
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of d3 in d1
0.513 * [backup-simplify]: Simplify d3 into d3
0.513 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
0.513 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.513 * [taylor]: Taking taylor expansion of d1 in d1
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of d2 in d1
0.513 * [backup-simplify]: Simplify d2 into d2
0.513 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.513 * [taylor]: Taking taylor expansion of d1 in d1
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [taylor]: Taking taylor expansion of d3 in d1
0.513 * [backup-simplify]: Simplify d3 into d3
0.513 * [backup-simplify]: Simplify (* 0 d2) into 0
0.513 * [backup-simplify]: Simplify (* 0 d3) into 0
0.513 * [backup-simplify]: Simplify (- 0) into 0
0.514 * [backup-simplify]: Simplify (+ 0 0) into 0
0.514 * [taylor]: Taking taylor expansion of 0 in d2
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [taylor]: Taking taylor expansion of 0 in d3
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.514 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.514 * [backup-simplify]: Simplify (- d3) into (- d3)
0.514 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3)
0.514 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
0.514 * [taylor]: Taking taylor expansion of d2 in d2
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 1 into 1
0.514 * [taylor]: Taking taylor expansion of d3 in d2
0.514 * [backup-simplify]: Simplify d3 into d3
0.514 * [backup-simplify]: Simplify (- d3) into (- d3)
0.514 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
0.514 * [taylor]: Taking taylor expansion of (- d3) in d3
0.515 * [taylor]: Taking taylor expansion of d3 in d3
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [backup-simplify]: Simplify (- 0) into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [taylor]: Taking taylor expansion of 0 in d3
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.516 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.516 * [backup-simplify]: Simplify (- 0) into 0
0.516 * [backup-simplify]: Simplify (+ 0 0) into 0
0.516 * [taylor]: Taking taylor expansion of 0 in d2
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [taylor]: Taking taylor expansion of 0 in d3
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify (- 0) into 0
0.517 * [backup-simplify]: Simplify (+ 1 0) into 1
0.517 * [taylor]: Taking taylor expansion of 1 in d3
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify 1 into 1
0.517 * [taylor]: Taking taylor expansion of 0 in d3
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify (- 1) into -1
0.517 * [backup-simplify]: Simplify -1 into -1
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
0.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
0.519 * [backup-simplify]: Simplify (- 0) into 0
0.519 * [backup-simplify]: Simplify (+ 0 0) into 0
0.519 * [taylor]: Taking taylor expansion of 0 in d2
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [taylor]: Taking taylor expansion of 0 in d3
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [taylor]: Taking taylor expansion of 0 in d3
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (- 0) into 0
0.520 * [backup-simplify]: Simplify (+ 0 0) into 0
0.520 * [taylor]: Taking taylor expansion of 0 in d3
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [taylor]: Taking taylor expansion of 0 in d3
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d1 d2) (* d1 d3))
0.520 * [backup-simplify]: Simplify (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3)))
0.520 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0
0.520 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.520 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.520 * [taylor]: Taking taylor expansion of d1 in d3
0.520 * [backup-simplify]: Simplify d1 into d1
0.520 * [taylor]: Taking taylor expansion of d2 in d3
0.520 * [backup-simplify]: Simplify d2 into d2
0.520 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.520 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.520 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.520 * [taylor]: Taking taylor expansion of d1 in d3
0.520 * [backup-simplify]: Simplify d1 into d1
0.520 * [taylor]: Taking taylor expansion of d3 in d3
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (* d1 0) into 0
0.521 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.521 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.521 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.521 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.521 * [taylor]: Taking taylor expansion of d1 in d2
0.521 * [backup-simplify]: Simplify d1 into d1
0.521 * [taylor]: Taking taylor expansion of d2 in d2
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [backup-simplify]: Simplify (* d1 0) into 0
0.521 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.521 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.521 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.521 * [taylor]: Taking taylor expansion of d1 in d2
0.521 * [backup-simplify]: Simplify d1 into d1
0.521 * [taylor]: Taking taylor expansion of d3 in d2
0.521 * [backup-simplify]: Simplify d3 into d3
0.521 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.521 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.521 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.521 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.521 * [taylor]: Taking taylor expansion of d1 in d1
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [taylor]: Taking taylor expansion of d2 in d1
0.522 * [backup-simplify]: Simplify d2 into d2
0.522 * [backup-simplify]: Simplify (* 0 d2) into 0
0.522 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.522 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.522 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.522 * [taylor]: Taking taylor expansion of d1 in d1
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify 1 into 1
0.522 * [taylor]: Taking taylor expansion of d3 in d1
0.522 * [backup-simplify]: Simplify d3 into d3
0.522 * [backup-simplify]: Simplify (* 0 d3) into 0
0.522 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.522 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.522 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.522 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.522 * [taylor]: Taking taylor expansion of d1 in d1
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify 1 into 1
0.522 * [taylor]: Taking taylor expansion of d2 in d1
0.522 * [backup-simplify]: Simplify d2 into d2
0.522 * [backup-simplify]: Simplify (* 0 d2) into 0
0.523 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.523 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.523 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.523 * [taylor]: Taking taylor expansion of d1 in d1
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [taylor]: Taking taylor expansion of d3 in d1
0.523 * [backup-simplify]: Simplify d3 into d3
0.523 * [backup-simplify]: Simplify (* 0 d3) into 0
0.523 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.523 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.523 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.523 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
0.523 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
0.523 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.523 * [taylor]: Taking taylor expansion of d2 in d2
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.524 * [backup-simplify]: Simplify (/ 1 1) into 1
0.524 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.524 * [taylor]: Taking taylor expansion of d3 in d2
0.524 * [backup-simplify]: Simplify d3 into d3
0.524 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.524 * [backup-simplify]: Simplify (+ 1 0) into 1
0.524 * [taylor]: Taking taylor expansion of 1 in d3
0.524 * [backup-simplify]: Simplify 1 into 1
0.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.525 * [backup-simplify]: Simplify (- 0) into 0
0.526 * [backup-simplify]: Simplify (+ 0 0) into 0
0.526 * [taylor]: Taking taylor expansion of 0 in d2
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.526 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.526 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
0.526 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
0.526 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.526 * [taylor]: Taking taylor expansion of d3 in d3
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify 1 into 1
0.526 * [backup-simplify]: Simplify (/ 1 1) into 1
0.527 * [backup-simplify]: Simplify (- 1) into -1
0.527 * [backup-simplify]: Simplify -1 into -1
0.527 * [backup-simplify]: Simplify 1 into 1
0.527 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
0.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
0.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.529 * [backup-simplify]: Simplify (- 0) into 0
0.529 * [backup-simplify]: Simplify (+ 0 0) into 0
0.529 * [taylor]: Taking taylor expansion of 0 in d2
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [taylor]: Taking taylor expansion of 0 in d3
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ 0 0) into 0
0.530 * [taylor]: Taking taylor expansion of 0 in d3
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.531 * [backup-simplify]: Simplify (- 0) into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0
0.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d3))))) into 0
0.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.533 * [backup-simplify]: Simplify (- 0) into 0
0.533 * [backup-simplify]: Simplify (+ 0 0) into 0
0.533 * [taylor]: Taking taylor expansion of 0 in d2
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [taylor]: Taking taylor expansion of 0 in d3
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [taylor]: Taking taylor expansion of 0 in d3
0.533 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.534 * [backup-simplify]: Simplify (- 0) into 0
0.534 * [backup-simplify]: Simplify (+ 0 0) into 0
0.534 * [taylor]: Taking taylor expansion of 0 in d3
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.535 * [backup-simplify]: Simplify (- 0) into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d1 d2) (* d1 d3))
0.536 * [backup-simplify]: Simplify (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3)))
0.536 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0
0.536 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.536 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.536 * [taylor]: Taking taylor expansion of d1 in d3
0.536 * [backup-simplify]: Simplify d1 into d1
0.536 * [taylor]: Taking taylor expansion of d2 in d3
0.536 * [backup-simplify]: Simplify d2 into d2
0.536 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2)
0.536 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2))
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.536 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.536 * [taylor]: Taking taylor expansion of d1 in d3
0.536 * [backup-simplify]: Simplify d1 into d1
0.536 * [taylor]: Taking taylor expansion of d3 in d3
0.536 * [backup-simplify]: Simplify 0 into 0
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [backup-simplify]: Simplify (* d1 0) into 0
0.536 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.536 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.536 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.536 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.536 * [taylor]: Taking taylor expansion of d1 in d2
0.536 * [backup-simplify]: Simplify d1 into d1
0.536 * [taylor]: Taking taylor expansion of d2 in d2
0.536 * [backup-simplify]: Simplify 0 into 0
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [backup-simplify]: Simplify (* d1 0) into 0
0.537 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1
0.537 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.537 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.537 * [taylor]: Taking taylor expansion of d1 in d2
0.537 * [backup-simplify]: Simplify d1 into d1
0.537 * [taylor]: Taking taylor expansion of d3 in d2
0.537 * [backup-simplify]: Simplify d3 into d3
0.537 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3)
0.537 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3))
0.537 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.537 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.537 * [taylor]: Taking taylor expansion of d1 in d1
0.537 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify 1 into 1
0.537 * [taylor]: Taking taylor expansion of d2 in d1
0.537 * [backup-simplify]: Simplify d2 into d2
0.537 * [backup-simplify]: Simplify (* 0 d2) into 0
0.537 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.537 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.537 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.537 * [taylor]: Taking taylor expansion of d1 in d1
0.537 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify 1 into 1
0.538 * [taylor]: Taking taylor expansion of d3 in d1
0.538 * [backup-simplify]: Simplify d3 into d3
0.538 * [backup-simplify]: Simplify (* 0 d3) into 0
0.538 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.538 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1
0.538 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.538 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.538 * [taylor]: Taking taylor expansion of d1 in d1
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 1 into 1
0.538 * [taylor]: Taking taylor expansion of d2 in d1
0.538 * [backup-simplify]: Simplify d2 into d2
0.538 * [backup-simplify]: Simplify (* 0 d2) into 0
0.538 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2
0.538 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
0.538 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.538 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.538 * [taylor]: Taking taylor expansion of d1 in d1
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 1 into 1
0.538 * [taylor]: Taking taylor expansion of d3 in d1
0.538 * [backup-simplify]: Simplify d3 into d3
0.538 * [backup-simplify]: Simplify (* 0 d3) into 0
0.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3
0.539 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.539 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.539 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
0.539 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
0.539 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.539 * [taylor]: Taking taylor expansion of d2 in d2
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (/ 1 1) into 1
0.539 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.539 * [taylor]: Taking taylor expansion of d3 in d2
0.539 * [backup-simplify]: Simplify d3 into d3
0.539 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
0.540 * [backup-simplify]: Simplify (+ 1 0) into 1
0.540 * [taylor]: Taking taylor expansion of 1 in d3
0.540 * [backup-simplify]: Simplify 1 into 1
0.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
0.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
0.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
0.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.541 * [backup-simplify]: Simplify (- 0) into 0
0.541 * [backup-simplify]: Simplify (+ 0 0) into 0
0.541 * [taylor]: Taking taylor expansion of 0 in d2
0.541 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.542 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
0.542 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
0.542 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
0.542 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.542 * [taylor]: Taking taylor expansion of d3 in d3
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 1 into 1
0.542 * [backup-simplify]: Simplify (/ 1 1) into 1
0.542 * [backup-simplify]: Simplify (- 1) into -1
0.542 * [backup-simplify]: Simplify -1 into -1
0.542 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
0.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
0.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.544 * [backup-simplify]: Simplify (- 0) into 0
0.545 * [backup-simplify]: Simplify (+ 0 0) into 0
0.545 * [taylor]: Taking taylor expansion of 0 in d2
0.545 * [backup-simplify]: Simplify 0 into 0
0.545 * [taylor]: Taking taylor expansion of 0 in d3
0.545 * [backup-simplify]: Simplify 0 into 0
0.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
0.546 * [backup-simplify]: Simplify (- 0) into 0
0.546 * [backup-simplify]: Simplify (+ 0 0) into 0
0.546 * [taylor]: Taking taylor expansion of 0 in d3
0.546 * [backup-simplify]: Simplify 0 into 0
0.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.546 * [backup-simplify]: Simplify (- 0) into 0
0.546 * [backup-simplify]: Simplify 0 into 0
0.546 * [backup-simplify]: Simplify 0 into 0
0.547 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0
0.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
0.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d3))))) into 0
0.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.549 * [backup-simplify]: Simplify (- 0) into 0
0.549 * [backup-simplify]: Simplify (+ 0 0) into 0
0.549 * [taylor]: Taking taylor expansion of 0 in d2
0.549 * [backup-simplify]: Simplify 0 into 0
0.549 * [taylor]: Taking taylor expansion of 0 in d3
0.549 * [backup-simplify]: Simplify 0 into 0
0.549 * [taylor]: Taking taylor expansion of 0 in d3
0.549 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
0.550 * [backup-simplify]: Simplify (- 0) into 0
0.550 * [backup-simplify]: Simplify (+ 0 0) into 0
0.550 * [taylor]: Taking taylor expansion of 0 in d3
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.551 * [backup-simplify]: Simplify (- 0) into 0
0.551 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d1 d2) (* d1 d3))
0.551 * * * [progress]: simplifying candidates
0.552 * [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))
  (/ (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))
  0
  (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
  (- (+ (* d1 d4) (* d1 d2)) (* d1 d3))
  (- (* d1 d2) (* d1 d3))
  (- (* d1 d2) (* d1 d3))
  (- (* d1 d2) (* d1 d3))
0.552 * [simplify]: Sending expressions to egg_math:
 (* (/ (exp (* h0 h1)) (exp (* h0 h2))) (exp (* h3 h0)))
 (* (exp (- (* h0 h1) (* h0 h2))) (exp (* h3 h0)))
 (log (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (exp (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (* (cbrt (+ (- (* h0 h1) (* h0 h2)) (* h3 h0))) (cbrt (+ (- (* h0 h1) (* h0 h2)) (* h3 h0))))
 (cbrt (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (* (* (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)) (+ (- (* h0 h1) (* h0 h2)) (* h3 h0))) (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (sqrt (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (sqrt (+ (- (* h0 h1) (* h0 h2)) (* h3 h0)))
 (+ (pow (- (* h0 h1) (* h0 h2)) 3) (pow (* h3 h0) 3))
 (+ (* (- (* h0 h1) (* h0 h2)) (- (* h0 h1) (* h0 h2))) (- (* (* h3 h0) (* h3 h0)) (* (- (* h0 h1) (* h0 h2)) (* h3 h0))))
 (- (* (- (* h0 h1) (* h0 h2)) (- (* h0 h1) (* h0 h2))) (* (* h3 h0) (* h3 h0)))
 (- (- (* h0 h1) (* h0 h2)) (* h3 h0))
 (+ (- (* h0 h2)) (* h3 h0))
 (+ (- (* h0 h2)) (* h3 h0))
 (- (* h0 h2) (* h3 h0))
 (/ (exp (* h0 h1)) (exp (* h0 h2)))
 (log (- (* h0 h1) (* h0 h2)))
 (exp (- (* h0 h1) (* h0 h2)))
 (* (cbrt (- (* h0 h1) (* h0 h2))) (cbrt (- (* h0 h1) (* h0 h2))))
 (cbrt (- (* h0 h1) (* h0 h2)))
 (* (* (- (* h0 h1) (* h0 h2)) (- (* h0 h1) (* h0 h2))) (- (* h0 h1) (* h0 h2)))
 (sqrt (- (* h0 h1) (* h0 h2)))
 (sqrt (- (* h0 h1) (* h0 h2)))
 (- (pow (* h0 h1) 3) (pow (* h0 h2) 3))
 (+ (* (* h0 h1) (* h0 h1)) (+ (* (* h0 h2) (* h0 h2)) (* (* h0 h1) (* h0 h2))))
 (- (* h0 h2))
 (- (* (* h0 h1) (* h0 h1)) (* (* h0 h2) (* h0 h2)))
 (+ (* h0 h1) (* h0 h2))
 (- h1 h2)
 (- (* h0 h2))
 0
 (- (+ (* h0 h3) (* h0 h1)) (* h0 h2))
 (- (+ (* h0 h3) (* h0 h1)) (* h0 h2))
 (- (* h0 h1) (* h0 h2))
 (- (* h0 h1) (* h0 h2))
 (- (* h0 h1) (* h0 h2))
0.556 * * [simplify]: iteration  0 :  175  enodes  (cost  199 )
0.560 * * [simplify]: iteration  1 :  664  enodes  (cost  168 )
0.576 * * [simplify]: iteration  2 :  3104  enodes  (cost  154 )
0.641 * * [simplify]: iteration  3 :  5001  enodes  (cost  154 )
0.642 * * * [progress]: adding candidates to table
0.716 * [progress]: [Phase 3 of 3] Extracting.
0.716 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.716 * * * [regime-changes]: Trying 5 branch expressions: ((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) d4 d3 d2 d1)
0.716 * * * * [regimes]: Trying to branch on (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) from (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.731 * * * * [regimes]: Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.744 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.760 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.773 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (* d1 (+ (- d2 d3) (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>)
0.788 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.789 * [simplify]: Simplifying:
  (* d1 (+ (- d2 d3) (- d4 d1)))
0.789 * [simplify]: Sending expressions to egg_math:
 (* h0 (+ (- h1 h2) (- h3 h0)))
0.789 * * [simplify]: iteration  0 :  10  enodes  (cost  4 )
0.790 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
1.667 * [regime-testing]: Baseline error score: 0.023002875359419927
1.667 * [regime-testing]: Oracle error score: 0.007625953244155519
1.668 * [regime-testing]: End program error score: 0.023002875359419927
1.691 * [regime-testing]: Target error score: 0.023002875359419927