7.215 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.048 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.048 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.048 * * [simplify]: Extracting # 2 : cost  6  inf +  0
0.049 * * [simplify]: Extracting # 3 : cost  8  inf +  1
0.049 * * [simplify]: Extracting # 4 : cost  7  inf +  85
0.049 * * [simplify]: Extracting # 5 : cost  0  inf +  782
0.049 * * [simplify]: iteration  0 :  11  enodes  (cost  284 )
0.052 * * [simplify]: Extracting # 0 : cost  0  inf +  782
0.053 * * [simplify]: Extracting # 1 : cost  5  inf +  782
0.053 * * [simplify]: Extracting # 2 : cost  0  inf +  1232
0.053 * * [simplify]: Extracting # 3 : cost  0  inf +  1192
0.054 * * [simplify]: Extracting # 4 : cost  0  inf +  1112
0.054 * * [simplify]: iteration  1 :  26  enodes  (cost  244 )
0.062 * * [simplify]: Extracting # 0 : cost  0  inf +  1112
0.063 * * [simplify]: Extracting # 1 : cost  16  inf +  1062
0.064 * * [simplify]: Extracting # 2 : cost  0  inf +  3088
0.065 * * [simplify]: Extracting # 3 : cost  0  inf +  2928
0.067 * * [simplify]: Extracting # 4 : cost  0  inf +  2848
0.068 * * [simplify]: iteration  2 :  81  enodes  (cost  179 )
0.093 * * [simplify]: Extracting # 0 : cost  0  inf +  2848
0.094 * * [simplify]: Extracting # 1 : cost  36  inf +  2096
0.104 * * [simplify]: Extracting # 2 : cost  0  inf +  7141
0.106 * * [simplify]: Extracting # 3 : cost  0  inf +  6996
0.108 * * [simplify]: iteration  3 :  245  enodes  (cost  164 )
0.255 * * [simplify]: Extracting # 0 : cost  0  inf +  6996
0.265 * * [simplify]: Extracting # 1 : cost  96  inf +  3322
0.275 * * [simplify]: Extracting # 2 : cost  0  inf +  15771
0.285 * * [simplify]: Extracting # 3 : cost  0  inf +  15416
0.294 * * [simplify]: iteration  4 :  775  enodes  (cost  164 )
1.720 * * [simplify]: Extracting # 0 : cost  0  inf +  15416
1.739 * * [simplify]: Extracting # 1 : cost  981  inf +  4738
1.761 * * [simplify]: Extracting # 2 : cost  0  inf +  88897
1.800 * * [simplify]: Extracting # 3 : cost  0  inf +  88297
1.838 * * [simplify]: iteration  5 :  3891  enodes  (cost  164 )
2.955 * * [simplify]: Extracting # 0 : cost  0  inf +  88297
3.014 * * [simplify]: Extracting # 1 : cost  0  inf +  84962
3.042 * * [simplify]: iteration done:  5000  enodes  (cost  164 )
3.042 * [simplify]: Simplified to:
  (* d1 (- (+ (- d2 d3) d4) d1))
