14.331 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying: (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.062 * * [simplify]: Extracting # 3 : cost 0 0.062 * * [simplify]: Extracting # 4 : cost 0 0.062 * * [simplify]: Extracting # 5 : cost 0 0.062 * * [simplify]: Extracting # 6 : cost 0 0.062 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: Extracting # 3 : cost 0 0.066 * * [simplify]: Extracting # 4 : cost 0 0.066 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 0.077 * * [simplify]: Extracting # 0 : cost 0 0.077 * * [simplify]: Extracting # 1 : cost 0 0.077 * * [simplify]: Extracting # 2 : cost 0 0.077 * * [simplify]: Extracting # 3 : cost 0 0.077 * * [simplify]: Extracting # 4 : cost 0 0.078 * * [simplify]: iteration 2 : 81 enodes (cost 10 ) 0.117 * * [simplify]: Extracting # 0 : cost 0 0.117 * * [simplify]: Extracting # 1 : cost 0 0.117 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: Extracting # 3 : cost 0 0.118 * * [simplify]: Extracting # 4 : cost 0 0.118 * * [simplify]: iteration 3 : 241 enodes (cost 9 ) 0.293 * * [simplify]: Extracting # 0 : cost 0 0.295 * * [simplify]: Extracting # 1 : cost 0 0.295 * * [simplify]: Extracting # 2 : cost 0 0.296 * * [simplify]: Extracting # 3 : cost 0 0.297 * * [simplify]: iteration 4 : 545 enodes (cost 9 ) 1.070 * * [simplify]: Extracting # 0 : cost 0 1.071 * * [simplify]: Extracting # 1 : cost 0 1.072 * * [simplify]: Extracting # 2 : cost 0 1.073 * * [simplify]: Extracting # 3 : cost 0 1.076 * * [simplify]: iteration 5 : 981 enodes (cost 9 ) 1.753 * * [simplify]: Extracting # 0 : cost 0 1.755 * * [simplify]: Extracting # 1 : cost 0 1.757 * * [simplify]: Extracting # 2 : cost 0 1.758 * * [simplify]: Extracting # 3 : cost 0 1.759 * * [simplify]: iteration 6 : 1357 enodes (cost 9 ) 2.813 * * [simplify]: Extracting # 0 : cost 0 2.815 * * [simplify]: Extracting # 1 : cost 0 2.815 * * [simplify]: Extracting # 2 : cost 0 2.816 * * [simplify]: iteration 7 : 1851 enodes (cost 9 ) 4.359 * * [simplify]: Extracting # 0 : cost 0 4.360 * * [simplify]: Extracting # 1 : cost 0 4.361 * * [simplify]: Extracting # 2 : cost 0 4.362 * * [simplify]: iteration 8 : 2247 enodes (cost 9 ) 5.759 * * [simplify]: Extracting # 0 : cost 0 5.760 * * [simplify]: Extracting # 1 : cost 0 5.761 * * [simplify]: iteration 9 : 2358 enodes (cost 9 ) 7.029 * * [simplify]: Extracting # 0 : cost 0 7.029 * * [simplify]: iteration done: 2358 enodes (cost 9 ) 7.030 * [simplify]: Simplified to: (* d1 (- (+ (- d2 d3) d4) d1)) 7.032 * * [progress]: iteration 1 / 4 7.032 * * * [progress]: picking best candidate 7.035 * * * * [pick]: Picked # 7.035 * * * [progress]: localizing error 7.052 * * * [progress]: generating rewritten candidates 7.052 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 7.066 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.313 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 7.368 * * * [progress]: generating series expansions 7.368 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.368 * [backup-simplify]: Simplify (- (* d1 d2) (* d1 d3)) into (- (* d1 d2) (* d1 d3)) 7.368 * [approximate]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0 7.368 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3 7.368 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.368 * [taylor]: Taking taylor expansion of d1 in d3 7.368 * [backup-simplify]: Simplify d1 into d1 7.368 * [taylor]: Taking taylor expansion of d2 in d3 7.368 * [backup-simplify]: Simplify d2 into d2 7.368 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.368 * [taylor]: Taking taylor expansion of d1 in d3 7.368 * [backup-simplify]: Simplify d1 into d1 7.368 * [taylor]: Taking taylor expansion of d3 in d3 7.368 * [backup-simplify]: Simplify 0 into 0 7.368 * [backup-simplify]: Simplify 1 into 1 7.368 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2 7.368 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.368 * [taylor]: Taking taylor expansion of d1 in d2 7.368 * [backup-simplify]: Simplify d1 into d1 7.368 * [taylor]: Taking taylor expansion of d2 in d2 7.368 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.369 * [taylor]: Taking taylor expansion of d1 in d2 7.369 * [backup-simplify]: Simplify d1 into d1 7.369 * [taylor]: Taking taylor expansion of d3 in d2 7.369 * [backup-simplify]: Simplify d3 into d3 7.369 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 7.369 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.369 * [taylor]: Taking taylor expansion of d1 in d1 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of d2 in d1 7.369 * [backup-simplify]: Simplify d2 into d2 7.369 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.369 * [taylor]: Taking taylor expansion of d1 in d1 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of d3 in d1 7.369 * [backup-simplify]: Simplify d3 into d3 7.369 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 7.369 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.369 * [taylor]: Taking taylor expansion of d1 in d1 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of d2 in d1 7.369 * [backup-simplify]: Simplify d2 into d2 7.369 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.369 * [taylor]: Taking taylor expansion of d1 in d1 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of d3 in d1 7.369 * [backup-simplify]: Simplify d3 into d3 7.369 * [backup-simplify]: Simplify (* 0 d2) into 0 7.369 * [backup-simplify]: Simplify (* 0 d3) into 0 7.370 * [backup-simplify]: Simplify (- 0) into 0 7.371 * [backup-simplify]: Simplify (+ 0 0) into 0 7.371 * [taylor]: Taking taylor expansion of 0 in d2 7.371 * [backup-simplify]: Simplify 0 into 0 7.371 * [taylor]: Taking taylor expansion of 0 in d3 7.371 * [backup-simplify]: Simplify 0 into 0 7.371 * [backup-simplify]: Simplify 0 into 0 7.371 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.371 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.371 * [backup-simplify]: Simplify (- d3) into (- d3) 7.372 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3) 7.372 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 7.372 * [taylor]: Taking taylor expansion of d2 in d2 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 1 into 1 7.372 * [taylor]: Taking taylor expansion of d3 in d2 7.372 * [backup-simplify]: Simplify d3 into d3 7.372 * [backup-simplify]: Simplify (- d3) into (- d3) 7.372 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3) 7.372 * [taylor]: Taking taylor expansion of (- d3) in d3 7.372 * [taylor]: Taking taylor expansion of d3 in d3 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 1 into 1 7.372 * [backup-simplify]: Simplify (- 0) into 0 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [taylor]: Taking taylor expansion of 0 in d3 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 0 into 0 7.373 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.373 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.373 * [backup-simplify]: Simplify (- 0) into 0 7.374 * [backup-simplify]: Simplify (+ 0 0) into 0 7.374 * [taylor]: Taking taylor expansion of 0 in d2 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [taylor]: Taking taylor expansion of 0 in d3 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify (- 0) into 0 7.374 * [backup-simplify]: Simplify (+ 1 0) into 1 7.374 * [taylor]: Taking taylor expansion of 1 in d3 7.374 * [backup-simplify]: Simplify 1 into 1 7.376 * [backup-simplify]: Simplify 1 into 1 7.376 * [taylor]: Taking taylor expansion of 0 in d3 7.376 * [backup-simplify]: Simplify 0 into 0 7.376 * [backup-simplify]: Simplify 0 into 0 7.377 * [backup-simplify]: Simplify (- 1) into -1 7.377 * [backup-simplify]: Simplify -1 into -1 7.377 * [backup-simplify]: Simplify 0 into 0 7.377 * [backup-simplify]: Simplify 0 into 0 7.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.379 * [backup-simplify]: Simplify (- 0) into 0 7.379 * [backup-simplify]: Simplify (+ 0 0) into 0 7.379 * [taylor]: Taking taylor expansion of 0 in d2 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [taylor]: Taking taylor expansion of 0 in d3 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [taylor]: Taking taylor expansion of 0 in d3 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify (- 0) into 0 7.379 * [backup-simplify]: Simplify (+ 0 0) into 0 7.379 * [taylor]: Taking taylor expansion of 0 in d3 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify 0 into 0 7.380 * [taylor]: Taking taylor expansion of 0 in d3 7.380 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d1 d2) (* d1 d3)) 7.380 * [backup-simplify]: Simplify (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) 7.380 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 7.380 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 7.380 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.380 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.380 * [taylor]: Taking taylor expansion of d1 in d3 7.380 * [backup-simplify]: Simplify d1 into d1 7.380 * [taylor]: Taking taylor expansion of d2 in d3 7.380 * [backup-simplify]: Simplify d2 into d2 7.380 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.380 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.380 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.380 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.380 * [taylor]: Taking taylor expansion of d1 in d3 7.380 * [backup-simplify]: Simplify d1 into d1 7.380 * [taylor]: Taking taylor expansion of d3 in d3 7.380 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify 1 into 1 7.380 * [backup-simplify]: Simplify (* d1 0) into 0 7.380 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.381 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.381 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 7.381 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.381 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.381 * [taylor]: Taking taylor expansion of d1 in d2 7.381 * [backup-simplify]: Simplify d1 into d1 7.381 * [taylor]: Taking taylor expansion of d2 in d2 7.381 * [backup-simplify]: Simplify 0 into 0 7.381 * [backup-simplify]: Simplify 1 into 1 7.381 * [backup-simplify]: Simplify (* d1 0) into 0 7.381 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.381 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.381 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.381 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.381 * [taylor]: Taking taylor expansion of d1 in d2 7.381 * [backup-simplify]: Simplify d1 into d1 7.381 * [taylor]: Taking taylor expansion of d3 in d2 7.381 * [backup-simplify]: Simplify d3 into d3 7.381 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.381 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.381 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 7.381 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.381 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.381 * [taylor]: Taking taylor expansion of d1 in d1 7.381 * [backup-simplify]: Simplify 0 into 0 7.381 * [backup-simplify]: Simplify 1 into 1 7.381 * [taylor]: Taking taylor expansion of d2 in d1 7.381 * [backup-simplify]: Simplify d2 into d2 7.381 * [backup-simplify]: Simplify (* 0 d2) into 0 7.382 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.382 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.382 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.382 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.382 * [taylor]: Taking taylor expansion of d1 in d1 7.382 * [backup-simplify]: Simplify 0 into 0 7.382 * [backup-simplify]: Simplify 1 into 1 7.382 * [taylor]: Taking taylor expansion of d3 in d1 7.382 * [backup-simplify]: Simplify d3 into d3 7.382 * [backup-simplify]: Simplify (* 0 d3) into 0 7.382 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.382 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.382 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 7.382 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.382 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.382 * [taylor]: Taking taylor expansion of d1 in d1 7.382 * [backup-simplify]: Simplify 0 into 0 7.382 * [backup-simplify]: Simplify 1 into 1 7.382 * [taylor]: Taking taylor expansion of d2 in d1 7.382 * [backup-simplify]: Simplify d2 into d2 7.382 * [backup-simplify]: Simplify (* 0 d2) into 0 7.383 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.383 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.383 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.383 * [taylor]: Taking taylor expansion of d1 in d1 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.383 * [taylor]: Taking taylor expansion of d3 in d1 7.383 * [backup-simplify]: Simplify d3 into d3 7.383 * [backup-simplify]: Simplify (* 0 d3) into 0 7.383 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.383 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.383 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.383 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 7.383 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 7.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.383 * [taylor]: Taking taylor expansion of d2 in d2 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.384 * [backup-simplify]: Simplify (/ 1 1) into 1 7.384 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.384 * [taylor]: Taking taylor expansion of d3 in d2 7.384 * [backup-simplify]: Simplify d3 into d3 7.384 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.384 * [backup-simplify]: Simplify (+ 1 0) into 1 7.384 * [taylor]: Taking taylor expansion of 1 in d3 7.384 * [backup-simplify]: Simplify 1 into 1 7.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.385 * [backup-simplify]: Simplify (- 0) into 0 7.386 * [backup-simplify]: Simplify (+ 0 0) into 0 7.386 * [taylor]: Taking taylor expansion of 0 in d2 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.386 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.386 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3)) 7.386 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 7.386 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.386 * [taylor]: Taking taylor expansion of d3 in d3 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify 1 into 1 7.387 * [backup-simplify]: Simplify (/ 1 1) into 1 7.387 * [backup-simplify]: Simplify (- 1) into -1 7.387 * [backup-simplify]: Simplify -1 into -1 7.387 * [backup-simplify]: Simplify 1 into 1 7.388 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.389 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.389 * [backup-simplify]: Simplify (- 0) into 0 7.389 * [backup-simplify]: Simplify (+ 0 0) into 0 7.389 * [taylor]: Taking taylor expansion of 0 in d2 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [taylor]: Taking taylor expansion of 0 in d3 7.389 * [backup-simplify]: Simplify 0 into 0 7.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.390 * [backup-simplify]: Simplify (- 0) into 0 7.390 * [backup-simplify]: Simplify (+ 0 0) into 0 7.390 * [taylor]: Taking taylor expansion of 0 in d3 7.390 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.391 * [backup-simplify]: Simplify (- 0) into 0 7.391 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify 0 into 0 7.392 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 7.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d3))))) into 0 7.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.393 * [backup-simplify]: Simplify (- 0) into 0 7.394 * [backup-simplify]: Simplify (+ 0 0) into 0 7.394 * [taylor]: Taking taylor expansion of 0 in d2 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [taylor]: Taking taylor expansion of 0 in d3 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [taylor]: Taking taylor expansion of 0 in d3 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.394 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.395 * [backup-simplify]: Simplify (- 0) into 0 7.395 * [backup-simplify]: Simplify (+ 0 0) into 0 7.395 * [taylor]: Taking taylor expansion of 0 in d3 7.395 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.396 * [backup-simplify]: Simplify (- 0) into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d1 d2) (* d1 d3)) 7.396 * [backup-simplify]: Simplify (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) 7.396 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 7.396 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 7.396 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.396 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.396 * [taylor]: Taking taylor expansion of d1 in d3 7.396 * [backup-simplify]: Simplify d1 into d1 7.396 * [taylor]: Taking taylor expansion of d2 in d3 7.396 * [backup-simplify]: Simplify d2 into d2 7.396 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.396 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.396 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.396 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.396 * [taylor]: Taking taylor expansion of d1 in d3 7.396 * [backup-simplify]: Simplify d1 into d1 7.396 * [taylor]: Taking taylor expansion of d3 in d3 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 1 into 1 7.396 * [backup-simplify]: Simplify (* d1 0) into 0 7.397 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.397 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.397 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 7.397 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.397 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.397 * [taylor]: Taking taylor expansion of d1 in d2 7.397 * [backup-simplify]: Simplify d1 into d1 7.397 * [taylor]: Taking taylor expansion of d2 in d2 7.397 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify 1 into 1 7.397 * [backup-simplify]: Simplify (* d1 0) into 0 7.397 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.397 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.397 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.397 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.397 * [taylor]: Taking taylor expansion of d1 in d2 7.397 * [backup-simplify]: Simplify d1 into d1 7.397 * [taylor]: Taking taylor expansion of d3 in d2 7.397 * [backup-simplify]: Simplify d3 into d3 7.397 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.397 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.397 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.398 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.398 * [taylor]: Taking taylor expansion of d1 in d1 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 1 into 1 7.398 * [taylor]: Taking taylor expansion of d2 in d1 7.398 * [backup-simplify]: Simplify d2 into d2 7.398 * [backup-simplify]: Simplify (* 0 d2) into 0 7.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.398 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.398 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.398 * [taylor]: Taking taylor expansion of d1 in d1 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 1 into 1 7.398 * [taylor]: Taking taylor expansion of d3 in d1 7.398 * [backup-simplify]: Simplify d3 into d3 7.398 * [backup-simplify]: Simplify (* 0 d3) into 0 7.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.398 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.398 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.398 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.398 * [taylor]: Taking taylor expansion of d1 in d1 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 1 into 1 7.399 * [taylor]: Taking taylor expansion of d2 in d1 7.399 * [backup-simplify]: Simplify d2 into d2 7.399 * [backup-simplify]: Simplify (* 0 d2) into 0 7.399 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.399 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.399 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.399 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.399 * [taylor]: Taking taylor expansion of d1 in d1 7.399 * [backup-simplify]: Simplify 0 into 0 7.399 * [backup-simplify]: Simplify 1 into 1 7.399 * [taylor]: Taking taylor expansion of d3 in d1 7.399 * [backup-simplify]: Simplify d3 into d3 7.399 * [backup-simplify]: Simplify (* 0 d3) into 0 7.399 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.399 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.399 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.400 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 7.400 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 7.400 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.400 * [taylor]: Taking taylor expansion of d2 in d2 7.400 * [backup-simplify]: Simplify 0 into 0 7.400 * [backup-simplify]: Simplify 1 into 1 7.400 * [backup-simplify]: Simplify (/ 1 1) into 1 7.400 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.400 * [taylor]: Taking taylor expansion of d3 in d2 7.400 * [backup-simplify]: Simplify d3 into d3 7.400 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.400 * [backup-simplify]: Simplify (+ 1 0) into 1 7.400 * [taylor]: Taking taylor expansion of 1 in d3 7.400 * [backup-simplify]: Simplify 1 into 1 7.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.402 * [backup-simplify]: Simplify (- 0) into 0 7.402 * [backup-simplify]: Simplify (+ 0 0) into 0 7.402 * [taylor]: Taking taylor expansion of 0 in d2 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.402 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.402 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3)) 7.403 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 7.403 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.403 * [taylor]: Taking taylor expansion of d3 in d3 7.403 * [backup-simplify]: Simplify 0 into 0 7.403 * [backup-simplify]: Simplify 1 into 1 7.403 * [backup-simplify]: Simplify (/ 1 1) into 1 7.403 * [backup-simplify]: Simplify (- 1) into -1 7.403 * [backup-simplify]: Simplify -1 into -1 7.403 * [backup-simplify]: Simplify 1 into 1 7.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.405 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.405 * [backup-simplify]: Simplify (- 0) into 0 7.405 * [backup-simplify]: Simplify (+ 0 0) into 0 7.405 * [taylor]: Taking taylor expansion of 0 in d2 7.405 * [backup-simplify]: Simplify 0 into 0 7.405 * [taylor]: Taking taylor expansion of 0 in d3 7.405 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.406 * [backup-simplify]: Simplify (- 0) into 0 7.406 * [backup-simplify]: Simplify (+ 0 0) into 0 7.406 * [taylor]: Taking taylor expansion of 0 in d3 7.406 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.407 * [backup-simplify]: Simplify (- 0) into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 7.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d3))))) into 0 7.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.409 * [backup-simplify]: Simplify (- 0) into 0 7.410 * [backup-simplify]: Simplify (+ 0 0) into 0 7.410 * [taylor]: Taking taylor expansion of 0 in d2 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [taylor]: Taking taylor expansion of 0 in d3 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [taylor]: Taking taylor expansion of 0 in d3 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.410 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.411 * [backup-simplify]: Simplify (- 0) into 0 7.411 * [backup-simplify]: Simplify (+ 0 0) into 0 7.411 * [taylor]: Taking taylor expansion of 0 in d3 7.411 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.412 * [backup-simplify]: Simplify (- 0) into 0 7.412 * [backup-simplify]: Simplify 0 into 0 7.412 * [backup-simplify]: Simplify 0 into 0 7.412 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d1 d2) (* d1 d3)) 7.412 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.412 * [backup-simplify]: Simplify (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) into (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) 7.412 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in (d1 d2 d3 d4) around 0 7.412 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d4 7.412 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 7.412 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.412 * [taylor]: Taking taylor expansion of d1 in d4 7.412 * [backup-simplify]: Simplify d1 into d1 7.412 * [taylor]: Taking taylor expansion of d4 in d4 7.413 * [backup-simplify]: Simplify 0 into 0 7.413 * [backup-simplify]: Simplify 1 into 1 7.413 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.413 * [taylor]: Taking taylor expansion of d1 in d4 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d2 in d4 7.413 * [backup-simplify]: Simplify d2 into d2 7.413 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d4 7.413 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 7.413 * [taylor]: Taking taylor expansion of d1 in d4 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.413 * [taylor]: Taking taylor expansion of d1 in d4 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d3 in d4 7.413 * [backup-simplify]: Simplify d3 into d3 7.413 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d3 7.413 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 7.413 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.413 * [taylor]: Taking taylor expansion of d1 in d3 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d4 in d3 7.413 * [backup-simplify]: Simplify d4 into d4 7.413 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.413 * [taylor]: Taking taylor expansion of d1 in d3 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d2 in d3 7.413 * [backup-simplify]: Simplify d2 into d2 7.413 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d3 7.413 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 7.413 * [taylor]: Taking taylor expansion of d1 in d3 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.413 * [taylor]: Taking taylor expansion of d1 in d3 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d3 in d3 7.413 * [backup-simplify]: Simplify 0 into 0 7.413 * [backup-simplify]: Simplify 1 into 1 7.413 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d2 7.413 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 7.413 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.413 * [taylor]: Taking taylor expansion of d1 in d2 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d4 in d2 7.413 * [backup-simplify]: Simplify d4 into d4 7.413 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.413 * [taylor]: Taking taylor expansion of d1 in d2 7.413 * [backup-simplify]: Simplify d1 into d1 7.413 * [taylor]: Taking taylor expansion of d2 in d2 7.413 * [backup-simplify]: Simplify 0 into 0 7.413 * [backup-simplify]: Simplify 1 into 1 7.413 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d2 7.413 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 7.414 * [taylor]: Taking taylor expansion of d1 in d2 7.414 * [backup-simplify]: Simplify d1 into d1 7.414 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.414 * [taylor]: Taking taylor expansion of d1 in d2 7.414 * [backup-simplify]: Simplify d1 into d1 7.414 * [taylor]: Taking taylor expansion of d3 in d2 7.414 * [backup-simplify]: Simplify d3 into d3 7.414 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 7.414 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 7.414 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d4 in d1 7.414 * [backup-simplify]: Simplify d4 into d4 7.414 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d2 in d1 7.414 * [backup-simplify]: Simplify d2 into d2 7.414 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 7.414 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d3 in d1 7.414 * [backup-simplify]: Simplify d3 into d3 7.414 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 7.414 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 7.414 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d4 in d1 7.414 * [backup-simplify]: Simplify d4 into d4 7.414 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d2 in d1 7.414 * [backup-simplify]: Simplify d2 into d2 7.414 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 7.414 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.414 * [taylor]: Taking taylor expansion of d1 in d1 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of d3 in d1 7.414 * [backup-simplify]: Simplify d3 into d3 7.415 * [backup-simplify]: Simplify (* 0 d4) into 0 7.415 * [backup-simplify]: Simplify (* 0 d2) into 0 7.415 * [backup-simplify]: Simplify (+ 0 0) into 0 7.415 * [backup-simplify]: Simplify (* 0 d3) into 0 7.415 * [backup-simplify]: Simplify (+ 0 0) into 0 7.415 * [backup-simplify]: Simplify (- 0) into 0 7.416 * [backup-simplify]: Simplify (+ 0 0) into 0 7.416 * [taylor]: Taking taylor expansion of 0 in d2 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [taylor]: Taking taylor expansion of 0 in d3 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [taylor]: Taking taylor expansion of 0 in d4 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.416 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.416 * [backup-simplify]: Simplify (+ d4 d2) into (+ d2 d4) 7.416 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.417 * [backup-simplify]: Simplify (+ 0 d3) into d3 7.417 * [backup-simplify]: Simplify (- d3) into (- d3) 7.417 * [backup-simplify]: Simplify (+ (+ d2 d4) (- d3)) into (- (+ d2 d4) d3) 7.417 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 7.417 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 7.417 * [taylor]: Taking taylor expansion of d2 in d2 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 1 into 1 7.417 * [taylor]: Taking taylor expansion of d4 in d2 7.417 * [backup-simplify]: Simplify d4 into d4 7.417 * [taylor]: Taking taylor expansion of d3 in d2 7.417 * [backup-simplify]: Simplify d3 into d3 7.417 * [backup-simplify]: Simplify (+ 0 d4) into d4 7.417 * [backup-simplify]: Simplify (- d3) into (- d3) 7.417 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3) 7.417 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 7.417 * [taylor]: Taking taylor expansion of d4 in d3 7.417 * [backup-simplify]: Simplify d4 into d4 7.417 * [taylor]: Taking taylor expansion of d3 in d3 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 1 into 1 7.417 * [backup-simplify]: Simplify (- 0) into 0 7.417 * [backup-simplify]: Simplify (+ d4 0) into d4 7.417 * [taylor]: Taking taylor expansion of d4 in d4 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 1 into 1 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [taylor]: Taking taylor expansion of 0 in d3 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [taylor]: Taking taylor expansion of 0 in d4 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [taylor]: Taking taylor expansion of 0 in d4 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 0 into 0 7.418 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.419 * [backup-simplify]: Simplify (+ 0 0) into 0 7.419 * [backup-simplify]: Simplify (* 1 1) into 1 7.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.420 * [backup-simplify]: Simplify (+ 1 0) into 1 7.420 * [backup-simplify]: Simplify (- 1) into -1 7.421 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.421 * [taylor]: Taking taylor expansion of -1 in d2 7.421 * [backup-simplify]: Simplify -1 into -1 7.421 * [taylor]: Taking taylor expansion of -1 in d3 7.421 * [backup-simplify]: Simplify -1 into -1 7.421 * [taylor]: Taking taylor expansion of -1 in d4 7.421 * [backup-simplify]: Simplify -1 into -1 7.421 * [backup-simplify]: Simplify -1 into -1 7.421 * [backup-simplify]: Simplify (+ 1 0) into 1 7.422 * [backup-simplify]: Simplify (- 0) into 0 7.422 * [backup-simplify]: Simplify (+ 1 0) into 1 7.422 * [taylor]: Taking taylor expansion of 1 in d3 7.422 * [backup-simplify]: Simplify 1 into 1 7.422 * [taylor]: Taking taylor expansion of 1 in d4 7.422 * [backup-simplify]: Simplify 1 into 1 7.422 * [backup-simplify]: Simplify 1 into 1 7.422 * [taylor]: Taking taylor expansion of 0 in d3 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [taylor]: Taking taylor expansion of 0 in d4 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.423 * [backup-simplify]: Simplify (- 1) into -1 7.423 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.423 * [taylor]: Taking taylor expansion of -1 in d4 7.423 * [backup-simplify]: Simplify -1 into -1 7.423 * [backup-simplify]: Simplify -1 into -1 7.424 * [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))) 7.424 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) (* (/ 1 d1) (/ 1 d1))) into (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) 7.424 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 7.424 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 7.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 7.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 7.424 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.424 * [taylor]: Taking taylor expansion of d1 in d4 7.425 * [backup-simplify]: Simplify d1 into d1 7.425 * [taylor]: Taking taylor expansion of d2 in d4 7.425 * [backup-simplify]: Simplify d2 into d2 7.425 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.425 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.425 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 7.425 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.425 * [taylor]: Taking taylor expansion of d1 in d4 7.425 * [backup-simplify]: Simplify d1 into d1 7.425 * [taylor]: Taking taylor expansion of d4 in d4 7.425 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify 1 into 1 7.425 * [backup-simplify]: Simplify (* d1 0) into 0 7.425 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.425 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 7.425 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 7.426 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 7.426 * [taylor]: Taking taylor expansion of d1 in d4 7.426 * [backup-simplify]: Simplify d1 into d1 7.426 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.426 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 7.426 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.426 * [taylor]: Taking taylor expansion of d1 in d4 7.426 * [backup-simplify]: Simplify d1 into d1 7.426 * [taylor]: Taking taylor expansion of d3 in d4 7.426 * [backup-simplify]: Simplify d3 into d3 7.426 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.426 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.426 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 7.426 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 7.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.426 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.426 * [taylor]: Taking taylor expansion of d1 in d3 7.426 * [backup-simplify]: Simplify d1 into d1 7.426 * [taylor]: Taking taylor expansion of d2 in d3 7.426 * [backup-simplify]: Simplify d2 into d2 7.426 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.426 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 7.426 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.427 * [taylor]: Taking taylor expansion of d1 in d3 7.427 * [backup-simplify]: Simplify d1 into d1 7.427 * [taylor]: Taking taylor expansion of d4 in d3 7.427 * [backup-simplify]: Simplify d4 into d4 7.427 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.427 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.427 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 7.427 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 7.427 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 7.427 * [taylor]: Taking taylor expansion of d1 in d3 7.427 * [backup-simplify]: Simplify d1 into d1 7.427 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.427 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.427 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.427 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.427 * [taylor]: Taking taylor expansion of d1 in d3 7.427 * [backup-simplify]: Simplify d1 into d1 7.427 * [taylor]: Taking taylor expansion of d3 in d3 7.427 * [backup-simplify]: Simplify 0 into 0 7.427 * [backup-simplify]: Simplify 1 into 1 7.427 * [backup-simplify]: Simplify (* d1 0) into 0 7.428 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.428 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.428 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 7.428 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 7.428 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.428 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.428 * [taylor]: Taking taylor expansion of d1 in d2 7.428 * [backup-simplify]: Simplify d1 into d1 7.428 * [taylor]: Taking taylor expansion of d2 in d2 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 1 into 1 7.428 * [backup-simplify]: Simplify (* d1 0) into 0 7.428 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.428 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.429 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 7.429 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.429 * [taylor]: Taking taylor expansion of d1 in d2 7.429 * [backup-simplify]: Simplify d1 into d1 7.429 * [taylor]: Taking taylor expansion of d4 in d2 7.429 * [backup-simplify]: Simplify d4 into d4 7.429 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.429 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 7.429 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 7.429 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 7.429 * [taylor]: Taking taylor expansion of d1 in d2 7.429 * [backup-simplify]: Simplify d1 into d1 7.429 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.429 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.429 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.429 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.429 * [taylor]: Taking taylor expansion of d1 in d2 7.429 * [backup-simplify]: Simplify d1 into d1 7.429 * [taylor]: Taking taylor expansion of d3 in d2 7.429 * [backup-simplify]: Simplify d3 into d3 7.429 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.429 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.429 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 7.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 7.430 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.430 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.430 * [taylor]: Taking taylor expansion of d1 in d1 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 1 into 1 7.430 * [taylor]: Taking taylor expansion of d2 in d1 7.430 * [backup-simplify]: Simplify d2 into d2 7.430 * [backup-simplify]: Simplify (* 0 d2) into 0 7.430 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.430 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.430 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.430 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.430 * [taylor]: Taking taylor expansion of d1 in d1 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 1 into 1 7.430 * [taylor]: Taking taylor expansion of d4 in d1 7.430 * [backup-simplify]: Simplify d4 into d4 7.430 * [backup-simplify]: Simplify (* 0 d4) into 0 7.431 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.431 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 7.431 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 7.431 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.431 * [taylor]: Taking taylor expansion of d1 in d1 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 1 into 1 7.431 * [backup-simplify]: Simplify (* 1 1) into 1 7.432 * [backup-simplify]: Simplify (/ 1 1) into 1 7.432 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.432 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.432 * [taylor]: Taking taylor expansion of d1 in d1 7.432 * [backup-simplify]: Simplify 0 into 0 7.432 * [backup-simplify]: Simplify 1 into 1 7.432 * [taylor]: Taking taylor expansion of d3 in d1 7.432 * [backup-simplify]: Simplify d3 into d3 7.432 * [backup-simplify]: Simplify (* 0 d3) into 0 7.432 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.432 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 7.432 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 7.432 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.433 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.433 * [taylor]: Taking taylor expansion of d1 in d1 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 1 into 1 7.433 * [taylor]: Taking taylor expansion of d2 in d1 7.433 * [backup-simplify]: Simplify d2 into d2 7.433 * [backup-simplify]: Simplify (* 0 d2) into 0 7.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.433 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.433 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.433 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.433 * [taylor]: Taking taylor expansion of d1 in d1 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 1 into 1 7.433 * [taylor]: Taking taylor expansion of d4 in d1 7.433 * [backup-simplify]: Simplify d4 into d4 7.433 * [backup-simplify]: Simplify (* 0 d4) into 0 7.434 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.434 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.434 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 7.434 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 7.434 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.434 * [taylor]: Taking taylor expansion of d1 in d1 7.434 * [backup-simplify]: Simplify 0 into 0 7.434 * [backup-simplify]: Simplify 1 into 1 7.434 * [backup-simplify]: Simplify (* 1 1) into 1 7.435 * [backup-simplify]: Simplify (/ 1 1) into 1 7.435 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.435 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.435 * [taylor]: Taking taylor expansion of d1 in d1 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 1 into 1 7.435 * [taylor]: Taking taylor expansion of d3 in d1 7.435 * [backup-simplify]: Simplify d3 into d3 7.435 * [backup-simplify]: Simplify (* 0 d3) into 0 7.435 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.435 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.436 * [backup-simplify]: Simplify (+ 1 0) into 1 7.436 * [backup-simplify]: Simplify (- 1) into -1 7.437 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.437 * [taylor]: Taking taylor expansion of -1 in d2 7.437 * [backup-simplify]: Simplify -1 into -1 7.437 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4)) 7.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.438 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 7.438 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.438 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 7.438 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 7.438 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 7.438 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.439 * [taylor]: Taking taylor expansion of d2 in d2 7.439 * [backup-simplify]: Simplify 0 into 0 7.439 * [backup-simplify]: Simplify 1 into 1 7.439 * [backup-simplify]: Simplify (/ 1 1) into 1 7.439 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 7.439 * [taylor]: Taking taylor expansion of d4 in d2 7.439 * [backup-simplify]: Simplify d4 into d4 7.439 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.439 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.439 * [taylor]: Taking taylor expansion of d3 in d2 7.439 * [backup-simplify]: Simplify d3 into d3 7.439 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.440 * [backup-simplify]: Simplify (+ 1 0) into 1 7.440 * [backup-simplify]: Simplify (+ 1 0) into 1 7.440 * [taylor]: Taking taylor expansion of 1 in d3 7.440 * [backup-simplify]: Simplify 1 into 1 7.440 * [taylor]: Taking taylor expansion of -1 in d3 7.440 * [backup-simplify]: Simplify -1 into -1 7.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.442 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.442 * [backup-simplify]: Simplify (+ 0 0) into 0 7.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.444 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.445 * [backup-simplify]: Simplify (+ 0 0) into 0 7.445 * [backup-simplify]: Simplify (- 0) into 0 7.446 * [backup-simplify]: Simplify (+ 0 0) into 0 7.446 * [taylor]: Taking taylor expansion of 0 in d2 7.446 * [backup-simplify]: Simplify 0 into 0 7.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.447 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 7.447 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.447 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 7.447 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 7.447 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 7.447 * [taylor]: Taking taylor expansion of d4 in d3 7.447 * [backup-simplify]: Simplify d4 into d4 7.447 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.447 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.447 * [taylor]: Taking taylor expansion of d3 in d3 7.447 * [backup-simplify]: Simplify 0 into 0 7.447 * [backup-simplify]: Simplify 1 into 1 7.447 * [backup-simplify]: Simplify (/ 1 1) into 1 7.448 * [backup-simplify]: Simplify (- 1) into -1 7.448 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.448 * [taylor]: Taking taylor expansion of -1 in d4 7.448 * [backup-simplify]: Simplify -1 into -1 7.448 * [taylor]: Taking taylor expansion of 0 in d3 7.448 * [backup-simplify]: Simplify 0 into 0 7.448 * [taylor]: Taking taylor expansion of 1 in d4 7.448 * [backup-simplify]: Simplify 1 into 1 7.448 * [taylor]: Taking taylor expansion of -1 in d4 7.448 * [backup-simplify]: Simplify -1 into -1 7.449 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0 7.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 7.451 * [backup-simplify]: Simplify (+ 0 0) into 0 7.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.454 * [backup-simplify]: Simplify (+ 0 0) into 0 7.455 * [backup-simplify]: Simplify (- 0) into 0 7.455 * [backup-simplify]: Simplify (+ 0 0) into 0 7.455 * [taylor]: Taking taylor expansion of 0 in d2 7.455 * [backup-simplify]: Simplify 0 into 0 7.455 * [taylor]: Taking taylor expansion of 0 in d3 7.455 * [backup-simplify]: Simplify 0 into 0 7.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.457 * [backup-simplify]: Simplify (+ 0 0) into 0 7.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.457 * [backup-simplify]: Simplify (- 0) into 0 7.457 * [backup-simplify]: Simplify (+ 0 0) into 0 7.457 * [taylor]: Taking taylor expansion of 0 in d3 7.457 * [backup-simplify]: Simplify 0 into 0 7.458 * [taylor]: Taking taylor expansion of 0 in d3 7.458 * [backup-simplify]: Simplify 0 into 0 7.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.459 * [backup-simplify]: Simplify (- 0) into 0 7.459 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 7.459 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 7.459 * [taylor]: Taking taylor expansion of d4 in d4 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [backup-simplify]: Simplify 1 into 1 7.459 * [backup-simplify]: Simplify (/ 1 1) into 1 7.459 * [backup-simplify]: Simplify 1 into 1 7.459 * [taylor]: Taking taylor expansion of 0 in d4 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [taylor]: Taking taylor expansion of 0 in d4 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [taylor]: Taking taylor expansion of 0 in d4 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [backup-simplify]: Simplify -1 into -1 7.460 * [backup-simplify]: Simplify 1 into 1 7.460 * [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)) 7.461 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) 7.461 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 7.461 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 7.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 7.461 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 7.461 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.461 * [taylor]: Taking taylor expansion of d1 in d4 7.461 * [backup-simplify]: Simplify d1 into d1 7.461 * [taylor]: Taking taylor expansion of d2 in d4 7.461 * [backup-simplify]: Simplify d2 into d2 7.461 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.461 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.461 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 7.461 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.461 * [taylor]: Taking taylor expansion of d1 in d4 7.461 * [backup-simplify]: Simplify d1 into d1 7.461 * [taylor]: Taking taylor expansion of d4 in d4 7.461 * [backup-simplify]: Simplify 0 into 0 7.461 * [backup-simplify]: Simplify 1 into 1 7.462 * [backup-simplify]: Simplify (* d1 0) into 0 7.462 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.462 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 7.462 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 7.462 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 7.462 * [taylor]: Taking taylor expansion of d1 in d4 7.462 * [backup-simplify]: Simplify d1 into d1 7.462 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.462 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.462 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 7.462 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.462 * [taylor]: Taking taylor expansion of d1 in d4 7.462 * [backup-simplify]: Simplify d1 into d1 7.463 * [taylor]: Taking taylor expansion of d3 in d4 7.463 * [backup-simplify]: Simplify d3 into d3 7.463 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.463 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.463 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 7.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 7.463 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.463 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.463 * [taylor]: Taking taylor expansion of d1 in d3 7.463 * [backup-simplify]: Simplify d1 into d1 7.463 * [taylor]: Taking taylor expansion of d2 in d3 7.463 * [backup-simplify]: Simplify d2 into d2 7.463 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.463 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.463 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 7.463 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.463 * [taylor]: Taking taylor expansion of d1 in d3 7.463 * [backup-simplify]: Simplify d1 into d1 7.463 * [taylor]: Taking taylor expansion of d4 in d3 7.463 * [backup-simplify]: Simplify d4 into d4 7.463 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.464 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.464 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 7.464 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 7.464 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 7.464 * [taylor]: Taking taylor expansion of d1 in d3 7.464 * [backup-simplify]: Simplify d1 into d1 7.464 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.464 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.464 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.464 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.464 * [taylor]: Taking taylor expansion of d1 in d3 7.464 * [backup-simplify]: Simplify d1 into d1 7.464 * [taylor]: Taking taylor expansion of d3 in d3 7.464 * [backup-simplify]: Simplify 0 into 0 7.464 * [backup-simplify]: Simplify 1 into 1 7.464 * [backup-simplify]: Simplify (* d1 0) into 0 7.465 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.465 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.465 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 7.465 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 7.465 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.465 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.465 * [taylor]: Taking taylor expansion of d1 in d2 7.465 * [backup-simplify]: Simplify d1 into d1 7.465 * [taylor]: Taking taylor expansion of d2 in d2 7.465 * [backup-simplify]: Simplify 0 into 0 7.465 * [backup-simplify]: Simplify 1 into 1 7.465 * [backup-simplify]: Simplify (* d1 0) into 0 7.465 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.465 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.465 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 7.465 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.465 * [taylor]: Taking taylor expansion of d1 in d2 7.465 * [backup-simplify]: Simplify d1 into d1 7.465 * [taylor]: Taking taylor expansion of d4 in d2 7.466 * [backup-simplify]: Simplify d4 into d4 7.466 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.466 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 7.466 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 7.466 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 7.466 * [taylor]: Taking taylor expansion of d1 in d2 7.466 * [backup-simplify]: Simplify d1 into d1 7.466 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2) 7.466 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2)) 7.466 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.466 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.466 * [taylor]: Taking taylor expansion of d1 in d2 7.466 * [backup-simplify]: Simplify d1 into d1 7.466 * [taylor]: Taking taylor expansion of d3 in d2 7.466 * [backup-simplify]: Simplify d3 into d3 7.466 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.466 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.466 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 7.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 7.466 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.466 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.467 * [taylor]: Taking taylor expansion of d1 in d1 7.467 * [backup-simplify]: Simplify 0 into 0 7.467 * [backup-simplify]: Simplify 1 into 1 7.467 * [taylor]: Taking taylor expansion of d2 in d1 7.467 * [backup-simplify]: Simplify d2 into d2 7.467 * [backup-simplify]: Simplify (* 0 d2) into 0 7.467 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.467 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.467 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.467 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.467 * [taylor]: Taking taylor expansion of d1 in d1 7.467 * [backup-simplify]: Simplify 0 into 0 7.467 * [backup-simplify]: Simplify 1 into 1 7.467 * [taylor]: Taking taylor expansion of d4 in d1 7.467 * [backup-simplify]: Simplify d4 into d4 7.467 * [backup-simplify]: Simplify (* 0 d4) into 0 7.468 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.468 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 7.468 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 7.468 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.468 * [taylor]: Taking taylor expansion of d1 in d1 7.468 * [backup-simplify]: Simplify 0 into 0 7.468 * [backup-simplify]: Simplify 1 into 1 7.468 * [backup-simplify]: Simplify (* 1 1) into 1 7.469 * [backup-simplify]: Simplify (/ 1 1) into 1 7.469 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.469 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.469 * [taylor]: Taking taylor expansion of d1 in d1 7.469 * [backup-simplify]: Simplify 0 into 0 7.469 * [backup-simplify]: Simplify 1 into 1 7.469 * [taylor]: Taking taylor expansion of d3 in d1 7.469 * [backup-simplify]: Simplify d3 into d3 7.469 * [backup-simplify]: Simplify (* 0 d3) into 0 7.469 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.469 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 7.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 7.469 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.469 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.469 * [taylor]: Taking taylor expansion of d1 in d1 7.470 * [backup-simplify]: Simplify 0 into 0 7.470 * [backup-simplify]: Simplify 1 into 1 7.470 * [taylor]: Taking taylor expansion of d2 in d1 7.470 * [backup-simplify]: Simplify d2 into d2 7.470 * [backup-simplify]: Simplify (* 0 d2) into 0 7.470 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.470 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.470 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.470 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.470 * [taylor]: Taking taylor expansion of d1 in d1 7.470 * [backup-simplify]: Simplify 0 into 0 7.470 * [backup-simplify]: Simplify 1 into 1 7.470 * [taylor]: Taking taylor expansion of d4 in d1 7.470 * [backup-simplify]: Simplify d4 into d4 7.470 * [backup-simplify]: Simplify (* 0 d4) into 0 7.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.471 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 7.471 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 7.471 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 7.471 * [taylor]: Taking taylor expansion of d1 in d1 7.471 * [backup-simplify]: Simplify 0 into 0 7.471 * [backup-simplify]: Simplify 1 into 1 7.471 * [backup-simplify]: Simplify (* 1 1) into 1 7.472 * [backup-simplify]: Simplify (/ 1 1) into 1 7.472 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.472 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.472 * [taylor]: Taking taylor expansion of d1 in d1 7.472 * [backup-simplify]: Simplify 0 into 0 7.472 * [backup-simplify]: Simplify 1 into 1 7.472 * [taylor]: Taking taylor expansion of d3 in d1 7.472 * [backup-simplify]: Simplify d3 into d3 7.472 * [backup-simplify]: Simplify (* 0 d3) into 0 7.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.472 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.473 * [backup-simplify]: Simplify (+ 1 0) into 1 7.473 * [backup-simplify]: Simplify (- 1) into -1 7.474 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.474 * [taylor]: Taking taylor expansion of -1 in d2 7.474 * [backup-simplify]: Simplify -1 into -1 7.474 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4)) 7.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.475 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 7.476 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.476 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 7.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 7.476 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 7.476 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.476 * [taylor]: Taking taylor expansion of d2 in d2 7.476 * [backup-simplify]: Simplify 0 into 0 7.476 * [backup-simplify]: Simplify 1 into 1 7.476 * [backup-simplify]: Simplify (/ 1 1) into 1 7.476 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 7.476 * [taylor]: Taking taylor expansion of d4 in d2 7.476 * [backup-simplify]: Simplify d4 into d4 7.476 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.476 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.477 * [taylor]: Taking taylor expansion of d3 in d2 7.477 * [backup-simplify]: Simplify d3 into d3 7.477 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.477 * [backup-simplify]: Simplify (+ 1 0) into 1 7.477 * [backup-simplify]: Simplify (+ 1 0) into 1 7.477 * [taylor]: Taking taylor expansion of 1 in d3 7.477 * [backup-simplify]: Simplify 1 into 1 7.477 * [taylor]: Taking taylor expansion of -1 in d3 7.478 * [backup-simplify]: Simplify -1 into -1 7.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.480 * [backup-simplify]: Simplify (+ 0 0) into 0 7.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.482 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.482 * [backup-simplify]: Simplify (+ 0 0) into 0 7.483 * [backup-simplify]: Simplify (- 0) into 0 7.483 * [backup-simplify]: Simplify (+ 0 0) into 0 7.483 * [taylor]: Taking taylor expansion of 0 in d2 7.483 * [backup-simplify]: Simplify 0 into 0 7.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.484 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 7.484 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.484 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 7.484 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 7.484 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 7.484 * [taylor]: Taking taylor expansion of d4 in d3 7.484 * [backup-simplify]: Simplify d4 into d4 7.484 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.484 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.484 * [taylor]: Taking taylor expansion of d3 in d3 7.484 * [backup-simplify]: Simplify 0 into 0 7.484 * [backup-simplify]: Simplify 1 into 1 7.485 * [backup-simplify]: Simplify (/ 1 1) into 1 7.485 * [backup-simplify]: Simplify (- 1) into -1 7.486 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.486 * [taylor]: Taking taylor expansion of -1 in d4 7.486 * [backup-simplify]: Simplify -1 into -1 7.486 * [taylor]: Taking taylor expansion of 0 in d3 7.486 * [backup-simplify]: Simplify 0 into 0 7.486 * [taylor]: Taking taylor expansion of 1 in d4 7.486 * [backup-simplify]: Simplify 1 into 1 7.486 * [taylor]: Taking taylor expansion of -1 in d4 7.486 * [backup-simplify]: Simplify -1 into -1 7.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0 7.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 7.489 * [backup-simplify]: Simplify (+ 0 0) into 0 7.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.492 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.492 * [backup-simplify]: Simplify (+ 0 0) into 0 7.492 * [backup-simplify]: Simplify (- 0) into 0 7.493 * [backup-simplify]: Simplify (+ 0 0) into 0 7.493 * [taylor]: Taking taylor expansion of 0 in d2 7.493 * [backup-simplify]: Simplify 0 into 0 7.493 * [taylor]: Taking taylor expansion of 0 in d3 7.493 * [backup-simplify]: Simplify 0 into 0 7.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.494 * [backup-simplify]: Simplify (+ 0 0) into 0 7.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.494 * [backup-simplify]: Simplify (- 0) into 0 7.495 * [backup-simplify]: Simplify (+ 0 0) into 0 7.495 * [taylor]: Taking taylor expansion of 0 in d3 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [taylor]: Taking taylor expansion of 0 in d3 7.495 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.496 * [backup-simplify]: Simplify (- 0) into 0 7.496 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 7.496 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 7.496 * [taylor]: Taking taylor expansion of d4 in d4 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify 1 into 1 7.497 * [backup-simplify]: Simplify (/ 1 1) into 1 7.497 * [backup-simplify]: Simplify 1 into 1 7.497 * [taylor]: Taking taylor expansion of 0 in d4 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [taylor]: Taking taylor expansion of 0 in d4 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [taylor]: Taking taylor expansion of 0 in d4 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify -1 into -1 7.497 * [backup-simplify]: Simplify 1 into 1 7.498 * [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)) 7.498 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 7.498 * [backup-simplify]: Simplify (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) into (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 7.498 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in (d1 d2 d3 d4) around 0 7.498 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d4 7.498 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 7.498 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.498 * [taylor]: Taking taylor expansion of d1 in d4 7.498 * [backup-simplify]: Simplify d1 into d1 7.498 * [taylor]: Taking taylor expansion of d4 in d4 7.498 * [backup-simplify]: Simplify 0 into 0 7.498 * [backup-simplify]: Simplify 1 into 1 7.498 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.498 * [taylor]: Taking taylor expansion of d1 in d4 7.498 * [backup-simplify]: Simplify d1 into d1 7.498 * [taylor]: Taking taylor expansion of d2 in d4 7.498 * [backup-simplify]: Simplify d2 into d2 7.498 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.498 * [taylor]: Taking taylor expansion of d1 in d4 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d3 in d4 7.499 * [backup-simplify]: Simplify d3 into d3 7.499 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d3 7.499 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 7.499 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.499 * [taylor]: Taking taylor expansion of d1 in d3 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d4 in d3 7.499 * [backup-simplify]: Simplify d4 into d4 7.499 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.499 * [taylor]: Taking taylor expansion of d1 in d3 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d2 in d3 7.499 * [backup-simplify]: Simplify d2 into d2 7.499 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.499 * [taylor]: Taking taylor expansion of d1 in d3 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d3 in d3 7.499 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify 1 into 1 7.499 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d2 7.499 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 7.499 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.499 * [taylor]: Taking taylor expansion of d1 in d2 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d4 in d2 7.499 * [backup-simplify]: Simplify d4 into d4 7.499 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.499 * [taylor]: Taking taylor expansion of d1 in d2 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d2 in d2 7.499 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify 1 into 1 7.499 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.499 * [taylor]: Taking taylor expansion of d1 in d2 7.499 * [backup-simplify]: Simplify d1 into d1 7.499 * [taylor]: Taking taylor expansion of d3 in d2 7.499 * [backup-simplify]: Simplify d3 into d3 7.500 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 7.500 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 7.500 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d4 in d1 7.500 * [backup-simplify]: Simplify d4 into d4 7.500 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d2 in d1 7.500 * [backup-simplify]: Simplify d2 into d2 7.500 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d3 in d1 7.500 * [backup-simplify]: Simplify d3 into d3 7.500 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 7.500 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 7.500 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d4 in d1 7.500 * [backup-simplify]: Simplify d4 into d4 7.500 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d2 in d1 7.500 * [backup-simplify]: Simplify d2 into d2 7.500 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.500 * [taylor]: Taking taylor expansion of d1 in d1 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of d3 in d1 7.501 * [backup-simplify]: Simplify d3 into d3 7.501 * [backup-simplify]: Simplify (* 0 d4) into 0 7.501 * [backup-simplify]: Simplify (* 0 d2) into 0 7.504 * [backup-simplify]: Simplify (+ 0 0) into 0 7.504 * [backup-simplify]: Simplify (* 0 d3) into 0 7.505 * [backup-simplify]: Simplify (- 0) into 0 7.505 * [backup-simplify]: Simplify (+ 0 0) into 0 7.505 * [taylor]: Taking taylor expansion of 0 in d2 7.505 * [backup-simplify]: Simplify 0 into 0 7.505 * [taylor]: Taking taylor expansion of 0 in d3 7.505 * [backup-simplify]: Simplify 0 into 0 7.505 * [taylor]: Taking taylor expansion of 0 in d4 7.505 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify 0 into 0 7.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.506 * [backup-simplify]: Simplify (+ d4 d2) into (+ d2 d4) 7.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.506 * [backup-simplify]: Simplify (- d3) into (- d3) 7.507 * [backup-simplify]: Simplify (+ (+ d2 d4) (- d3)) into (- (+ d2 d4) d3) 7.507 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 7.507 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 7.507 * [taylor]: Taking taylor expansion of d2 in d2 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify 1 into 1 7.507 * [taylor]: Taking taylor expansion of d4 in d2 7.507 * [backup-simplify]: Simplify d4 into d4 7.507 * [taylor]: Taking taylor expansion of d3 in d2 7.507 * [backup-simplify]: Simplify d3 into d3 7.507 * [backup-simplify]: Simplify (+ 0 d4) into d4 7.507 * [backup-simplify]: Simplify (- d3) into (- d3) 7.507 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3) 7.507 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 7.507 * [taylor]: Taking taylor expansion of d4 in d3 7.507 * [backup-simplify]: Simplify d4 into d4 7.507 * [taylor]: Taking taylor expansion of d3 in d3 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify 1 into 1 7.507 * [backup-simplify]: Simplify (- 0) into 0 7.508 * [backup-simplify]: Simplify (+ d4 0) into d4 7.508 * [taylor]: Taking taylor expansion of d4 in d4 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 1 into 1 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [taylor]: Taking taylor expansion of 0 in d3 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [taylor]: Taking taylor expansion of 0 in d4 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [taylor]: Taking taylor expansion of 0 in d4 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.510 * [backup-simplify]: Simplify (+ 0 0) into 0 7.511 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.511 * [backup-simplify]: Simplify (- 0) into 0 7.511 * [backup-simplify]: Simplify (+ 0 0) into 0 7.511 * [taylor]: Taking taylor expansion of 0 in d2 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [taylor]: Taking taylor expansion of 0 in d3 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [taylor]: Taking taylor expansion of 0 in d4 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 0 into 0 7.512 * [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))) 7.512 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 7.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 7.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 7.512 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 7.512 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.512 * [taylor]: Taking taylor expansion of d1 in d4 7.512 * [backup-simplify]: Simplify d1 into d1 7.512 * [taylor]: Taking taylor expansion of d4 in d4 7.512 * [backup-simplify]: Simplify 0 into 0 7.512 * [backup-simplify]: Simplify 1 into 1 7.512 * [backup-simplify]: Simplify (* d1 0) into 0 7.513 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.513 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.513 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 7.513 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.513 * [taylor]: Taking taylor expansion of d1 in d4 7.513 * [backup-simplify]: Simplify d1 into d1 7.513 * [taylor]: Taking taylor expansion of d2 in d4 7.513 * [backup-simplify]: Simplify d2 into d2 7.513 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.513 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.513 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 7.513 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.513 * [taylor]: Taking taylor expansion of d1 in d4 7.513 * [backup-simplify]: Simplify d1 into d1 7.513 * [taylor]: Taking taylor expansion of d3 in d4 7.513 * [backup-simplify]: Simplify d3 into d3 7.513 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.514 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.514 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 7.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 7.514 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 7.514 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.514 * [taylor]: Taking taylor expansion of d1 in d3 7.514 * [backup-simplify]: Simplify d1 into d1 7.514 * [taylor]: Taking taylor expansion of d4 in d3 7.514 * [backup-simplify]: Simplify d4 into d4 7.514 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.514 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.514 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.514 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.514 * [taylor]: Taking taylor expansion of d1 in d3 7.514 * [backup-simplify]: Simplify d1 into d1 7.514 * [taylor]: Taking taylor expansion of d2 in d3 7.514 * [backup-simplify]: Simplify d2 into d2 7.514 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.514 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.514 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.514 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.514 * [taylor]: Taking taylor expansion of d1 in d3 7.514 * [backup-simplify]: Simplify d1 into d1 7.514 * [taylor]: Taking taylor expansion of d3 in d3 7.514 * [backup-simplify]: Simplify 0 into 0 7.514 * [backup-simplify]: Simplify 1 into 1 7.514 * [backup-simplify]: Simplify (* d1 0) into 0 7.515 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.515 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 7.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 7.515 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 7.515 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.515 * [taylor]: Taking taylor expansion of d1 in d2 7.515 * [backup-simplify]: Simplify d1 into d1 7.515 * [taylor]: Taking taylor expansion of d4 in d2 7.515 * [backup-simplify]: Simplify d4 into d4 7.515 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.515 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.515 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.515 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.515 * [taylor]: Taking taylor expansion of d1 in d2 7.515 * [backup-simplify]: Simplify d1 into d1 7.515 * [taylor]: Taking taylor expansion of d2 in d2 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify 1 into 1 7.516 * [backup-simplify]: Simplify (* d1 0) into 0 7.516 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.516 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.516 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.516 * [taylor]: Taking taylor expansion of d1 in d2 7.516 * [backup-simplify]: Simplify d1 into d1 7.516 * [taylor]: Taking taylor expansion of d3 in d2 7.516 * [backup-simplify]: Simplify d3 into d3 7.516 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.516 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 7.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 7.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.516 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.516 * [taylor]: Taking taylor expansion of d1 in d1 7.516 * [backup-simplify]: Simplify 0 into 0 7.517 * [backup-simplify]: Simplify 1 into 1 7.517 * [taylor]: Taking taylor expansion of d4 in d1 7.517 * [backup-simplify]: Simplify d4 into d4 7.517 * [backup-simplify]: Simplify (* 0 d4) into 0 7.517 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.517 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.517 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.517 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.517 * [taylor]: Taking taylor expansion of d1 in d1 7.517 * [backup-simplify]: Simplify 0 into 0 7.517 * [backup-simplify]: Simplify 1 into 1 7.517 * [taylor]: Taking taylor expansion of d2 in d1 7.517 * [backup-simplify]: Simplify d2 into d2 7.517 * [backup-simplify]: Simplify (* 0 d2) into 0 7.518 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.518 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.518 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.518 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.518 * [taylor]: Taking taylor expansion of d1 in d1 7.518 * [backup-simplify]: Simplify 0 into 0 7.518 * [backup-simplify]: Simplify 1 into 1 7.518 * [taylor]: Taking taylor expansion of d3 in d1 7.518 * [backup-simplify]: Simplify d3 into d3 7.518 * [backup-simplify]: Simplify (* 0 d3) into 0 7.518 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.518 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.518 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 7.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 7.518 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.519 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.519 * [taylor]: Taking taylor expansion of d1 in d1 7.519 * [backup-simplify]: Simplify 0 into 0 7.519 * [backup-simplify]: Simplify 1 into 1 7.519 * [taylor]: Taking taylor expansion of d4 in d1 7.519 * [backup-simplify]: Simplify d4 into d4 7.519 * [backup-simplify]: Simplify (* 0 d4) into 0 7.519 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.519 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.519 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.519 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.519 * [taylor]: Taking taylor expansion of d1 in d1 7.519 * [backup-simplify]: Simplify 0 into 0 7.519 * [backup-simplify]: Simplify 1 into 1 7.519 * [taylor]: Taking taylor expansion of d2 in d1 7.519 * [backup-simplify]: Simplify d2 into d2 7.519 * [backup-simplify]: Simplify (* 0 d2) into 0 7.520 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.520 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.520 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.520 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.520 * [taylor]: Taking taylor expansion of d1 in d1 7.520 * [backup-simplify]: Simplify 0 into 0 7.520 * [backup-simplify]: Simplify 1 into 1 7.520 * [taylor]: Taking taylor expansion of d3 in d1 7.520 * [backup-simplify]: Simplify d3 into d3 7.520 * [backup-simplify]: Simplify (* 0 d3) into 0 7.520 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.521 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.521 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d4)) 7.521 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.521 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 7.521 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 7.521 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 7.521 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.521 * [taylor]: Taking taylor expansion of d2 in d2 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [backup-simplify]: Simplify 1 into 1 7.522 * [backup-simplify]: Simplify (/ 1 1) into 1 7.522 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 7.522 * [taylor]: Taking taylor expansion of d4 in d2 7.522 * [backup-simplify]: Simplify d4 into d4 7.522 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.522 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.522 * [taylor]: Taking taylor expansion of d3 in d2 7.522 * [backup-simplify]: Simplify d3 into d3 7.522 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.522 * [backup-simplify]: Simplify (+ 1 0) into 1 7.523 * [backup-simplify]: Simplify (+ 1 0) into 1 7.523 * [taylor]: Taking taylor expansion of 1 in d3 7.523 * [backup-simplify]: Simplify 1 into 1 7.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.524 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.525 * [backup-simplify]: Simplify (+ 0 0) into 0 7.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.526 * [backup-simplify]: Simplify (- 0) into 0 7.526 * [backup-simplify]: Simplify (+ 0 0) into 0 7.526 * [taylor]: Taking taylor expansion of 0 in d2 7.526 * [backup-simplify]: Simplify 0 into 0 7.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.527 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 7.527 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.528 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 7.528 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 7.528 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 7.528 * [taylor]: Taking taylor expansion of d4 in d3 7.528 * [backup-simplify]: Simplify d4 into d4 7.528 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.528 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.528 * [taylor]: Taking taylor expansion of d3 in d3 7.528 * [backup-simplify]: Simplify 0 into 0 7.528 * [backup-simplify]: Simplify 1 into 1 7.528 * [backup-simplify]: Simplify (/ 1 1) into 1 7.529 * [backup-simplify]: Simplify (- 1) into -1 7.529 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.529 * [taylor]: Taking taylor expansion of -1 in d4 7.529 * [backup-simplify]: Simplify -1 into -1 7.529 * [taylor]: Taking taylor expansion of 1 in d4 7.529 * [backup-simplify]: Simplify 1 into 1 7.530 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0 7.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 7.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.532 * [backup-simplify]: Simplify (+ 0 0) into 0 7.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.534 * [backup-simplify]: Simplify (- 0) into 0 7.534 * [backup-simplify]: Simplify (+ 0 0) into 0 7.534 * [taylor]: Taking taylor expansion of 0 in d2 7.534 * [backup-simplify]: Simplify 0 into 0 7.534 * [taylor]: Taking taylor expansion of 0 in d3 7.534 * [backup-simplify]: Simplify 0 into 0 7.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.535 * [backup-simplify]: Simplify (+ 0 0) into 0 7.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.536 * [backup-simplify]: Simplify (- 0) into 0 7.536 * [backup-simplify]: Simplify (+ 0 0) into 0 7.536 * [taylor]: Taking taylor expansion of 0 in d3 7.536 * [backup-simplify]: Simplify 0 into 0 7.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.537 * [backup-simplify]: Simplify (- 0) into 0 7.538 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 7.538 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 7.538 * [taylor]: Taking taylor expansion of d4 in d4 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify 1 into 1 7.538 * [backup-simplify]: Simplify (/ 1 1) into 1 7.538 * [backup-simplify]: Simplify 1 into 1 7.538 * [taylor]: Taking taylor expansion of 0 in d4 7.538 * [backup-simplify]: Simplify 0 into 0 7.538 * [backup-simplify]: Simplify -1 into -1 7.538 * [backup-simplify]: Simplify 1 into 1 7.539 * [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)) 7.539 * [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))) 7.539 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 7.540 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 7.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 7.540 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 7.540 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 7.540 * [taylor]: Taking taylor expansion of d1 in d4 7.540 * [backup-simplify]: Simplify d1 into d1 7.540 * [taylor]: Taking taylor expansion of d4 in d4 7.540 * [backup-simplify]: Simplify 0 into 0 7.540 * [backup-simplify]: Simplify 1 into 1 7.540 * [backup-simplify]: Simplify (* d1 0) into 0 7.540 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.540 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.540 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 7.540 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 7.540 * [taylor]: Taking taylor expansion of d1 in d4 7.540 * [backup-simplify]: Simplify d1 into d1 7.540 * [taylor]: Taking taylor expansion of d2 in d4 7.540 * [backup-simplify]: Simplify d2 into d2 7.540 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.541 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.541 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 7.541 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 7.541 * [taylor]: Taking taylor expansion of d1 in d4 7.541 * [backup-simplify]: Simplify d1 into d1 7.541 * [taylor]: Taking taylor expansion of d3 in d4 7.541 * [backup-simplify]: Simplify d3 into d3 7.541 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.541 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.541 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 7.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 7.541 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 7.541 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 7.541 * [taylor]: Taking taylor expansion of d1 in d3 7.541 * [backup-simplify]: Simplify d1 into d1 7.541 * [taylor]: Taking taylor expansion of d4 in d3 7.541 * [backup-simplify]: Simplify d4 into d4 7.541 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.541 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.541 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 7.541 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 7.541 * [taylor]: Taking taylor expansion of d1 in d3 7.541 * [backup-simplify]: Simplify d1 into d1 7.541 * [taylor]: Taking taylor expansion of d2 in d3 7.541 * [backup-simplify]: Simplify d2 into d2 7.541 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 7.542 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 7.542 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 7.542 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 7.542 * [taylor]: Taking taylor expansion of d1 in d3 7.542 * [backup-simplify]: Simplify d1 into d1 7.542 * [taylor]: Taking taylor expansion of d3 in d3 7.542 * [backup-simplify]: Simplify 0 into 0 7.542 * [backup-simplify]: Simplify 1 into 1 7.542 * [backup-simplify]: Simplify (* d1 0) into 0 7.542 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.542 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.542 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 7.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 7.542 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 7.542 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 7.542 * [taylor]: Taking taylor expansion of d1 in d2 7.542 * [backup-simplify]: Simplify d1 into d1 7.542 * [taylor]: Taking taylor expansion of d4 in d2 7.542 * [backup-simplify]: Simplify d4 into d4 7.543 * [backup-simplify]: Simplify (* d1 d4) into (* d1 d4) 7.543 * [backup-simplify]: Simplify (/ 1 (* d1 d4)) into (/ 1 (* d1 d4)) 7.543 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 7.543 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 7.543 * [taylor]: Taking taylor expansion of d1 in d2 7.543 * [backup-simplify]: Simplify d1 into d1 7.543 * [taylor]: Taking taylor expansion of d2 in d2 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 1 into 1 7.543 * [backup-simplify]: Simplify (* d1 0) into 0 7.543 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 7.543 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 7.543 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 7.543 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 7.543 * [taylor]: Taking taylor expansion of d1 in d2 7.543 * [backup-simplify]: Simplify d1 into d1 7.544 * [taylor]: Taking taylor expansion of d3 in d2 7.544 * [backup-simplify]: Simplify d3 into d3 7.544 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 7.544 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 7.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 7.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 7.544 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.544 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.544 * [taylor]: Taking taylor expansion of d1 in d1 7.544 * [backup-simplify]: Simplify 0 into 0 7.544 * [backup-simplify]: Simplify 1 into 1 7.544 * [taylor]: Taking taylor expansion of d4 in d1 7.544 * [backup-simplify]: Simplify d4 into d4 7.544 * [backup-simplify]: Simplify (* 0 d4) into 0 7.544 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.544 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.544 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.545 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.545 * [taylor]: Taking taylor expansion of d1 in d1 7.545 * [backup-simplify]: Simplify 0 into 0 7.545 * [backup-simplify]: Simplify 1 into 1 7.545 * [taylor]: Taking taylor expansion of d2 in d1 7.545 * [backup-simplify]: Simplify d2 into d2 7.545 * [backup-simplify]: Simplify (* 0 d2) into 0 7.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.545 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.545 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.545 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.545 * [taylor]: Taking taylor expansion of d1 in d1 7.545 * [backup-simplify]: Simplify 0 into 0 7.545 * [backup-simplify]: Simplify 1 into 1 7.545 * [taylor]: Taking taylor expansion of d3 in d1 7.545 * [backup-simplify]: Simplify d3 into d3 7.545 * [backup-simplify]: Simplify (* 0 d3) into 0 7.546 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.546 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.546 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 7.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 7.546 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 7.546 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 7.546 * [taylor]: Taking taylor expansion of d1 in d1 7.546 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify 1 into 1 7.546 * [taylor]: Taking taylor expansion of d4 in d1 7.546 * [backup-simplify]: Simplify d4 into d4 7.546 * [backup-simplify]: Simplify (* 0 d4) into 0 7.547 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d4)) into d4 7.547 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.547 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 7.547 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 7.547 * [taylor]: Taking taylor expansion of d1 in d1 7.547 * [backup-simplify]: Simplify 0 into 0 7.547 * [backup-simplify]: Simplify 1 into 1 7.547 * [taylor]: Taking taylor expansion of d2 in d1 7.547 * [backup-simplify]: Simplify d2 into d2 7.547 * [backup-simplify]: Simplify (* 0 d2) into 0 7.547 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 7.547 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 7.547 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 7.547 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 7.547 * [taylor]: Taking taylor expansion of d1 in d1 7.547 * [backup-simplify]: Simplify 0 into 0 7.547 * [backup-simplify]: Simplify 1 into 1 7.548 * [taylor]: Taking taylor expansion of d3 in d1 7.548 * [backup-simplify]: Simplify d3 into d3 7.548 * [backup-simplify]: Simplify (* 0 d3) into 0 7.548 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 7.548 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.548 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d4)) 7.548 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.549 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 7.549 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 7.549 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 7.549 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 7.549 * [taylor]: Taking taylor expansion of d2 in d2 7.549 * [backup-simplify]: Simplify 0 into 0 7.549 * [backup-simplify]: Simplify 1 into 1 7.549 * [backup-simplify]: Simplify (/ 1 1) into 1 7.549 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 7.549 * [taylor]: Taking taylor expansion of d4 in d2 7.549 * [backup-simplify]: Simplify d4 into d4 7.549 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.549 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 7.549 * [taylor]: Taking taylor expansion of d3 in d2 7.549 * [backup-simplify]: Simplify d3 into d3 7.549 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 7.550 * [backup-simplify]: Simplify (+ 1 0) into 1 7.550 * [backup-simplify]: Simplify (+ 1 0) into 1 7.550 * [taylor]: Taking taylor expansion of 1 in d3 7.550 * [backup-simplify]: Simplify 1 into 1 7.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d4))) into 0 7.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 7.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 7.552 * [backup-simplify]: Simplify (+ 0 0) into 0 7.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 7.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.554 * [backup-simplify]: Simplify (- 0) into 0 7.554 * [backup-simplify]: Simplify (+ 0 0) into 0 7.554 * [taylor]: Taking taylor expansion of 0 in d2 7.554 * [backup-simplify]: Simplify 0 into 0 7.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.555 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 7.555 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 7.555 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 7.555 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 7.555 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 7.555 * [taylor]: Taking taylor expansion of d4 in d3 7.555 * [backup-simplify]: Simplify d4 into d4 7.555 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 7.555 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 7.555 * [taylor]: Taking taylor expansion of d3 in d3 7.555 * [backup-simplify]: Simplify 0 into 0 7.555 * [backup-simplify]: Simplify 1 into 1 7.556 * [backup-simplify]: Simplify (/ 1 1) into 1 7.556 * [backup-simplify]: Simplify (- 1) into -1 7.556 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.557 * [taylor]: Taking taylor expansion of -1 in d4 7.557 * [backup-simplify]: Simplify -1 into -1 7.557 * [taylor]: Taking taylor expansion of 1 in d4 7.557 * [backup-simplify]: Simplify 1 into 1 7.558 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d4)))) into 0 7.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 7.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 7.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 7.560 * [backup-simplify]: Simplify (+ 0 0) into 0 7.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 7.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 7.561 * [backup-simplify]: Simplify (- 0) into 0 7.561 * [backup-simplify]: Simplify (+ 0 0) into 0 7.562 * [taylor]: Taking taylor expansion of 0 in d2 7.562 * [backup-simplify]: Simplify 0 into 0 7.562 * [taylor]: Taking taylor expansion of 0 in d3 7.562 * [backup-simplify]: Simplify 0 into 0 7.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 7.563 * [backup-simplify]: Simplify (+ 0 0) into 0 7.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 7.564 * [backup-simplify]: Simplify (- 0) into 0 7.564 * [backup-simplify]: Simplify (+ 0 0) into 0 7.564 * [taylor]: Taking taylor expansion of 0 in d3 7.564 * [backup-simplify]: Simplify 0 into 0 7.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.565 * [backup-simplify]: Simplify (- 0) into 0 7.565 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 7.565 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 7.565 * [taylor]: Taking taylor expansion of d4 in d4 7.566 * [backup-simplify]: Simplify 0 into 0 7.566 * [backup-simplify]: Simplify 1 into 1 7.566 * [backup-simplify]: Simplify (/ 1 1) into 1 7.566 * [backup-simplify]: Simplify 1 into 1 7.566 * [taylor]: Taking taylor expansion of 0 in d4 7.566 * [backup-simplify]: Simplify 0 into 0 7.566 * [backup-simplify]: Simplify -1 into -1 7.566 * [backup-simplify]: Simplify 1 into 1 7.567 * [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)) 7.567 * * * [progress]: simplifying candidates 7.569 * [simplify]: Simplifying: (fma d1 d2 (- (* d3 d1))) (fma (- d3) d1 (* d3 d1)) (expm1 (- (* d1 d2) (* d1 d3))) (log1p (- (* d1 d2) (* d1 d3))) (- (* d1 d3)) (/ (exp (* d1 d2)) (exp (* d1 d3))) (log (- (* d1 d2) (* d1 d3))) (exp (- (* d1 d2) (* d1 d3))) (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3)))) (cbrt (- (* d1 d2) (* d1 d3))) (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (- (* d1 d3)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (+ (* d1 d2) (* d1 d3)) (- d2 d3) (- (* d1 d3)) (fma (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma 1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (expm1 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (log1p (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (* d1 d1)) (- (* d1 d1)) (- (* d1 d1)) (/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1))) (log (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (exp (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (* (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 3) (pow (* d1 d1) 3)) (+ (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (* (* d1 d1) (* d1 d1)) (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (- (* d1 d1)) (- (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* d1 d1) (* d1 d1))) (+ (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (* d4 d1) (* d1 d1)) (+ (- (* d1 d3) (* d4 d1)) (* d1 d1)) (- (* d1 d1)) (expm1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (log1p (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (fma (- d3) d1 (* d3 d1)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (- (* d1 d3) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 0 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 7.571 * * [simplify]: Extracting # 0 : cost 0 7.572 * * [simplify]: Extracting # 1 : cost 0 7.572 * * [simplify]: Extracting # 2 : cost 0 7.572 * * [simplify]: Extracting # 3 : cost 0 7.572 * * [simplify]: Extracting # 4 : cost 0 7.573 * * [simplify]: Extracting # 5 : cost 0 7.573 * * [simplify]: Extracting # 6 : cost 0 7.573 * * [simplify]: iteration 0 : 106 enodes (cost 1089 ) 7.623 * * [simplify]: Extracting # 0 : cost 0 7.624 * * [simplify]: Extracting # 1 : cost 0 7.625 * * [simplify]: Extracting # 2 : cost 0 7.625 * * [simplify]: Extracting # 3 : cost 0 7.626 * * [simplify]: Extracting # 4 : cost 0 7.626 * * [simplify]: Extracting # 5 : cost 0 7.627 * * [simplify]: iteration 1 : 297 enodes (cost 848 ) 7.890 * * [simplify]: Extracting # 0 : cost 0 7.891 * * [simplify]: Extracting # 1 : cost 0 7.893 * * [simplify]: Extracting # 2 : cost 0 7.894 * * [simplify]: Extracting # 3 : cost 0 7.895 * * [simplify]: Extracting # 4 : cost 0 7.896 * * [simplify]: iteration 2 : 1107 enodes (cost 692 ) 8.691 * * [simplify]: Extracting # 0 : cost 0 8.702 * * [simplify]: Extracting # 1 : cost 0 8.710 * * [simplify]: Extracting # 2 : cost 0 8.716 * * [simplify]: Extracting # 3 : cost 0 8.722 * * [simplify]: Extracting # 4 : cost 0 8.732 * * [simplify]: iteration done: 5000 enodes (cost 659 ) 8.732 * [simplify]: Simplified to: (* d1 (- d2 d3)) (* d3 (+ (- d1) d1)) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (- (* d1 d3)) (exp (* d1 (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (* d1 (+ (* d1 (* d2 d2)) (* d3 (* d1 (+ d2 d3))))) (- (* d1 d3)) (* (* d1 (+ d2 d3)) (* d1 (- d2 d3))) (* d1 (+ d2 d3)) (- d2 d3) (- (* d1 d3)) (fma (- d1) d1 (pow (cbrt (* d1 (- (+ d4 d2) d3))) 3)) (* d1 (+ (- d1) d1)) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d1) d1)) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d1) d1)) (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (- (* d1 d1)) (- (* d1 d1)) (- (* d1 d1)) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (- (pow (* d1 (- (+ d4 d2) d3)) 3) (pow d1 6)) (+ (* (* d1 (- (+ d4 d2) d3)) (* d1 (+ (+ d4 d1) (- d2 d3)))) (pow d1 4)) (- (* d1 d1)) (- (* (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3))) (pow d1 4)) (* d1 (+ (+ d4 d1) (- d2 d3))) (+ (sqrt (* d1 (- (+ d4 d2) d3))) d1) (- (sqrt (* d1 (- (+ d4 d2) d3))) d1) (* d1 (- d4 d1)) (* d1 (- d3 (- d4 d1))) (- (* d1 d1)) (expm1 (* d1 (- (+ d4 d2) d3))) (log1p (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (log (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (* (cbrt (* d1 (- (+ d4 d2) d3))) (cbrt (* d1 (- (+ d4 d2) d3)))) (cbrt (* d1 (- (+ d4 d2) d3))) (pow (* d1 (- (+ d4 d2) d3)) 3) (sqrt (* d1 (- (+ d4 d2) d3))) (sqrt (* d1 (- (+ d4 d2) d3))) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d4 d1) 3)) (fma (* d4 d1) (* d4 d1) (* (* d1 (- d2 d3)) (* d1 (- (- d2 d3) d4)))) (* (* d1 (- (+ d4 d2) d3)) (* d1 (- (- d2 d3) d4))) (* d1 (- (- d2 d3) d4)) (* d1 (+ (- d3) (+ d3 d4))) (* d1 (- d4 d3)) (* d1 (- d4 d3)) (* d1 (- d3 d4)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 (+ d3 d1))) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) 0 (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) 8.733 * * * [progress]: adding candidates to table 8.954 * * [progress]: iteration 2 / 4 8.954 * * * [progress]: picking best candidate 8.955 * * * * [pick]: Picked # 8.955 * * * [progress]: localizing error 8.963 * * * [progress]: generating rewritten candidates 8.964 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 9.414 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 9.723 * * * [progress]: generating series expansions 9.723 * * * * [progress]: [ 1 / 2 ] generating series at (2) 9.724 * [backup-simplify]: Simplify (* d1 (- (+ (- d2 d3) d4) d1)) into (* d1 (- (+ d2 d4) (+ d3 d1))) 9.724 * [approximate]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in (d1 d2 d3 d4) around 0 9.724 * [taylor]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in d4 9.724 * [taylor]: Taking taylor expansion of d1 in d4 9.724 * [backup-simplify]: Simplify d1 into d1 9.724 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4 9.724 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4 9.724 * [taylor]: Taking taylor expansion of d2 in d4 9.724 * [backup-simplify]: Simplify d2 into d2 9.724 * [taylor]: Taking taylor expansion of d4 in d4 9.724 * [backup-simplify]: Simplify 0 into 0 9.724 * [backup-simplify]: Simplify 1 into 1 9.724 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4 9.724 * [taylor]: Taking taylor expansion of d3 in d4 9.724 * [backup-simplify]: Simplify d3 into d3 9.724 * [taylor]: Taking taylor expansion of d1 in d4 9.724 * [backup-simplify]: Simplify d1 into d1 9.724 * [taylor]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in d3 9.724 * [taylor]: Taking taylor expansion of d1 in d3 9.724 * [backup-simplify]: Simplify d1 into d1 9.724 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3 9.724 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3 9.724 * [taylor]: Taking taylor expansion of d2 in d3 9.724 * [backup-simplify]: Simplify d2 into d2 9.724 * [taylor]: Taking taylor expansion of d4 in d3 9.724 * [backup-simplify]: Simplify d4 into d4 9.724 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3 9.725 * [taylor]: Taking taylor expansion of d3 in d3 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 1 into 1 9.725 * [taylor]: Taking taylor expansion of d1 in d3 9.725 * [backup-simplify]: Simplify d1 into d1 9.725 * [taylor]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in d2 9.725 * [taylor]: Taking taylor expansion of d1 in d2 9.725 * [backup-simplify]: Simplify d1 into d1 9.725 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2 9.725 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 9.725 * [taylor]: Taking taylor expansion of d2 in d2 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 1 into 1 9.725 * [taylor]: Taking taylor expansion of d4 in d2 9.725 * [backup-simplify]: Simplify d4 into d4 9.725 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 9.725 * [taylor]: Taking taylor expansion of d3 in d2 9.725 * [backup-simplify]: Simplify d3 into d3 9.725 * [taylor]: Taking taylor expansion of d1 in d2 9.725 * [backup-simplify]: Simplify d1 into d1 9.725 * [taylor]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in d1 9.725 * [taylor]: Taking taylor expansion of d1 in d1 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 1 into 1 9.725 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1 9.725 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1 9.725 * [taylor]: Taking taylor expansion of d2 in d1 9.725 * [backup-simplify]: Simplify d2 into d2 9.725 * [taylor]: Taking taylor expansion of d4 in d1 9.725 * [backup-simplify]: Simplify d4 into d4 9.725 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 9.725 * [taylor]: Taking taylor expansion of d3 in d1 9.725 * [backup-simplify]: Simplify d3 into d3 9.725 * [taylor]: Taking taylor expansion of d1 in d1 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 1 into 1 9.726 * [taylor]: Taking taylor expansion of (* d1 (- (+ d2 d4) (+ d3 d1))) in d1 9.726 * [taylor]: Taking taylor expansion of d1 in d1 9.726 * [backup-simplify]: Simplify 0 into 0 9.726 * [backup-simplify]: Simplify 1 into 1 9.726 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1 9.726 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1 9.726 * [taylor]: Taking taylor expansion of d2 in d1 9.726 * [backup-simplify]: Simplify d2 into d2 9.726 * [taylor]: Taking taylor expansion of d4 in d1 9.726 * [backup-simplify]: Simplify d4 into d4 9.726 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 9.726 * [taylor]: Taking taylor expansion of d3 in d1 9.726 * [backup-simplify]: Simplify d3 into d3 9.726 * [taylor]: Taking taylor expansion of d1 in d1 9.726 * [backup-simplify]: Simplify 0 into 0 9.726 * [backup-simplify]: Simplify 1 into 1 9.726 * [backup-simplify]: Simplify (+ d2 d4) into (+ d4 d2) 9.726 * [backup-simplify]: Simplify (+ d3 0) into d3 9.726 * [backup-simplify]: Simplify (- d3) into (- d3) 9.726 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3) 9.726 * [backup-simplify]: Simplify (* 0 (- (+ d4 d2) d3)) into 0 9.726 * [taylor]: Taking taylor expansion of 0 in d2 9.726 * [backup-simplify]: Simplify 0 into 0 9.726 * [taylor]: Taking taylor expansion of 0 in d3 9.727 * [backup-simplify]: Simplify 0 into 0 9.727 * [taylor]: Taking taylor expansion of 0 in d4 9.727 * [backup-simplify]: Simplify 0 into 0 9.727 * [backup-simplify]: Simplify 0 into 0 9.727 * [backup-simplify]: Simplify (+ 0 0) into 0 9.728 * [backup-simplify]: Simplify (+ 0 1) into 1 9.728 * [backup-simplify]: Simplify (- 1) into -1 9.729 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.729 * [backup-simplify]: Simplify (+ (* 0 -1) (* 1 (- (+ d4 d2) d3))) into (- (+ d2 d4) d3) 9.729 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 9.729 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 9.729 * [taylor]: Taking taylor expansion of d2 in d2 9.729 * [backup-simplify]: Simplify 0 into 0 9.729 * [backup-simplify]: Simplify 1 into 1 9.729 * [taylor]: Taking taylor expansion of d4 in d2 9.729 * [backup-simplify]: Simplify d4 into d4 9.729 * [taylor]: Taking taylor expansion of d3 in d2 9.729 * [backup-simplify]: Simplify d3 into d3 9.729 * [backup-simplify]: Simplify (+ 0 d4) into d4 9.729 * [backup-simplify]: Simplify (- d3) into (- d3) 9.730 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3) 9.730 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 9.730 * [taylor]: Taking taylor expansion of d4 in d3 9.730 * [backup-simplify]: Simplify d4 into d4 9.730 * [taylor]: Taking taylor expansion of d3 in d3 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [backup-simplify]: Simplify 1 into 1 9.730 * [backup-simplify]: Simplify (- 0) into 0 9.730 * [backup-simplify]: Simplify (+ d4 0) into d4 9.730 * [taylor]: Taking taylor expansion of d4 in d4 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [backup-simplify]: Simplify 1 into 1 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [taylor]: Taking taylor expansion of 0 in d3 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [taylor]: Taking taylor expansion of 0 in d4 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [backup-simplify]: Simplify 0 into 0 9.730 * [taylor]: Taking taylor expansion of 0 in d4 9.731 * [backup-simplify]: Simplify 0 into 0 9.731 * [backup-simplify]: Simplify 0 into 0 9.731 * [backup-simplify]: Simplify 0 into 0 9.731 * [backup-simplify]: Simplify (+ 0 0) into 0 9.731 * [backup-simplify]: Simplify (+ 0 0) into 0 9.732 * [backup-simplify]: Simplify (- 0) into 0 9.732 * [backup-simplify]: Simplify (+ 0 0) into 0 9.733 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (* 0 (- (+ d4 d2) d3)))) into (- 1) 9.733 * [taylor]: Taking taylor expansion of (- 1) in d2 9.733 * [taylor]: Taking taylor expansion of 1 in d2 9.733 * [backup-simplify]: Simplify 1 into 1 9.734 * [backup-simplify]: Simplify (- 1) into -1 9.734 * [taylor]: Taking taylor expansion of -1 in d3 9.734 * [backup-simplify]: Simplify -1 into -1 9.734 * [taylor]: Taking taylor expansion of -1 in d4 9.734 * [backup-simplify]: Simplify -1 into -1 9.734 * [backup-simplify]: Simplify -1 into -1 9.734 * [backup-simplify]: Simplify (+ 1 0) into 1 9.735 * [backup-simplify]: Simplify (- 0) into 0 9.735 * [backup-simplify]: Simplify (+ 1 0) into 1 9.735 * [taylor]: Taking taylor expansion of 1 in d3 9.735 * [backup-simplify]: Simplify 1 into 1 9.735 * [taylor]: Taking taylor expansion of 1 in d4 9.735 * [backup-simplify]: Simplify 1 into 1 9.735 * [backup-simplify]: Simplify 1 into 1 9.736 * [taylor]: Taking taylor expansion of 0 in d3 9.736 * [backup-simplify]: Simplify 0 into 0 9.736 * [taylor]: Taking taylor expansion of 0 in d4 9.736 * [backup-simplify]: Simplify 0 into 0 9.736 * [backup-simplify]: Simplify 0 into 0 9.736 * [backup-simplify]: Simplify (- 1) into -1 9.736 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.736 * [taylor]: Taking taylor expansion of -1 in d4 9.737 * [backup-simplify]: Simplify -1 into -1 9.737 * [backup-simplify]: Simplify -1 into -1 9.737 * [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))) 9.738 * [backup-simplify]: Simplify (* (/ 1 d1) (- (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) (/ 1 d1))) into (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) 9.738 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d3 d4) around 0 9.738 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4 9.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4 9.738 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 9.738 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 9.738 * [taylor]: Taking taylor expansion of d2 in d4 9.738 * [backup-simplify]: Simplify d2 into d2 9.738 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.738 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.738 * [taylor]: Taking taylor expansion of d4 in d4 9.738 * [backup-simplify]: Simplify 0 into 0 9.738 * [backup-simplify]: Simplify 1 into 1 9.738 * [backup-simplify]: Simplify (/ 1 1) into 1 9.738 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 9.738 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.739 * [taylor]: Taking taylor expansion of d1 in d4 9.739 * [backup-simplify]: Simplify d1 into d1 9.739 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.739 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 9.739 * [taylor]: Taking taylor expansion of d3 in d4 9.739 * [backup-simplify]: Simplify d3 into d3 9.739 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.739 * [taylor]: Taking taylor expansion of d1 in d4 9.739 * [backup-simplify]: Simplify d1 into d1 9.739 * [backup-simplify]: Simplify (+ 0 1) into 1 9.740 * [backup-simplify]: Simplify (+ 1 0) into 1 9.740 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.740 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3 9.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3 9.740 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 9.740 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 9.740 * [taylor]: Taking taylor expansion of d2 in d3 9.740 * [backup-simplify]: Simplify d2 into d2 9.740 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.740 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.740 * [taylor]: Taking taylor expansion of d4 in d3 9.740 * [backup-simplify]: Simplify d4 into d4 9.740 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.740 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.740 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.740 * [taylor]: Taking taylor expansion of d1 in d3 9.740 * [backup-simplify]: Simplify d1 into d1 9.740 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.740 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.740 * [taylor]: Taking taylor expansion of d3 in d3 9.740 * [backup-simplify]: Simplify 0 into 0 9.740 * [backup-simplify]: Simplify 1 into 1 9.741 * [backup-simplify]: Simplify (/ 1 1) into 1 9.741 * [taylor]: Taking taylor expansion of d1 in d3 9.741 * [backup-simplify]: Simplify d1 into d1 9.741 * [backup-simplify]: Simplify (+ 0 1) into 1 9.742 * [backup-simplify]: Simplify (- 1) into -1 9.742 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.742 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 9.742 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2 9.742 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 9.742 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.742 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.742 * [taylor]: Taking taylor expansion of d2 in d2 9.742 * [backup-simplify]: Simplify 0 into 0 9.742 * [backup-simplify]: Simplify 1 into 1 9.743 * [backup-simplify]: Simplify (/ 1 1) into 1 9.743 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.743 * [taylor]: Taking taylor expansion of d4 in d2 9.743 * [backup-simplify]: Simplify d4 into d4 9.743 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.743 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.743 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.743 * [taylor]: Taking taylor expansion of d1 in d2 9.743 * [backup-simplify]: Simplify d1 into d1 9.743 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.743 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.743 * [taylor]: Taking taylor expansion of d3 in d2 9.743 * [backup-simplify]: Simplify d3 into d3 9.743 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.743 * [taylor]: Taking taylor expansion of d1 in d2 9.743 * [backup-simplify]: Simplify d1 into d1 9.744 * [backup-simplify]: Simplify (+ 1 0) into 1 9.744 * [backup-simplify]: Simplify (+ 1 0) into 1 9.744 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.744 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 9.744 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 9.744 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.744 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.744 * [taylor]: Taking taylor expansion of d2 in d1 9.744 * [backup-simplify]: Simplify d2 into d2 9.745 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.745 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.745 * [taylor]: Taking taylor expansion of d4 in d1 9.745 * [backup-simplify]: Simplify d4 into d4 9.745 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.745 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.745 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.745 * [taylor]: Taking taylor expansion of d1 in d1 9.745 * [backup-simplify]: Simplify 0 into 0 9.745 * [backup-simplify]: Simplify 1 into 1 9.745 * [backup-simplify]: Simplify (/ 1 1) into 1 9.745 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.745 * [taylor]: Taking taylor expansion of d3 in d1 9.745 * [backup-simplify]: Simplify d3 into d3 9.745 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.745 * [taylor]: Taking taylor expansion of d1 in d1 9.745 * [backup-simplify]: Simplify 0 into 0 9.745 * [backup-simplify]: Simplify 1 into 1 9.746 * [backup-simplify]: Simplify (+ 1 0) into 1 9.746 * [backup-simplify]: Simplify (- 1) into -1 9.747 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.747 * [backup-simplify]: Simplify (/ -1 1) into -1 9.747 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 9.747 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 9.747 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.747 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.747 * [taylor]: Taking taylor expansion of d2 in d1 9.747 * [backup-simplify]: Simplify d2 into d2 9.748 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.748 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.748 * [taylor]: Taking taylor expansion of d4 in d1 9.748 * [backup-simplify]: Simplify d4 into d4 9.748 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.748 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.748 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.748 * [taylor]: Taking taylor expansion of d1 in d1 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify 1 into 1 9.748 * [backup-simplify]: Simplify (/ 1 1) into 1 9.748 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.748 * [taylor]: Taking taylor expansion of d3 in d1 9.748 * [backup-simplify]: Simplify d3 into d3 9.749 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.749 * [taylor]: Taking taylor expansion of d1 in d1 9.749 * [backup-simplify]: Simplify 0 into 0 9.749 * [backup-simplify]: Simplify 1 into 1 9.749 * [backup-simplify]: Simplify (+ 1 0) into 1 9.749 * [backup-simplify]: Simplify (- 1) into -1 9.750 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.750 * [backup-simplify]: Simplify (/ -1 1) into -1 9.750 * [taylor]: Taking taylor expansion of -1 in d2 9.750 * [backup-simplify]: Simplify -1 into -1 9.751 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4)) 9.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.752 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 9.752 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 9.752 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d4)) (- (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 9.753 * [backup-simplify]: Simplify (- (/ (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 1) (+ (* -1 (/ 0 1)))) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 9.753 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 9.753 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.753 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.753 * [taylor]: Taking taylor expansion of d2 in d2 9.753 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify 1 into 1 9.753 * [backup-simplify]: Simplify (/ 1 1) into 1 9.753 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.753 * [taylor]: Taking taylor expansion of d4 in d2 9.753 * [backup-simplify]: Simplify d4 into d4 9.754 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.754 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.754 * [taylor]: Taking taylor expansion of d3 in d2 9.754 * [backup-simplify]: Simplify d3 into d3 9.754 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.754 * [backup-simplify]: Simplify (+ 1 0) into 1 9.755 * [backup-simplify]: Simplify (+ 1 0) into 1 9.755 * [taylor]: Taking taylor expansion of 1 in d3 9.755 * [backup-simplify]: Simplify 1 into 1 9.755 * [taylor]: Taking taylor expansion of -1 in d3 9.755 * [backup-simplify]: Simplify -1 into -1 9.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 9.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.755 * [backup-simplify]: Simplify (+ 0 0) into 0 9.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.756 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.757 * [backup-simplify]: Simplify (+ 0 0) into 0 9.757 * [backup-simplify]: Simplify (- 0) into 0 9.758 * [backup-simplify]: Simplify (+ 0 0) into 0 9.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) (/ 0 1)))) into 0 9.759 * [taylor]: Taking taylor expansion of 0 in d2 9.759 * [backup-simplify]: Simplify 0 into 0 9.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.760 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 9.760 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 9.760 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 9.760 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 9.760 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.761 * [taylor]: Taking taylor expansion of d4 in d3 9.761 * [backup-simplify]: Simplify d4 into d4 9.761 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.761 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.761 * [taylor]: Taking taylor expansion of d3 in d3 9.761 * [backup-simplify]: Simplify 0 into 0 9.761 * [backup-simplify]: Simplify 1 into 1 9.761 * [backup-simplify]: Simplify (/ 1 1) into 1 9.761 * [backup-simplify]: Simplify (- 1) into -1 9.762 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.762 * [taylor]: Taking taylor expansion of -1 in d4 9.762 * [backup-simplify]: Simplify -1 into -1 9.762 * [taylor]: Taking taylor expansion of 0 in d3 9.762 * [backup-simplify]: Simplify 0 into 0 9.762 * [taylor]: Taking taylor expansion of 1 in d4 9.762 * [backup-simplify]: Simplify 1 into 1 9.762 * [taylor]: Taking taylor expansion of -1 in d4 9.762 * [backup-simplify]: Simplify -1 into -1 9.762 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 9.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 9.763 * [backup-simplify]: Simplify (+ 0 0) into 0 9.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 9.764 * [backup-simplify]: Simplify (+ 0 0) into 0 9.764 * [backup-simplify]: Simplify (- 0) into 0 9.764 * [backup-simplify]: Simplify (+ 0 0) into 0 9.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.766 * [taylor]: Taking taylor expansion of 0 in d2 9.766 * [backup-simplify]: Simplify 0 into 0 9.766 * [taylor]: Taking taylor expansion of 0 in d3 9.766 * [backup-simplify]: Simplify 0 into 0 9.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.767 * [backup-simplify]: Simplify (+ 0 0) into 0 9.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.767 * [backup-simplify]: Simplify (- 0) into 0 9.767 * [backup-simplify]: Simplify (+ 0 0) into 0 9.767 * [taylor]: Taking taylor expansion of 0 in d3 9.767 * [backup-simplify]: Simplify 0 into 0 9.767 * [taylor]: Taking taylor expansion of 0 in d3 9.767 * [backup-simplify]: Simplify 0 into 0 9.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.768 * [backup-simplify]: Simplify (- 0) into 0 9.768 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 9.768 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.768 * [taylor]: Taking taylor expansion of d4 in d4 9.768 * [backup-simplify]: Simplify 0 into 0 9.768 * [backup-simplify]: Simplify 1 into 1 9.768 * [backup-simplify]: Simplify (/ 1 1) into 1 9.768 * [backup-simplify]: Simplify 1 into 1 9.768 * [taylor]: Taking taylor expansion of 0 in d4 9.768 * [backup-simplify]: Simplify 0 into 0 9.768 * [taylor]: Taking taylor expansion of 0 in d4 9.768 * [backup-simplify]: Simplify 0 into 0 9.768 * [taylor]: Taking taylor expansion of 0 in d4 9.768 * [backup-simplify]: Simplify 0 into 0 9.769 * [backup-simplify]: Simplify -1 into -1 9.769 * [backup-simplify]: Simplify 1 into 1 9.769 * [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)) 9.769 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (- (+ (- (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d4))) (/ 1 (- d1)))) into (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) 9.769 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in (d1 d2 d3 d4) around 0 9.769 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d4 9.769 * [taylor]: Taking taylor expansion of -1 in d4 9.769 * [backup-simplify]: Simplify -1 into -1 9.769 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d4 9.769 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4 9.769 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 9.769 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.769 * [taylor]: Taking taylor expansion of d1 in d4 9.769 * [backup-simplify]: Simplify d1 into d1 9.769 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.769 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 9.769 * [taylor]: Taking taylor expansion of d3 in d4 9.769 * [backup-simplify]: Simplify d3 into d3 9.770 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.770 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 9.770 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 9.770 * [taylor]: Taking taylor expansion of d2 in d4 9.770 * [backup-simplify]: Simplify d2 into d2 9.770 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.770 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.770 * [taylor]: Taking taylor expansion of d4 in d4 9.770 * [backup-simplify]: Simplify 0 into 0 9.770 * [backup-simplify]: Simplify 1 into 1 9.770 * [backup-simplify]: Simplify (/ 1 1) into 1 9.770 * [taylor]: Taking taylor expansion of d1 in d4 9.770 * [backup-simplify]: Simplify d1 into d1 9.770 * [backup-simplify]: Simplify (+ 0 1) into 1 9.770 * [backup-simplify]: Simplify (- 1) into -1 9.771 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.771 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 9.771 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d3 9.771 * [taylor]: Taking taylor expansion of -1 in d3 9.771 * [backup-simplify]: Simplify -1 into -1 9.771 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d3 9.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3 9.771 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.771 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.771 * [taylor]: Taking taylor expansion of d1 in d3 9.771 * [backup-simplify]: Simplify d1 into d1 9.771 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.771 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.771 * [taylor]: Taking taylor expansion of d3 in d3 9.771 * [backup-simplify]: Simplify 0 into 0 9.771 * [backup-simplify]: Simplify 1 into 1 9.771 * [backup-simplify]: Simplify (/ 1 1) into 1 9.771 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 9.771 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 9.771 * [taylor]: Taking taylor expansion of d2 in d3 9.771 * [backup-simplify]: Simplify d2 into d2 9.771 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.771 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.771 * [taylor]: Taking taylor expansion of d4 in d3 9.771 * [backup-simplify]: Simplify d4 into d4 9.771 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.771 * [taylor]: Taking taylor expansion of d1 in d3 9.771 * [backup-simplify]: Simplify d1 into d1 9.772 * [backup-simplify]: Simplify (+ 0 1) into 1 9.772 * [backup-simplify]: Simplify (+ 1 0) into 1 9.772 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.772 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d2 9.772 * [taylor]: Taking taylor expansion of -1 in d2 9.772 * [backup-simplify]: Simplify -1 into -1 9.772 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d2 9.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 9.772 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.772 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.772 * [taylor]: Taking taylor expansion of d1 in d2 9.772 * [backup-simplify]: Simplify d1 into d1 9.772 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.772 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.772 * [taylor]: Taking taylor expansion of d3 in d2 9.772 * [backup-simplify]: Simplify d3 into d3 9.772 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.772 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.772 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.772 * [taylor]: Taking taylor expansion of d2 in d2 9.772 * [backup-simplify]: Simplify 0 into 0 9.772 * [backup-simplify]: Simplify 1 into 1 9.773 * [backup-simplify]: Simplify (/ 1 1) into 1 9.773 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.773 * [taylor]: Taking taylor expansion of d4 in d2 9.773 * [backup-simplify]: Simplify d4 into d4 9.773 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.773 * [taylor]: Taking taylor expansion of d1 in d2 9.773 * [backup-simplify]: Simplify d1 into d1 9.773 * [backup-simplify]: Simplify (+ 1 0) into 1 9.773 * [backup-simplify]: Simplify (- 1) into -1 9.774 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.774 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 9.774 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 9.774 * [taylor]: Taking taylor expansion of -1 in d1 9.774 * [backup-simplify]: Simplify -1 into -1 9.774 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 9.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 9.774 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.774 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.774 * [taylor]: Taking taylor expansion of d1 in d1 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify 1 into 1 9.774 * [backup-simplify]: Simplify (/ 1 1) into 1 9.774 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.774 * [taylor]: Taking taylor expansion of d3 in d1 9.774 * [backup-simplify]: Simplify d3 into d3 9.774 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.774 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.774 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.774 * [taylor]: Taking taylor expansion of d2 in d1 9.774 * [backup-simplify]: Simplify d2 into d2 9.774 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.774 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.774 * [taylor]: Taking taylor expansion of d4 in d1 9.774 * [backup-simplify]: Simplify d4 into d4 9.774 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.774 * [taylor]: Taking taylor expansion of d1 in d1 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify 1 into 1 9.775 * [backup-simplify]: Simplify (+ 1 0) into 1 9.775 * [backup-simplify]: Simplify (+ 1 0) into 1 9.775 * [backup-simplify]: Simplify (/ 1 1) into 1 9.775 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 9.775 * [taylor]: Taking taylor expansion of -1 in d1 9.775 * [backup-simplify]: Simplify -1 into -1 9.775 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 9.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 9.775 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.775 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.775 * [taylor]: Taking taylor expansion of d1 in d1 9.775 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify 1 into 1 9.775 * [backup-simplify]: Simplify (/ 1 1) into 1 9.776 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.776 * [taylor]: Taking taylor expansion of d3 in d1 9.776 * [backup-simplify]: Simplify d3 into d3 9.776 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.776 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.776 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.776 * [taylor]: Taking taylor expansion of d2 in d1 9.776 * [backup-simplify]: Simplify d2 into d2 9.776 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.776 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.776 * [taylor]: Taking taylor expansion of d4 in d1 9.776 * [backup-simplify]: Simplify d4 into d4 9.776 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.776 * [taylor]: Taking taylor expansion of d1 in d1 9.776 * [backup-simplify]: Simplify 0 into 0 9.776 * [backup-simplify]: Simplify 1 into 1 9.776 * [backup-simplify]: Simplify (+ 1 0) into 1 9.776 * [backup-simplify]: Simplify (+ 1 0) into 1 9.777 * [backup-simplify]: Simplify (/ 1 1) into 1 9.777 * [backup-simplify]: Simplify (* -1 1) into -1 9.777 * [taylor]: Taking taylor expansion of -1 in d2 9.777 * [backup-simplify]: Simplify -1 into -1 9.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.777 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 9.777 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d2) (/ 1 d4)) 9.778 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d4))) into (- (+ (/ 1 d2) (/ 1 d4))) 9.778 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (+ (/ 1 d2) (/ 1 d4)))) into (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) 9.778 * [backup-simplify]: Simplify (- (/ (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) 9.779 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) 9.779 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 9.779 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.779 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.779 * [taylor]: Taking taylor expansion of d2 in d2 9.779 * [backup-simplify]: Simplify 0 into 0 9.779 * [backup-simplify]: Simplify 1 into 1 9.779 * [backup-simplify]: Simplify (/ 1 1) into 1 9.779 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.779 * [taylor]: Taking taylor expansion of d4 in d2 9.779 * [backup-simplify]: Simplify d4 into d4 9.779 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.779 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.779 * [taylor]: Taking taylor expansion of d3 in d2 9.779 * [backup-simplify]: Simplify d3 into d3 9.779 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.780 * [backup-simplify]: Simplify (+ 1 0) into 1 9.780 * [backup-simplify]: Simplify (+ 1 0) into 1 9.780 * [taylor]: Taking taylor expansion of 1 in d3 9.780 * [backup-simplify]: Simplify 1 into 1 9.780 * [taylor]: Taking taylor expansion of -1 in d3 9.780 * [backup-simplify]: Simplify -1 into -1 9.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.781 * [backup-simplify]: Simplify (+ 0 0) into 0 9.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 9.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.781 * [backup-simplify]: Simplify (+ 0 0) into 0 9.781 * [backup-simplify]: Simplify (- 0) into 0 9.782 * [backup-simplify]: Simplify (+ 0 0) into 0 9.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) (/ 0 1)))) into 0 9.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1))) into 0 9.784 * [taylor]: Taking taylor expansion of 0 in d2 9.784 * [backup-simplify]: Simplify 0 into 0 9.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.785 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 9.785 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 9.785 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3)) 9.785 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 9.785 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.785 * [taylor]: Taking taylor expansion of d4 in d3 9.785 * [backup-simplify]: Simplify d4 into d4 9.785 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.785 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.785 * [taylor]: Taking taylor expansion of d3 in d3 9.785 * [backup-simplify]: Simplify 0 into 0 9.785 * [backup-simplify]: Simplify 1 into 1 9.785 * [backup-simplify]: Simplify (/ 1 1) into 1 9.786 * [backup-simplify]: Simplify (- 1) into -1 9.786 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.786 * [taylor]: Taking taylor expansion of -1 in d4 9.786 * [backup-simplify]: Simplify -1 into -1 9.786 * [taylor]: Taking taylor expansion of 0 in d3 9.786 * [backup-simplify]: Simplify 0 into 0 9.786 * [taylor]: Taking taylor expansion of 1 in d4 9.786 * [backup-simplify]: Simplify 1 into 1 9.786 * [taylor]: Taking taylor expansion of -1 in d4 9.786 * [backup-simplify]: Simplify -1 into -1 9.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 9.788 * [backup-simplify]: Simplify (+ 0 0) into 0 9.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 9.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 9.789 * [backup-simplify]: Simplify (+ 0 0) into 0 9.789 * [backup-simplify]: Simplify (- 0) into 0 9.789 * [backup-simplify]: Simplify (+ 0 0) into 0 9.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.792 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d2) (/ 1 d4)))) (* 0 1)))) into 0 9.793 * [taylor]: Taking taylor expansion of 0 in d2 9.793 * [backup-simplify]: Simplify 0 into 0 9.793 * [taylor]: Taking taylor expansion of 0 in d3 9.793 * [backup-simplify]: Simplify 0 into 0 9.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.794 * [backup-simplify]: Simplify (+ 0 0) into 0 9.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.794 * [backup-simplify]: Simplify (- 0) into 0 9.795 * [backup-simplify]: Simplify (+ 0 0) into 0 9.795 * [taylor]: Taking taylor expansion of 0 in d3 9.795 * [backup-simplify]: Simplify 0 into 0 9.795 * [taylor]: Taking taylor expansion of 0 in d3 9.795 * [backup-simplify]: Simplify 0 into 0 9.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.796 * [backup-simplify]: Simplify (- 0) into 0 9.796 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4) 9.796 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.796 * [taylor]: Taking taylor expansion of d4 in d4 9.796 * [backup-simplify]: Simplify 0 into 0 9.796 * [backup-simplify]: Simplify 1 into 1 9.797 * [backup-simplify]: Simplify (/ 1 1) into 1 9.797 * [backup-simplify]: Simplify 1 into 1 9.797 * [taylor]: Taking taylor expansion of 0 in d4 9.797 * [backup-simplify]: Simplify 0 into 0 9.797 * [taylor]: Taking taylor expansion of 0 in d4 9.797 * [backup-simplify]: Simplify 0 into 0 9.797 * [taylor]: Taking taylor expansion of 0 in d4 9.797 * [backup-simplify]: Simplify 0 into 0 9.797 * [backup-simplify]: Simplify -1 into -1 9.797 * [backup-simplify]: Simplify 1 into 1 9.798 * [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)) 9.798 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 9.798 * [backup-simplify]: Simplify (- (+ (- d2 d3) d4) d1) into (- (+ d2 d4) (+ d3 d1)) 9.798 * [approximate]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in (d2 d3 d4 d1) around 0 9.798 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1 9.798 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1 9.798 * [taylor]: Taking taylor expansion of d2 in d1 9.798 * [backup-simplify]: Simplify d2 into d2 9.799 * [taylor]: Taking taylor expansion of d4 in d1 9.799 * [backup-simplify]: Simplify d4 into d4 9.799 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 9.799 * [taylor]: Taking taylor expansion of d3 in d1 9.799 * [backup-simplify]: Simplify d3 into d3 9.799 * [taylor]: Taking taylor expansion of d1 in d1 9.799 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify 1 into 1 9.799 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4 9.799 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4 9.799 * [taylor]: Taking taylor expansion of d2 in d4 9.799 * [backup-simplify]: Simplify d2 into d2 9.799 * [taylor]: Taking taylor expansion of d4 in d4 9.799 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify 1 into 1 9.799 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4 9.799 * [taylor]: Taking taylor expansion of d3 in d4 9.799 * [backup-simplify]: Simplify d3 into d3 9.799 * [taylor]: Taking taylor expansion of d1 in d4 9.799 * [backup-simplify]: Simplify d1 into d1 9.799 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3 9.799 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3 9.799 * [taylor]: Taking taylor expansion of d2 in d3 9.799 * [backup-simplify]: Simplify d2 into d2 9.799 * [taylor]: Taking taylor expansion of d4 in d3 9.799 * [backup-simplify]: Simplify d4 into d4 9.799 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3 9.799 * [taylor]: Taking taylor expansion of d3 in d3 9.799 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify 1 into 1 9.799 * [taylor]: Taking taylor expansion of d1 in d3 9.799 * [backup-simplify]: Simplify d1 into d1 9.799 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2 9.799 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 9.799 * [taylor]: Taking taylor expansion of d2 in d2 9.799 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify 1 into 1 9.799 * [taylor]: Taking taylor expansion of d4 in d2 9.799 * [backup-simplify]: Simplify d4 into d4 9.800 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 9.800 * [taylor]: Taking taylor expansion of d3 in d2 9.800 * [backup-simplify]: Simplify d3 into d3 9.800 * [taylor]: Taking taylor expansion of d1 in d2 9.800 * [backup-simplify]: Simplify d1 into d1 9.800 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2 9.800 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 9.800 * [taylor]: Taking taylor expansion of d2 in d2 9.800 * [backup-simplify]: Simplify 0 into 0 9.800 * [backup-simplify]: Simplify 1 into 1 9.800 * [taylor]: Taking taylor expansion of d4 in d2 9.800 * [backup-simplify]: Simplify d4 into d4 9.800 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 9.800 * [taylor]: Taking taylor expansion of d3 in d2 9.800 * [backup-simplify]: Simplify d3 into d3 9.800 * [taylor]: Taking taylor expansion of d1 in d2 9.800 * [backup-simplify]: Simplify d1 into d1 9.800 * [backup-simplify]: Simplify (+ 0 d4) into d4 9.800 * [backup-simplify]: Simplify (+ d3 d1) into (+ d1 d3) 9.800 * [backup-simplify]: Simplify (- (+ d1 d3)) into (- (+ d1 d3)) 9.800 * [backup-simplify]: Simplify (+ d4 (- (+ d1 d3))) into (- d4 (+ d1 d3)) 9.800 * [taylor]: Taking taylor expansion of (- d4 (+ d1 d3)) in d3 9.800 * [taylor]: Taking taylor expansion of d4 in d3 9.800 * [backup-simplify]: Simplify d4 into d4 9.800 * [taylor]: Taking taylor expansion of (+ d1 d3) in d3 9.800 * [taylor]: Taking taylor expansion of d1 in d3 9.800 * [backup-simplify]: Simplify d1 into d1 9.800 * [taylor]: Taking taylor expansion of d3 in d3 9.800 * [backup-simplify]: Simplify 0 into 0 9.801 * [backup-simplify]: Simplify 1 into 1 9.801 * [backup-simplify]: Simplify (+ d1 0) into d1 9.801 * [backup-simplify]: Simplify (- d1) into (- d1) 9.801 * [backup-simplify]: Simplify (+ d4 (- d1)) into (- d4 d1) 9.801 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 9.801 * [taylor]: Taking taylor expansion of d4 in d4 9.801 * [backup-simplify]: Simplify 0 into 0 9.801 * [backup-simplify]: Simplify 1 into 1 9.801 * [taylor]: Taking taylor expansion of d1 in d4 9.801 * [backup-simplify]: Simplify d1 into d1 9.801 * [backup-simplify]: Simplify (- d1) into (- d1) 9.801 * [backup-simplify]: Simplify (+ 0 (- d1)) into (- d1) 9.801 * [taylor]: Taking taylor expansion of (- d1) in d1 9.801 * [taylor]: Taking taylor expansion of d1 in d1 9.801 * [backup-simplify]: Simplify 0 into 0 9.801 * [backup-simplify]: Simplify 1 into 1 9.802 * [backup-simplify]: Simplify (- 0) into 0 9.802 * [backup-simplify]: Simplify 0 into 0 9.802 * [backup-simplify]: Simplify (+ 1 0) into 1 9.802 * [backup-simplify]: Simplify (+ 0 0) into 0 9.803 * [backup-simplify]: Simplify (- 0) into 0 9.803 * [backup-simplify]: Simplify (+ 1 0) into 1 9.803 * [taylor]: Taking taylor expansion of 1 in d3 9.803 * [backup-simplify]: Simplify 1 into 1 9.803 * [taylor]: Taking taylor expansion of 1 in d4 9.803 * [backup-simplify]: Simplify 1 into 1 9.803 * [taylor]: Taking taylor expansion of 1 in d1 9.803 * [backup-simplify]: Simplify 1 into 1 9.803 * [backup-simplify]: Simplify 1 into 1 9.804 * [backup-simplify]: Simplify (+ 0 1) into 1 9.804 * [backup-simplify]: Simplify (- 1) into -1 9.805 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.805 * [taylor]: Taking taylor expansion of -1 in d4 9.805 * [backup-simplify]: Simplify -1 into -1 9.805 * [taylor]: Taking taylor expansion of -1 in d1 9.805 * [backup-simplify]: Simplify -1 into -1 9.805 * [backup-simplify]: Simplify -1 into -1 9.805 * [backup-simplify]: Simplify (- 0) into 0 9.806 * [backup-simplify]: Simplify (+ 1 0) into 1 9.806 * [taylor]: Taking taylor expansion of 1 in d1 9.806 * [backup-simplify]: Simplify 1 into 1 9.806 * [backup-simplify]: Simplify 1 into 1 9.806 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d4 (* 1 1)))) (+ (* -1 (* 1 (* 1 (* d3 1)))) (* 1 (* 1 (* 1 (* 1 d2)))))) into (- (+ d2 d4) d3) 9.807 * [backup-simplify]: Simplify (- (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) (/ 1 d1)) into (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) 9.807 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in (d2 d3 d4 d1) around 0 9.807 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 9.807 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.807 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.807 * [taylor]: Taking taylor expansion of d2 in d1 9.807 * [backup-simplify]: Simplify d2 into d2 9.807 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.807 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.807 * [taylor]: Taking taylor expansion of d4 in d1 9.807 * [backup-simplify]: Simplify d4 into d4 9.807 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.807 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.807 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.807 * [taylor]: Taking taylor expansion of d1 in d1 9.807 * [backup-simplify]: Simplify 0 into 0 9.807 * [backup-simplify]: Simplify 1 into 1 9.808 * [backup-simplify]: Simplify (/ 1 1) into 1 9.808 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.808 * [taylor]: Taking taylor expansion of d3 in d1 9.808 * [backup-simplify]: Simplify d3 into d3 9.808 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4 9.808 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 9.808 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 9.808 * [taylor]: Taking taylor expansion of d2 in d4 9.808 * [backup-simplify]: Simplify d2 into d2 9.808 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.808 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.808 * [taylor]: Taking taylor expansion of d4 in d4 9.808 * [backup-simplify]: Simplify 0 into 0 9.808 * [backup-simplify]: Simplify 1 into 1 9.809 * [backup-simplify]: Simplify (/ 1 1) into 1 9.809 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 9.809 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.809 * [taylor]: Taking taylor expansion of d1 in d4 9.809 * [backup-simplify]: Simplify d1 into d1 9.809 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.809 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 9.809 * [taylor]: Taking taylor expansion of d3 in d4 9.809 * [backup-simplify]: Simplify d3 into d3 9.809 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.809 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3 9.809 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 9.809 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 9.809 * [taylor]: Taking taylor expansion of d2 in d3 9.809 * [backup-simplify]: Simplify d2 into d2 9.809 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.809 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.809 * [taylor]: Taking taylor expansion of d4 in d3 9.809 * [backup-simplify]: Simplify d4 into d4 9.809 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.809 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.809 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.809 * [taylor]: Taking taylor expansion of d1 in d3 9.809 * [backup-simplify]: Simplify d1 into d1 9.809 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.809 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.809 * [taylor]: Taking taylor expansion of d3 in d3 9.810 * [backup-simplify]: Simplify 0 into 0 9.810 * [backup-simplify]: Simplify 1 into 1 9.810 * [backup-simplify]: Simplify (/ 1 1) into 1 9.810 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 9.810 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.810 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.810 * [taylor]: Taking taylor expansion of d2 in d2 9.810 * [backup-simplify]: Simplify 0 into 0 9.810 * [backup-simplify]: Simplify 1 into 1 9.810 * [backup-simplify]: Simplify (/ 1 1) into 1 9.810 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.810 * [taylor]: Taking taylor expansion of d4 in d2 9.811 * [backup-simplify]: Simplify d4 into d4 9.811 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.811 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.811 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.811 * [taylor]: Taking taylor expansion of d1 in d2 9.811 * [backup-simplify]: Simplify d1 into d1 9.811 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.811 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.811 * [taylor]: Taking taylor expansion of d3 in d2 9.811 * [backup-simplify]: Simplify d3 into d3 9.811 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 9.811 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.811 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.811 * [taylor]: Taking taylor expansion of d2 in d2 9.811 * [backup-simplify]: Simplify 0 into 0 9.811 * [backup-simplify]: Simplify 1 into 1 9.811 * [backup-simplify]: Simplify (/ 1 1) into 1 9.811 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.811 * [taylor]: Taking taylor expansion of d4 in d2 9.811 * [backup-simplify]: Simplify d4 into d4 9.812 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.812 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.812 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.812 * [taylor]: Taking taylor expansion of d1 in d2 9.812 * [backup-simplify]: Simplify d1 into d1 9.812 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.812 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.812 * [taylor]: Taking taylor expansion of d3 in d2 9.812 * [backup-simplify]: Simplify d3 into d3 9.812 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.812 * [backup-simplify]: Simplify (+ 1 0) into 1 9.813 * [backup-simplify]: Simplify (+ 1 0) into 1 9.813 * [taylor]: Taking taylor expansion of 1 in d3 9.813 * [backup-simplify]: Simplify 1 into 1 9.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.814 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 9.814 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3)) 9.814 * [backup-simplify]: Simplify (- (+ (/ 1 d1) (/ 1 d3))) into (- (+ (/ 1 d1) (/ 1 d3))) 9.814 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (+ (/ 1 d1) (/ 1 d3)))) into (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3))) 9.814 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3))) in d3 9.814 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.814 * [taylor]: Taking taylor expansion of d4 in d3 9.814 * [backup-simplify]: Simplify d4 into d4 9.814 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.814 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.814 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.814 * [taylor]: Taking taylor expansion of d1 in d3 9.814 * [backup-simplify]: Simplify d1 into d1 9.815 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.815 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.815 * [taylor]: Taking taylor expansion of d3 in d3 9.815 * [backup-simplify]: Simplify 0 into 0 9.815 * [backup-simplify]: Simplify 1 into 1 9.815 * [backup-simplify]: Simplify (/ 1 1) into 1 9.815 * [backup-simplify]: Simplify (+ 0 1) into 1 9.816 * [backup-simplify]: Simplify (- 1) into -1 9.816 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.816 * [taylor]: Taking taylor expansion of -1 in d4 9.816 * [backup-simplify]: Simplify -1 into -1 9.816 * [taylor]: Taking taylor expansion of 1 in d4 9.816 * [backup-simplify]: Simplify 1 into 1 9.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.817 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.818 * [backup-simplify]: Simplify (+ 0 0) into 0 9.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 9.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.818 * [backup-simplify]: Simplify (+ 0 0) into 0 9.819 * [backup-simplify]: Simplify (- 0) into 0 9.819 * [backup-simplify]: Simplify (+ 0 0) into 0 9.819 * [taylor]: Taking taylor expansion of 0 in d3 9.819 * [backup-simplify]: Simplify 0 into 0 9.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.820 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1) 9.820 * [backup-simplify]: Simplify (- (/ 1 d1)) into (- (/ 1 d1)) 9.820 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d1))) into (- (/ 1 d4) (/ 1 d1)) 9.820 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 9.820 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.820 * [taylor]: Taking taylor expansion of d4 in d4 9.820 * [backup-simplify]: Simplify 0 into 0 9.820 * [backup-simplify]: Simplify 1 into 1 9.821 * [backup-simplify]: Simplify (/ 1 1) into 1 9.821 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.821 * [taylor]: Taking taylor expansion of d1 in d4 9.821 * [backup-simplify]: Simplify d1 into d1 9.821 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.821 * [backup-simplify]: Simplify (+ 1 0) into 1 9.821 * [taylor]: Taking taylor expansion of 1 in d1 9.821 * [backup-simplify]: Simplify 1 into 1 9.821 * [taylor]: Taking taylor expansion of 0 in d4 9.821 * [backup-simplify]: Simplify 0 into 0 9.821 * [taylor]: Taking taylor expansion of -1 in d1 9.821 * [backup-simplify]: Simplify -1 into -1 9.821 * [taylor]: Taking taylor expansion of 1 in d1 9.821 * [backup-simplify]: Simplify 1 into 1 9.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 9.823 * [backup-simplify]: Simplify (+ 0 0) into 0 9.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 9.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 9.824 * [backup-simplify]: Simplify (+ 0 0) into 0 9.824 * [backup-simplify]: Simplify (- 0) into 0 9.824 * [backup-simplify]: Simplify (+ 0 0) into 0 9.824 * [taylor]: Taking taylor expansion of 0 in d3 9.825 * [backup-simplify]: Simplify 0 into 0 9.825 * [taylor]: Taking taylor expansion of 0 in d4 9.825 * [backup-simplify]: Simplify 0 into 0 9.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 9.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.826 * [backup-simplify]: Simplify (+ 0 0) into 0 9.826 * [backup-simplify]: Simplify (- 0) into 0 9.827 * [backup-simplify]: Simplify (+ 0 0) into 0 9.827 * [taylor]: Taking taylor expansion of 0 in d4 9.827 * [backup-simplify]: Simplify 0 into 0 9.827 * [taylor]: Taking taylor expansion of 0 in d4 9.827 * [backup-simplify]: Simplify 0 into 0 9.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.828 * [backup-simplify]: Simplify (- (/ 1 d1)) into (- (/ 1 d1)) 9.828 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d1))) into (- (/ 1 d1)) 9.828 * [taylor]: Taking taylor expansion of (- (/ 1 d1)) in d1 9.828 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.828 * [taylor]: Taking taylor expansion of d1 in d1 9.828 * [backup-simplify]: Simplify 0 into 0 9.828 * [backup-simplify]: Simplify 1 into 1 9.829 * [backup-simplify]: Simplify (/ 1 1) into 1 9.829 * [backup-simplify]: Simplify (- 1) into -1 9.829 * [backup-simplify]: Simplify -1 into -1 9.829 * [taylor]: Taking taylor expansion of 0 in d1 9.829 * [backup-simplify]: Simplify 0 into 0 9.829 * [taylor]: Taking taylor expansion of 0 in d1 9.829 * [backup-simplify]: Simplify 0 into 0 9.829 * [taylor]: Taking taylor expansion of 0 in d1 9.829 * [backup-simplify]: Simplify 0 into 0 9.829 * [backup-simplify]: Simplify 1 into 1 9.829 * [backup-simplify]: Simplify -1 into -1 9.831 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 d3)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d4)) (* 1 1)))) (* -1 (* (/ 1 (/ 1 d1)) (* 1 (* 1 1)))))) into (- d4 (+ d1 d3)) 9.831 * [backup-simplify]: Simplify (- (+ (- (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d4))) (/ 1 (- d1))) into (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) 9.831 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in (d2 d3 d4 d1) around 0 9.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 9.831 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 9.831 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.831 * [taylor]: Taking taylor expansion of d1 in d1 9.831 * [backup-simplify]: Simplify 0 into 0 9.831 * [backup-simplify]: Simplify 1 into 1 9.832 * [backup-simplify]: Simplify (/ 1 1) into 1 9.832 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 9.832 * [taylor]: Taking taylor expansion of d3 in d1 9.832 * [backup-simplify]: Simplify d3 into d3 9.832 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.832 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 9.832 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 9.832 * [taylor]: Taking taylor expansion of d2 in d1 9.832 * [backup-simplify]: Simplify d2 into d2 9.832 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.832 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 9.832 * [taylor]: Taking taylor expansion of d4 in d1 9.832 * [backup-simplify]: Simplify d4 into d4 9.832 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.832 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4 9.832 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 9.832 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.832 * [taylor]: Taking taylor expansion of d1 in d4 9.832 * [backup-simplify]: Simplify d1 into d1 9.832 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.832 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 9.832 * [taylor]: Taking taylor expansion of d3 in d4 9.832 * [backup-simplify]: Simplify d3 into d3 9.833 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.833 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 9.833 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 9.833 * [taylor]: Taking taylor expansion of d2 in d4 9.833 * [backup-simplify]: Simplify d2 into d2 9.833 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.833 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.833 * [taylor]: Taking taylor expansion of d4 in d4 9.833 * [backup-simplify]: Simplify 0 into 0 9.833 * [backup-simplify]: Simplify 1 into 1 9.833 * [backup-simplify]: Simplify (/ 1 1) into 1 9.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3 9.833 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.833 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.833 * [taylor]: Taking taylor expansion of d1 in d3 9.833 * [backup-simplify]: Simplify d1 into d1 9.833 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.833 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.833 * [taylor]: Taking taylor expansion of d3 in d3 9.833 * [backup-simplify]: Simplify 0 into 0 9.833 * [backup-simplify]: Simplify 1 into 1 9.834 * [backup-simplify]: Simplify (/ 1 1) into 1 9.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 9.834 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 9.834 * [taylor]: Taking taylor expansion of d2 in d3 9.834 * [backup-simplify]: Simplify d2 into d2 9.834 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 9.834 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.834 * [taylor]: Taking taylor expansion of d4 in d3 9.834 * [backup-simplify]: Simplify d4 into d4 9.834 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 9.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.834 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.834 * [taylor]: Taking taylor expansion of d1 in d2 9.834 * [backup-simplify]: Simplify d1 into d1 9.834 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.834 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.834 * [taylor]: Taking taylor expansion of d3 in d2 9.834 * [backup-simplify]: Simplify d3 into d3 9.834 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.835 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.835 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.835 * [taylor]: Taking taylor expansion of d2 in d2 9.835 * [backup-simplify]: Simplify 0 into 0 9.835 * [backup-simplify]: Simplify 1 into 1 9.835 * [backup-simplify]: Simplify (/ 1 1) into 1 9.835 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.835 * [taylor]: Taking taylor expansion of d4 in d2 9.835 * [backup-simplify]: Simplify d4 into d4 9.835 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.835 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 9.835 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 9.835 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 9.835 * [taylor]: Taking taylor expansion of d1 in d2 9.835 * [backup-simplify]: Simplify d1 into d1 9.835 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.835 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 9.835 * [taylor]: Taking taylor expansion of d3 in d2 9.835 * [backup-simplify]: Simplify d3 into d3 9.835 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 9.835 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 9.835 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 9.835 * [taylor]: Taking taylor expansion of d2 in d2 9.835 * [backup-simplify]: Simplify 0 into 0 9.836 * [backup-simplify]: Simplify 1 into 1 9.836 * [backup-simplify]: Simplify (/ 1 1) into 1 9.836 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 9.836 * [taylor]: Taking taylor expansion of d4 in d2 9.836 * [backup-simplify]: Simplify d4 into d4 9.836 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.836 * [backup-simplify]: Simplify (+ 1 0) into 1 9.836 * [backup-simplify]: Simplify (- 1) into -1 9.837 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.837 * [taylor]: Taking taylor expansion of -1 in d3 9.837 * [backup-simplify]: Simplify -1 into -1 9.837 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3)) 9.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.837 * [backup-simplify]: Simplify (+ 0 (/ 1 d4)) into (/ 1 d4) 9.837 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4)) 9.837 * [backup-simplify]: Simplify (+ (+ (/ 1 d1) (/ 1 d3)) (- (/ 1 d4))) into (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4)) 9.837 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4)) in d3 9.837 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 9.837 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 9.837 * [taylor]: Taking taylor expansion of d1 in d3 9.838 * [backup-simplify]: Simplify d1 into d1 9.838 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.838 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 9.838 * [taylor]: Taking taylor expansion of d3 in d3 9.838 * [backup-simplify]: Simplify 0 into 0 9.838 * [backup-simplify]: Simplify 1 into 1 9.838 * [backup-simplify]: Simplify (/ 1 1) into 1 9.838 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 9.838 * [taylor]: Taking taylor expansion of d4 in d3 9.838 * [backup-simplify]: Simplify d4 into d4 9.838 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4) 9.838 * [backup-simplify]: Simplify (+ 0 1) into 1 9.838 * [backup-simplify]: Simplify (+ 1 0) into 1 9.838 * [taylor]: Taking taylor expansion of 1 in d4 9.839 * [backup-simplify]: Simplify 1 into 1 9.839 * [taylor]: Taking taylor expansion of -1 in d4 9.839 * [backup-simplify]: Simplify -1 into -1 9.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 9.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 9.839 * [backup-simplify]: Simplify (+ 0 0) into 0 9.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.843 * [backup-simplify]: Simplify (+ 0 0) into 0 9.843 * [backup-simplify]: Simplify (- 0) into 0 9.843 * [backup-simplify]: Simplify (+ 0 0) into 0 9.843 * [taylor]: Taking taylor expansion of 0 in d3 9.843 * [backup-simplify]: Simplify 0 into 0 9.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.844 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1) 9.844 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4)) 9.844 * [backup-simplify]: Simplify (+ (/ 1 d1) (- (/ 1 d4))) into (- (/ 1 d1) (/ 1 d4)) 9.844 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 9.844 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 9.844 * [taylor]: Taking taylor expansion of d1 in d4 9.844 * [backup-simplify]: Simplify d1 into d1 9.844 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 9.844 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 9.844 * [taylor]: Taking taylor expansion of d4 in d4 9.844 * [backup-simplify]: Simplify 0 into 0 9.844 * [backup-simplify]: Simplify 1 into 1 9.844 * [backup-simplify]: Simplify (/ 1 1) into 1 9.845 * [backup-simplify]: Simplify (- 1) into -1 9.845 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.845 * [taylor]: Taking taylor expansion of -1 in d1 9.845 * [backup-simplify]: Simplify -1 into -1 9.845 * [taylor]: Taking taylor expansion of 0 in d4 9.845 * [backup-simplify]: Simplify 0 into 0 9.845 * [taylor]: Taking taylor expansion of 1 in d1 9.845 * [backup-simplify]: Simplify 1 into 1 9.845 * [taylor]: Taking taylor expansion of -1 in d1 9.845 * [backup-simplify]: Simplify -1 into -1 9.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 9.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 9.845 * [backup-simplify]: Simplify (+ 0 0) into 0 9.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0 9.846 * [backup-simplify]: Simplify (+ 0 0) into 0 9.847 * [backup-simplify]: Simplify (- 0) into 0 9.847 * [backup-simplify]: Simplify (+ 0 0) into 0 9.847 * [taylor]: Taking taylor expansion of 0 in d3 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [taylor]: Taking taylor expansion of 0 in d4 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 9.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.848 * [backup-simplify]: Simplify (+ 0 0) into 0 9.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0 9.848 * [backup-simplify]: Simplify (- 0) into 0 9.848 * [backup-simplify]: Simplify (+ 0 0) into 0 9.849 * [taylor]: Taking taylor expansion of 0 in d4 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [taylor]: Taking taylor expansion of 0 in d4 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.849 * [backup-simplify]: Simplify (- 0) into 0 9.849 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1) 9.849 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 9.849 * [taylor]: Taking taylor expansion of d1 in d1 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 1 into 1 9.850 * [backup-simplify]: Simplify (/ 1 1) into 1 9.850 * [backup-simplify]: Simplify 1 into 1 9.850 * [taylor]: Taking taylor expansion of 0 in d1 9.850 * [backup-simplify]: Simplify 0 into 0 9.850 * [taylor]: Taking taylor expansion of 0 in d1 9.850 * [backup-simplify]: Simplify 0 into 0 9.850 * [taylor]: Taking taylor expansion of 0 in d1 9.850 * [backup-simplify]: Simplify 0 into 0 9.850 * [backup-simplify]: Simplify -1 into -1 9.850 * [backup-simplify]: Simplify 1 into 1 9.851 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d3))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 1)))) (* 1 (* (/ 1 (/ 1 (- d1))) (* 1 (* 1 1)))))) into (- d4 (+ d1 d3)) 9.851 * * * [progress]: simplifying candidates 9.852 * [simplify]: Simplifying: (expm1 (* d1 (- (+ (- d2 d3) d4) d1))) (log1p (* d1 (- (+ (- d2 d3) d4) d1))) (* 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 (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 (+ (- d2 d3) d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (+ (- d2 d3) d4)) (* d1 (- d1)) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* d1 (+ (- d2 d3) d4)) (* d1 (- d1)) (* (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (+ (- d2 d3) d4) d1) (* (- d1) d1) (* (- d2 d3) d1) (* (- d4 d1) d1) (* (+ (- d2 d3) d4) d1) (* (- d1) d1) (* d1 (* (cbrt (- (+ (- d2 d3) d4) d1)) (cbrt (- (+ (- d2 d3) d4) d1)))) (* d1 (sqrt (- (+ (- d2 d3) d4) d1))) (* d1 1) (* d1 (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1))) (* 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 d3) d4) 3) (pow d1 3))) (* d1 (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1))) (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1)))) (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) (fma (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4)) (- (* d1 1))) (fma (- d1) 1 (* d1 1)) (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* (sqrt d1) (sqrt d1)))) (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) (fma (sqrt (+ (- d2 d3) d4)) (sqrt (+ (- d2 d3) d4)) (- (* d1 1))) (fma (- d1) 1 (* d1 1)) (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) (fma (- d1) 1 (* d1 1)) (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) (fma (- d1) 1 (* d1 1)) (fma 1 (+ (- d2 d3) d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) (fma 1 (+ (- d2 d3) d4) (- (* (sqrt d1) (sqrt d1)))) (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) (fma 1 (+ (- d2 d3) d4) (- (* d1 1))) (fma (- d1) 1 (* d1 1)) (expm1 (- (+ (- d2 d3) d4) d1)) (log1p (- (+ (- d2 d3) d4) d1)) (- d1) (- d1) (- d1) (- d1) (- d1) (/ (* (/ (exp d2) (exp d3)) (exp d4)) (exp d1)) (/ (* (exp (- d2 d3)) (exp d4)) (exp d1)) (/ (exp (+ (- d2 d3) d4)) (exp d1)) (log (- (+ (- d2 d3) d4) d1)) (exp (- (+ (- d2 d3) d4) d1)) (* (cbrt (- (+ (- d2 d3) d4) d1)) (cbrt (- (+ (- d2 d3) d4) d1))) (cbrt (- (+ (- d2 d3) d4) d1)) (* (* (- (+ (- d2 d3) d4) d1) (- (+ (- d2 d3) d4) d1)) (- (+ (- d2 d3) d4) d1)) (sqrt (- (+ (- d2 d3) d4) d1)) (sqrt (- (+ (- d2 d3) d4) d1)) (- (pow (+ (- d2 d3) d4) 3) (pow d1 3)) (+ (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (+ (* d1 d1) (* (+ (- d2 d3) d4) d1))) (- d1) (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1)) (+ (+ (- d2 d3) d4) d1) (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1)) (- (sqrt (+ (- d2 d3) d4)) (sqrt d1)) (- (+ (- d2 d3) d4) d1) (- (+ (- d2 d3) d4) d1) (- (+ (- d2 d3) d4) d1) (- d4 d1) (+ (- d3 d4) d1) (- d1) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ d2 d4) d3) (- d4 (+ d1 d3)) (- d4 (+ d1 d3)) 9.855 * * [simplify]: Extracting # 0 : cost 0 9.855 * * [simplify]: Extracting # 1 : cost 0 9.855 * * [simplify]: Extracting # 2 : cost 0 9.855 * * [simplify]: Extracting # 3 : cost 0 9.856 * * [simplify]: Extracting # 4 : cost 0 9.856 * * [simplify]: Extracting # 5 : cost 0 9.856 * * [simplify]: Extracting # 6 : cost 0 9.856 * * [simplify]: iteration 0 : 138 enodes (cost 2073 ) 9.925 * * [simplify]: Extracting # 0 : cost 0 9.925 * * [simplify]: Extracting # 1 : cost 0 9.926 * * [simplify]: Extracting # 2 : cost 0 9.926 * * [simplify]: Extracting # 3 : cost 0 9.927 * * [simplify]: Extracting # 4 : cost 0 9.928 * * [simplify]: iteration 1 : 278 enodes (cost 1644 ) 10.130 * * [simplify]: Extracting # 0 : cost 0 10.131 * * [simplify]: Extracting # 1 : cost 0 10.133 * * [simplify]: Extracting # 2 : cost 0 10.134 * * [simplify]: Extracting # 3 : cost 0 10.136 * * [simplify]: Extracting # 4 : cost 0 10.143 * * [simplify]: iteration 2 : 737 enodes (cost 1329 ) 11.056 * * [simplify]: Extracting # 0 : cost 0 11.061 * * [simplify]: Extracting # 1 : cost 0 11.065 * * [simplify]: Extracting # 2 : cost 0 11.069 * * [simplify]: Extracting # 3 : cost 0 11.074 * * [simplify]: Extracting # 4 : cost 0 11.082 * * [simplify]: iteration 3 : 4067 enodes (cost 1170 ) 12.535 * * [simplify]: Extracting # 0 : cost 0 12.541 * * [simplify]: Extracting # 1 : cost 0 12.557 * * [simplify]: iteration done: 5000 enodes (cost 1170 ) 12.558 * [simplify]: Simplified to: (expm1 (* d1 (- (+ (- d2 d3) d4) d1))) (log1p (* d1 (- (+ (- d2 d3) d4) d1))) (* d1 (- (+ (- d2 d3) d4) d1)) (log (* d1 (- (+ (- d2 d3) d4) d1))) (log (* d1 (- (+ (- d2 d3) d4) d1))) (exp (* d1 (- (+ (- d2 d3) d4) d1))) (pow (* d1 (- (- d2 (- d3 d4)) d1)) 3) (* (cbrt (* d1 (- (+ (- d2 d3) d4) d1))) (cbrt (* d1 (- (+ (- d2 d3) d4) d1)))) (cbrt (* d1 (- (+ (- d2 d3) d4) d1))) (pow (* d1 (- (- d2 (- d3 d4)) d1)) 3) (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 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* (+ (- d2 d3) d4) d1) (* d1 (- d1)) (* (- d2 d3) d1) (* d1 (- d4 d1)) (* (+ (- d2 d3) d4) d1) (* d1 (- d1)) (* d1 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* d1 (- (+ (- d2 d3) d4) d1)) (* (- d1 d1) d1) (* (+ (- d2 d3) d4) d1) (* d1 (- d1)) (* (- d2 d3) d1) (* d1 (- d4 d1)) (* (+ (- d2 d3) d4) d1) (* d1 (- d1)) (* d1 (* (cbrt (- (+ (- d2 d3) d4) d1)) (cbrt (- (+ (- d2 d3) d4) d1)))) (* d1 (sqrt (- (+ (- d2 d3) d4) d1))) d1 (* d1 (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1))) d1 d1 d1 (* (cbrt d1) (- (+ (- d2 d3) d4) d1)) (* (sqrt d1) (- (+ (- d2 d3) d4) d1)) (* d1 (- (+ (- d2 d3) d4) d1)) (* d1 (- (pow (+ (- d2 d3) d4) 3) (pow d1 3))) (* d1 (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1))) (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1) (- d1 d1) (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1) (- d1 d1) (- (pow (cbrt (+ (- d2 d3) d4)) 3) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (- (+ (- d2 d3) d4) d1) (- d1 d1) (expm1 (- (+ (- d2 d3) d4) d1)) (log1p (- (+ (- d2 d3) d4) d1)) (- d1) (- d1) (- d1) (- d1) (- d1) (exp (- (+ (- d2 d3) d4) d1)) (exp (- (+ (- d2 d3) d4) d1)) (exp (- (+ (- d2 d3) d4) d1)) (log (- (+ (- d2 d3) d4) d1)) (exp (- (+ (- d2 d3) d4) d1)) (* (cbrt (- (+ (- d2 d3) d4) d1)) (cbrt (- (+ (- d2 d3) d4) d1))) (cbrt (- (+ (- d2 d3) d4) d1)) (pow (- (- d2 (- d3 d4)) d1) 3) (sqrt (- (+ (- d2 d3) d4) d1)) (sqrt (- (+ (- d2 d3) d4) d1)) (- (pow (+ (- d2 d3) d4) 3) (pow d1 3)) (fma d1 d1 (* (+ (+ (- d2 d3) d4) d1) (- d2 (- d3 d4)))) (- d1) (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1)) (+ (+ (- d2 d3) d4) d1) (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1)) (- (sqrt (+ (- d2 d3) d4)) (sqrt d1)) (- (+ (- d2 d3) d4) d1) (- (+ (- d2 d3) d4) d1) (- (+ (- d2 d3) d4) d1) (- d4 d1) (+ (- d3 d4) d1) (- d1) (* d1 (- (- d2 d3) d1)) (* (+ (- d2 d3) d4) d1) (* (+ (- d2 d3) d4) d1) (- d2 (- d3 d4)) (- (- d4 d1) d3) (- (- d4 d1) d3) 12.560 * * * [progress]: adding candidates to table 12.703 * [progress]: [Phase 3 of 3] Extracting. 12.703 * * [regime]: Finding splitpoints for: (# #) 12.704 * * * [regime-changes]: Trying 5 branch expressions: ((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) d4 d3 d2 d1) 12.704 * * * * [regimes]: Trying to branch on (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) from (# #) 12.721 * * * * [regimes]: Trying to branch on d4 from (# #) 12.737 * * * * [regimes]: Trying to branch on d3 from (# #) 12.751 * * * * [regimes]: Trying to branch on d2 from (# #) 12.767 * * * * [regimes]: Trying to branch on d1 from (# #) 12.782 * * * [regime]: Found split indices: #