3.046 * * [progress]: iteration 1 / 4
3.046 * * * [progress]: picking best candidate
3.054 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>
3.054 * * * [progress]: localizing error
3.068 * * * [progress]: generating rewritten candidates
3.068 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.518 * * * [progress]: generating series expansions
3.518 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.518 * [backup-simplify]: Simplify (* d1 (- (+ (- d2 d3) d4) d1)) into (* (- (+ d2 d4) (+ d3 d1)) d1)
3.518 * [approximate]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in (d1 d2 d3 d4) around 0
3.518 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d4
3.518 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4
3.518 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4
3.518 * [taylor]: Taking taylor expansion of d2 in d4
3.518 * [backup-simplify]: Simplify d2 into d2
3.518 * [taylor]: Taking taylor expansion of d4 in d4
3.518 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify 1 into 1
3.518 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4
3.518 * [taylor]: Taking taylor expansion of d3 in d4
3.518 * [backup-simplify]: Simplify d3 into d3
3.518 * [taylor]: Taking taylor expansion of d1 in d4
3.518 * [backup-simplify]: Simplify d1 into d1
3.518 * [taylor]: Taking taylor expansion of d1 in d4
3.518 * [backup-simplify]: Simplify d1 into d1
3.518 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d3
3.518 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3
3.518 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3
3.518 * [taylor]: Taking taylor expansion of d2 in d3
3.519 * [backup-simplify]: Simplify d2 into d2
3.519 * [taylor]: Taking taylor expansion of d4 in d3
3.519 * [backup-simplify]: Simplify d4 into d4
3.519 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
3.519 * [taylor]: Taking taylor expansion of d3 in d3
3.519 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify 1 into 1
3.519 * [taylor]: Taking taylor expansion of d1 in d3
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [taylor]: Taking taylor expansion of d1 in d3
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d2
3.519 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
3.519 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
3.519 * [taylor]: Taking taylor expansion of d2 in d2
3.519 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify 1 into 1
3.519 * [taylor]: Taking taylor expansion of d4 in d2
3.519 * [backup-simplify]: Simplify d4 into d4
3.519 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
3.519 * [taylor]: Taking taylor expansion of d3 in d2
3.519 * [backup-simplify]: Simplify d3 into d3
3.519 * [taylor]: Taking taylor expansion of d1 in d2
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [taylor]: Taking taylor expansion of d1 in d2
3.519 * [backup-simplify]: Simplify d1 into d1
3.519 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d1
3.519 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1
3.519 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1
3.519 * [taylor]: Taking taylor expansion of d2 in d1
3.519 * [backup-simplify]: Simplify d2 into d2
3.519 * [taylor]: Taking taylor expansion of d4 in d1
3.519 * [backup-simplify]: Simplify d4 into d4
3.519 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
3.519 * [taylor]: Taking taylor expansion of d3 in d1
3.519 * [backup-simplify]: Simplify d3 into d3
3.519 * [taylor]: Taking taylor expansion of d1 in d1
3.519 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify 1 into 1
3.519 * [taylor]: Taking taylor expansion of d1 in d1
3.519 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify 1 into 1
3.519 * [taylor]: Taking taylor expansion of (* (- (+ d2 d4) (+ d3 d1)) d1) in d1
3.519 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1
3.519 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1
3.519 * [taylor]: Taking taylor expansion of d2 in d1
3.519 * [backup-simplify]: Simplify d2 into d2
3.519 * [taylor]: Taking taylor expansion of d4 in d1
3.520 * [backup-simplify]: Simplify d4 into d4
3.520 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
3.520 * [taylor]: Taking taylor expansion of d3 in d1
3.520 * [backup-simplify]: Simplify d3 into d3
3.520 * [taylor]: Taking taylor expansion of d1 in d1
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.520 * [taylor]: Taking taylor expansion of d1 in d1
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.520 * [backup-simplify]: Simplify (+ d2 d4) into (+ d2 d4)
3.520 * [backup-simplify]: Simplify (+ d3 0) into d3
3.520 * [backup-simplify]: Simplify (- d3) into (- d3)
3.520 * [backup-simplify]: Simplify (+ (+ d2 d4) (- d3)) into (- (+ d2 d4) d3)
3.520 * [backup-simplify]: Simplify (* (- (+ d2 d4) d3) 0) into 0
3.520 * [taylor]: Taking taylor expansion of 0 in d2
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [taylor]: Taking taylor expansion of 0 in d3
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [taylor]: Taking taylor expansion of 0 in d4
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (+ 0 0) into 0
3.521 * [backup-simplify]: Simplify (+ 0 1) into 1
3.522 * [backup-simplify]: Simplify (- 1) into -1
3.522 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.523 * [backup-simplify]: Simplify (+ (* (- (+ d2 d4) d3) 1) (* -1 0)) into (- (+ d2 d4) d3)
3.523 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2
3.523 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
3.523 * [taylor]: Taking taylor expansion of d2 in d2
3.523 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify 1 into 1
3.523 * [taylor]: Taking taylor expansion of d4 in d2
3.523 * [backup-simplify]: Simplify d4 into d4
3.523 * [taylor]: Taking taylor expansion of d3 in d2
3.523 * [backup-simplify]: Simplify d3 into d3
3.523 * [backup-simplify]: Simplify (+ 0 d4) into d4
3.523 * [backup-simplify]: Simplify (- d3) into (- d3)
3.523 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
3.523 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
3.523 * [taylor]: Taking taylor expansion of d4 in d3
3.523 * [backup-simplify]: Simplify d4 into d4
3.523 * [taylor]: Taking taylor expansion of d3 in d3
3.523 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify 1 into 1
3.523 * [backup-simplify]: Simplify (- 0) into 0
3.524 * [backup-simplify]: Simplify (+ d4 0) into d4
3.524 * [taylor]: Taking taylor expansion of d4 in d4
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [taylor]: Taking taylor expansion of 0 in d3
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [taylor]: Taking taylor expansion of 0 in d4
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [taylor]: Taking taylor expansion of 0 in d4
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify (+ 0 0) into 0
3.525 * [backup-simplify]: Simplify (+ 0 0) into 0
3.525 * [backup-simplify]: Simplify (- 0) into 0
3.525 * [backup-simplify]: Simplify (+ 0 0) into 0
3.526 * [backup-simplify]: Simplify (+ (* (- (+ d2 d4) d3) 0) (+ (* -1 1) (* 0 0))) into (- 1)
3.526 * [taylor]: Taking taylor expansion of (- 1) in d2
3.526 * [taylor]: Taking taylor expansion of 1 in d2
3.526 * [backup-simplify]: Simplify 1 into 1
3.526 * [backup-simplify]: Simplify (- 1) into -1
3.526 * [taylor]: Taking taylor expansion of -1 in d3
3.526 * [backup-simplify]: Simplify -1 into -1
3.526 * [taylor]: Taking taylor expansion of -1 in d4
3.526 * [backup-simplify]: Simplify -1 into -1
3.527 * [backup-simplify]: Simplify -1 into -1
3.527 * [backup-simplify]: Simplify (+ 1 0) into 1
3.527 * [backup-simplify]: Simplify (- 0) into 0
3.528 * [backup-simplify]: Simplify (+ 1 0) into 1
3.528 * [taylor]: Taking taylor expansion of 1 in d3
3.528 * [backup-simplify]: Simplify 1 into 1
3.528 * [taylor]: Taking taylor expansion of 1 in d4
3.528 * [backup-simplify]: Simplify 1 into 1
3.528 * [backup-simplify]: Simplify 1 into 1
3.528 * [taylor]: Taking taylor expansion of 0 in d3
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [taylor]: Taking taylor expansion of 0 in d4
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify (- 1) into -1
3.529 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.529 * [taylor]: Taking taylor expansion of -1 in d4
3.529 * [backup-simplify]: Simplify -1 into -1
3.529 * [backup-simplify]: Simplify -1 into -1
3.529 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* d3 (* 1 d1)))) (+ (* 1 (* 1 (* 1 (* d2 d1)))) (* -1 (pow (* 1 (* 1 (* 1 d1))) 2)))) into (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
3.530 * [backup-simplify]: Simplify (* (/ 1 d1) (- (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) (/ 1 d1))) into (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1)
3.530 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d3 d4) around 0
3.530 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4
3.530 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d4
3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
3.530 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.530 * [taylor]: Taking taylor expansion of d4 in d4
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.530 * [backup-simplify]: Simplify (/ 1 1) into 1
3.530 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
3.530 * [taylor]: Taking taylor expansion of d2 in d4
3.530 * [backup-simplify]: Simplify d2 into d2
3.530 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
3.530 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.530 * [taylor]: Taking taylor expansion of d1 in d4
3.530 * [backup-simplify]: Simplify d1 into d1
3.530 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.530 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
3.530 * [taylor]: Taking taylor expansion of d3 in d4
3.530 * [backup-simplify]: Simplify d3 into d3
3.530 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.530 * [taylor]: Taking taylor expansion of d1 in d4
3.531 * [backup-simplify]: Simplify d1 into d1
3.531 * [backup-simplify]: Simplify (+ 1 0) into 1
3.531 * [backup-simplify]: Simplify (+ 1 0) into 1
3.531 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.531 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3
3.531 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d3
3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
3.531 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.531 * [taylor]: Taking taylor expansion of d4 in d3
3.531 * [backup-simplify]: Simplify d4 into d4
3.532 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.532 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.532 * [taylor]: Taking taylor expansion of d2 in d3
3.532 * [backup-simplify]: Simplify d2 into d2
3.532 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.532 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.532 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.532 * [taylor]: Taking taylor expansion of d1 in d3
3.532 * [backup-simplify]: Simplify d1 into d1
3.532 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.532 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.532 * [taylor]: Taking taylor expansion of d3 in d3
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ 1 1) into 1
3.532 * [taylor]: Taking taylor expansion of d1 in d3
3.532 * [backup-simplify]: Simplify d1 into d1
3.533 * [backup-simplify]: Simplify (+ 0 1) into 1
3.533 * [backup-simplify]: Simplify (- 1) into -1
3.533 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.533 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
3.533 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2
3.533 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
3.533 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.533 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.533 * [taylor]: Taking taylor expansion of d4 in d2
3.533 * [backup-simplify]: Simplify d4 into d4
3.533 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.533 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.533 * [taylor]: Taking taylor expansion of d2 in d2
3.533 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify 1 into 1
3.533 * [backup-simplify]: Simplify (/ 1 1) into 1
3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.534 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.534 * [taylor]: Taking taylor expansion of d1 in d2
3.534 * [backup-simplify]: Simplify d1 into d1
3.534 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.534 * [taylor]: Taking taylor expansion of d3 in d2
3.534 * [backup-simplify]: Simplify d3 into d3
3.534 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.534 * [taylor]: Taking taylor expansion of d1 in d2
3.534 * [backup-simplify]: Simplify d1 into d1
3.534 * [backup-simplify]: Simplify (+ 0 1) into 1
3.534 * [backup-simplify]: Simplify (+ 1 0) into 1
3.534 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.534 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1
3.534 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d1
3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.534 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.534 * [taylor]: Taking taylor expansion of d4 in d1
3.534 * [backup-simplify]: Simplify d4 into d4
3.534 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.534 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.534 * [taylor]: Taking taylor expansion of d2 in d1
3.534 * [backup-simplify]: Simplify d2 into d2
3.535 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.535 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.535 * [taylor]: Taking taylor expansion of d1 in d1
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (/ 1 1) into 1
3.535 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.535 * [taylor]: Taking taylor expansion of d3 in d1
3.535 * [backup-simplify]: Simplify d3 into d3
3.535 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.535 * [taylor]: Taking taylor expansion of d1 in d1
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (+ 1 0) into 1
3.535 * [backup-simplify]: Simplify (- 1) into -1
3.536 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.536 * [backup-simplify]: Simplify (/ -1 1) into -1
3.536 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1
3.536 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d1
3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.536 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.536 * [taylor]: Taking taylor expansion of d4 in d1
3.536 * [backup-simplify]: Simplify d4 into d4
3.536 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.536 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.536 * [taylor]: Taking taylor expansion of d2 in d1
3.536 * [backup-simplify]: Simplify d2 into d2
3.536 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.536 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.536 * [taylor]: Taking taylor expansion of d1 in d1
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify (/ 1 1) into 1
3.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.537 * [taylor]: Taking taylor expansion of d3 in d1
3.537 * [backup-simplify]: Simplify d3 into d3
3.537 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.537 * [taylor]: Taking taylor expansion of d1 in d1
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify (+ 1 0) into 1
3.537 * [backup-simplify]: Simplify (- 1) into -1
3.537 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.538 * [backup-simplify]: Simplify (/ -1 1) into -1
3.538 * [taylor]: Taking taylor expansion of -1 in d2
3.538 * [backup-simplify]: Simplify -1 into -1
3.538 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d4) (/ 1 d2))
3.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.538 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
3.539 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.539 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.539 * [backup-simplify]: Simplify (- (/ (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) 1) (+ (* -1 (/ 0 1)))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.539 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.539 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.539 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.539 * [taylor]: Taking taylor expansion of d4 in d2
3.539 * [backup-simplify]: Simplify d4 into d4
3.539 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.539 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.539 * [taylor]: Taking taylor expansion of d2 in d2
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.540 * [backup-simplify]: Simplify (/ 1 1) into 1
3.540 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.540 * [taylor]: Taking taylor expansion of d3 in d2
3.540 * [backup-simplify]: Simplify d3 into d3
3.540 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.540 * [backup-simplify]: Simplify (+ 0 1) into 1
3.540 * [backup-simplify]: Simplify (+ 1 0) into 1
3.540 * [taylor]: Taking taylor expansion of 1 in d3
3.540 * [backup-simplify]: Simplify 1 into 1
3.541 * [taylor]: Taking taylor expansion of -1 in d3
3.541 * [backup-simplify]: Simplify -1 into -1
3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.541 * [backup-simplify]: Simplify (+ 0 0) into 0
3.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.542 * [backup-simplify]: Simplify (+ 0 0) into 0
3.542 * [backup-simplify]: Simplify (- 0) into 0
3.542 * [backup-simplify]: Simplify (+ 0 0) into 0
3.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) (/ 0 1)))) into 0
3.543 * [taylor]: Taking taylor expansion of 0 in d2
3.543 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.544 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.544 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.544 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.544 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.544 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.544 * [taylor]: Taking taylor expansion of d4 in d3
3.544 * [backup-simplify]: Simplify d4 into d4
3.544 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.544 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.544 * [taylor]: Taking taylor expansion of d3 in d3
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [backup-simplify]: Simplify (/ 1 1) into 1
3.545 * [backup-simplify]: Simplify (- 1) into -1
3.545 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.545 * [taylor]: Taking taylor expansion of -1 in d4
3.545 * [backup-simplify]: Simplify -1 into -1
3.545 * [taylor]: Taking taylor expansion of 0 in d3
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [taylor]: Taking taylor expansion of 1 in d4
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [taylor]: Taking taylor expansion of -1 in d4
3.545 * [backup-simplify]: Simplify -1 into -1
3.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.547 * [backup-simplify]: Simplify (- 0) into 0
3.547 * [backup-simplify]: Simplify (+ 0 0) into 0
3.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.548 * [taylor]: Taking taylor expansion of 0 in d2
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [taylor]: Taking taylor expansion of 0 in d3
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.549 * [backup-simplify]: Simplify (+ 0 0) into 0
3.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.549 * [backup-simplify]: Simplify (- 0) into 0
3.550 * [backup-simplify]: Simplify (+ 0 0) into 0
3.550 * [taylor]: Taking taylor expansion of 0 in d3
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [taylor]: Taking taylor expansion of 0 in d3
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.550 * [backup-simplify]: Simplify (- 0) into 0
3.550 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.551 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.551 * [taylor]: Taking taylor expansion of d4 in d4
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (/ 1 1) into 1
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [taylor]: Taking taylor expansion of 0 in d4
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [taylor]: Taking taylor expansion of 0 in d4
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [taylor]: Taking taylor expansion of 0 in d4
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.552 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (- (+ (- (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d4))) (/ 1 (- d1)))) into (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1))
3.552 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in (d1 d2 d3 d4) around 0
3.552 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d4
3.552 * [taylor]: Taking taylor expansion of -1 in d4
3.552 * [backup-simplify]: Simplify -1 into -1
3.552 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d4
3.552 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d4
3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
3.552 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.552 * [taylor]: Taking taylor expansion of d1 in d4
3.552 * [backup-simplify]: Simplify d1 into d1
3.552 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.552 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
3.552 * [taylor]: Taking taylor expansion of d3 in d4
3.552 * [backup-simplify]: Simplify d3 into d3
3.552 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
3.552 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.552 * [taylor]: Taking taylor expansion of d4 in d4
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 1 into 1
3.552 * [backup-simplify]: Simplify (/ 1 1) into 1
3.552 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
3.552 * [taylor]: Taking taylor expansion of d2 in d4
3.552 * [backup-simplify]: Simplify d2 into d2
3.552 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.552 * [taylor]: Taking taylor expansion of d1 in d4
3.552 * [backup-simplify]: Simplify d1 into d1
3.553 * [backup-simplify]: Simplify (+ 1 0) into 1
3.553 * [backup-simplify]: Simplify (- 1) into -1
3.553 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.553 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
3.553 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d3
3.553 * [taylor]: Taking taylor expansion of -1 in d3
3.553 * [backup-simplify]: Simplify -1 into -1
3.553 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d3
3.553 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d3
3.553 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.553 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.553 * [taylor]: Taking taylor expansion of d1 in d3
3.553 * [backup-simplify]: Simplify d1 into d1
3.553 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.553 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.553 * [taylor]: Taking taylor expansion of d3 in d3
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 1 into 1
3.554 * [backup-simplify]: Simplify (/ 1 1) into 1
3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
3.554 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.554 * [taylor]: Taking taylor expansion of d4 in d3
3.554 * [backup-simplify]: Simplify d4 into d4
3.554 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.554 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.554 * [taylor]: Taking taylor expansion of d2 in d3
3.554 * [backup-simplify]: Simplify d2 into d2
3.554 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.554 * [taylor]: Taking taylor expansion of d1 in d3
3.554 * [backup-simplify]: Simplify d1 into d1
3.554 * [backup-simplify]: Simplify (+ 0 1) into 1
3.554 * [backup-simplify]: Simplify (+ 1 0) into 1
3.554 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.554 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d2
3.554 * [taylor]: Taking taylor expansion of -1 in d2
3.555 * [backup-simplify]: Simplify -1 into -1
3.555 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d2
3.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.555 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.555 * [taylor]: Taking taylor expansion of d1 in d2
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.555 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.555 * [taylor]: Taking taylor expansion of d3 in d2
3.555 * [backup-simplify]: Simplify d3 into d3
3.555 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.555 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.555 * [taylor]: Taking taylor expansion of d4 in d2
3.555 * [backup-simplify]: Simplify d4 into d4
3.555 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.555 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.555 * [taylor]: Taking taylor expansion of d2 in d2
3.555 * [backup-simplify]: Simplify 0 into 0
3.555 * [backup-simplify]: Simplify 1 into 1
3.555 * [backup-simplify]: Simplify (/ 1 1) into 1
3.555 * [taylor]: Taking taylor expansion of d1 in d2
3.555 * [backup-simplify]: Simplify d1 into d1
3.555 * [backup-simplify]: Simplify (+ 0 1) into 1
3.556 * [backup-simplify]: Simplify (- 1) into -1
3.556 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.556 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
3.556 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d1
3.556 * [taylor]: Taking taylor expansion of -1 in d1
3.556 * [backup-simplify]: Simplify -1 into -1
3.556 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d1
3.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d1
3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.556 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.556 * [taylor]: Taking taylor expansion of d1 in d1
3.556 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify 1 into 1
3.556 * [backup-simplify]: Simplify (/ 1 1) into 1
3.557 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.557 * [taylor]: Taking taylor expansion of d3 in d1
3.557 * [backup-simplify]: Simplify d3 into d3
3.557 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.557 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.557 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.557 * [taylor]: Taking taylor expansion of d4 in d1
3.557 * [backup-simplify]: Simplify d4 into d4
3.557 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.557 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.557 * [taylor]: Taking taylor expansion of d2 in d1
3.557 * [backup-simplify]: Simplify d2 into d2
3.557 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.557 * [taylor]: Taking taylor expansion of d1 in d1
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 1 into 1
3.557 * [backup-simplify]: Simplify (+ 1 0) into 1
3.557 * [backup-simplify]: Simplify (+ 1 0) into 1
3.558 * [backup-simplify]: Simplify (/ 1 1) into 1
3.558 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1)) in d1
3.558 * [taylor]: Taking taylor expansion of -1 in d1
3.558 * [backup-simplify]: Simplify -1 into -1
3.558 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) d1) in d1
3.558 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d1
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.558 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.558 * [taylor]: Taking taylor expansion of d1 in d1
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.558 * [backup-simplify]: Simplify (/ 1 1) into 1
3.558 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.558 * [taylor]: Taking taylor expansion of d3 in d1
3.558 * [backup-simplify]: Simplify d3 into d3
3.558 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.558 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.558 * [taylor]: Taking taylor expansion of d4 in d1
3.558 * [backup-simplify]: Simplify d4 into d4
3.558 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.558 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.558 * [taylor]: Taking taylor expansion of d2 in d1
3.558 * [backup-simplify]: Simplify d2 into d2
3.558 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.558 * [taylor]: Taking taylor expansion of d1 in d1
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (+ 1 0) into 1
3.559 * [backup-simplify]: Simplify (+ 1 0) into 1
3.559 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [backup-simplify]: Simplify (* -1 1) into -1
3.560 * [taylor]: Taking taylor expansion of -1 in d2
3.560 * [backup-simplify]: Simplify -1 into -1
3.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.562 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
3.562 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d4) (/ 1 d2))
3.562 * [backup-simplify]: Simplify (- (+ (/ 1 d4) (/ 1 d2))) into (- (+ (/ 1 d4) (/ 1 d2)))
3.562 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (+ (/ 1 d4) (/ 1 d2)))) into (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2)))
3.563 * [backup-simplify]: Simplify (- (/ (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2))) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2)))
3.563 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2)))) (* 0 1)) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
3.563 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
3.563 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.563 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.563 * [taylor]: Taking taylor expansion of d4 in d2
3.563 * [backup-simplify]: Simplify d4 into d4
3.563 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.563 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.563 * [taylor]: Taking taylor expansion of d2 in d2
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.564 * [backup-simplify]: Simplify (/ 1 1) into 1
3.564 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.564 * [taylor]: Taking taylor expansion of d3 in d2
3.564 * [backup-simplify]: Simplify d3 into d3
3.564 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.564 * [backup-simplify]: Simplify (+ 0 1) into 1
3.564 * [backup-simplify]: Simplify (+ 1 0) into 1
3.564 * [taylor]: Taking taylor expansion of 1 in d3
3.564 * [backup-simplify]: Simplify 1 into 1
3.564 * [taylor]: Taking taylor expansion of -1 in d3
3.564 * [backup-simplify]: Simplify -1 into -1
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.565 * [backup-simplify]: Simplify (+ 0 0) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify (- 0) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2))) (/ 0 1)))) into 0
3.568 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2)))) (* 0 1))) into 0
3.568 * [taylor]: Taking taylor expansion of 0 in d2
3.568 * [backup-simplify]: Simplify 0 into 0
3.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.568 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.568 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
3.568 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
3.568 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
3.568 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.568 * [taylor]: Taking taylor expansion of d4 in d3
3.568 * [backup-simplify]: Simplify d4 into d4
3.568 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.568 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.568 * [taylor]: Taking taylor expansion of d3 in d3
3.568 * [backup-simplify]: Simplify 0 into 0
3.568 * [backup-simplify]: Simplify 1 into 1
3.569 * [backup-simplify]: Simplify (/ 1 1) into 1
3.569 * [backup-simplify]: Simplify (- 1) into -1
3.569 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.569 * [taylor]: Taking taylor expansion of -1 in d4
3.569 * [backup-simplify]: Simplify -1 into -1
3.569 * [taylor]: Taking taylor expansion of 0 in d3
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [taylor]: Taking taylor expansion of 1 in d4
3.569 * [backup-simplify]: Simplify 1 into 1
3.569 * [taylor]: Taking taylor expansion of -1 in d4
3.569 * [backup-simplify]: Simplify -1 into -1
3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.570 * [backup-simplify]: Simplify (+ 0 0) into 0
3.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
3.571 * [backup-simplify]: Simplify (+ 0 0) into 0
3.571 * [backup-simplify]: Simplify (- 0) into 0
3.571 * [backup-simplify]: Simplify (+ 0 0) into 0
3.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.574 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d3) (+ (/ 1 d4) (/ 1 d2)))) (* 0 1)))) into 0
3.574 * [taylor]: Taking taylor expansion of 0 in d2
3.574 * [backup-simplify]: Simplify 0 into 0
3.574 * [taylor]: Taking taylor expansion of 0 in d3
3.574 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.575 * [backup-simplify]: Simplify (+ 0 0) into 0
3.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.576 * [backup-simplify]: Simplify (- 0) into 0
3.576 * [backup-simplify]: Simplify (+ 0 0) into 0
3.576 * [taylor]: Taking taylor expansion of 0 in d3
3.576 * [backup-simplify]: Simplify 0 into 0
3.576 * [taylor]: Taking taylor expansion of 0 in d3
3.576 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.577 * [backup-simplify]: Simplify (- 0) into 0
3.577 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.577 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.577 * [taylor]: Taking taylor expansion of d4 in d4
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [backup-simplify]: Simplify (/ 1 1) into 1
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [taylor]: Taking taylor expansion of 0 in d4
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [taylor]: Taking taylor expansion of 0 in d4
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [taylor]: Taking taylor expansion of 0 in d4
3.577 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify -1 into -1
3.578 * [backup-simplify]: Simplify 1 into 1
3.578 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
3.578 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.578 * [backup-simplify]: Simplify (- (+ (- d2 d3) d4) d1) into (- (+ d2 d4) (+ d3 d1))
3.578 * [approximate]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in (d2 d3 d4 d1) around 0
3.578 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d1
3.578 * [taylor]: Taking taylor expansion of (+ d2 d4) in d1
3.578 * [taylor]: Taking taylor expansion of d2 in d1
3.578 * [backup-simplify]: Simplify d2 into d2
3.578 * [taylor]: Taking taylor expansion of d4 in d1
3.578 * [backup-simplify]: Simplify d4 into d4
3.578 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1
3.578 * [taylor]: Taking taylor expansion of d3 in d1
3.578 * [backup-simplify]: Simplify d3 into d3
3.578 * [taylor]: Taking taylor expansion of d1 in d1
3.578 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify 1 into 1
3.578 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d4
3.578 * [taylor]: Taking taylor expansion of (+ d2 d4) in d4
3.578 * [taylor]: Taking taylor expansion of d2 in d4
3.579 * [backup-simplify]: Simplify d2 into d2
3.579 * [taylor]: Taking taylor expansion of d4 in d4
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify 1 into 1
3.579 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4
3.579 * [taylor]: Taking taylor expansion of d3 in d4
3.579 * [backup-simplify]: Simplify d3 into d3
3.579 * [taylor]: Taking taylor expansion of d1 in d4
3.579 * [backup-simplify]: Simplify d1 into d1
3.579 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d3
3.579 * [taylor]: Taking taylor expansion of (+ d2 d4) in d3
3.579 * [taylor]: Taking taylor expansion of d2 in d3
3.579 * [backup-simplify]: Simplify d2 into d2
3.579 * [taylor]: Taking taylor expansion of d4 in d3
3.579 * [backup-simplify]: Simplify d4 into d4
3.579 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
3.579 * [taylor]: Taking taylor expansion of d3 in d3
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify 1 into 1
3.579 * [taylor]: Taking taylor expansion of d1 in d3
3.579 * [backup-simplify]: Simplify d1 into d1
3.579 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
3.579 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
3.579 * [taylor]: Taking taylor expansion of d2 in d2
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify 1 into 1
3.579 * [taylor]: Taking taylor expansion of d4 in d2
3.579 * [backup-simplify]: Simplify d4 into d4
3.579 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
3.579 * [taylor]: Taking taylor expansion of d3 in d2
3.579 * [backup-simplify]: Simplify d3 into d3
3.579 * [taylor]: Taking taylor expansion of d1 in d2
3.579 * [backup-simplify]: Simplify d1 into d1
3.579 * [taylor]: Taking taylor expansion of (- (+ d2 d4) (+ d3 d1)) in d2
3.579 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2
3.579 * [taylor]: Taking taylor expansion of d2 in d2
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify 1 into 1
3.579 * [taylor]: Taking taylor expansion of d4 in d2
3.579 * [backup-simplify]: Simplify d4 into d4
3.579 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2
3.579 * [taylor]: Taking taylor expansion of d3 in d2
3.579 * [backup-simplify]: Simplify d3 into d3
3.579 * [taylor]: Taking taylor expansion of d1 in d2
3.579 * [backup-simplify]: Simplify d1 into d1
3.579 * [backup-simplify]: Simplify (+ 0 d4) into d4
3.579 * [backup-simplify]: Simplify (+ d3 d1) into (+ d3 d1)
3.579 * [backup-simplify]: Simplify (- (+ d3 d1)) into (- (+ d3 d1))
3.579 * [backup-simplify]: Simplify (+ d4 (- (+ d3 d1))) into (- d4 (+ d3 d1))
3.579 * [taylor]: Taking taylor expansion of (- d4 (+ d3 d1)) in d3
3.579 * [taylor]: Taking taylor expansion of d4 in d3
3.579 * [backup-simplify]: Simplify d4 into d4
3.580 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3
3.580 * [taylor]: Taking taylor expansion of d3 in d3
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [taylor]: Taking taylor expansion of d1 in d3
3.580 * [backup-simplify]: Simplify d1 into d1
3.580 * [backup-simplify]: Simplify (+ 0 d1) into d1
3.580 * [backup-simplify]: Simplify (- d1) into (- d1)
3.580 * [backup-simplify]: Simplify (+ d4 (- d1)) into (- d4 d1)
3.580 * [taylor]: Taking taylor expansion of (- d4 d1) in d4
3.580 * [taylor]: Taking taylor expansion of d4 in d4
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [taylor]: Taking taylor expansion of d1 in d4
3.580 * [backup-simplify]: Simplify d1 into d1
3.580 * [backup-simplify]: Simplify (- d1) into (- d1)
3.580 * [backup-simplify]: Simplify (+ 0 (- d1)) into (- d1)
3.580 * [taylor]: Taking taylor expansion of (- d1) in d1
3.580 * [taylor]: Taking taylor expansion of d1 in d1
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [backup-simplify]: Simplify (- 0) into 0
3.580 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify (+ 1 0) into 1
3.581 * [backup-simplify]: Simplify (+ 0 0) into 0
3.581 * [backup-simplify]: Simplify (- 0) into 0
3.581 * [backup-simplify]: Simplify (+ 1 0) into 1
3.581 * [taylor]: Taking taylor expansion of 1 in d3
3.581 * [backup-simplify]: Simplify 1 into 1
3.581 * [taylor]: Taking taylor expansion of 1 in d4
3.581 * [backup-simplify]: Simplify 1 into 1
3.581 * [taylor]: Taking taylor expansion of 1 in d1
3.581 * [backup-simplify]: Simplify 1 into 1
3.581 * [backup-simplify]: Simplify 1 into 1
3.582 * [backup-simplify]: Simplify (+ 1 0) into 1
3.582 * [backup-simplify]: Simplify (- 1) into -1
3.582 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.582 * [taylor]: Taking taylor expansion of -1 in d4
3.582 * [backup-simplify]: Simplify -1 into -1
3.582 * [taylor]: Taking taylor expansion of -1 in d1
3.582 * [backup-simplify]: Simplify -1 into -1
3.582 * [backup-simplify]: Simplify -1 into -1
3.582 * [backup-simplify]: Simplify (- 0) into 0
3.583 * [backup-simplify]: Simplify (+ 1 0) into 1
3.583 * [taylor]: Taking taylor expansion of 1 in d1
3.583 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d4 (* 1 1)))) (+ (* -1 (* 1 (* 1 (* d3 1)))) (* 1 (* 1 (* 1 (* 1 d2)))))) into (- (+ d4 d2) d3)
3.583 * [backup-simplify]: Simplify (- (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) (/ 1 d1)) into (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3)))
3.583 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in (d2 d3 d4 d1) around 0
3.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d1
3.583 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.583 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.583 * [taylor]: Taking taylor expansion of d4 in d1
3.583 * [backup-simplify]: Simplify d4 into d4
3.583 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.584 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.584 * [taylor]: Taking taylor expansion of d2 in d1
3.584 * [backup-simplify]: Simplify d2 into d2
3.584 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.584 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.584 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.584 * [taylor]: Taking taylor expansion of d1 in d1
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.584 * [taylor]: Taking taylor expansion of d3 in d1
3.584 * [backup-simplify]: Simplify d3 into d3
3.584 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.584 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d4
3.584 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
3.584 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.584 * [taylor]: Taking taylor expansion of d4 in d4
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
3.584 * [taylor]: Taking taylor expansion of d2 in d4
3.584 * [backup-simplify]: Simplify d2 into d2
3.585 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
3.585 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.585 * [taylor]: Taking taylor expansion of d1 in d4
3.585 * [backup-simplify]: Simplify d1 into d1
3.585 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.585 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
3.585 * [taylor]: Taking taylor expansion of d3 in d4
3.585 * [backup-simplify]: Simplify d3 into d3
3.585 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d3
3.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
3.585 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.585 * [taylor]: Taking taylor expansion of d4 in d3
3.585 * [backup-simplify]: Simplify d4 into d4
3.585 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.585 * [taylor]: Taking taylor expansion of d2 in d3
3.585 * [backup-simplify]: Simplify d2 into d2
3.585 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.585 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.585 * [taylor]: Taking taylor expansion of d1 in d3
3.585 * [backup-simplify]: Simplify d1 into d1
3.585 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.585 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.585 * [taylor]: Taking taylor expansion of d3 in d3
3.585 * [backup-simplify]: Simplify 0 into 0
3.585 * [backup-simplify]: Simplify 1 into 1
3.586 * [backup-simplify]: Simplify (/ 1 1) into 1
3.586 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
3.586 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.586 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.586 * [taylor]: Taking taylor expansion of d4 in d2
3.586 * [backup-simplify]: Simplify d4 into d4
3.586 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.586 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.586 * [taylor]: Taking taylor expansion of d2 in d2
3.586 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify 1 into 1
3.587 * [backup-simplify]: Simplify (/ 1 1) into 1
3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.587 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.587 * [taylor]: Taking taylor expansion of d1 in d2
3.587 * [backup-simplify]: Simplify d1 into d1
3.587 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.587 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.587 * [taylor]: Taking taylor expansion of d3 in d2
3.587 * [backup-simplify]: Simplify d3 into d3
3.587 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.587 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (+ (/ 1 d1) (/ 1 d3))) in d2
3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.587 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.587 * [taylor]: Taking taylor expansion of d4 in d2
3.587 * [backup-simplify]: Simplify d4 into d4
3.587 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.587 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.587 * [taylor]: Taking taylor expansion of d2 in d2
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 1 into 1
3.588 * [backup-simplify]: Simplify (/ 1 1) into 1
3.588 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.588 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.588 * [taylor]: Taking taylor expansion of d1 in d2
3.588 * [backup-simplify]: Simplify d1 into d1
3.588 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.588 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.588 * [taylor]: Taking taylor expansion of d3 in d2
3.588 * [backup-simplify]: Simplify d3 into d3
3.588 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.588 * [backup-simplify]: Simplify (+ 0 1) into 1
3.589 * [backup-simplify]: Simplify (+ 1 0) into 1
3.589 * [taylor]: Taking taylor expansion of 1 in d3
3.589 * [backup-simplify]: Simplify 1 into 1
3.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.590 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.590 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
3.590 * [backup-simplify]: Simplify (- (+ (/ 1 d1) (/ 1 d3))) into (- (+ (/ 1 d1) (/ 1 d3)))
3.590 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (+ (/ 1 d1) (/ 1 d3)))) into (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3)))
3.590 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (+ (/ 1 d1) (/ 1 d3))) in d3
3.590 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.590 * [taylor]: Taking taylor expansion of d4 in d3
3.590 * [backup-simplify]: Simplify d4 into d4
3.590 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.590 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.590 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.591 * [taylor]: Taking taylor expansion of d1 in d3
3.591 * [backup-simplify]: Simplify d1 into d1
3.591 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.591 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.591 * [taylor]: Taking taylor expansion of d3 in d3
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify 1 into 1
3.591 * [backup-simplify]: Simplify (/ 1 1) into 1
3.591 * [backup-simplify]: Simplify (+ 0 1) into 1
3.592 * [backup-simplify]: Simplify (- 1) into -1
3.592 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.592 * [taylor]: Taking taylor expansion of -1 in d4
3.592 * [backup-simplify]: Simplify -1 into -1
3.592 * [taylor]: Taking taylor expansion of 1 in d4
3.592 * [backup-simplify]: Simplify 1 into 1
3.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.594 * [backup-simplify]: Simplify (+ 0 0) into 0
3.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
3.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.595 * [backup-simplify]: Simplify (+ 0 0) into 0
3.595 * [backup-simplify]: Simplify (- 0) into 0
3.595 * [backup-simplify]: Simplify (+ 0 0) into 0
3.595 * [taylor]: Taking taylor expansion of 0 in d3
3.595 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.596 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1)
3.596 * [backup-simplify]: Simplify (- (/ 1 d1)) into (- (/ 1 d1))
3.596 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d1))) into (- (/ 1 d4) (/ 1 d1))
3.596 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4
3.596 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.596 * [taylor]: Taking taylor expansion of d4 in d4
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.597 * [backup-simplify]: Simplify (/ 1 1) into 1
3.597 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.597 * [taylor]: Taking taylor expansion of d1 in d4
3.597 * [backup-simplify]: Simplify d1 into d1
3.597 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.597 * [backup-simplify]: Simplify (+ 1 0) into 1
3.597 * [taylor]: Taking taylor expansion of 1 in d1
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [taylor]: Taking taylor expansion of 0 in d4
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [taylor]: Taking taylor expansion of -1 in d1
3.597 * [backup-simplify]: Simplify -1 into -1
3.597 * [taylor]: Taking taylor expansion of 1 in d1
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.598 * [backup-simplify]: Simplify (+ 0 0) into 0
3.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
3.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.598 * [backup-simplify]: Simplify (+ 0 0) into 0
3.599 * [backup-simplify]: Simplify (- 0) into 0
3.599 * [backup-simplify]: Simplify (+ 0 0) into 0
3.599 * [taylor]: Taking taylor expansion of 0 in d3
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [taylor]: Taking taylor expansion of 0 in d4
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.600 * [backup-simplify]: Simplify (+ 0 0) into 0
3.600 * [backup-simplify]: Simplify (- 0) into 0
3.600 * [backup-simplify]: Simplify (+ 0 0) into 0
3.600 * [taylor]: Taking taylor expansion of 0 in d4
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [taylor]: Taking taylor expansion of 0 in d4
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.601 * [backup-simplify]: Simplify (- (/ 1 d1)) into (- (/ 1 d1))
3.601 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d1))) into (- (/ 1 d1))
3.601 * [taylor]: Taking taylor expansion of (- (/ 1 d1)) in d1
3.601 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.601 * [taylor]: Taking taylor expansion of d1 in d1
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.601 * [backup-simplify]: Simplify (/ 1 1) into 1
3.602 * [backup-simplify]: Simplify (- 1) into -1
3.602 * [backup-simplify]: Simplify -1 into -1
3.602 * [taylor]: Taking taylor expansion of 0 in d1
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [taylor]: Taking taylor expansion of 0 in d1
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [taylor]: Taking taylor expansion of 0 in d1
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify 1 into 1
3.602 * [backup-simplify]: Simplify -1 into -1
3.603 * [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 (+ d3 d1))
3.603 * [backup-simplify]: Simplify (- (+ (- (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d4))) (/ 1 (- d1))) into (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2)))
3.603 * [approximate]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in (d2 d3 d4 d1) around 0
3.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d1
3.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1
3.603 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.603 * [taylor]: Taking taylor expansion of d1 in d1
3.603 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 1 into 1
3.603 * [backup-simplify]: Simplify (/ 1 1) into 1
3.603 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
3.603 * [taylor]: Taking taylor expansion of d3 in d1
3.603 * [backup-simplify]: Simplify d3 into d3
3.603 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d1
3.603 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
3.603 * [taylor]: Taking taylor expansion of d4 in d1
3.603 * [backup-simplify]: Simplify d4 into d4
3.603 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.603 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
3.603 * [taylor]: Taking taylor expansion of d2 in d1
3.603 * [backup-simplify]: Simplify d2 into d2
3.603 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d4
3.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4
3.603 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.603 * [taylor]: Taking taylor expansion of d1 in d4
3.603 * [backup-simplify]: Simplify d1 into d1
3.603 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.604 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4
3.604 * [taylor]: Taking taylor expansion of d3 in d4
3.604 * [backup-simplify]: Simplify d3 into d3
3.604 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d4
3.604 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.604 * [taylor]: Taking taylor expansion of d4 in d4
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify 1 into 1
3.604 * [backup-simplify]: Simplify (/ 1 1) into 1
3.604 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4
3.604 * [taylor]: Taking taylor expansion of d2 in d4
3.604 * [backup-simplify]: Simplify d2 into d2
3.604 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d3
3.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.604 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.604 * [taylor]: Taking taylor expansion of d1 in d3
3.604 * [backup-simplify]: Simplify d1 into d1
3.604 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.604 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.604 * [taylor]: Taking taylor expansion of d3 in d3
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify 1 into 1
3.604 * [backup-simplify]: Simplify (/ 1 1) into 1
3.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d3
3.604 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.604 * [taylor]: Taking taylor expansion of d4 in d3
3.604 * [backup-simplify]: Simplify d4 into d4
3.605 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.605 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.605 * [taylor]: Taking taylor expansion of d2 in d3
3.605 * [backup-simplify]: Simplify d2 into d2
3.605 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
3.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
3.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.605 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.605 * [taylor]: Taking taylor expansion of d1 in d2
3.605 * [backup-simplify]: Simplify d1 into d1
3.605 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.605 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.605 * [taylor]: Taking taylor expansion of d3 in d2
3.605 * [backup-simplify]: Simplify d3 into d3
3.605 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.605 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.605 * [taylor]: Taking taylor expansion of d4 in d2
3.605 * [backup-simplify]: Simplify d4 into d4
3.605 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.605 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.605 * [taylor]: Taking taylor expansion of d2 in d2
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 1 into 1
3.605 * [backup-simplify]: Simplify (/ 1 1) into 1
3.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d4) (/ 1 d2))) in d2
3.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2
3.605 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
3.605 * [taylor]: Taking taylor expansion of d1 in d2
3.605 * [backup-simplify]: Simplify d1 into d1
3.605 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.605 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.605 * [taylor]: Taking taylor expansion of d3 in d2
3.605 * [backup-simplify]: Simplify d3 into d3
3.605 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
3.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
3.605 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
3.605 * [taylor]: Taking taylor expansion of d4 in d2
3.605 * [backup-simplify]: Simplify d4 into d4
3.605 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.605 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.606 * [taylor]: Taking taylor expansion of d2 in d2
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [backup-simplify]: Simplify (/ 1 1) into 1
3.606 * [backup-simplify]: Simplify (+ 0 1) into 1
3.606 * [backup-simplify]: Simplify (- 1) into -1
3.607 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.607 * [taylor]: Taking taylor expansion of -1 in d3
3.607 * [backup-simplify]: Simplify -1 into -1
3.607 * [backup-simplify]: Simplify (+ (/ 1 d1) (/ 1 d3)) into (+ (/ 1 d1) (/ 1 d3))
3.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.607 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
3.607 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
3.607 * [backup-simplify]: Simplify (+ (+ (/ 1 d1) (/ 1 d3)) (- (/ 1 d4))) into (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4))
3.607 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (/ 1 d4)) in d3
3.607 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3
3.607 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
3.607 * [taylor]: Taking taylor expansion of d1 in d3
3.607 * [backup-simplify]: Simplify d1 into d1
3.607 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.607 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.607 * [taylor]: Taking taylor expansion of d3 in d3
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify 1 into 1
3.608 * [backup-simplify]: Simplify (/ 1 1) into 1
3.608 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
3.608 * [taylor]: Taking taylor expansion of d4 in d3
3.608 * [backup-simplify]: Simplify d4 into d4
3.608 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
3.608 * [backup-simplify]: Simplify (+ 0 1) into 1
3.608 * [backup-simplify]: Simplify (+ 1 0) into 1
3.608 * [taylor]: Taking taylor expansion of 1 in d4
3.608 * [backup-simplify]: Simplify 1 into 1
3.608 * [taylor]: Taking taylor expansion of -1 in d4
3.608 * [backup-simplify]: Simplify -1 into -1
3.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
3.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
3.609 * [backup-simplify]: Simplify (+ 0 0) into 0
3.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.610 * [backup-simplify]: Simplify (+ 0 0) into 0
3.610 * [backup-simplify]: Simplify (- 0) into 0
3.610 * [backup-simplify]: Simplify (+ 0 0) into 0
3.610 * [taylor]: Taking taylor expansion of 0 in d3
3.610 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.611 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1)
3.611 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
3.611 * [backup-simplify]: Simplify (+ (/ 1 d1) (- (/ 1 d4))) into (- (/ 1 d1) (/ 1 d4))
3.611 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4
3.611 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
3.611 * [taylor]: Taking taylor expansion of d1 in d4
3.611 * [backup-simplify]: Simplify d1 into d1
3.611 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
3.611 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
3.611 * [taylor]: Taking taylor expansion of d4 in d4
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [backup-simplify]: Simplify (/ 1 1) into 1
3.612 * [backup-simplify]: Simplify (- 1) into -1
3.612 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.612 * [taylor]: Taking taylor expansion of -1 in d1
3.612 * [backup-simplify]: Simplify -1 into -1
3.612 * [taylor]: Taking taylor expansion of 0 in d4
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [taylor]: Taking taylor expansion of 1 in d1
3.612 * [backup-simplify]: Simplify 1 into 1
3.612 * [taylor]: Taking taylor expansion of -1 in d1
3.612 * [backup-simplify]: Simplify -1 into -1
3.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
3.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
3.613 * [backup-simplify]: Simplify (+ 0 0) into 0
3.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
3.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.613 * [backup-simplify]: Simplify (+ 0 0) into 0
3.614 * [backup-simplify]: Simplify (- 0) into 0
3.614 * [backup-simplify]: Simplify (+ 0 0) into 0
3.614 * [taylor]: Taking taylor expansion of 0 in d3
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [taylor]: Taking taylor expansion of 0 in d4
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
3.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.615 * [backup-simplify]: Simplify (+ 0 0) into 0
3.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
3.615 * [backup-simplify]: Simplify (- 0) into 0
3.615 * [backup-simplify]: Simplify (+ 0 0) into 0
3.615 * [taylor]: Taking taylor expansion of 0 in d4
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [taylor]: Taking taylor expansion of 0 in d4
3.615 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.616 * [backup-simplify]: Simplify (- 0) into 0
3.616 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1)
3.616 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.616 * [taylor]: Taking taylor expansion of d1 in d1
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 1 into 1
3.616 * [backup-simplify]: Simplify (/ 1 1) into 1
3.617 * [backup-simplify]: Simplify 1 into 1
3.617 * [taylor]: Taking taylor expansion of 0 in d1
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [taylor]: Taking taylor expansion of 0 in d1
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [taylor]: Taking taylor expansion of 0 in d1
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify -1 into -1
3.617 * [backup-simplify]: Simplify 1 into 1
3.617 * [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 (+ d3 d1))
3.618 * * * [progress]: simplifying candidates
3.619 * [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)
  (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ d4 d2) d3)
  (- d4 (+ d3 d1))
  (- d4 (+ d3 d1))
3.622 * * [simplify]: Extracting # 0 : cost  89  inf +  0
3.622 * * [simplify]: Extracting # 1 : cost  128  inf +  0
3.623 * * [simplify]: Extracting # 2 : cost  124  inf +  442
3.624 * * [simplify]: Extracting # 3 : cost  94  inf +  4067
3.626 * * [simplify]: Extracting # 4 : cost  36  inf +  15672
3.629 * * [simplify]: Extracting # 5 : cost  8  inf +  24516
3.633 * * [simplify]: Extracting # 6 : cost  0  inf +  27680
3.638 * * [simplify]: iteration  0 :  138  enodes  (cost  37728 )
3.681 * * [simplify]: Extracting # 0 : cost  0  inf +  27680
3.684 * * [simplify]: Extracting # 1 : cost  56  inf +  20415
3.688 * * [simplify]: Extracting # 2 : cost  4  inf +  26389
3.691 * * [simplify]: Extracting # 3 : cost  2  inf +  26593
3.695 * * [simplify]: Extracting # 4 : cost  0  inf +  27017
3.699 * * [simplify]: iteration  1 :  334  enodes  (cost  32340 )
3.905 * * [simplify]: Extracting # 0 : cost  0  inf +  27017
3.913 * * [simplify]: Extracting # 1 : cost  494  inf +  18718
3.926 * * [simplify]: Extracting # 2 : cost  5  inf +  81770
3.951 * * [simplify]: Extracting # 3 : cost  1  inf +  82302
3.971 * * [simplify]: Extracting # 4 : cost  0  inf +  82747
4.000 * * [simplify]: iteration  2 :  1535  enodes  (cost  23598 )
4.676 * * [simplify]: Extracting # 0 : cost  0  inf +  82747
4.701 * * [simplify]: Extracting # 1 : cost  1673  inf +  79025
4.775 * * [simplify]: Extracting # 2 : cost  69  inf +  259021
4.847 * * [simplify]: Extracting # 3 : cost  20  inf +  265140
4.917 * * [simplify]: Extracting # 4 : cost  0  inf +  271195
5.017 * * [simplify]: iteration done:  5002  enodes  (cost  23508 )
5.018 * [simplify]: Simplified to:
  (expm1 (* d1 (- (+ (- d2 d3) d4) d1)))
  (log1p (* d1 (- (+ (- d2 d3) d4) d1)))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (log (* d1 (- (+ (- d2 d3) d4) d1)))
  (log (* d1 (- (+ (- d2 d3) d4) d1)))
  (exp (* d1 (- (+ (- d2 d3) d4) d1)))
  (* (- (+ d2 (- d4 d3)) d1) (* d1 (* (* d1 (- (+ d2 (- d4 d3)) d1)) (* d1 (- (+ d2 (- d4 d3)) 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 (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1))
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) (- d4 d1)))
  (* d1 (fma d1 -1 d1))
  (* d1 (+ (- d2 d3) d4))
  (- (* d1 d1))
  (* d1 (- d2 d3))
  (* d1 (- d4 d1))
  (* d1 (+ (- d2 d3) d4))
  (- (* d1 d1))
  (* (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma d1 -1 d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (fma 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
  (* d1 (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1)))
  d1
  d1
  d1
  (* (cbrt d1) (- (+ (- d2 d3) d4) d1))
  (* (sqrt d1) (- (+ (- d2 d3) d4) d1))
  (* (+ (- d2 d3) (- d4 d1)) d1)
  (* d1 (- (fma d4 (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* (- d2 d3) (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)))) (* (* d1 d1) d1)))
  (* d1 (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1)))
  (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1)
  (fma d1 -1 d1)
  (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1)
  (fma d1 -1 d1)
  (- (* (* (cbrt (+ (- d2 d3) d4)) (cbrt (+ (- d2 d3) d4))) (cbrt (+ (- d2 d3) d4))) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 d1)
  (- (+ d2 (- d4 d3)) d1)
  (fma d1 -1 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))
  (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1)))
  (sqrt (- (+ (- d2 d3) d4) d1))
  (sqrt (- (+ (- d2 d3) d4) d1))
  (- (fma d4 (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* (- d2 d3) (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)))) (* (* d1 d1) d1))
  (fma (- (+ d4 d2) d3) (- (+ d4 d2) d3) (* d1 (+ d1 (- (+ d4 d2) d3))))
  (- d1)
  (- (* (+ (- d2 d3) d4) (+ (- d2 d3) d4)) (* d1 d1))
  (+ (+ d2 (- d4 d3)) d1)
  (+ (sqrt (+ (- d2 d3) d4)) (sqrt d1))
  (- (sqrt (+ (- d2 d3) d4)) (sqrt d1))
  (- (+ d2 (- d4 d3)) d1)
  (- (+ d2 (- d4 d3)) d1)
  (- (+ d2 (- d4 d3)) d1)
  (- d4 d1)
  (+ (- d3 d4) d1)
  (- d1)
  (- (* d1 (- d2 d3)) (* d1 d1))
  (* d1 (+ d2 (- d4 d3)))
  (* d1 (+ d2 (- d4 d3)))
  (+ d2 (- d4 d3))
  (- d4 (+ d3 d1))
  (- d4 (+ d3 d1))
5.031 * * * [progress]: adding candidates to table
5.350 * * [progress]: iteration 2 / 4
5.350 * * * [progress]: picking best candidate
5.353 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))>
5.354 * * * [progress]: localizing error
5.376 * * * [progress]: generating rewritten candidates
5.376 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.413 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.447 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
5.499 * * * [progress]: generating series expansions
5.499 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.500 * [backup-simplify]: Simplify (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) into (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1)))
5.500 * [approximate]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in (d1 d2 d3 d4) around 0
5.500 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d4
5.500 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d4
5.500 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
5.500 * [taylor]: Taking taylor expansion of d4 in d4
5.500 * [backup-simplify]: Simplify 0 into 0
5.500 * [backup-simplify]: Simplify 1 into 1
5.500 * [taylor]: Taking taylor expansion of d1 in d4
5.500 * [backup-simplify]: Simplify d1 into d1
5.500 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
5.500 * [taylor]: Taking taylor expansion of d2 in d4
5.500 * [backup-simplify]: Simplify d2 into d2
5.500 * [taylor]: Taking taylor expansion of d1 in d4
5.500 * [backup-simplify]: Simplify d1 into d1
5.500 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d4
5.500 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
5.500 * [taylor]: Taking taylor expansion of d1 in d4
5.500 * [backup-simplify]: Simplify d1 into d1
5.500 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
5.500 * [taylor]: Taking taylor expansion of d3 in d4
5.501 * [backup-simplify]: Simplify d3 into d3
5.501 * [taylor]: Taking taylor expansion of d1 in d4
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d3
5.501 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d3
5.501 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
5.501 * [taylor]: Taking taylor expansion of d4 in d3
5.501 * [backup-simplify]: Simplify d4 into d4
5.501 * [taylor]: Taking taylor expansion of d1 in d3
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
5.501 * [taylor]: Taking taylor expansion of d2 in d3
5.501 * [backup-simplify]: Simplify d2 into d2
5.501 * [taylor]: Taking taylor expansion of d1 in d3
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d3
5.501 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
5.501 * [taylor]: Taking taylor expansion of d1 in d3
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
5.501 * [taylor]: Taking taylor expansion of d3 in d3
5.501 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify 1 into 1
5.501 * [taylor]: Taking taylor expansion of d1 in d3
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d2
5.501 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d2
5.501 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
5.501 * [taylor]: Taking taylor expansion of d4 in d2
5.501 * [backup-simplify]: Simplify d4 into d4
5.501 * [taylor]: Taking taylor expansion of d1 in d2
5.501 * [backup-simplify]: Simplify d1 into d1
5.501 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
5.501 * [taylor]: Taking taylor expansion of d2 in d2
5.501 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify 1 into 1
5.501 * [taylor]: Taking taylor expansion of d1 in d2
5.502 * [backup-simplify]: Simplify d1 into d1
5.502 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d2
5.502 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
5.502 * [taylor]: Taking taylor expansion of d1 in d2
5.502 * [backup-simplify]: Simplify d1 into d1
5.502 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
5.502 * [taylor]: Taking taylor expansion of d3 in d2
5.502 * [backup-simplify]: Simplify d3 into d3
5.502 * [taylor]: Taking taylor expansion of d1 in d2
5.502 * [backup-simplify]: Simplify d1 into d1
5.502 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d1
5.502 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
5.502 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.502 * [taylor]: Taking taylor expansion of d4 in d1
5.502 * [backup-simplify]: Simplify d4 into d4
5.502 * [taylor]: Taking taylor expansion of d1 in d1
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify 1 into 1
5.502 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.502 * [taylor]: Taking taylor expansion of d2 in d1
5.502 * [backup-simplify]: Simplify d2 into d2
5.502 * [taylor]: Taking taylor expansion of d1 in d1
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify 1 into 1
5.502 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d1
5.502 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.502 * [taylor]: Taking taylor expansion of d1 in d1
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify 1 into 1
5.502 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.502 * [taylor]: Taking taylor expansion of d3 in d1
5.502 * [backup-simplify]: Simplify d3 into d3
5.502 * [taylor]: Taking taylor expansion of d1 in d1
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify 1 into 1
5.502 * [taylor]: Taking taylor expansion of (- (+ (* d4 d1) (* d2 d1)) (+ (pow d1 2) (* d3 d1))) in d1
5.503 * [taylor]: Taking taylor expansion of (+ (* d4 d1) (* d2 d1)) in d1
5.503 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.503 * [taylor]: Taking taylor expansion of d4 in d1
5.503 * [backup-simplify]: Simplify d4 into d4
5.503 * [taylor]: Taking taylor expansion of d1 in d1
5.503 * [backup-simplify]: Simplify 0 into 0
5.503 * [backup-simplify]: Simplify 1 into 1
5.503 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.503 * [taylor]: Taking taylor expansion of d2 in d1
5.503 * [backup-simplify]: Simplify d2 into d2
5.503 * [taylor]: Taking taylor expansion of d1 in d1
5.503 * [backup-simplify]: Simplify 0 into 0
5.503 * [backup-simplify]: Simplify 1 into 1
5.503 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d3 d1)) in d1
5.503 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.503 * [taylor]: Taking taylor expansion of d1 in d1
5.503 * [backup-simplify]: Simplify 0 into 0
5.503 * [backup-simplify]: Simplify 1 into 1
5.503 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.503 * [taylor]: Taking taylor expansion of d3 in d1
5.503 * [backup-simplify]: Simplify d3 into d3
5.503 * [taylor]: Taking taylor expansion of d1 in d1
5.503 * [backup-simplify]: Simplify 0 into 0
5.503 * [backup-simplify]: Simplify 1 into 1
5.503 * [backup-simplify]: Simplify (* d4 0) into 0
5.503 * [backup-simplify]: Simplify (* d2 0) into 0
5.504 * [backup-simplify]: Simplify (+ 0 0) into 0
5.504 * [backup-simplify]: Simplify (* d3 0) into 0
5.505 * [backup-simplify]: Simplify (+ 0 0) into 0
5.505 * [backup-simplify]: Simplify (- 0) into 0
5.505 * [backup-simplify]: Simplify (+ 0 0) into 0
5.505 * [taylor]: Taking taylor expansion of 0 in d2
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [taylor]: Taking taylor expansion of 0 in d3
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [taylor]: Taking taylor expansion of 0 in d4
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
5.507 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
5.507 * [backup-simplify]: Simplify (+ d4 d2) into (+ d4 d2)
5.507 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
5.507 * [backup-simplify]: Simplify (+ 0 d3) into d3
5.507 * [backup-simplify]: Simplify (- d3) into (- d3)
5.507 * [backup-simplify]: Simplify (+ (+ d4 d2) (- d3)) into (- (+ d4 d2) d3)
5.507 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2
5.507 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2
5.507 * [taylor]: Taking taylor expansion of d4 in d2
5.507 * [backup-simplify]: Simplify d4 into d4
5.507 * [taylor]: Taking taylor expansion of d2 in d2
5.507 * [backup-simplify]: Simplify 0 into 0
5.507 * [backup-simplify]: Simplify 1 into 1
5.508 * [taylor]: Taking taylor expansion of d3 in d2
5.508 * [backup-simplify]: Simplify d3 into d3
5.508 * [backup-simplify]: Simplify (+ d4 0) into d4
5.508 * [backup-simplify]: Simplify (- d3) into (- d3)
5.508 * [backup-simplify]: Simplify (+ d4 (- d3)) into (- d4 d3)
5.508 * [taylor]: Taking taylor expansion of (- d4 d3) in d3
5.508 * [taylor]: Taking taylor expansion of d4 in d3
5.508 * [backup-simplify]: Simplify d4 into d4
5.508 * [taylor]: Taking taylor expansion of d3 in d3
5.508 * [backup-simplify]: Simplify 0 into 0
5.508 * [backup-simplify]: Simplify 1 into 1
5.508 * [backup-simplify]: Simplify (- 0) into 0
5.508 * [backup-simplify]: Simplify (+ d4 0) into d4
5.508 * [taylor]: Taking taylor expansion of d4 in d4
5.508 * [backup-simplify]: Simplify 0 into 0
5.508 * [backup-simplify]: Simplify 1 into 1
5.508 * [backup-simplify]: Simplify 0 into 0
5.508 * [taylor]: Taking taylor expansion of 0 in d3
5.508 * [backup-simplify]: Simplify 0 into 0
5.508 * [taylor]: Taking taylor expansion of 0 in d4
5.508 * [backup-simplify]: Simplify 0 into 0
5.508 * [backup-simplify]: Simplify 0 into 0
5.509 * [taylor]: Taking taylor expansion of 0 in d4
5.509 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
5.509 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
5.510 * [backup-simplify]: Simplify (+ 0 0) into 0
5.510 * [backup-simplify]: Simplify (* 1 1) into 1
5.510 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
5.511 * [backup-simplify]: Simplify (+ 1 0) into 1
5.511 * [backup-simplify]: Simplify (- 1) into -1
5.511 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.511 * [taylor]: Taking taylor expansion of -1 in d2
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [taylor]: Taking taylor expansion of -1 in d3
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [taylor]: Taking taylor expansion of -1 in d4
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [backup-simplify]: Simplify (+ 0 1) into 1
5.512 * [backup-simplify]: Simplify (- 0) into 0
5.512 * [backup-simplify]: Simplify (+ 1 0) into 1
5.512 * [taylor]: Taking taylor expansion of 1 in d3
5.512 * [backup-simplify]: Simplify 1 into 1
5.512 * [taylor]: Taking taylor expansion of 1 in d4
5.512 * [backup-simplify]: Simplify 1 into 1
5.512 * [backup-simplify]: Simplify 1 into 1
5.512 * [taylor]: Taking taylor expansion of 0 in d3
5.512 * [backup-simplify]: Simplify 0 into 0
5.512 * [taylor]: Taking taylor expansion of 0 in d4
5.512 * [backup-simplify]: Simplify 0 into 0
5.512 * [backup-simplify]: Simplify 0 into 0
5.512 * [backup-simplify]: Simplify (- 1) into -1
5.513 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.513 * [taylor]: Taking taylor expansion of -1 in d4
5.513 * [backup-simplify]: Simplify -1 into -1
5.513 * [backup-simplify]: Simplify -1 into -1
5.513 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* d3 (* 1 d1)))) (+ (* 1 (* 1 (* 1 (* d2 d1)))) (* -1 (pow (* 1 (* 1 (* 1 d1))) 2)))) into (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
5.513 * [backup-simplify]: Simplify (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (* (/ 1 d1) (- (/ 1 d4) (/ 1 d1)))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))))
5.513 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in (d1 d2 d3 d4) around 0
5.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d4
5.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d4
5.513 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
5.513 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
5.513 * [taylor]: Taking taylor expansion of d2 in d4
5.513 * [backup-simplify]: Simplify d2 into d2
5.513 * [taylor]: Taking taylor expansion of d1 in d4
5.513 * [backup-simplify]: Simplify d1 into d1
5.513 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
5.514 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
5.514 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
5.514 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
5.514 * [taylor]: Taking taylor expansion of d4 in d4
5.514 * [backup-simplify]: Simplify 0 into 0
5.514 * [backup-simplify]: Simplify 1 into 1
5.514 * [taylor]: Taking taylor expansion of d1 in d4
5.514 * [backup-simplify]: Simplify d1 into d1
5.514 * [backup-simplify]: Simplify (* 0 d1) into 0
5.514 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.514 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d4
5.514 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4
5.514 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
5.514 * [taylor]: Taking taylor expansion of d1 in d4
5.514 * [backup-simplify]: Simplify d1 into d1
5.514 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.514 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.514 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
5.514 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
5.514 * [taylor]: Taking taylor expansion of d3 in d4
5.514 * [backup-simplify]: Simplify d3 into d3
5.514 * [taylor]: Taking taylor expansion of d1 in d4
5.514 * [backup-simplify]: Simplify d1 into d1
5.514 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
5.514 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
5.514 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d3
5.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d3
5.514 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
5.514 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
5.514 * [taylor]: Taking taylor expansion of d2 in d3
5.514 * [backup-simplify]: Simplify d2 into d2
5.514 * [taylor]: Taking taylor expansion of d1 in d3
5.514 * [backup-simplify]: Simplify d1 into d1
5.515 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
5.515 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
5.515 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
5.515 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
5.515 * [taylor]: Taking taylor expansion of d4 in d3
5.515 * [backup-simplify]: Simplify d4 into d4
5.515 * [taylor]: Taking taylor expansion of d1 in d3
5.515 * [backup-simplify]: Simplify d1 into d1
5.515 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
5.515 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
5.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d3
5.515 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3
5.515 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
5.515 * [taylor]: Taking taylor expansion of d1 in d3
5.515 * [backup-simplify]: Simplify d1 into d1
5.515 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.515 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.515 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
5.515 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
5.515 * [taylor]: Taking taylor expansion of d3 in d3
5.515 * [backup-simplify]: Simplify 0 into 0
5.515 * [backup-simplify]: Simplify 1 into 1
5.515 * [taylor]: Taking taylor expansion of d1 in d3
5.515 * [backup-simplify]: Simplify d1 into d1
5.515 * [backup-simplify]: Simplify (* 0 d1) into 0
5.515 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.515 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d2
5.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d2
5.515 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
5.515 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
5.515 * [taylor]: Taking taylor expansion of d2 in d2
5.516 * [backup-simplify]: Simplify 0 into 0
5.516 * [backup-simplify]: Simplify 1 into 1
5.516 * [taylor]: Taking taylor expansion of d1 in d2
5.516 * [backup-simplify]: Simplify d1 into d1
5.516 * [backup-simplify]: Simplify (* 0 d1) into 0
5.516 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.516 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.516 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
5.516 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
5.516 * [taylor]: Taking taylor expansion of d4 in d2
5.516 * [backup-simplify]: Simplify d4 into d4
5.516 * [taylor]: Taking taylor expansion of d1 in d2
5.516 * [backup-simplify]: Simplify d1 into d1
5.516 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
5.516 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
5.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d2
5.516 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2
5.516 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
5.516 * [taylor]: Taking taylor expansion of d1 in d2
5.516 * [backup-simplify]: Simplify d1 into d1
5.516 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.516 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.516 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
5.516 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
5.516 * [taylor]: Taking taylor expansion of d3 in d2
5.516 * [backup-simplify]: Simplify d3 into d3
5.516 * [taylor]: Taking taylor expansion of d1 in d2
5.516 * [backup-simplify]: Simplify d1 into d1
5.516 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
5.516 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
5.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
5.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
5.517 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
5.517 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.517 * [taylor]: Taking taylor expansion of d2 in d1
5.517 * [backup-simplify]: Simplify d2 into d2
5.517 * [taylor]: Taking taylor expansion of d1 in d1
5.517 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify 1 into 1
5.517 * [backup-simplify]: Simplify (* d2 0) into 0
5.517 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
5.517 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.517 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
5.517 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.517 * [taylor]: Taking taylor expansion of d4 in d1
5.517 * [backup-simplify]: Simplify d4 into d4
5.517 * [taylor]: Taking taylor expansion of d1 in d1
5.517 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify 1 into 1
5.517 * [backup-simplify]: Simplify (* d4 0) into 0
5.517 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
5.517 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
5.517 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
5.517 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.517 * [taylor]: Taking taylor expansion of d1 in d1
5.517 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify 1 into 1
5.518 * [backup-simplify]: Simplify (* 1 1) into 1
5.518 * [backup-simplify]: Simplify (/ 1 1) into 1
5.518 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
5.518 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.518 * [taylor]: Taking taylor expansion of d3 in d1
5.518 * [backup-simplify]: Simplify d3 into d3
5.518 * [taylor]: Taking taylor expansion of d1 in d1
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 1 into 1
5.518 * [backup-simplify]: Simplify (* d3 0) into 0
5.518 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
5.518 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.518 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1)))) in d1
5.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d4 d1))) in d1
5.518 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
5.518 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.518 * [taylor]: Taking taylor expansion of d2 in d1
5.519 * [backup-simplify]: Simplify d2 into d2
5.519 * [taylor]: Taking taylor expansion of d1 in d1
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.519 * [backup-simplify]: Simplify (* d2 0) into 0
5.519 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
5.519 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.519 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
5.519 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.519 * [taylor]: Taking taylor expansion of d4 in d1
5.519 * [backup-simplify]: Simplify d4 into d4
5.519 * [taylor]: Taking taylor expansion of d1 in d1
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.519 * [backup-simplify]: Simplify (* d4 0) into 0
5.519 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
5.519 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d3 d1))) in d1
5.519 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
5.519 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.519 * [taylor]: Taking taylor expansion of d1 in d1
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.520 * [backup-simplify]: Simplify (* 1 1) into 1
5.520 * [backup-simplify]: Simplify (/ 1 1) into 1
5.520 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
5.520 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.520 * [taylor]: Taking taylor expansion of d3 in d1
5.520 * [backup-simplify]: Simplify d3 into d3
5.520 * [taylor]: Taking taylor expansion of d1 in d1
5.520 * [backup-simplify]: Simplify 0 into 0
5.520 * [backup-simplify]: Simplify 1 into 1
5.520 * [backup-simplify]: Simplify (* d3 0) into 0
5.521 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
5.521 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.521 * [backup-simplify]: Simplify (+ 1 0) into 1
5.521 * [backup-simplify]: Simplify (- 1) into -1
5.521 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.521 * [taylor]: Taking taylor expansion of -1 in d2
5.521 * [backup-simplify]: Simplify -1 into -1
5.522 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d4)) into (+ (/ 1 d4) (/ 1 d2))
5.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.522 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
5.523 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.523 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
5.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
5.523 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
5.523 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
5.523 * [taylor]: Taking taylor expansion of d4 in d2
5.523 * [backup-simplify]: Simplify d4 into d4
5.523 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.523 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.523 * [taylor]: Taking taylor expansion of d2 in d2
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.523 * [backup-simplify]: Simplify (/ 1 1) into 1
5.523 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.523 * [taylor]: Taking taylor expansion of d3 in d2
5.523 * [backup-simplify]: Simplify d3 into d3
5.523 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.523 * [backup-simplify]: Simplify (+ 0 1) into 1
5.524 * [backup-simplify]: Simplify (+ 1 0) into 1
5.524 * [taylor]: Taking taylor expansion of 1 in d3
5.524 * [backup-simplify]: Simplify 1 into 1
5.524 * [taylor]: Taking taylor expansion of -1 in d3
5.524 * [backup-simplify]: Simplify -1 into -1
5.524 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
5.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
5.525 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
5.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.525 * [backup-simplify]: Simplify (+ 0 0) into 0
5.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.526 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
5.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.527 * [backup-simplify]: Simplify (+ 0 0) into 0
5.527 * [backup-simplify]: Simplify (- 0) into 0
5.527 * [backup-simplify]: Simplify (+ 0 0) into 0
5.527 * [taylor]: Taking taylor expansion of 0 in d2
5.527 * [backup-simplify]: Simplify 0 into 0
5.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.528 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
5.528 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.528 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
5.528 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
5.528 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
5.528 * [taylor]: Taking taylor expansion of d4 in d3
5.528 * [backup-simplify]: Simplify d4 into d4
5.528 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.528 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.528 * [taylor]: Taking taylor expansion of d3 in d3
5.528 * [backup-simplify]: Simplify 0 into 0
5.528 * [backup-simplify]: Simplify 1 into 1
5.528 * [backup-simplify]: Simplify (/ 1 1) into 1
5.528 * [backup-simplify]: Simplify (- 1) into -1
5.529 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.529 * [taylor]: Taking taylor expansion of -1 in d4
5.529 * [backup-simplify]: Simplify -1 into -1
5.529 * [taylor]: Taking taylor expansion of 0 in d3
5.529 * [backup-simplify]: Simplify 0 into 0
5.529 * [taylor]: Taking taylor expansion of 1 in d4
5.529 * [backup-simplify]: Simplify 1 into 1
5.529 * [taylor]: Taking taylor expansion of -1 in d4
5.529 * [backup-simplify]: Simplify -1 into -1
5.529 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.530 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.530 * [backup-simplify]: Simplify (+ 0 0) into 0
5.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.532 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.532 * [backup-simplify]: Simplify (+ 0 0) into 0
5.533 * [backup-simplify]: Simplify (- 0) into 0
5.533 * [backup-simplify]: Simplify (+ 0 0) into 0
5.533 * [taylor]: Taking taylor expansion of 0 in d2
5.533 * [backup-simplify]: Simplify 0 into 0
5.533 * [taylor]: Taking taylor expansion of 0 in d3
5.533 * [backup-simplify]: Simplify 0 into 0
5.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.534 * [backup-simplify]: Simplify (+ 0 0) into 0
5.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.534 * [backup-simplify]: Simplify (- 0) into 0
5.534 * [backup-simplify]: Simplify (+ 0 0) into 0
5.534 * [taylor]: Taking taylor expansion of 0 in d3
5.535 * [backup-simplify]: Simplify 0 into 0
5.535 * [taylor]: Taking taylor expansion of 0 in d3
5.535 * [backup-simplify]: Simplify 0 into 0
5.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.535 * [backup-simplify]: Simplify (- 0) into 0
5.535 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
5.535 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.535 * [taylor]: Taking taylor expansion of d4 in d4
5.535 * [backup-simplify]: Simplify 0 into 0
5.535 * [backup-simplify]: Simplify 1 into 1
5.536 * [backup-simplify]: Simplify (/ 1 1) into 1
5.536 * [backup-simplify]: Simplify 1 into 1
5.536 * [taylor]: Taking taylor expansion of 0 in d4
5.536 * [backup-simplify]: Simplify 0 into 0
5.536 * [taylor]: Taking taylor expansion of 0 in d4
5.536 * [backup-simplify]: Simplify 0 into 0
5.536 * [taylor]: Taking taylor expansion of 0 in d4
5.536 * [backup-simplify]: Simplify 0 into 0
5.536 * [backup-simplify]: Simplify -1 into -1
5.536 * [backup-simplify]: Simplify 1 into 1
5.536 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
5.537 * [backup-simplify]: Simplify (+ (* (/ 1 (- d1)) (- (/ 1 (- d2)) (/ 1 (- d3)))) (* (/ 1 (- d1)) (- (/ 1 (- d4)) (/ 1 (- d1))))) into (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))))
5.537 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in (d1 d2 d3 d4) around 0
5.537 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d4
5.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) in d4
5.537 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d4
5.537 * [taylor]: Taking taylor expansion of (* d4 d1) in d4
5.537 * [taylor]: Taking taylor expansion of d4 in d4
5.537 * [backup-simplify]: Simplify 0 into 0
5.537 * [backup-simplify]: Simplify 1 into 1
5.537 * [taylor]: Taking taylor expansion of d1 in d4
5.537 * [backup-simplify]: Simplify d1 into d1
5.537 * [backup-simplify]: Simplify (* 0 d1) into 0
5.538 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.538 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.538 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d4
5.538 * [taylor]: Taking taylor expansion of (* d2 d1) in d4
5.538 * [taylor]: Taking taylor expansion of d2 in d4
5.538 * [backup-simplify]: Simplify d2 into d2
5.538 * [taylor]: Taking taylor expansion of d1 in d4
5.538 * [backup-simplify]: Simplify d1 into d1
5.538 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
5.538 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
5.538 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d4
5.538 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d4
5.538 * [taylor]: Taking taylor expansion of (* d3 d1) in d4
5.538 * [taylor]: Taking taylor expansion of d3 in d4
5.538 * [backup-simplify]: Simplify d3 into d3
5.538 * [taylor]: Taking taylor expansion of d1 in d4
5.538 * [backup-simplify]: Simplify d1 into d1
5.538 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
5.538 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
5.538 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4
5.538 * [taylor]: Taking taylor expansion of (pow d1 2) in d4
5.538 * [taylor]: Taking taylor expansion of d1 in d4
5.538 * [backup-simplify]: Simplify d1 into d1
5.539 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.539 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.539 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d3
5.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) in d3
5.539 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d3
5.539 * [taylor]: Taking taylor expansion of (* d4 d1) in d3
5.539 * [taylor]: Taking taylor expansion of d4 in d3
5.539 * [backup-simplify]: Simplify d4 into d4
5.539 * [taylor]: Taking taylor expansion of d1 in d3
5.539 * [backup-simplify]: Simplify d1 into d1
5.539 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
5.539 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
5.539 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3
5.539 * [taylor]: Taking taylor expansion of (* d2 d1) in d3
5.539 * [taylor]: Taking taylor expansion of d2 in d3
5.539 * [backup-simplify]: Simplify d2 into d2
5.539 * [taylor]: Taking taylor expansion of d1 in d3
5.539 * [backup-simplify]: Simplify d1 into d1
5.539 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1)
5.539 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1))
5.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d3
5.540 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3
5.540 * [taylor]: Taking taylor expansion of (* d3 d1) in d3
5.540 * [taylor]: Taking taylor expansion of d3 in d3
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.540 * [taylor]: Taking taylor expansion of d1 in d3
5.540 * [backup-simplify]: Simplify d1 into d1
5.540 * [backup-simplify]: Simplify (* 0 d1) into 0
5.540 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.540 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3
5.540 * [taylor]: Taking taylor expansion of (pow d1 2) in d3
5.540 * [taylor]: Taking taylor expansion of d1 in d3
5.540 * [backup-simplify]: Simplify d1 into d1
5.540 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.541 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.541 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d2
5.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) in d2
5.541 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d2
5.541 * [taylor]: Taking taylor expansion of (* d4 d1) in d2
5.541 * [taylor]: Taking taylor expansion of d4 in d2
5.541 * [backup-simplify]: Simplify d4 into d4
5.541 * [taylor]: Taking taylor expansion of d1 in d2
5.541 * [backup-simplify]: Simplify d1 into d1
5.541 * [backup-simplify]: Simplify (* d4 d1) into (* d4 d1)
5.541 * [backup-simplify]: Simplify (/ 1 (* d4 d1)) into (/ 1 (* d4 d1))
5.541 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2
5.541 * [taylor]: Taking taylor expansion of (* d2 d1) in d2
5.541 * [taylor]: Taking taylor expansion of d2 in d2
5.541 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify 1 into 1
5.541 * [taylor]: Taking taylor expansion of d1 in d2
5.541 * [backup-simplify]: Simplify d1 into d1
5.541 * [backup-simplify]: Simplify (* 0 d1) into 0
5.542 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1
5.542 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d2
5.542 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2
5.542 * [taylor]: Taking taylor expansion of (* d3 d1) in d2
5.542 * [taylor]: Taking taylor expansion of d3 in d2
5.542 * [backup-simplify]: Simplify d3 into d3
5.542 * [taylor]: Taking taylor expansion of d1 in d2
5.542 * [backup-simplify]: Simplify d1 into d1
5.542 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1)
5.542 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1))
5.542 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2
5.542 * [taylor]: Taking taylor expansion of (pow d1 2) in d2
5.542 * [taylor]: Taking taylor expansion of d1 in d2
5.542 * [backup-simplify]: Simplify d1 into d1
5.542 * [backup-simplify]: Simplify (* d1 d1) into (pow d1 2)
5.542 * [backup-simplify]: Simplify (/ 1 (pow d1 2)) into (/ 1 (pow d1 2))
5.543 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d1
5.543 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) in d1
5.543 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
5.543 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.543 * [taylor]: Taking taylor expansion of d4 in d1
5.543 * [backup-simplify]: Simplify d4 into d4
5.543 * [taylor]: Taking taylor expansion of d1 in d1
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 1 into 1
5.543 * [backup-simplify]: Simplify (* d4 0) into 0
5.543 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
5.543 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.543 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
5.543 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.543 * [taylor]: Taking taylor expansion of d2 in d1
5.543 * [backup-simplify]: Simplify d2 into d2
5.543 * [taylor]: Taking taylor expansion of d1 in d1
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 1 into 1
5.544 * [backup-simplify]: Simplify (* d2 0) into 0
5.544 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
5.544 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d1
5.544 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
5.544 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.544 * [taylor]: Taking taylor expansion of d3 in d1
5.544 * [backup-simplify]: Simplify d3 into d3
5.544 * [taylor]: Taking taylor expansion of d1 in d1
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 1 into 1
5.544 * [backup-simplify]: Simplify (* d3 0) into 0
5.545 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
5.545 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.545 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
5.545 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.545 * [taylor]: Taking taylor expansion of d1 in d1
5.545 * [backup-simplify]: Simplify 0 into 0
5.545 * [backup-simplify]: Simplify 1 into 1
5.545 * [backup-simplify]: Simplify (* 1 1) into 1
5.545 * [backup-simplify]: Simplify (/ 1 1) into 1
5.545 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2)))) in d1
5.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d4 d1)) (/ 1 (* d2 d1))) in d1
5.545 * [taylor]: Taking taylor expansion of (/ 1 (* d4 d1)) in d1
5.545 * [taylor]: Taking taylor expansion of (* d4 d1) in d1
5.545 * [taylor]: Taking taylor expansion of d4 in d1
5.545 * [backup-simplify]: Simplify d4 into d4
5.545 * [taylor]: Taking taylor expansion of d1 in d1
5.545 * [backup-simplify]: Simplify 0 into 0
5.545 * [backup-simplify]: Simplify 1 into 1
5.545 * [backup-simplify]: Simplify (* d4 0) into 0
5.546 * [backup-simplify]: Simplify (+ (* d4 1) (* 0 0)) into d4
5.546 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.546 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1
5.546 * [taylor]: Taking taylor expansion of (* d2 d1) in d1
5.546 * [taylor]: Taking taylor expansion of d2 in d1
5.546 * [backup-simplify]: Simplify d2 into d2
5.546 * [taylor]: Taking taylor expansion of d1 in d1
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 1 into 1
5.546 * [backup-simplify]: Simplify (* d2 0) into 0
5.546 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2
5.546 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d3 d1)) (/ 1 (pow d1 2))) in d1
5.546 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1
5.546 * [taylor]: Taking taylor expansion of (* d3 d1) in d1
5.546 * [taylor]: Taking taylor expansion of d3 in d1
5.546 * [backup-simplify]: Simplify d3 into d3
5.546 * [taylor]: Taking taylor expansion of d1 in d1
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 1 into 1
5.546 * [backup-simplify]: Simplify (* d3 0) into 0
5.547 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3
5.547 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.547 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
5.547 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
5.547 * [taylor]: Taking taylor expansion of d1 in d1
5.547 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify 1 into 1
5.547 * [backup-simplify]: Simplify (* 1 1) into 1
5.547 * [backup-simplify]: Simplify (/ 1 1) into 1
5.547 * [backup-simplify]: Simplify (+ 0 1) into 1
5.548 * [backup-simplify]: Simplify (- 1) into -1
5.548 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.548 * [taylor]: Taking taylor expansion of -1 in d2
5.548 * [backup-simplify]: Simplify -1 into -1
5.548 * [backup-simplify]: Simplify (+ (/ 1 d4) (/ 1 d2)) into (+ (/ 1 d4) (/ 1 d2))
5.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.549 * [backup-simplify]: Simplify (+ (/ 1 d3) 0) into (/ 1 d3)
5.549 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.549 * [backup-simplify]: Simplify (+ (+ (/ 1 d4) (/ 1 d2)) (- (/ 1 d3))) into (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3))
5.549 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d4) (/ 1 d2)) (/ 1 d3)) in d2
5.549 * [taylor]: Taking taylor expansion of (+ (/ 1 d4) (/ 1 d2)) in d2
5.549 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2
5.549 * [taylor]: Taking taylor expansion of d4 in d2
5.549 * [backup-simplify]: Simplify d4 into d4
5.549 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.549 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.549 * [taylor]: Taking taylor expansion of d2 in d2
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.550 * [backup-simplify]: Simplify (/ 1 1) into 1
5.550 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.550 * [taylor]: Taking taylor expansion of d3 in d2
5.550 * [backup-simplify]: Simplify d3 into d3
5.550 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.550 * [backup-simplify]: Simplify (+ 0 1) into 1
5.550 * [backup-simplify]: Simplify (+ 1 0) into 1
5.550 * [taylor]: Taking taylor expansion of 1 in d3
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [taylor]: Taking taylor expansion of -1 in d3
5.550 * [backup-simplify]: Simplify -1 into -1
5.551 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
5.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.551 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0
5.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
5.551 * [backup-simplify]: Simplify (+ 0 0) into 0
5.552 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0
5.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.553 * [backup-simplify]: Simplify (+ 0 0) into 0
5.553 * [backup-simplify]: Simplify (- 0) into 0
5.554 * [backup-simplify]: Simplify (+ 0 0) into 0
5.554 * [taylor]: Taking taylor expansion of 0 in d2
5.554 * [backup-simplify]: Simplify 0 into 0
5.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.554 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
5.554 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.554 * [backup-simplify]: Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
5.554 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
5.554 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3
5.554 * [taylor]: Taking taylor expansion of d4 in d3
5.554 * [backup-simplify]: Simplify d4 into d4
5.554 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.554 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.554 * [taylor]: Taking taylor expansion of d3 in d3
5.555 * [backup-simplify]: Simplify 0 into 0
5.555 * [backup-simplify]: Simplify 1 into 1
5.555 * [backup-simplify]: Simplify (/ 1 1) into 1
5.555 * [backup-simplify]: Simplify (- 1) into -1
5.555 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.555 * [taylor]: Taking taylor expansion of -1 in d4
5.555 * [backup-simplify]: Simplify -1 into -1
5.555 * [taylor]: Taking taylor expansion of 0 in d3
5.555 * [backup-simplify]: Simplify 0 into 0
5.555 * [taylor]: Taking taylor expansion of 1 in d4
5.555 * [backup-simplify]: Simplify 1 into 1
5.555 * [taylor]: Taking taylor expansion of -1 in d4
5.555 * [backup-simplify]: Simplify -1 into -1
5.556 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.557 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.557 * [backup-simplify]: Simplify (+ 0 0) into 0
5.557 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.559 * [backup-simplify]: Simplify (+ 0 0) into 0
5.559 * [backup-simplify]: Simplify (- 0) into 0
5.559 * [backup-simplify]: Simplify (+ 0 0) into 0
5.559 * [taylor]: Taking taylor expansion of 0 in d2
5.559 * [backup-simplify]: Simplify 0 into 0
5.559 * [taylor]: Taking taylor expansion of 0 in d3
5.559 * [backup-simplify]: Simplify 0 into 0
5.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.560 * [backup-simplify]: Simplify (+ 0 0) into 0
5.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.561 * [backup-simplify]: Simplify (- 0) into 0
5.561 * [backup-simplify]: Simplify (+ 0 0) into 0
5.561 * [taylor]: Taking taylor expansion of 0 in d3
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [taylor]: Taking taylor expansion of 0 in d3
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.562 * [backup-simplify]: Simplify (- 0) into 0
5.562 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
5.562 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.562 * [taylor]: Taking taylor expansion of d4 in d4
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify 1 into 1
5.562 * [backup-simplify]: Simplify (/ 1 1) into 1
5.562 * [backup-simplify]: Simplify 1 into 1
5.562 * [taylor]: Taking taylor expansion of 0 in d4
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [taylor]: Taking taylor expansion of 0 in d4
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [taylor]: Taking taylor expansion of 0 in d4
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify -1 into -1
5.562 * [backup-simplify]: Simplify 1 into 1
5.563 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
5.563 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
5.563 * [backup-simplify]: Simplify (* d1 (- d2 d3)) into (* (- d2 d3) d1)
5.563 * [approximate]: Taking taylor expansion of (* (- d2 d3) d1) in (d1 d2 d3) around 0
5.563 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d3
5.563 * [taylor]: Taking taylor expansion of (- d2 d3) in d3
5.563 * [taylor]: Taking taylor expansion of d2 in d3
5.563 * [backup-simplify]: Simplify d2 into d2
5.563 * [taylor]: Taking taylor expansion of d3 in d3
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 1 into 1
5.563 * [taylor]: Taking taylor expansion of d1 in d3
5.563 * [backup-simplify]: Simplify d1 into d1
5.563 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d2
5.563 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
5.563 * [taylor]: Taking taylor expansion of d2 in d2
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 1 into 1
5.563 * [taylor]: Taking taylor expansion of d3 in d2
5.563 * [backup-simplify]: Simplify d3 into d3
5.563 * [taylor]: Taking taylor expansion of d1 in d2
5.563 * [backup-simplify]: Simplify d1 into d1
5.563 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d1
5.563 * [taylor]: Taking taylor expansion of (- d2 d3) in d1
5.563 * [taylor]: Taking taylor expansion of d2 in d1
5.563 * [backup-simplify]: Simplify d2 into d2
5.563 * [taylor]: Taking taylor expansion of d3 in d1
5.563 * [backup-simplify]: Simplify d3 into d3
5.563 * [taylor]: Taking taylor expansion of d1 in d1
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 1 into 1
5.563 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d1
5.563 * [taylor]: Taking taylor expansion of (- d2 d3) in d1
5.563 * [taylor]: Taking taylor expansion of d2 in d1
5.563 * [backup-simplify]: Simplify d2 into d2
5.563 * [taylor]: Taking taylor expansion of d3 in d1
5.563 * [backup-simplify]: Simplify d3 into d3
5.563 * [taylor]: Taking taylor expansion of d1 in d1
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 1 into 1
5.563 * [backup-simplify]: Simplify (- d3) into (- d3)
5.563 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3)
5.563 * [backup-simplify]: Simplify (* (- d2 d3) 0) into 0
5.563 * [taylor]: Taking taylor expansion of 0 in d2
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [taylor]: Taking taylor expansion of 0 in d3
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify (- 0) into 0
5.564 * [backup-simplify]: Simplify (+ 0 0) into 0
5.564 * [backup-simplify]: Simplify (+ (* (- d2 d3) 1) (* 0 0)) into (- d2 d3)
5.564 * [taylor]: Taking taylor expansion of (- d2 d3) in d2
5.564 * [taylor]: Taking taylor expansion of d2 in d2
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify 1 into 1
5.564 * [taylor]: Taking taylor expansion of d3 in d2
5.564 * [backup-simplify]: Simplify d3 into d3
5.564 * [backup-simplify]: Simplify (- d3) into (- d3)
5.565 * [backup-simplify]: Simplify (+ 0 (- d3)) into (- d3)
5.565 * [taylor]: Taking taylor expansion of (- d3) in d3
5.565 * [taylor]: Taking taylor expansion of d3 in d3
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify 1 into 1
5.565 * [backup-simplify]: Simplify (- 0) into 0
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [taylor]: Taking taylor expansion of 0 in d3
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify (- 0) into 0
5.565 * [backup-simplify]: Simplify (+ 0 0) into 0
5.566 * [backup-simplify]: Simplify (+ (* (- d2 d3) 0) (+ (* 0 1) (* 0 0))) into 0
5.566 * [taylor]: Taking taylor expansion of 0 in d2
5.566 * [backup-simplify]: Simplify 0 into 0
5.566 * [taylor]: Taking taylor expansion of 0 in d3
5.566 * [backup-simplify]: Simplify 0 into 0
5.566 * [backup-simplify]: Simplify 0 into 0
5.566 * [backup-simplify]: Simplify (- 0) into 0
5.566 * [backup-simplify]: Simplify (+ 1 0) into 1
5.566 * [taylor]: Taking taylor expansion of 1 in d3
5.566 * [backup-simplify]: Simplify 1 into 1
5.566 * [backup-simplify]: Simplify 1 into 1
5.566 * [taylor]: Taking taylor expansion of 0 in d3
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify (- 1) into -1
5.567 * [backup-simplify]: Simplify -1 into -1
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify (- 0) into 0
5.567 * [backup-simplify]: Simplify (+ 0 0) into 0
5.568 * [backup-simplify]: Simplify (+ (* (- d2 d3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.568 * [taylor]: Taking taylor expansion of 0 in d2
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [taylor]: Taking taylor expansion of 0 in d3
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [taylor]: Taking taylor expansion of 0 in d3
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify (- 0) into 0
5.568 * [backup-simplify]: Simplify (+ 0 0) into 0
5.568 * [taylor]: Taking taylor expansion of 0 in d3
5.568 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [taylor]: Taking taylor expansion of 0 in d3
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d2 d1) (* d3 d1))
5.569 * [backup-simplify]: Simplify (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) into (/ (- (/ 1 d2) (/ 1 d3)) d1)
5.569 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0
5.569 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d3
5.569 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3
5.569 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.569 * [taylor]: Taking taylor expansion of d2 in d3
5.569 * [backup-simplify]: Simplify d2 into d2
5.569 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.569 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.569 * [taylor]: Taking taylor expansion of d3 in d3
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify 1 into 1
5.569 * [backup-simplify]: Simplify (/ 1 1) into 1
5.569 * [taylor]: Taking taylor expansion of d1 in d3
5.569 * [backup-simplify]: Simplify d1 into d1
5.569 * [backup-simplify]: Simplify (- 1) into -1
5.570 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.570 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
5.570 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d2
5.570 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
5.570 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.570 * [taylor]: Taking taylor expansion of d2 in d2
5.570 * [backup-simplify]: Simplify 0 into 0
5.570 * [backup-simplify]: Simplify 1 into 1
5.570 * [backup-simplify]: Simplify (/ 1 1) into 1
5.570 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.570 * [taylor]: Taking taylor expansion of d3 in d2
5.570 * [backup-simplify]: Simplify d3 into d3
5.570 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.570 * [taylor]: Taking taylor expansion of d1 in d2
5.570 * [backup-simplify]: Simplify d1 into d1
5.571 * [backup-simplify]: Simplify (+ 1 0) into 1
5.571 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.571 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1
5.571 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1
5.571 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.571 * [taylor]: Taking taylor expansion of d2 in d1
5.571 * [backup-simplify]: Simplify d2 into d2
5.571 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.571 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.571 * [taylor]: Taking taylor expansion of d3 in d1
5.571 * [backup-simplify]: Simplify d3 into d3
5.571 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.571 * [taylor]: Taking taylor expansion of d1 in d1
5.571 * [backup-simplify]: Simplify 0 into 0
5.571 * [backup-simplify]: Simplify 1 into 1
5.571 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.571 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
5.571 * [backup-simplify]: Simplify (/ (- (/ 1 d2) (/ 1 d3)) 1) into (- (/ 1 d2) (/ 1 d3))
5.571 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1
5.571 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1
5.571 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.571 * [taylor]: Taking taylor expansion of d2 in d1
5.571 * [backup-simplify]: Simplify d2 into d2
5.571 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.571 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.571 * [taylor]: Taking taylor expansion of d3 in d1
5.571 * [backup-simplify]: Simplify d3 into d3
5.571 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.571 * [taylor]: Taking taylor expansion of d1 in d1
5.571 * [backup-simplify]: Simplify 0 into 0
5.571 * [backup-simplify]: Simplify 1 into 1
5.572 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.572 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
5.572 * [backup-simplify]: Simplify (/ (- (/ 1 d2) (/ 1 d3)) 1) into (- (/ 1 d2) (/ 1 d3))
5.572 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
5.572 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.572 * [taylor]: Taking taylor expansion of d2 in d2
5.572 * [backup-simplify]: Simplify 0 into 0
5.572 * [backup-simplify]: Simplify 1 into 1
5.572 * [backup-simplify]: Simplify (/ 1 1) into 1
5.572 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.572 * [taylor]: Taking taylor expansion of d3 in d2
5.572 * [backup-simplify]: Simplify d3 into d3
5.572 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.572 * [backup-simplify]: Simplify (+ 1 0) into 1
5.573 * [taylor]: Taking taylor expansion of 1 in d3
5.573 * [backup-simplify]: Simplify 1 into 1
5.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
5.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.573 * [backup-simplify]: Simplify (- 0) into 0
5.574 * [backup-simplify]: Simplify (+ 0 0) into 0
5.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d2) (/ 1 d3)) (/ 0 1)))) into 0
5.575 * [taylor]: Taking taylor expansion of 0 in d2
5.575 * [backup-simplify]: Simplify 0 into 0
5.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.576 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3))
5.576 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
5.576 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
5.576 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.576 * [taylor]: Taking taylor expansion of d3 in d3
5.576 * [backup-simplify]: Simplify 0 into 0
5.576 * [backup-simplify]: Simplify 1 into 1
5.576 * [backup-simplify]: Simplify (/ 1 1) into 1
5.577 * [backup-simplify]: Simplify (- 1) into -1
5.577 * [backup-simplify]: Simplify -1 into -1
5.577 * [backup-simplify]: Simplify 1 into 1
5.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.577 * [backup-simplify]: Simplify (- 0) into 0
5.578 * [backup-simplify]: Simplify (+ 0 0) into 0
5.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.579 * [taylor]: Taking taylor expansion of 0 in d2
5.579 * [backup-simplify]: Simplify 0 into 0
5.579 * [taylor]: Taking taylor expansion of 0 in d3
5.579 * [backup-simplify]: Simplify 0 into 0
5.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.581 * [backup-simplify]: Simplify (- 0) into 0
5.581 * [backup-simplify]: Simplify (+ 0 0) into 0
5.581 * [taylor]: Taking taylor expansion of 0 in d3
5.581 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.582 * [backup-simplify]: Simplify (- 0) into 0
5.583 * [backup-simplify]: Simplify 0 into 0
5.583 * [backup-simplify]: Simplify 0 into 0
5.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.583 * [backup-simplify]: Simplify (- 0) into 0
5.584 * [backup-simplify]: Simplify (+ 0 0) into 0
5.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.586 * [taylor]: Taking taylor expansion of 0 in d2
5.586 * [backup-simplify]: Simplify 0 into 0
5.586 * [taylor]: Taking taylor expansion of 0 in d3
5.586 * [backup-simplify]: Simplify 0 into 0
5.586 * [taylor]: Taking taylor expansion of 0 in d3
5.586 * [backup-simplify]: Simplify 0 into 0
5.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.587 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.588 * [backup-simplify]: Simplify (- 0) into 0
5.588 * [backup-simplify]: Simplify (+ 0 0) into 0
5.588 * [taylor]: Taking taylor expansion of 0 in d3
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.589 * [backup-simplify]: Simplify (- 0) into 0
5.589 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d2 d1) (* d3 d1))
5.589 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (- (/ 1 (- d2)) (/ 1 (- d3)))) into (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1))
5.589 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in (d1 d2 d3) around 0
5.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d3
5.589 * [taylor]: Taking taylor expansion of -1 in d3
5.590 * [backup-simplify]: Simplify -1 into -1
5.590 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d3
5.590 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3
5.590 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.590 * [taylor]: Taking taylor expansion of d3 in d3
5.590 * [backup-simplify]: Simplify 0 into 0
5.590 * [backup-simplify]: Simplify 1 into 1
5.590 * [backup-simplify]: Simplify (/ 1 1) into 1
5.590 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.590 * [taylor]: Taking taylor expansion of d2 in d3
5.590 * [backup-simplify]: Simplify d2 into d2
5.590 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.590 * [taylor]: Taking taylor expansion of d1 in d3
5.590 * [backup-simplify]: Simplify d1 into d1
5.590 * [backup-simplify]: Simplify (+ 1 0) into 1
5.590 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.590 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d2
5.590 * [taylor]: Taking taylor expansion of -1 in d2
5.590 * [backup-simplify]: Simplify -1 into -1
5.590 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d2
5.590 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2
5.590 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.590 * [taylor]: Taking taylor expansion of d3 in d2
5.590 * [backup-simplify]: Simplify d3 into d3
5.590 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.590 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.590 * [taylor]: Taking taylor expansion of d2 in d2
5.590 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 1 into 1
5.591 * [backup-simplify]: Simplify (/ 1 1) into 1
5.591 * [taylor]: Taking taylor expansion of d1 in d2
5.591 * [backup-simplify]: Simplify d1 into d1
5.591 * [backup-simplify]: Simplify (- 1) into -1
5.591 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.591 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
5.591 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1
5.591 * [taylor]: Taking taylor expansion of -1 in d1
5.591 * [backup-simplify]: Simplify -1 into -1
5.591 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1
5.591 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1
5.591 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.591 * [taylor]: Taking taylor expansion of d3 in d1
5.591 * [backup-simplify]: Simplify d3 into d3
5.591 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.591 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.591 * [taylor]: Taking taylor expansion of d2 in d1
5.592 * [backup-simplify]: Simplify d2 into d2
5.592 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.592 * [taylor]: Taking taylor expansion of d1 in d1
5.592 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify 1 into 1
5.592 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
5.592 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d2))) into (- (/ 1 d3) (/ 1 d2))
5.592 * [backup-simplify]: Simplify (/ (- (/ 1 d3) (/ 1 d2)) 1) into (- (/ 1 d3) (/ 1 d2))
5.592 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1
5.592 * [taylor]: Taking taylor expansion of -1 in d1
5.592 * [backup-simplify]: Simplify -1 into -1
5.592 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1
5.592 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1
5.592 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.592 * [taylor]: Taking taylor expansion of d3 in d1
5.592 * [backup-simplify]: Simplify d3 into d3
5.592 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.592 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.592 * [taylor]: Taking taylor expansion of d2 in d1
5.592 * [backup-simplify]: Simplify d2 into d2
5.592 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
5.592 * [taylor]: Taking taylor expansion of d1 in d1
5.592 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify 1 into 1
5.592 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
5.592 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d2))) into (- (/ 1 d3) (/ 1 d2))
5.592 * [backup-simplify]: Simplify (/ (- (/ 1 d3) (/ 1 d2)) 1) into (- (/ 1 d3) (/ 1 d2))
5.592 * [backup-simplify]: Simplify (* -1 (- (/ 1 d3) (/ 1 d2))) into (* -1 (- (/ 1 d3) (/ 1 d2)))
5.592 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 d3) (/ 1 d2))) in d2
5.592 * [taylor]: Taking taylor expansion of -1 in d2
5.592 * [backup-simplify]: Simplify -1 into -1
5.592 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2
5.592 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.593 * [taylor]: Taking taylor expansion of d3 in d2
5.593 * [backup-simplify]: Simplify d3 into d3
5.593 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3)
5.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.593 * [taylor]: Taking taylor expansion of d2 in d2
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 1 into 1
5.593 * [backup-simplify]: Simplify (/ 1 1) into 1
5.593 * [backup-simplify]: Simplify (- 1) into -1
5.593 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.594 * [backup-simplify]: Simplify (* -1 -1) into 1
5.594 * [taylor]: Taking taylor expansion of 1 in d3
5.594 * [backup-simplify]: Simplify 1 into 1
5.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
5.594 * [backup-simplify]: Simplify (- 0) into 0
5.594 * [backup-simplify]: Simplify (+ 0 0) into 0
5.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d3) (/ 1 d2)) (/ 0 1)))) into 0
5.595 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 d3) (/ 1 d2)))) into 0
5.595 * [taylor]: Taking taylor expansion of 0 in d2
5.595 * [backup-simplify]: Simplify 0 into 0
5.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.596 * [backup-simplify]: Simplify (- 0) into 0
5.596 * [backup-simplify]: Simplify (+ (/ 1 d3) 0) into (/ 1 d3)
5.596 * [backup-simplify]: Simplify (+ (* -1 (/ 1 d3)) (* 0 -1)) into (- (/ 1 d3))
5.596 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3
5.596 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.596 * [taylor]: Taking taylor expansion of d3 in d3
5.596 * [backup-simplify]: Simplify 0 into 0
5.596 * [backup-simplify]: Simplify 1 into 1
5.597 * [backup-simplify]: Simplify (/ 1 1) into 1
5.597 * [backup-simplify]: Simplify (- 1) into -1
5.597 * [backup-simplify]: Simplify -1 into -1
5.597 * [backup-simplify]: Simplify 1 into 1
5.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.597 * [backup-simplify]: Simplify (- 0) into 0
5.598 * [backup-simplify]: Simplify (+ 0 0) into 0
5.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d3) (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.599 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2))))) into 0
5.599 * [taylor]: Taking taylor expansion of 0 in d2
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [taylor]: Taking taylor expansion of 0 in d3
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
5.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.600 * [backup-simplify]: Simplify (- 0) into 0
5.600 * [backup-simplify]: Simplify (+ 0 0) into 0
5.601 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 d3)) (* 0 -1))) into 0
5.601 * [taylor]: Taking taylor expansion of 0 in d3
5.601 * [backup-simplify]: Simplify 0 into 0
5.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.601 * [backup-simplify]: Simplify (- 0) into 0
5.601 * [backup-simplify]: Simplify 0 into 0
5.601 * [backup-simplify]: Simplify 0 into 0
5.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
5.602 * [backup-simplify]: Simplify (- 0) into 0
5.602 * [backup-simplify]: Simplify (+ 0 0) into 0
5.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 d3) (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.606 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2)))))) into 0
5.606 * [taylor]: Taking taylor expansion of 0 in d2
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [taylor]: Taking taylor expansion of 0 in d3
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [taylor]: Taking taylor expansion of 0 in d3
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
5.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.607 * [backup-simplify]: Simplify (- 0) into 0
5.607 * [backup-simplify]: Simplify (+ 0 0) into 0
5.608 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 d3)) (* 0 -1)))) into 0
5.608 * [taylor]: Taking taylor expansion of 0 in d3
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.609 * [backup-simplify]: Simplify (- 0) into 0
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d2 d1) (* d3 d1))
5.609 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
5.609 * [backup-simplify]: Simplify (* d1 (- d4 d1)) into (* (- d4 d1) d1)
5.609 * [approximate]: Taking taylor expansion of (* (- d4 d1) d1) in (d1 d4) around 0
5.609 * [taylor]: Taking taylor expansion of (* (- d4 d1) d1) in d4
5.609 * [taylor]: Taking taylor expansion of (- d4 d1) in d4
5.609 * [taylor]: Taking taylor expansion of d4 in d4
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.609 * [taylor]: Taking taylor expansion of d1 in d4
5.609 * [backup-simplify]: Simplify d1 into d1
5.609 * [taylor]: Taking taylor expansion of d1 in d4
5.609 * [backup-simplify]: Simplify d1 into d1
5.609 * [taylor]: Taking taylor expansion of (* (- d4 d1) d1) in d1
5.609 * [taylor]: Taking taylor expansion of (- d4 d1) in d1
5.609 * [taylor]: Taking taylor expansion of d4 in d1
5.609 * [backup-simplify]: Simplify d4 into d4
5.609 * [taylor]: Taking taylor expansion of d1 in d1
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.609 * [taylor]: Taking taylor expansion of d1 in d1
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.609 * [taylor]: Taking taylor expansion of (* (- d4 d1) d1) in d1
5.609 * [taylor]: Taking taylor expansion of (- d4 d1) in d1
5.609 * [taylor]: Taking taylor expansion of d4 in d1
5.609 * [backup-simplify]: Simplify d4 into d4
5.609 * [taylor]: Taking taylor expansion of d1 in d1
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.609 * [taylor]: Taking taylor expansion of d1 in d1
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.610 * [backup-simplify]: Simplify (- 0) into 0
5.610 * [backup-simplify]: Simplify (+ d4 0) into d4
5.610 * [backup-simplify]: Simplify (* d4 0) into 0
5.610 * [taylor]: Taking taylor expansion of 0 in d4
5.610 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify (- 1) into -1
5.610 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.611 * [backup-simplify]: Simplify (+ (* d4 1) (* -1 0)) into d4
5.611 * [taylor]: Taking taylor expansion of d4 in d4
5.611 * [backup-simplify]: Simplify 0 into 0
5.611 * [backup-simplify]: Simplify 1 into 1
5.611 * [backup-simplify]: Simplify 0 into 0
5.611 * [backup-simplify]: Simplify 0 into 0
5.611 * [backup-simplify]: Simplify (- 0) into 0
5.611 * [backup-simplify]: Simplify (+ 0 0) into 0
5.612 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* -1 1) (* 0 0))) into (- 1)
5.612 * [taylor]: Taking taylor expansion of (- 1) in d4
5.612 * [taylor]: Taking taylor expansion of 1 in d4
5.612 * [backup-simplify]: Simplify 1 into 1
5.612 * [backup-simplify]: Simplify (- 1) into -1
5.612 * [backup-simplify]: Simplify -1 into -1
5.612 * [backup-simplify]: Simplify 1 into 1
5.612 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify (- 0) into 0
5.613 * [backup-simplify]: Simplify (+ 0 0) into 0
5.613 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* -1 0) (+ (* 0 1) (* 0 0)))) into 0
5.613 * [taylor]: Taking taylor expansion of 0 in d4
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify (- 0) into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify (- 0) into 0
5.614 * [backup-simplify]: Simplify (+ 0 0) into 0
5.615 * [backup-simplify]: Simplify (+ (* d4 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.615 * [taylor]: Taking taylor expansion of 0 in d4
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify (+ (* 1 (* d4 d1)) (* -1 (pow (* 1 d1) 2))) into (- (* d4 d1) (pow d1 2))
5.615 * [backup-simplify]: Simplify (* (/ 1 d1) (- (/ 1 d4) (/ 1 d1))) into (/ (- (/ 1 d4) (/ 1 d1)) d1)
5.615 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in (d1 d4) around 0
5.615 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4
5.615 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4
5.615 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.615 * [taylor]: Taking taylor expansion of d4 in d4
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify 1 into 1
5.615 * [backup-simplify]: Simplify (/ 1 1) into 1
5.615 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
5.615 * [taylor]: Taking taylor expansion of d1 in d4
5.615 * [backup-simplify]: Simplify d1 into d1
5.615 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.615 * [taylor]: Taking taylor expansion of d1 in d4
5.615 * [backup-simplify]: Simplify d1 into d1
5.616 * [backup-simplify]: Simplify (+ 1 0) into 1
5.616 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.616 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1
5.616 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1
5.616 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
5.616 * [taylor]: Taking taylor expansion of d4 in d1
5.616 * [backup-simplify]: Simplify d4 into d4
5.616 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.616 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.616 * [taylor]: Taking taylor expansion of d1 in d1
5.616 * [backup-simplify]: Simplify 0 into 0
5.616 * [backup-simplify]: Simplify 1 into 1
5.616 * [backup-simplify]: Simplify (/ 1 1) into 1
5.616 * [taylor]: Taking taylor expansion of d1 in d1
5.616 * [backup-simplify]: Simplify 0 into 0
5.616 * [backup-simplify]: Simplify 1 into 1
5.617 * [backup-simplify]: Simplify (- 1) into -1
5.617 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.618 * [backup-simplify]: Simplify (/ -1 1) into -1
5.618 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1
5.618 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1
5.618 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
5.618 * [taylor]: Taking taylor expansion of d4 in d1
5.618 * [backup-simplify]: Simplify d4 into d4
5.618 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.618 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.618 * [taylor]: Taking taylor expansion of d1 in d1
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [backup-simplify]: Simplify (/ 1 1) into 1
5.618 * [taylor]: Taking taylor expansion of d1 in d1
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.619 * [backup-simplify]: Simplify (- 1) into -1
5.619 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.620 * [backup-simplify]: Simplify (/ -1 1) into -1
5.620 * [taylor]: Taking taylor expansion of -1 in d4
5.620 * [backup-simplify]: Simplify -1 into -1
5.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.621 * [backup-simplify]: Simplify (- 0) into 0
5.621 * [backup-simplify]: Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
5.622 * [backup-simplify]: Simplify (- (/ (/ 1 d4) 1) (+ (* -1 (/ 0 1)))) into (/ 1 d4)
5.622 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.622 * [taylor]: Taking taylor expansion of d4 in d4
5.622 * [backup-simplify]: Simplify 0 into 0
5.622 * [backup-simplify]: Simplify 1 into 1
5.623 * [backup-simplify]: Simplify (/ 1 1) into 1
5.623 * [backup-simplify]: Simplify 1 into 1
5.623 * [backup-simplify]: Simplify -1 into -1
5.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.624 * [backup-simplify]: Simplify (- 0) into 0
5.624 * [backup-simplify]: Simplify (+ 0 0) into 0
5.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 d4) (/ 0 1)))) into 0
5.626 * [taylor]: Taking taylor expansion of 0 in d4
5.626 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.627 * [backup-simplify]: Simplify 0 into 0
5.627 * [backup-simplify]: Simplify 0 into 0
5.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.628 * [backup-simplify]: Simplify (- 0) into 0
5.628 * [backup-simplify]: Simplify (+ 0 0) into 0
5.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 d4) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.630 * [taylor]: Taking taylor expansion of 0 in d4
5.630 * [backup-simplify]: Simplify 0 into 0
5.630 * [backup-simplify]: Simplify 0 into 0
5.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.631 * [backup-simplify]: Simplify 0 into 0
5.631 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.633 * [backup-simplify]: Simplify (- 0) into 0
5.633 * [backup-simplify]: Simplify (+ 0 0) into 0
5.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 d4) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.636 * [taylor]: Taking taylor expansion of 0 in d4
5.636 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 d1))) 2)) (* 1 (* (/ 1 (/ 1 d4)) (/ 1 (/ 1 d1))))) into (- (* d4 d1) (pow d1 2))
5.637 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (- (/ 1 (- d4)) (/ 1 (- d1)))) into (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))
5.637 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in (d1 d4) around 0
5.637 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4
5.637 * [taylor]: Taking taylor expansion of -1 in d4
5.637 * [backup-simplify]: Simplify -1 into -1
5.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4
5.637 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4
5.637 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4
5.637 * [taylor]: Taking taylor expansion of d1 in d4
5.637 * [backup-simplify]: Simplify d1 into d1
5.637 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
5.637 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.637 * [taylor]: Taking taylor expansion of d4 in d4
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify 1 into 1
5.637 * [backup-simplify]: Simplify (/ 1 1) into 1
5.637 * [taylor]: Taking taylor expansion of d1 in d4
5.637 * [backup-simplify]: Simplify d1 into d1
5.638 * [backup-simplify]: Simplify (- 1) into -1
5.638 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.638 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
5.638 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1
5.638 * [taylor]: Taking taylor expansion of -1 in d1
5.638 * [backup-simplify]: Simplify -1 into -1
5.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1
5.638 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1
5.638 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.638 * [taylor]: Taking taylor expansion of d1 in d1
5.638 * [backup-simplify]: Simplify 0 into 0
5.638 * [backup-simplify]: Simplify 1 into 1
5.639 * [backup-simplify]: Simplify (/ 1 1) into 1
5.639 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
5.639 * [taylor]: Taking taylor expansion of d4 in d1
5.639 * [backup-simplify]: Simplify d4 into d4
5.639 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.639 * [taylor]: Taking taylor expansion of d1 in d1
5.639 * [backup-simplify]: Simplify 0 into 0
5.639 * [backup-simplify]: Simplify 1 into 1
5.639 * [backup-simplify]: Simplify (+ 1 0) into 1
5.640 * [backup-simplify]: Simplify (/ 1 1) into 1
5.640 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1
5.640 * [taylor]: Taking taylor expansion of -1 in d1
5.640 * [backup-simplify]: Simplify -1 into -1
5.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1
5.640 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1
5.640 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.640 * [taylor]: Taking taylor expansion of d1 in d1
5.640 * [backup-simplify]: Simplify 0 into 0
5.640 * [backup-simplify]: Simplify 1 into 1
5.640 * [backup-simplify]: Simplify (/ 1 1) into 1
5.640 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1
5.640 * [taylor]: Taking taylor expansion of d4 in d1
5.641 * [backup-simplify]: Simplify d4 into d4
5.641 * [backup-simplify]: Simplify (/ 1 d4) into (/ 1 d4)
5.641 * [taylor]: Taking taylor expansion of d1 in d1
5.641 * [backup-simplify]: Simplify 0 into 0
5.641 * [backup-simplify]: Simplify 1 into 1
5.641 * [backup-simplify]: Simplify (+ 1 0) into 1
5.641 * [backup-simplify]: Simplify (/ 1 1) into 1
5.642 * [backup-simplify]: Simplify (* -1 1) into -1
5.642 * [taylor]: Taking taylor expansion of -1 in d4
5.642 * [backup-simplify]: Simplify -1 into -1
5.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.643 * [backup-simplify]: Simplify (- (/ 1 d4)) into (- (/ 1 d4))
5.643 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d4))) into (- (/ 1 d4))
5.644 * [backup-simplify]: Simplify (- (/ (- (/ 1 d4)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 d4))
5.644 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 d4))) (* 0 1)) into (/ 1 d4)
5.644 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4
5.644 * [taylor]: Taking taylor expansion of d4 in d4
5.644 * [backup-simplify]: Simplify 0 into 0
5.644 * [backup-simplify]: Simplify 1 into 1
5.644 * [backup-simplify]: Simplify (/ 1 1) into 1
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [backup-simplify]: Simplify -1 into -1
5.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
5.646 * [backup-simplify]: Simplify (- 0) into 0
5.646 * [backup-simplify]: Simplify (+ 0 0) into 0
5.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d4)) (/ 0 1)))) into 0
5.648 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 d4))) (* 0 1))) into 0
5.649 * [taylor]: Taking taylor expansion of 0 in d4
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.651 * [backup-simplify]: Simplify (- 0) into 0
5.651 * [backup-simplify]: Simplify (+ 0 0) into 0
5.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d4)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.655 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d4))) (* 0 1)))) into 0
5.655 * [taylor]: Taking taylor expansion of 0 in d4
5.655 * [backup-simplify]: Simplify 0 into 0
5.655 * [backup-simplify]: Simplify 0 into 0
5.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.656 * [backup-simplify]: Simplify 0 into 0
5.656 * [backup-simplify]: Simplify 0 into 0
5.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
5.657 * [backup-simplify]: Simplify (- 0) into 0
5.657 * [backup-simplify]: Simplify (+ 0 0) into 0
5.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 d4)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.661 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d4))) (* 0 1))))) into 0
5.661 * [taylor]: Taking taylor expansion of 0 in d4
5.661 * [backup-simplify]: Simplify 0 into 0
5.661 * [backup-simplify]: Simplify 0 into 0
5.662 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 (- d1)))) 2)) (* 1 (* (/ 1 (/ 1 (- d4))) (/ 1 (/ 1 (- d1)))))) into (- (* d4 d1) (pow d1 2))
5.662 * * * [progress]: simplifying candidates
5.666 * [simplify]: Simplifying:
  (expm1 (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (log1p (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (* (exp (* d1 (- d2 d3))) (exp (* d1 (- d4 d1))))
  (log (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (exp (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (* (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))))
  (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (* (* (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))
  (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (pow d4 3) (pow d1 3)))))
  (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1))))
  (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (* d4 d4) (* d1 d1)))))
  (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1))
  (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (* d1 (- (pow d4 3) (pow d1 3)))))
  (* (+ d2 d3) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1))))
  (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1)) (* (+ d2 d3) (* d1 (- (* d4 d4) (* d1 d1)))))
  (* (+ d2 d3) (+ d4 d1))
  (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 (- d4 d1)) 3))
  (+ (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (- (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* (* d1 (- d2 d3)) (* d1 (- d4 d1)))))
  (- (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* (* d1 (- d4 d1)) (* d1 (- d4 d1))))
  (- (* d1 (- d2 d3)) (* d1 (- d4 d1)))
  (+ (- d2 d3) (- d4 d1))
  (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1)))))
  (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1)))))
  (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1))))))
  (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* d1 1)))))
  (+ (* d1 (- d2 d3)) (* d1 d4))
  (+ (* d1 (- d2 d3)) (* d1 d4))
  (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1))
  (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1))
  (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1))
  (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1))
  (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1))
  (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1))
  (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1))
  (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1))
  (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* d1 1))) d1))
  (+ (* d1 (- d2 d3)) (* d4 d1))
  (+ (* d1 (- d2 d3)) (* d4 d1))
  (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1)))
  (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1)))
  (+ (* d1 (- d3)) (* d1 (- d4 d1)))
  (+ (* d1 (- d3)) (* d1 (- d4 d1)))
  (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1)))
  (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1)))
  (+ (* (- d3) d1) (* d1 (- d4 d1)))
  (+ (* (- d3) d1) (* d1 (- d4 d1)))
  (expm1 (* d1 (- d2 d3)))
  (log1p (* d1 (- d2 d3)))
  (* d1 (- d2 d3))
  (+ (log d1) (log (- d2 d3)))
  (log (* d1 (- d2 d3)))
  (exp (* d1 (- d2 d3)))
  (* (* (* d1 d1) d1) (* (* (- d2 d3) (- d2 d3)) (- d2 d3)))
  (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
  (cbrt (* d1 (- d2 d3)))
  (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (* (sqrt d1) (sqrt (- d2 d3)))
  (* (sqrt d1) (sqrt (- d2 d3)))
  (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))))
  (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))
  (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3)))))
  (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))))
  (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1))))
  (* d1 (fma (- d3) 1 (* d3 1)))
  (* d1 (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))))
  (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))
  (* d1 (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3)))))
  (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))))
  (* d1 (fma (sqrt d2) (sqrt d2) (- (* d3 1))))
  (* d1 (fma (- d3) 1 (* d3 1)))
  (* d1 (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))))
  (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))
  (* d1 (fma 1 d2 (- (* (sqrt d3) (sqrt d3)))))
  (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))))
  (* d1 (fma 1 d2 (- (* d3 1))))
  (* d1 (fma (- d3) 1 (* d3 1)))
  (* d1 d2)
  (* d1 (- d3))
  (* d1 d2)
  (* d1 (- d3))
  (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1)
  (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1)
  (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3)))) d1)
  (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1)
  (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1))) d1)
  (* (fma (- d3) 1 (* d3 1)) d1)
  (* (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1)
  (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1)
  (* (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3)))) d1)
  (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1)
  (* (fma (sqrt d2) (sqrt d2) (- (* d3 1))) d1)
  (* (fma (- d3) 1 (* d3 1)) d1)
  (* (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1)
  (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1)
  (* (fma 1 d2 (- (* (sqrt d3) (sqrt d3)))) d1)
  (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1)
  (* (fma 1 d2 (- (* d3 1))) d1)
  (* (fma (- d3) 1 (* d3 1)) d1)
  (* d2 d1)
  (* (- d3) d1)
  (* d2 d1)
  (* (- d3) d1)
  (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3))))
  (* d1 (sqrt (- d2 d3)))
  (* d1 1)
  (* d1 (+ (sqrt d2) (sqrt d3)))
  (* d1 1)
  (* (cbrt d1) (- d2 d3))
  (* (sqrt d1) (- d2 d3))
  (* d1 (- d2 d3))
  (* d1 (- (pow d2 3) (pow d3 3)))
  (* d1 (- (* d2 d2) (* d3 d3)))
  (expm1 (* d1 (- d4 d1)))
  (log1p (* d1 (- d4 d1)))
  (* d1 (- d4 d1))
  (+ (log d1) (log (- d4 d1)))
  (log (* d1 (- d4 d1)))
  (exp (* d1 (- d4 d1)))
  (* (* (* d1 d1) d1) (* (* (- d4 d1) (- d4 d1)) (- d4 d1)))
  (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1))))
  (cbrt (* d1 (- d4 d1)))
  (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1)))
  (sqrt (* d1 (- d4 d1)))
  (sqrt (* d1 (- d4 d1)))
  (* (sqrt d1) (sqrt (- d4 d1)))
  (* (sqrt d1) (sqrt (- d4 d1)))
  (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))
  (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))
  (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))))
  (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))))
  (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))))
  (* d1 (fma (- d1) 1 (* d1 1)))
  (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))
  (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))
  (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))))
  (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))))
  (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1))))
  (* d1 (fma (- d1) 1 (* d1 1)))
  (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))
  (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))
  (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))))
  (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))))
  (* d1 (fma 1 d4 (- (* d1 1))))
  (* d1 (fma (- d1) 1 (* d1 1)))
  (* d1 d4)
  (* d1 (- d1))
  (* d1 d4)
  (* d1 (- d1))
  (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)
  (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1)
  (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)
  (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1)
  (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1)
  (* (fma (- d1) 1 (* d1 1)) d1)
  (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)
  (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1)
  (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)
  (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1)
  (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1)
  (* (fma (- d1) 1 (* d1 1)) d1)
  (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)
  (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1)
  (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1)
  (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1)
  (* (fma 1 d4 (- (* d1 1))) d1)
  (* (fma (- d1) 1 (* d1 1)) d1)
  (* d4 d1)
  (* (- d1) d1)
  (* d4 d1)
  (* (- d1) d1)
  (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1))))
  (* d1 (sqrt (- d4 d1)))
  (* d1 1)
  (* d1 (+ (sqrt d4) (sqrt d1)))
  (* d1 1)
  (* (cbrt d1) (- d4 d1))
  (* (sqrt d1) (- d4 d1))
  (* d1 (- d4 d1))
  (* d1 (- (pow d4 3) (pow d1 3)))
  (* d1 (- (* d4 d4) (* d1 d1)))
  (- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
  (- (* d2 d1) (* d3 d1))
  (- (* d2 d1) (* d3 d1))
  (- (* d2 d1) (* d3 d1))
  (- (* d4 d1) (pow d1 2))
  (- (* d4 d1) (pow d1 2))
  (- (* d4 d1) (pow d1 2))
5.671 * * [simplify]: Extracting # 0 : cost  149  inf +  0
5.671 * * [simplify]: Extracting # 1 : cost  222  inf +  0
5.672 * * [simplify]: Extracting # 2 : cost  243  inf +  1635
5.675 * * [simplify]: Extracting # 3 : cost  154  inf +  14949
5.680 * * [simplify]: Extracting # 4 : cost  70  inf +  35275
5.689 * * [simplify]: Extracting # 5 : cost  23  inf +  51035
5.698 * * [simplify]: Extracting # 6 : cost  6  inf +  58326
5.707 * * [simplify]: Extracting # 7 : cost  1  inf +  60096
5.717 * * [simplify]: Extracting # 8 : cost  0  inf +  60514
5.725 * * [simplify]: iteration  0 :  266  enodes  (cost  54100 )
5.904 * * [simplify]: Extracting # 0 : cost  0  inf +  60514
5.912 * * [simplify]: Extracting # 1 : cost  143  inf +  46279
5.921 * * [simplify]: Extracting # 2 : cost  9  inf +  66244
5.930 * * [simplify]: Extracting # 3 : cost  0  inf +  65936
5.949 * * [simplify]: iteration  1 :  766  enodes  (cost  43589 )
6.871 * * [simplify]: Extracting # 0 : cost  0  inf +  65936
6.910 * * [simplify]: Extracting # 1 : cost  1299  inf +  42788
6.946 * * [simplify]: Extracting # 2 : cost  15  inf +  224954
7.003 * * [simplify]: Extracting # 3 : cost  4  inf +  226960
7.056 * * [simplify]: Extracting # 4 : cost  0  inf +  228026
7.116 * * [simplify]: iteration  2 :  3867  enodes  (cost  32454 )
7.958 * * [simplify]: Extracting # 0 : cost  0  inf +  228026
8.025 * * [simplify]: Extracting # 1 : cost  0  inf +  225195
8.093 * * [simplify]: Extracting # 2 : cost  0  inf +  225155
8.162 * * [simplify]: iteration done:  5000  enodes  (cost  32374 )
8.164 * [simplify]: Simplified to:
  (expm1 (* d1 (+ (- d2 d3) (- d4 d1))))
  (log1p (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (log (* d1 (+ (- d2 d3) (- d4 d1))))
  (exp (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))))
  (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (* (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (sqrt (* d1 (+ (- d2 d3) (- d4 d1))))
  (fma (* d1 (- (* d2 (* d2 d2)) (* (* d3 d3) d3))) (fma d4 d4 (* d1 (+ d1 d4))) (* (fma d2 d2 (* d3 (+ d3 d2))) (* d1 (- (* (* d4 d4) d4) (* (* d1 d1) d1)))))
  (* (fma d2 d2 (* d3 (+ d3 d2))) (fma d4 d4 (* d1 (+ d1 d4))))
  (fma (* (* (fma d2 d2 (* d3 (+ d3 d2))) d1) (+ d4 d1)) (- d4 d1) (* d1 (* (- (* d2 (* d2 d2)) (* (* d3 d3) d3)) (+ d4 d1))))
  (* (fma d2 d2 (* d3 (+ d3 d2))) (+ d4 d1))
  (fma (* d1 (- (* d2 d2) (* d3 d3))) (fma d4 d4 (* d1 (+ d1 d4))) (* (* (+ d2 d3) d1) (- (* (* d4 d4) d4) (* (* d1 d1) d1))))
  (* (+ d2 d3) (fma d4 d4 (* d1 (+ d1 d4))))
  (fma (* (* (+ d2 d3) d1) (+ d4 d1)) (- d4 d1) (* (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1)))
  (* (+ d2 d3) (+ d4 d1))
  (fma (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1)) (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3))))
  (fma (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* (* d1 (- d4 d1)) (- (* d1 (- d4 d1)) (* d1 (- d2 d3)))))
  (- (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* (* d1 (- d4 d1)) (* d1 (- d4 d1))))
  (* d1 (- (- d2 d3) (- d4 d1)))
  (+ (- d4 d1) (- d2 d3))
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (+ (- d2 d3) d4) d1)
  (* (+ (- d2 d3) d4) d1)
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* d1 (+ (- d2 d3) (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)))
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (- d2 (- d3 (- d4 d1))) d1)
  (* (+ (- d2 d3) d4) d1)
  (* (+ (- d2 d3) d4) d1)
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* (fma d3 -1 (- d4 d1)) d1)
  (* (fma d3 -1 (- d4 d1)) d1)
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (* d1 (+ (- d4 d1) (fma d3 -1 d3)))
  (- (* d1 (- d4 d1)) (* d3 d1))
  (- (* d1 (- d4 d1)) (* d3 d1))
  (expm1 (* d1 (- d2 d3)))
  (log1p (* d1 (- d2 d3)))
  (* d1 (- d2 d3))
  (log (* d1 (- d2 d3)))
  (log (* d1 (- d2 d3)))
  (exp (* d1 (- d2 d3)))
  (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3)))
  (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
  (cbrt (* d1 (- d2 d3)))
  (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (sqrt (* d1 (- d2 d3)))
  (* (sqrt d1) (sqrt (- d2 d3)))
  (* (sqrt d1) (sqrt (- d2 d3)))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 d2)
  (* d1 (- d3))
  (* d1 d2)
  (* d1 (- d3))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- (* (* (cbrt d2) (cbrt d2)) (cbrt d2)) d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d1 (- d2 d3))
  (* d1 (fma d3 -1 d3))
  (* d2 d1)
  (* (- d3) d1)
  (* d2 d1)
  (* (- d3) d1)
  (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3))))
  (* d1 (sqrt (- d2 d3)))
  d1
  (* d1 (+ (sqrt d2) (sqrt d3)))
  d1
  (* (cbrt d1) (- d2 d3))
  (* (sqrt d1) (- d2 d3))
  (* d1 (- d2 d3))
  (* d1 (- (* d2 (* d2 d2)) (* (* d3 d3) d3)))
  (* d1 (- (* d2 d2) (* d3 d3)))
  (expm1 (* d1 (- d4 d1)))
  (log1p (* d1 (- d4 d1)))
  (* d1 (- d4 d1))
  (log (* d1 (- d4 d1)))
  (log (* d1 (- d4 d1)))
  (exp (* d1 (- d4 d1)))
  (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1)))
  (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1))))
  (cbrt (* d1 (- d4 d1)))
  (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1)))
  (sqrt (* d1 (- d4 d1)))
  (sqrt (* d1 (- d4 d1)))
  (* (sqrt d1) (sqrt (- d4 d1)))
  (* (sqrt d1) (sqrt (- d4 d1)))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 d4)
  (* d1 (- d1))
  (* d1 d4)
  (* d1 (- d1))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1) d1)
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d1 (- d4 d1))
  (* d1 (fma d1 -1 d1))
  (* d4 d1)
  (* (- d1) d1)
  (* d4 d1)
  (* (- d1) d1)
  (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1))))
  (* d1 (sqrt (- d4 d1)))
  d1
  (* d1 (+ (sqrt d4) (sqrt d1)))
  d1
  (* (cbrt d1) (- d4 d1))
  (* (sqrt d1) (- d4 d1))
  (* d1 (- d4 d1))
  (* d1 (- (* (* d4 d4) d4) (* (* d1 d1) d1)))
  (* d1 (- (* d4 d4) (* d1 d1)))
  (- (* d1 (- d2 d3)) (* d1 d1))
  (* d1 (+ d4 (- d2 d3)))
  (* d1 (+ d4 (- d2 d3)))
  (* d1 (- d2 d3))
  (* d1 (- d2 d3))
  (* d1 (- d2 d3))
  (* d1 (- d4 d1))
  (* d1 (- d4 d1))
  (* d1 (- d4 d1))
8.182 * * * [progress]: adding candidates to table
8.920 * [progress]: [Phase 3 of 3] Extracting.
8.920 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>)
8.921 * * * [regime-changes]: Trying 4 branch expressions: (d4 d3 d2 d1)
8.921 * * * * [regimes]: Trying to branch on d4 from (#<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>)
8.958 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>)
9.012 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>)
9.057 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3 d4) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))> #<alt (λ (d1 d2 d3 d4) (* d1 (- (+ (- d2 d3) d4) d1)))>)
9.127 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.127 * [simplify]: Simplifying:
  (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))
9.127 * * [simplify]: Extracting # 0 : cost  1  inf +  0
9.127 * * [simplify]: Extracting # 1 : cost  3  inf +  0
9.127 * * [simplify]: Extracting # 2 : cost  6  inf +  0
9.127 * * [simplify]: Extracting # 3 : cost  8  inf +  1
9.127 * * [simplify]: Extracting # 4 : cost  0  inf +  457
9.128 * * [simplify]: iteration  0 :  9  enodes  (cost  204 )
9.128 * * [simplify]: Extracting # 0 : cost  0  inf +  457
9.128 * * [simplify]: iteration  1 :  12  enodes  (cost  204 )
9.129 * * [simplify]: Extracting # 0 : cost  0  inf +  457
9.129 * * [simplify]: iteration done:  12  enodes  (cost  204 )
9.129 * [simplify]: Simplified to:
  (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))
11.221 * [regime-testing]: Baseline error score: 0.0250243686712642
11.230 * [regime-testing]: Oracle error score: 0.012876609576197025
11.248 * [regime-testing]: End program error score: 0.0250243686712642
11.350 * [regime-testing]: Target error score: 0.023752969121140142