15.788 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.030 * * [simplify]: iteration 0: 9 enodes
0.032 * * [simplify]: iteration 1: 20 enodes
0.034 * * [simplify]: iteration 2: 39 enodes
0.045 * * [simplify]: iteration 3: 55 enodes
0.057 * * [simplify]: iteration 4: 70 enodes
0.072 * * [simplify]: iteration 5: 87 enodes
0.086 * * [simplify]: iteration 6: 124 enodes
0.101 * * [simplify]: iteration 7: 187 enodes
0.143 * * [simplify]: iteration 8: 311 enodes
0.205 * * [simplify]: iteration 9: 546 enodes
0.320 * * [simplify]: iteration 10: 808 enodes
0.467 * * [simplify]: iteration 11: 1245 enodes
0.742 * * [simplify]: iteration 12: 1964 enodes
1.062 * * [simplify]: iteration 13: 2357 enodes
1.223 * * [simplify]: iteration 14: 2563 enodes
1.301 * * [simplify]: iteration 15: 2735 enodes
1.391 * * [simplify]: iteration 16: 2935 enodes
1.489 * * [simplify]: iteration 17: 3124 enodes
1.562 * * [simplify]: iteration 18: 3310 enodes
1.687 * * [simplify]: iteration 19: 3478 enodes
1.764 * * [simplify]: iteration 20: 3664 enodes
1.839 * * [simplify]: iteration 21: 3831 enodes
1.928 * * [simplify]: iteration 22: 4017 enodes
1.995 * * [simplify]: iteration 23: 4185 enodes
2.082 * * [simplify]: iteration 24: 4371 enodes
2.161 * * [simplify]: iteration 25: 4538 enodes
2.262 * * [simplify]: iteration 26: 4724 enodes
2.359 * * [simplify]: iteration 27: 4892 enodes
2.413 * * [simplify]: iteration complete: 5000 enodes
2.413 * * [simplify]: Extracting #0: cost 1 inf + 0
2.413 * * [simplify]: Extracting #1: cost 20 inf + 0
2.413 * * [simplify]: Extracting #2: cost 60 inf + 44
2.414 * * [simplify]: Extracting #3: cost 104 inf + 172
2.416 * * [simplify]: Extracting #4: cost 22 inf + 7322
2.419 * * [simplify]: Extracting #5: cost 0 inf + 9630
2.422 * * [simplify]: Extracting #6: cost 0 inf + 9590
2.426 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
2.426 * * [progress]: iteration 1 / 4
2.426 * * * [progress]: picking best candidate
2.430 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
2.430 * * * [progress]: localizing error
2.441 * * * [progress]: generating rewritten candidates
2.441 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.520 * * * [progress]: generating series expansions
2.520 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.520 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
2.520 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
2.520 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
2.520 * [taylor]: Taking taylor expansion of 0.5 in t
2.520 * [backup-simplify]: Simplify 0.5 into 0.5
2.520 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
2.520 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
2.520 * [taylor]: Taking taylor expansion of (+ x y) in t
2.520 * [taylor]: Taking taylor expansion of x in t
2.520 * [backup-simplify]: Simplify x into x
2.520 * [taylor]: Taking taylor expansion of y in t
2.520 * [backup-simplify]: Simplify y into y
2.520 * [taylor]: Taking taylor expansion of z in t
2.520 * [backup-simplify]: Simplify z into z
2.520 * [taylor]: Taking taylor expansion of t in t
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.520 * [backup-simplify]: Simplify (- z) into (- z)
2.520 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
2.520 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
2.520 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
2.520 * [taylor]: Taking taylor expansion of 0.5 in z
2.520 * [backup-simplify]: Simplify 0.5 into 0.5
2.520 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
2.520 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
2.520 * [taylor]: Taking taylor expansion of (+ x y) in z
2.520 * [taylor]: Taking taylor expansion of x in z
2.520 * [backup-simplify]: Simplify x into x
2.520 * [taylor]: Taking taylor expansion of y in z
2.521 * [backup-simplify]: Simplify y into y
2.521 * [taylor]: Taking taylor expansion of z in z
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [taylor]: Taking taylor expansion of t in z
2.521 * [backup-simplify]: Simplify t into t
2.521 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.521 * [backup-simplify]: Simplify (- 0) into 0
2.521 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
2.521 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
2.521 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
2.521 * [taylor]: Taking taylor expansion of 0.5 in y
2.521 * [backup-simplify]: Simplify 0.5 into 0.5
2.521 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
2.521 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
2.521 * [taylor]: Taking taylor expansion of (+ x y) in y
2.521 * [taylor]: Taking taylor expansion of x in y
2.521 * [backup-simplify]: Simplify x into x
2.521 * [taylor]: Taking taylor expansion of y in y
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [taylor]: Taking taylor expansion of z in y
2.521 * [backup-simplify]: Simplify z into z
2.521 * [taylor]: Taking taylor expansion of t in y
2.522 * [backup-simplify]: Simplify t into t
2.522 * [backup-simplify]: Simplify (+ x 0) into x
2.522 * [backup-simplify]: Simplify (- z) into (- z)
2.522 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
2.522 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
2.522 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
2.522 * [taylor]: Taking taylor expansion of 0.5 in x
2.522 * [backup-simplify]: Simplify 0.5 into 0.5
2.522 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
2.522 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
2.522 * [taylor]: Taking taylor expansion of (+ x y) in x
2.522 * [taylor]: Taking taylor expansion of x in x
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [taylor]: Taking taylor expansion of y in x
2.522 * [backup-simplify]: Simplify y into y
2.522 * [taylor]: Taking taylor expansion of z in x
2.522 * [backup-simplify]: Simplify z into z
2.522 * [taylor]: Taking taylor expansion of t in x
2.522 * [backup-simplify]: Simplify t into t
2.522 * [backup-simplify]: Simplify (+ 0 y) into y
2.522 * [backup-simplify]: Simplify (- z) into (- z)
2.522 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
2.522 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
2.522 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
2.522 * [taylor]: Taking taylor expansion of 0.5 in x
2.522 * [backup-simplify]: Simplify 0.5 into 0.5
2.522 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
2.522 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
2.522 * [taylor]: Taking taylor expansion of (+ x y) in x
2.522 * [taylor]: Taking taylor expansion of x in x
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [taylor]: Taking taylor expansion of y in x
2.522 * [backup-simplify]: Simplify y into y
2.522 * [taylor]: Taking taylor expansion of z in x
2.522 * [backup-simplify]: Simplify z into z
2.522 * [taylor]: Taking taylor expansion of t in x
2.522 * [backup-simplify]: Simplify t into t
2.522 * [backup-simplify]: Simplify (+ 0 y) into y
2.522 * [backup-simplify]: Simplify (- z) into (- z)
2.522 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
2.522 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
2.522 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
2.523 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
2.523 * [taylor]: Taking taylor expansion of 0.5 in y
2.523 * [backup-simplify]: Simplify 0.5 into 0.5
2.523 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
2.523 * [taylor]: Taking taylor expansion of (- y z) in y
2.523 * [taylor]: Taking taylor expansion of y in y
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [taylor]: Taking taylor expansion of z in y
2.523 * [backup-simplify]: Simplify z into z
2.523 * [taylor]: Taking taylor expansion of t in y
2.523 * [backup-simplify]: Simplify t into t
2.523 * [backup-simplify]: Simplify (- z) into (- z)
2.523 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
2.523 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
2.523 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
2.523 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
2.523 * [taylor]: Taking taylor expansion of -0.5 in z
2.523 * [backup-simplify]: Simplify -0.5 into -0.5
2.523 * [taylor]: Taking taylor expansion of (/ z t) in z
2.523 * [taylor]: Taking taylor expansion of z in z
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [taylor]: Taking taylor expansion of t in z
2.523 * [backup-simplify]: Simplify t into t
2.523 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.523 * [backup-simplify]: Simplify (+ 1 0) into 1
2.524 * [backup-simplify]: Simplify (- 0) into 0
2.524 * [backup-simplify]: Simplify (+ 1 0) into 1
2.524 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
2.524 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
2.524 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
2.524 * [taylor]: Taking taylor expansion of 0.5 in y
2.524 * [backup-simplify]: Simplify 0.5 into 0.5
2.524 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.524 * [taylor]: Taking taylor expansion of t in y
2.524 * [backup-simplify]: Simplify t into t
2.524 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.524 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
2.524 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
2.524 * [taylor]: Taking taylor expansion of 0.5 in z
2.524 * [backup-simplify]: Simplify 0.5 into 0.5
2.524 * [taylor]: Taking taylor expansion of t in z
2.524 * [backup-simplify]: Simplify t into t
2.525 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
2.525 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
2.525 * [taylor]: Taking taylor expansion of 0.5 in t
2.525 * [backup-simplify]: Simplify 0.5 into 0.5
2.525 * [taylor]: Taking taylor expansion of t in t
2.525 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify 1 into 1
2.525 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.525 * [backup-simplify]: Simplify 0.5 into 0.5
2.525 * [backup-simplify]: Simplify (- 0) into 0
2.526 * [backup-simplify]: Simplify (+ 1 0) into 1
2.526 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
2.526 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
2.526 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
2.526 * [taylor]: Taking taylor expansion of 0.5 in z
2.526 * [backup-simplify]: Simplify 0.5 into 0.5
2.526 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.526 * [taylor]: Taking taylor expansion of t in z
2.526 * [backup-simplify]: Simplify t into t
2.526 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.526 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
2.526 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
2.526 * [taylor]: Taking taylor expansion of 0.5 in t
2.526 * [backup-simplify]: Simplify 0.5 into 0.5
2.526 * [taylor]: Taking taylor expansion of t in t
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify 1 into 1
2.527 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.527 * [backup-simplify]: Simplify 0.5 into 0.5
2.527 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
2.527 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
2.527 * [taylor]: Taking taylor expansion of -0.5 in t
2.527 * [backup-simplify]: Simplify -0.5 into -0.5
2.527 * [taylor]: Taking taylor expansion of t in t
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
2.527 * [backup-simplify]: Simplify -0.5 into -0.5
2.528 * [backup-simplify]: Simplify (+ (* -0.5 (* (/ 1 t) (* z (* 1 1)))) (+ (* 0.5 (* (/ 1 t) (* 1 (* y 1)))) (* 0.5 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
2.528 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))))
2.528 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in (x y z t) around 0
2.528 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in t
2.528 * [taylor]: Taking taylor expansion of 0.5 in t
2.528 * [backup-simplify]: Simplify 0.5 into 0.5
2.528 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t
2.528 * [taylor]: Taking taylor expansion of t in t
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.528 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t
2.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
2.528 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.528 * [taylor]: Taking taylor expansion of x in t
2.528 * [backup-simplify]: Simplify x into x
2.528 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.528 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.528 * [taylor]: Taking taylor expansion of y in t
2.528 * [backup-simplify]: Simplify y into y
2.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.528 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.528 * [taylor]: Taking taylor expansion of z in t
2.528 * [backup-simplify]: Simplify z into z
2.528 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.528 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in z
2.528 * [taylor]: Taking taylor expansion of 0.5 in z
2.528 * [backup-simplify]: Simplify 0.5 into 0.5
2.528 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in z
2.528 * [taylor]: Taking taylor expansion of t in z
2.528 * [backup-simplify]: Simplify t into t
2.528 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in z
2.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.528 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.528 * [taylor]: Taking taylor expansion of x in z
2.528 * [backup-simplify]: Simplify x into x
2.528 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.528 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.528 * [taylor]: Taking taylor expansion of y in z
2.528 * [backup-simplify]: Simplify y into y
2.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.529 * [taylor]: Taking taylor expansion of z in z
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 1 into 1
2.529 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in y
2.529 * [taylor]: Taking taylor expansion of 0.5 in y
2.529 * [backup-simplify]: Simplify 0.5 into 0.5
2.529 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in y
2.529 * [taylor]: Taking taylor expansion of t in y
2.529 * [backup-simplify]: Simplify t into t
2.529 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y
2.529 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.529 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.529 * [taylor]: Taking taylor expansion of x in y
2.529 * [backup-simplify]: Simplify x into x
2.529 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.529 * [taylor]: Taking taylor expansion of y in y
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 1 into 1
2.529 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.529 * [taylor]: Taking taylor expansion of z in y
2.529 * [backup-simplify]: Simplify z into z
2.529 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.529 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x
2.529 * [taylor]: Taking taylor expansion of 0.5 in x
2.529 * [backup-simplify]: Simplify 0.5 into 0.5
2.529 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x
2.529 * [taylor]: Taking taylor expansion of t in x
2.530 * [backup-simplify]: Simplify t into t
2.530 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x
2.530 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.530 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify 1 into 1
2.530 * [backup-simplify]: Simplify (/ 1 1) into 1
2.530 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.530 * [taylor]: Taking taylor expansion of y in x
2.530 * [backup-simplify]: Simplify y into y
2.530 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.530 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.530 * [taylor]: Taking taylor expansion of z in x
2.530 * [backup-simplify]: Simplify z into z
2.530 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.530 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x
2.530 * [taylor]: Taking taylor expansion of 0.5 in x
2.530 * [backup-simplify]: Simplify 0.5 into 0.5
2.530 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x
2.530 * [taylor]: Taking taylor expansion of t in x
2.530 * [backup-simplify]: Simplify t into t
2.530 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x
2.530 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.530 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify 1 into 1
2.530 * [backup-simplify]: Simplify (/ 1 1) into 1
2.530 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.530 * [taylor]: Taking taylor expansion of y in x
2.531 * [backup-simplify]: Simplify y into y
2.531 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.531 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.531 * [taylor]: Taking taylor expansion of z in x
2.531 * [backup-simplify]: Simplify z into z
2.531 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.531 * [backup-simplify]: Simplify (+ 1 0) into 1
2.531 * [backup-simplify]: Simplify (+ 1 0) into 1
2.531 * [backup-simplify]: Simplify (* t 1) into t
2.531 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.531 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
2.531 * [taylor]: Taking taylor expansion of 0.5 in y
2.531 * [backup-simplify]: Simplify 0.5 into 0.5
2.531 * [taylor]: Taking taylor expansion of t in y
2.531 * [backup-simplify]: Simplify t into t
2.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.532 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.532 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
2.532 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
2.532 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
2.533 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
2.533 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
2.533 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
2.533 * [taylor]: Taking taylor expansion of 0.5 in y
2.533 * [backup-simplify]: Simplify 0.5 into 0.5
2.533 * [taylor]: Taking taylor expansion of (/ t y) in y
2.533 * [taylor]: Taking taylor expansion of t in y
2.533 * [backup-simplify]: Simplify t into t
2.533 * [taylor]: Taking taylor expansion of y in y
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify 1 into 1
2.533 * [backup-simplify]: Simplify (/ t 1) into t
2.533 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
2.533 * [taylor]: Taking taylor expansion of 0.5 in y
2.533 * [backup-simplify]: Simplify 0.5 into 0.5
2.533 * [taylor]: Taking taylor expansion of (/ t z) in y
2.533 * [taylor]: Taking taylor expansion of t in y
2.533 * [backup-simplify]: Simplify t into t
2.533 * [taylor]: Taking taylor expansion of z in y
2.533 * [backup-simplify]: Simplify z into z
2.533 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.533 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.533 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
2.533 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.533 * [taylor]: Taking taylor expansion of 0.5 in z
2.533 * [backup-simplify]: Simplify 0.5 into 0.5
2.533 * [taylor]: Taking taylor expansion of t in z
2.533 * [backup-simplify]: Simplify t into t
2.533 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.533 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.533 * [taylor]: Taking taylor expansion of 0.5 in z
2.533 * [backup-simplify]: Simplify 0.5 into 0.5
2.533 * [taylor]: Taking taylor expansion of t in z
2.533 * [backup-simplify]: Simplify t into t
2.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.534 * [backup-simplify]: Simplify (+ 0 0) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.534 * [backup-simplify]: Simplify (- 0) into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
2.535 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
2.536 * [taylor]: Taking taylor expansion of 0 in y
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.537 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.537 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
2.537 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
2.537 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
2.537 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
2.537 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
2.537 * [taylor]: Taking taylor expansion of 0.5 in z
2.538 * [backup-simplify]: Simplify 0.5 into 0.5
2.538 * [taylor]: Taking taylor expansion of (/ t z) in z
2.538 * [taylor]: Taking taylor expansion of t in z
2.538 * [backup-simplify]: Simplify t into t
2.538 * [taylor]: Taking taylor expansion of z in z
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [backup-simplify]: Simplify (/ t 1) into t
2.538 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.538 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
2.538 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
2.538 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.538 * [taylor]: Taking taylor expansion of 0.5 in t
2.538 * [backup-simplify]: Simplify 0.5 into 0.5
2.538 * [taylor]: Taking taylor expansion of t in t
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 1 into 1
2.539 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.539 * [backup-simplify]: Simplify (- 0) into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.540 * [taylor]: Taking taylor expansion of 0 in z
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.540 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.540 * [taylor]: Taking taylor expansion of 0.5 in t
2.540 * [backup-simplify]: Simplify 0.5 into 0.5
2.540 * [taylor]: Taking taylor expansion of t in t
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.540 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.541 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.541 * [taylor]: Taking taylor expansion of 0.5 in t
2.541 * [backup-simplify]: Simplify 0.5 into 0.5
2.541 * [taylor]: Taking taylor expansion of t in t
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 1 into 1
2.541 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.543 * [backup-simplify]: Simplify (+ 0 0) into 0
2.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.543 * [backup-simplify]: Simplify (- 0) into 0
2.544 * [backup-simplify]: Simplify (+ 0 0) into 0
2.545 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
2.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
2.546 * [taylor]: Taking taylor expansion of 0 in y
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [taylor]: Taking taylor expansion of 0 in z
2.546 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.549 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.549 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.549 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
2.550 * [backup-simplify]: Simplify (- 0) into 0
2.550 * [backup-simplify]: Simplify (+ 0 0) into 0
2.550 * [taylor]: Taking taylor expansion of 0 in z
2.550 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.551 * [taylor]: Taking taylor expansion of 0 in z
2.551 * [backup-simplify]: Simplify 0 into 0
2.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.553 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.553 * [backup-simplify]: Simplify (- 0) into 0
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.554 * [taylor]: Taking taylor expansion of 0 in t
2.554 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))))
2.554 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z t) around 0
2.555 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t
2.555 * [taylor]: Taking taylor expansion of -0.5 in t
2.555 * [backup-simplify]: Simplify -0.5 into -0.5
2.555 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t
2.555 * [taylor]: Taking taylor expansion of t in t
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 1 into 1
2.555 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t
2.555 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.555 * [taylor]: Taking taylor expansion of z in t
2.555 * [backup-simplify]: Simplify z into z
2.555 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.555 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
2.555 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.555 * [taylor]: Taking taylor expansion of x in t
2.555 * [backup-simplify]: Simplify x into x
2.555 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.555 * [taylor]: Taking taylor expansion of y in t
2.555 * [backup-simplify]: Simplify y into y
2.555 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.555 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z
2.555 * [taylor]: Taking taylor expansion of -0.5 in z
2.555 * [backup-simplify]: Simplify -0.5 into -0.5
2.555 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.555 * [taylor]: Taking taylor expansion of t in z
2.555 * [backup-simplify]: Simplify t into t
2.555 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.556 * [taylor]: Taking taylor expansion of z in z
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify 1 into 1
2.556 * [backup-simplify]: Simplify (/ 1 1) into 1
2.556 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.556 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.556 * [taylor]: Taking taylor expansion of x in z
2.556 * [backup-simplify]: Simplify x into x
2.556 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.556 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.556 * [taylor]: Taking taylor expansion of y in z
2.556 * [backup-simplify]: Simplify y into y
2.556 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.556 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y
2.556 * [taylor]: Taking taylor expansion of -0.5 in y
2.556 * [backup-simplify]: Simplify -0.5 into -0.5
2.557 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.557 * [taylor]: Taking taylor expansion of t in y
2.557 * [backup-simplify]: Simplify t into t
2.557 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.557 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.557 * [taylor]: Taking taylor expansion of z in y
2.557 * [backup-simplify]: Simplify z into z
2.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.557 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.557 * [taylor]: Taking taylor expansion of x in y
2.557 * [backup-simplify]: Simplify x into x
2.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.557 * [taylor]: Taking taylor expansion of y in y
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify 1 into 1
2.558 * [backup-simplify]: Simplify (/ 1 1) into 1
2.558 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.558 * [taylor]: Taking taylor expansion of -0.5 in x
2.558 * [backup-simplify]: Simplify -0.5 into -0.5
2.558 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.558 * [taylor]: Taking taylor expansion of t in x
2.558 * [backup-simplify]: Simplify t into t
2.558 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.558 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.558 * [taylor]: Taking taylor expansion of z in x
2.558 * [backup-simplify]: Simplify z into z
2.558 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.558 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.558 * [taylor]: Taking taylor expansion of x in x
2.558 * [backup-simplify]: Simplify 0 into 0
2.558 * [backup-simplify]: Simplify 1 into 1
2.559 * [backup-simplify]: Simplify (/ 1 1) into 1
2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.559 * [taylor]: Taking taylor expansion of y in x
2.559 * [backup-simplify]: Simplify y into y
2.559 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.559 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.559 * [taylor]: Taking taylor expansion of -0.5 in x
2.559 * [backup-simplify]: Simplify -0.5 into -0.5
2.559 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.559 * [taylor]: Taking taylor expansion of t in x
2.559 * [backup-simplify]: Simplify t into t
2.559 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.559 * [taylor]: Taking taylor expansion of z in x
2.559 * [backup-simplify]: Simplify z into z
2.559 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.559 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.559 * [taylor]: Taking taylor expansion of x in x
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 1 into 1
2.560 * [backup-simplify]: Simplify (/ 1 1) into 1
2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.560 * [taylor]: Taking taylor expansion of y in x
2.560 * [backup-simplify]: Simplify y into y
2.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.560 * [backup-simplify]: Simplify (+ 1 0) into 1
2.561 * [backup-simplify]: Simplify (- 1) into -1
2.561 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.561 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
2.561 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
2.562 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
2.562 * [taylor]: Taking taylor expansion of 0.5 in y
2.562 * [backup-simplify]: Simplify 0.5 into 0.5
2.562 * [taylor]: Taking taylor expansion of t in y
2.562 * [backup-simplify]: Simplify t into t
2.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.563 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.563 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.563 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
2.564 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
2.564 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
2.564 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
2.564 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
2.564 * [taylor]: Taking taylor expansion of 0.5 in y
2.564 * [backup-simplify]: Simplify 0.5 into 0.5
2.564 * [taylor]: Taking taylor expansion of (/ t y) in y
2.564 * [taylor]: Taking taylor expansion of t in y
2.564 * [backup-simplify]: Simplify t into t
2.564 * [taylor]: Taking taylor expansion of y in y
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ t 1) into t
2.564 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
2.564 * [taylor]: Taking taylor expansion of 0.5 in y
2.564 * [backup-simplify]: Simplify 0.5 into 0.5
2.564 * [taylor]: Taking taylor expansion of (/ t z) in y
2.564 * [taylor]: Taking taylor expansion of t in y
2.564 * [backup-simplify]: Simplify t into t
2.564 * [taylor]: Taking taylor expansion of z in y
2.564 * [backup-simplify]: Simplify z into z
2.564 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.565 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.565 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
2.565 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.565 * [taylor]: Taking taylor expansion of 0.5 in z
2.565 * [backup-simplify]: Simplify 0.5 into 0.5
2.565 * [taylor]: Taking taylor expansion of t in z
2.565 * [backup-simplify]: Simplify t into t
2.565 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.565 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.565 * [taylor]: Taking taylor expansion of 0.5 in z
2.565 * [backup-simplify]: Simplify 0.5 into 0.5
2.565 * [taylor]: Taking taylor expansion of t in z
2.565 * [backup-simplify]: Simplify t into t
2.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.567 * [backup-simplify]: Simplify (+ 0 0) into 0
2.567 * [backup-simplify]: Simplify (- 0) into 0
2.570 * [backup-simplify]: Simplify (+ 0 0) into 0
2.571 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
2.572 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
2.572 * [taylor]: Taking taylor expansion of 0 in y
2.572 * [backup-simplify]: Simplify 0 into 0
2.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.573 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.574 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
2.574 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
2.574 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
2.574 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
2.574 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
2.574 * [taylor]: Taking taylor expansion of 0.5 in z
2.574 * [backup-simplify]: Simplify 0.5 into 0.5
2.574 * [taylor]: Taking taylor expansion of (/ t z) in z
2.574 * [taylor]: Taking taylor expansion of t in z
2.574 * [backup-simplify]: Simplify t into t
2.574 * [taylor]: Taking taylor expansion of z in z
2.574 * [backup-simplify]: Simplify 0 into 0
2.574 * [backup-simplify]: Simplify 1 into 1
2.574 * [backup-simplify]: Simplify (/ t 1) into t
2.574 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.574 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
2.574 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
2.574 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.574 * [taylor]: Taking taylor expansion of 0.5 in t
2.575 * [backup-simplify]: Simplify 0.5 into 0.5
2.575 * [taylor]: Taking taylor expansion of t in t
2.575 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify 1 into 1
2.575 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.575 * [backup-simplify]: Simplify (- 0) into 0
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.576 * [taylor]: Taking taylor expansion of 0 in z
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.576 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.576 * [taylor]: Taking taylor expansion of 0.5 in t
2.576 * [backup-simplify]: Simplify 0.5 into 0.5
2.576 * [taylor]: Taking taylor expansion of t in t
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify 1 into 1
2.577 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.577 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.577 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.577 * [taylor]: Taking taylor expansion of 0.5 in t
2.577 * [backup-simplify]: Simplify 0.5 into 0.5
2.577 * [taylor]: Taking taylor expansion of t in t
2.577 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify 1 into 1
2.578 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.580 * [backup-simplify]: Simplify (+ 0 0) into 0
2.580 * [backup-simplify]: Simplify (- 0) into 0
2.580 * [backup-simplify]: Simplify (+ 0 0) into 0
2.581 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
2.583 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
2.583 * [taylor]: Taking taylor expansion of 0 in y
2.583 * [backup-simplify]: Simplify 0 into 0
2.583 * [taylor]: Taking taylor expansion of 0 in z
2.583 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.585 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.585 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.586 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
2.586 * [backup-simplify]: Simplify (- 0) into 0
2.587 * [backup-simplify]: Simplify (+ 0 0) into 0
2.587 * [taylor]: Taking taylor expansion of 0 in z
2.587 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.588 * [backup-simplify]: Simplify 0 into 0
2.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.589 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.589 * [backup-simplify]: Simplify (- 0) into 0
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * * * [progress]: simplifying candidates
2.591 * [simplify]: Simplifying:
  (- (log (- (+ x y) z)) (+ (log t) (log 2.0)))
  (- (log (- (+ x y) z)) (log (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (exp (/ (- (+ x y) z) (* t 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0))))
  (cbrt (/ (- (+ x y) z) (* t 2.0)))
  (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (- (+ x y) z))
  (- (* t 2.0))
  (/ (+ x y) (* t 2.0))
  (/ z (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t)
  (/ (cbrt (- (+ x y) z)) 2.0)
  (/ (sqrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ (+ (sqrt (+ x y)) (sqrt z)) t)
  (/ (- (sqrt (+ x y)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (- (+ x y) z) t)
  (/ (* t 2.0) (cbrt (- (+ x y) z)))
  (/ (* t 2.0) (sqrt (- (+ x y) z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* (* t 2.0) (+ (+ x y) z))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  0
  0
2.593 * * [simplify]: iteration 0: 78 enodes
2.624 * * [simplify]: iteration 1: 201 enodes
2.689 * * [simplify]: iteration 2: 667 enodes
3.160 * * [simplify]: iteration 3: 3129 enodes
4.108 * * [simplify]: iteration complete: 5002 enodes
4.108 * * [simplify]: Extracting #0: cost 28 inf + 0
4.109 * * [simplify]: Extracting #1: cost 438 inf + 1
4.112 * * [simplify]: Extracting #2: cost 1239 inf + 2582
4.126 * * [simplify]: Extracting #3: cost 1511 inf + 17529
4.156 * * [simplify]: Extracting #4: cost 996 inf + 122133
4.220 * * [simplify]: Extracting #5: cost 123 inf + 331288
4.302 * * [simplify]: Extracting #6: cost 1 inf + 364986
4.402 * * [simplify]: Extracting #7: cost 0 inf + 365151
4.510 * [simplify]: Simplified to:
  (log (/ (/ (+ (- x z) y) t) 2.0))
  (log (/ (/ (+ (- x z) y) t) 2.0))
  (log (/ (/ (+ (- x z) y) t) 2.0))
  (exp (/ (/ (+ (- x z) y) t) 2.0))
  (* (* (/ (/ (+ (- x z) y) t) 2.0) (/ (/ (+ (- x z) y) t) 2.0)) (/ (/ (+ (- x z) y) t) 2.0))
  (* (* (/ (/ (+ (- x z) y) t) 2.0) (/ (/ (+ (- x z) y) t) 2.0)) (/ (/ (+ (- x z) y) t) 2.0))
  (* (cbrt (/ (/ (+ (- x z) y) t) 2.0)) (cbrt (/ (/ (+ (- x z) y) t) 2.0)))
  (cbrt (/ (/ (+ (- x z) y) t) 2.0))
  (* (* (/ (/ (+ (- x z) y) t) 2.0) (/ (/ (+ (- x z) y) t) 2.0)) (/ (/ (+ (- x z) y) t) 2.0))
  (sqrt (/ (/ (+ (- x z) y) t) 2.0))
  (sqrt (/ (/ (+ (- x z) y) t) 2.0))
  (- (+ (- x z) y))
  (* (- t) 2.0)
  (/ (/ (+ y x) t) 2.0)
  (/ (/ z t) 2.0)
  (* (cbrt (+ (- x z) y)) (/ (cbrt (+ (- x z) y)) t))
  (/ (cbrt (+ (- x z) y)) 2.0)
  (/ (sqrt (+ (- x z) y)) t)
  (/ (sqrt (+ (- x z) y)) 2.0)
  (/ 1 t)
  (/ (+ (- x z) y) 2.0)
  (/ (+ (sqrt (+ y x)) (sqrt z)) t)
  (/ (- (sqrt (+ y x)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (+ (- x z) y) 2.0)
  (/ 1 t)
  (/ (+ (- x z) y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ (- x z) y))
  (/ (+ (- x z) y) t)
  (/ 2.0 (/ (cbrt (+ (- x z) y)) t))
  (/ (* t 2.0) (sqrt (+ (- x z) y)))
  (/ (* t 2.0) (+ (- x z) y))
  (* (/ t (- (sqrt (+ y x)) (sqrt z))) 2.0)
  (/ (* t 2.0) (+ (- x z) y))
  (/ (* t 2.0) (+ (- x z) y))
  (* (* t (+ (* z z) (* (+ y x) (+ z (+ y x))))) 2.0)
  (* (* (+ (+ z x) y) t) 2.0)
  (* 0.5 (+ (/ y t) (- (/ x t) (/ z t))))
  0
  0
4.513 * * * [progress]: adding candidates to table
4.707 * * [progress]: iteration 2 / 4
4.707 * * * [progress]: picking best candidate
4.720 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))>
4.720 * * * [progress]: localizing error
4.735 * * * [progress]: generating rewritten candidates
4.735 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.810 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
4.833 * * * [progress]: generating series expansions
4.833 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.833 * [backup-simplify]: Simplify (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
4.834 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in (x y t z) around 0
4.834 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in z
4.834 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in z
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in z
4.834 * [taylor]: Taking taylor expansion of 0.5 in z
4.834 * [backup-simplify]: Simplify 0.5 into 0.5
4.834 * [taylor]: Taking taylor expansion of (/ y t) in z
4.834 * [taylor]: Taking taylor expansion of y in z
4.834 * [backup-simplify]: Simplify y into y
4.834 * [taylor]: Taking taylor expansion of t in z
4.834 * [backup-simplify]: Simplify t into t
4.834 * [backup-simplify]: Simplify (/ y t) into (/ y t)
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in z
4.834 * [taylor]: Taking taylor expansion of 0.5 in z
4.834 * [backup-simplify]: Simplify 0.5 into 0.5
4.834 * [taylor]: Taking taylor expansion of (/ x t) in z
4.834 * [taylor]: Taking taylor expansion of x in z
4.834 * [backup-simplify]: Simplify x into x
4.834 * [taylor]: Taking taylor expansion of t in z
4.834 * [backup-simplify]: Simplify t into t
4.834 * [backup-simplify]: Simplify (/ x t) into (/ x t)
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z
4.834 * [taylor]: Taking taylor expansion of 0.5 in z
4.834 * [backup-simplify]: Simplify 0.5 into 0.5
4.834 * [taylor]: Taking taylor expansion of (/ z t) in z
4.834 * [taylor]: Taking taylor expansion of z in z
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [taylor]: Taking taylor expansion of t in z
4.834 * [backup-simplify]: Simplify t into t
4.834 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.834 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in t
4.834 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in t
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in t
4.834 * [taylor]: Taking taylor expansion of 0.5 in t
4.834 * [backup-simplify]: Simplify 0.5 into 0.5
4.834 * [taylor]: Taking taylor expansion of (/ y t) in t
4.834 * [taylor]: Taking taylor expansion of y in t
4.834 * [backup-simplify]: Simplify y into y
4.834 * [taylor]: Taking taylor expansion of t in t
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (/ y 1) into y
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in t
4.834 * [taylor]: Taking taylor expansion of 0.5 in t
4.834 * [backup-simplify]: Simplify 0.5 into 0.5
4.834 * [taylor]: Taking taylor expansion of (/ x t) in t
4.834 * [taylor]: Taking taylor expansion of x in t
4.834 * [backup-simplify]: Simplify x into x
4.834 * [taylor]: Taking taylor expansion of t in t
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (/ x 1) into x
4.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
4.835 * [taylor]: Taking taylor expansion of 0.5 in t
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ z t) in t
4.835 * [taylor]: Taking taylor expansion of z in t
4.835 * [backup-simplify]: Simplify z into z
4.835 * [taylor]: Taking taylor expansion of t in t
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [backup-simplify]: Simplify (/ z 1) into z
4.835 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in y
4.835 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in y
4.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
4.835 * [taylor]: Taking taylor expansion of 0.5 in y
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ y t) in y
4.835 * [taylor]: Taking taylor expansion of y in y
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [taylor]: Taking taylor expansion of t in y
4.835 * [backup-simplify]: Simplify t into t
4.835 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in y
4.835 * [taylor]: Taking taylor expansion of 0.5 in y
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ x t) in y
4.835 * [taylor]: Taking taylor expansion of x in y
4.835 * [backup-simplify]: Simplify x into x
4.835 * [taylor]: Taking taylor expansion of t in y
4.835 * [backup-simplify]: Simplify t into t
4.835 * [backup-simplify]: Simplify (/ x t) into (/ x t)
4.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
4.835 * [taylor]: Taking taylor expansion of 0.5 in y
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ z t) in y
4.835 * [taylor]: Taking taylor expansion of z in y
4.835 * [backup-simplify]: Simplify z into z
4.835 * [taylor]: Taking taylor expansion of t in y
4.835 * [backup-simplify]: Simplify t into t
4.835 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.835 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in x
4.835 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in x
4.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
4.835 * [taylor]: Taking taylor expansion of 0.5 in x
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ y t) in x
4.835 * [taylor]: Taking taylor expansion of y in x
4.835 * [backup-simplify]: Simplify y into y
4.835 * [taylor]: Taking taylor expansion of t in x
4.835 * [backup-simplify]: Simplify t into t
4.835 * [backup-simplify]: Simplify (/ y t) into (/ y t)
4.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
4.835 * [taylor]: Taking taylor expansion of 0.5 in x
4.835 * [backup-simplify]: Simplify 0.5 into 0.5
4.835 * [taylor]: Taking taylor expansion of (/ x t) in x
4.835 * [taylor]: Taking taylor expansion of x in x
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [taylor]: Taking taylor expansion of t in x
4.836 * [backup-simplify]: Simplify t into t
4.836 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
4.836 * [taylor]: Taking taylor expansion of 0.5 in x
4.836 * [backup-simplify]: Simplify 0.5 into 0.5
4.836 * [taylor]: Taking taylor expansion of (/ z t) in x
4.836 * [taylor]: Taking taylor expansion of z in x
4.836 * [backup-simplify]: Simplify z into z
4.836 * [taylor]: Taking taylor expansion of t in x
4.836 * [backup-simplify]: Simplify t into t
4.836 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.836 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in x
4.836 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in x
4.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
4.836 * [taylor]: Taking taylor expansion of 0.5 in x
4.836 * [backup-simplify]: Simplify 0.5 into 0.5
4.836 * [taylor]: Taking taylor expansion of (/ y t) in x
4.836 * [taylor]: Taking taylor expansion of y in x
4.836 * [backup-simplify]: Simplify y into y
4.836 * [taylor]: Taking taylor expansion of t in x
4.836 * [backup-simplify]: Simplify t into t
4.836 * [backup-simplify]: Simplify (/ y t) into (/ y t)
4.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
4.836 * [taylor]: Taking taylor expansion of 0.5 in x
4.836 * [backup-simplify]: Simplify 0.5 into 0.5
4.836 * [taylor]: Taking taylor expansion of (/ x t) in x
4.836 * [taylor]: Taking taylor expansion of x in x
4.836 * [backup-simplify]: Simplify 0 into 0
4.836 * [backup-simplify]: Simplify 1 into 1
4.836 * [taylor]: Taking taylor expansion of t in x
4.836 * [backup-simplify]: Simplify t into t
4.836 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
4.836 * [taylor]: Taking taylor expansion of 0.5 in x
4.836 * [backup-simplify]: Simplify 0.5 into 0.5
4.836 * [taylor]: Taking taylor expansion of (/ z t) in x
4.836 * [taylor]: Taking taylor expansion of z in x
4.836 * [backup-simplify]: Simplify z into z
4.836 * [taylor]: Taking taylor expansion of t in x
4.836 * [backup-simplify]: Simplify t into t
4.836 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.836 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
4.836 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) 0) into (* 0.5 (/ y t))
4.836 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
4.837 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
4.837 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ y t)) (* 0.5 (/ z t)))
4.837 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ y t)) (* 0.5 (/ z t))) in y
4.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
4.837 * [taylor]: Taking taylor expansion of 0.5 in y
4.837 * [backup-simplify]: Simplify 0.5 into 0.5
4.837 * [taylor]: Taking taylor expansion of (/ y t) in y
4.837 * [taylor]: Taking taylor expansion of y in y
4.837 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify 1 into 1
4.837 * [taylor]: Taking taylor expansion of t in y
4.837 * [backup-simplify]: Simplify t into t
4.837 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
4.837 * [taylor]: Taking taylor expansion of 0.5 in y
4.837 * [backup-simplify]: Simplify 0.5 into 0.5
4.837 * [taylor]: Taking taylor expansion of (/ z t) in y
4.837 * [taylor]: Taking taylor expansion of z in y
4.837 * [backup-simplify]: Simplify z into z
4.837 * [taylor]: Taking taylor expansion of t in y
4.837 * [backup-simplify]: Simplify t into t
4.837 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.837 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
4.837 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
4.837 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ z t)))
4.837 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z t))) in t
4.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
4.837 * [taylor]: Taking taylor expansion of 0.5 in t
4.837 * [backup-simplify]: Simplify 0.5 into 0.5
4.837 * [taylor]: Taking taylor expansion of (/ z t) in t
4.837 * [taylor]: Taking taylor expansion of z in t
4.837 * [backup-simplify]: Simplify z into z
4.837 * [taylor]: Taking taylor expansion of t in t
4.837 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify 1 into 1
4.837 * [backup-simplify]: Simplify (/ z 1) into z
4.837 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
4.837 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
4.838 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
4.838 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.838 * [taylor]: Taking taylor expansion of 0.5 in z
4.838 * [backup-simplify]: Simplify 0.5 into 0.5
4.838 * [taylor]: Taking taylor expansion of z in z
4.838 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify 1 into 1
4.838 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.838 * [backup-simplify]: Simplify (- 0) into 0
4.838 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
4.839 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ y t))) into 0
4.839 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
4.839 * [backup-simplify]: Simplify (+ 0 (/ 0.5 t)) into (* 0.5 (/ 1 t))
4.839 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
4.840 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
4.840 * [backup-simplify]: Simplify (- 0) into 0
4.840 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) 0) into (* 0.5 (/ 1 t))
4.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
4.840 * [taylor]: Taking taylor expansion of 0.5 in y
4.840 * [backup-simplify]: Simplify 0.5 into 0.5
4.840 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.840 * [taylor]: Taking taylor expansion of t in y
4.840 * [backup-simplify]: Simplify t into t
4.840 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.840 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
4.840 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
4.840 * [taylor]: Taking taylor expansion of 0.5 in t
4.840 * [backup-simplify]: Simplify 0.5 into 0.5
4.840 * [taylor]: Taking taylor expansion of t in t
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.840 * [taylor]: Taking taylor expansion of 0.5 in z
4.841 * [backup-simplify]: Simplify 0.5 into 0.5
4.841 * [backup-simplify]: Simplify 0.5 into 0.5
4.841 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
4.841 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
4.841 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
4.841 * [backup-simplify]: Simplify (- 0) into 0
4.841 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
4.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
4.841 * [taylor]: Taking taylor expansion of 0.5 in t
4.841 * [backup-simplify]: Simplify 0.5 into 0.5
4.841 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.841 * [taylor]: Taking taylor expansion of t in t
4.841 * [backup-simplify]: Simplify 0 into 0
4.842 * [backup-simplify]: Simplify 1 into 1
4.842 * [backup-simplify]: Simplify (/ 1 1) into 1
4.842 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.842 * [taylor]: Taking taylor expansion of 0.5 in z
4.842 * [backup-simplify]: Simplify 0.5 into 0.5
4.842 * [backup-simplify]: Simplify 0.5 into 0.5
4.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
4.843 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
4.843 * [backup-simplify]: Simplify (- 0) into 0
4.843 * [taylor]: Taking taylor expansion of 0 in z
4.843 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.844 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.845 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.846 * [backup-simplify]: Simplify (+ (* (- 0.5) (* z (* (/ 1 t) (* 1 1)))) (+ (* 0.5 (* 1 (* (/ 1 t) (* y 1)))) (* 0.5 (* 1 (* (/ 1 t) (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
4.846 * [backup-simplify]: Simplify (- (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) (/ (/ 1 z) (* (/ 1 t) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
4.846 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
4.846 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
4.846 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
4.846 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
4.846 * [taylor]: Taking taylor expansion of 0.5 in z
4.846 * [backup-simplify]: Simplify 0.5 into 0.5
4.846 * [taylor]: Taking taylor expansion of (/ t y) in z
4.846 * [taylor]: Taking taylor expansion of t in z
4.846 * [backup-simplify]: Simplify t into t
4.846 * [taylor]: Taking taylor expansion of y in z
4.846 * [backup-simplify]: Simplify y into y
4.846 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.846 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
4.846 * [taylor]: Taking taylor expansion of 0.5 in z
4.846 * [backup-simplify]: Simplify 0.5 into 0.5
4.846 * [taylor]: Taking taylor expansion of (/ t x) in z
4.846 * [taylor]: Taking taylor expansion of t in z
4.846 * [backup-simplify]: Simplify t into t
4.846 * [taylor]: Taking taylor expansion of x in z
4.846 * [backup-simplify]: Simplify x into x
4.846 * [backup-simplify]: Simplify (/ t x) into (/ t x)
4.846 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
4.846 * [taylor]: Taking taylor expansion of 0.5 in z
4.846 * [backup-simplify]: Simplify 0.5 into 0.5
4.846 * [taylor]: Taking taylor expansion of (/ t z) in z
4.846 * [taylor]: Taking taylor expansion of t in z
4.846 * [backup-simplify]: Simplify t into t
4.846 * [taylor]: Taking taylor expansion of z in z
4.846 * [backup-simplify]: Simplify 0 into 0
4.846 * [backup-simplify]: Simplify 1 into 1
4.846 * [backup-simplify]: Simplify (/ t 1) into t
4.846 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
4.847 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
4.847 * [taylor]: Taking taylor expansion of 0.5 in t
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.847 * [taylor]: Taking taylor expansion of (/ t y) in t
4.847 * [taylor]: Taking taylor expansion of t in t
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [taylor]: Taking taylor expansion of y in t
4.847 * [backup-simplify]: Simplify y into y
4.847 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
4.847 * [taylor]: Taking taylor expansion of 0.5 in t
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.847 * [taylor]: Taking taylor expansion of (/ t x) in t
4.847 * [taylor]: Taking taylor expansion of t in t
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [taylor]: Taking taylor expansion of x in t
4.847 * [backup-simplify]: Simplify x into x
4.847 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
4.847 * [taylor]: Taking taylor expansion of 0.5 in t
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.847 * [taylor]: Taking taylor expansion of (/ t z) in t
4.847 * [taylor]: Taking taylor expansion of t in t
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [taylor]: Taking taylor expansion of z in t
4.847 * [backup-simplify]: Simplify z into z
4.847 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.847 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
4.847 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.847 * [taylor]: Taking taylor expansion of 0.5 in y
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.847 * [taylor]: Taking taylor expansion of (/ t y) in y
4.847 * [taylor]: Taking taylor expansion of t in y
4.847 * [backup-simplify]: Simplify t into t
4.847 * [taylor]: Taking taylor expansion of y in y
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 1 into 1
4.847 * [backup-simplify]: Simplify (/ t 1) into t
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
4.847 * [taylor]: Taking taylor expansion of 0.5 in y
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.847 * [taylor]: Taking taylor expansion of (/ t x) in y
4.847 * [taylor]: Taking taylor expansion of t in y
4.847 * [backup-simplify]: Simplify t into t
4.847 * [taylor]: Taking taylor expansion of x in y
4.847 * [backup-simplify]: Simplify x into x
4.847 * [backup-simplify]: Simplify (/ t x) into (/ t x)
4.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
4.847 * [taylor]: Taking taylor expansion of 0.5 in y
4.847 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t z) in y
4.848 * [taylor]: Taking taylor expansion of t in y
4.848 * [backup-simplify]: Simplify t into t
4.848 * [taylor]: Taking taylor expansion of z in y
4.848 * [backup-simplify]: Simplify z into z
4.848 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.848 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
4.848 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
4.848 * [taylor]: Taking taylor expansion of 0.5 in x
4.848 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t y) in x
4.848 * [taylor]: Taking taylor expansion of t in x
4.848 * [backup-simplify]: Simplify t into t
4.848 * [taylor]: Taking taylor expansion of y in x
4.848 * [backup-simplify]: Simplify y into y
4.848 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
4.848 * [taylor]: Taking taylor expansion of 0.5 in x
4.848 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t x) in x
4.848 * [taylor]: Taking taylor expansion of t in x
4.848 * [backup-simplify]: Simplify t into t
4.848 * [taylor]: Taking taylor expansion of x in x
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify 1 into 1
4.848 * [backup-simplify]: Simplify (/ t 1) into t
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
4.848 * [taylor]: Taking taylor expansion of 0.5 in x
4.848 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t z) in x
4.848 * [taylor]: Taking taylor expansion of t in x
4.848 * [backup-simplify]: Simplify t into t
4.848 * [taylor]: Taking taylor expansion of z in x
4.848 * [backup-simplify]: Simplify z into z
4.848 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.848 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
4.848 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
4.848 * [taylor]: Taking taylor expansion of 0.5 in x
4.848 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t y) in x
4.848 * [taylor]: Taking taylor expansion of t in x
4.848 * [backup-simplify]: Simplify t into t
4.848 * [taylor]: Taking taylor expansion of y in x
4.848 * [backup-simplify]: Simplify y into y
4.848 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
4.848 * [taylor]: Taking taylor expansion of 0.5 in x
4.848 * [backup-simplify]: Simplify 0.5 into 0.5
4.848 * [taylor]: Taking taylor expansion of (/ t x) in x
4.849 * [taylor]: Taking taylor expansion of t in x
4.849 * [backup-simplify]: Simplify t into t
4.849 * [taylor]: Taking taylor expansion of x in x
4.849 * [backup-simplify]: Simplify 0 into 0
4.849 * [backup-simplify]: Simplify 1 into 1
4.849 * [backup-simplify]: Simplify (/ t 1) into t
4.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
4.849 * [taylor]: Taking taylor expansion of 0.5 in x
4.849 * [backup-simplify]: Simplify 0.5 into 0.5
4.849 * [taylor]: Taking taylor expansion of (/ t z) in x
4.849 * [taylor]: Taking taylor expansion of t in x
4.849 * [backup-simplify]: Simplify t into t
4.849 * [taylor]: Taking taylor expansion of z in x
4.849 * [backup-simplify]: Simplify z into z
4.849 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.849 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.849 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
4.849 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
4.849 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
4.849 * [taylor]: Taking taylor expansion of 0.5 in y
4.849 * [backup-simplify]: Simplify 0.5 into 0.5
4.849 * [taylor]: Taking taylor expansion of t in y
4.849 * [backup-simplify]: Simplify t into t
4.849 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
4.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.850 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.850 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
4.850 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
4.850 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
4.850 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
4.850 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
4.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.850 * [taylor]: Taking taylor expansion of 0.5 in y
4.850 * [backup-simplify]: Simplify 0.5 into 0.5
4.850 * [taylor]: Taking taylor expansion of (/ t y) in y
4.851 * [taylor]: Taking taylor expansion of t in y
4.851 * [backup-simplify]: Simplify t into t
4.851 * [taylor]: Taking taylor expansion of y in y
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify 1 into 1
4.851 * [backup-simplify]: Simplify (/ t 1) into t
4.851 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
4.851 * [taylor]: Taking taylor expansion of 0.5 in y
4.851 * [backup-simplify]: Simplify 0.5 into 0.5
4.851 * [taylor]: Taking taylor expansion of (/ t z) in y
4.851 * [taylor]: Taking taylor expansion of t in y
4.851 * [backup-simplify]: Simplify t into t
4.851 * [taylor]: Taking taylor expansion of z in y
4.851 * [backup-simplify]: Simplify z into z
4.851 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.851 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.851 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
4.851 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.851 * [taylor]: Taking taylor expansion of 0.5 in t
4.851 * [backup-simplify]: Simplify 0.5 into 0.5
4.851 * [taylor]: Taking taylor expansion of t in t
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify 1 into 1
4.852 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.852 * [taylor]: Taking taylor expansion of 0.5 in z
4.852 * [backup-simplify]: Simplify 0.5 into 0.5
4.852 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.852 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.852 * [taylor]: Taking taylor expansion of 0.5 in t
4.852 * [backup-simplify]: Simplify 0.5 into 0.5
4.852 * [taylor]: Taking taylor expansion of t in t
4.852 * [backup-simplify]: Simplify 0 into 0
4.852 * [backup-simplify]: Simplify 1 into 1
4.853 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.853 * [taylor]: Taking taylor expansion of 0.5 in z
4.853 * [backup-simplify]: Simplify 0.5 into 0.5
4.853 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
4.853 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
4.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.857 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.858 * [backup-simplify]: Simplify (+ 0 0) into 0
4.858 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.858 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
4.859 * [backup-simplify]: Simplify (- 0) into 0
4.859 * [backup-simplify]: Simplify (+ 0 0) into 0
4.859 * [taylor]: Taking taylor expansion of 0 in y
4.859 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.861 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.861 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
4.861 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
4.861 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
4.861 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
4.861 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
4.861 * [taylor]: Taking taylor expansion of 0.5 in t
4.861 * [backup-simplify]: Simplify 0.5 into 0.5
4.861 * [taylor]: Taking taylor expansion of (/ t z) in t
4.861 * [taylor]: Taking taylor expansion of t in t
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify 1 into 1
4.861 * [taylor]: Taking taylor expansion of z in t
4.861 * [backup-simplify]: Simplify z into z
4.861 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.862 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
4.862 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
4.862 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
4.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.862 * [taylor]: Taking taylor expansion of 0.5 in z
4.862 * [backup-simplify]: Simplify 0.5 into 0.5
4.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.862 * [taylor]: Taking taylor expansion of z in z
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 1 into 1
4.862 * [backup-simplify]: Simplify (/ 1 1) into 1
4.863 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.863 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.863 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.864 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.864 * [taylor]: Taking taylor expansion of 0 in t
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [taylor]: Taking taylor expansion of 0 in z
4.864 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.865 * [taylor]: Taking taylor expansion of 0 in z
4.865 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.866 * [taylor]: Taking taylor expansion of 0 in z
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0.5 into 0.5
4.866 * [backup-simplify]: Simplify 0.5 into 0.5
4.868 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 t) (* 1 (/ 1 (/ 1 x)))))) (+ (* 0.5 (* 1 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 1)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
4.868 * [backup-simplify]: Simplify (- (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) (/ (/ 1 (- z)) (* (/ 1 (- t)) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
4.868 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
4.869 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
4.869 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
4.869 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
4.869 * [taylor]: Taking taylor expansion of 0.5 in z
4.869 * [backup-simplify]: Simplify 0.5 into 0.5
4.869 * [taylor]: Taking taylor expansion of (/ t y) in z
4.869 * [taylor]: Taking taylor expansion of t in z
4.869 * [backup-simplify]: Simplify t into t
4.869 * [taylor]: Taking taylor expansion of y in z
4.869 * [backup-simplify]: Simplify y into y
4.869 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.869 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
4.869 * [taylor]: Taking taylor expansion of 0.5 in z
4.869 * [backup-simplify]: Simplify 0.5 into 0.5
4.869 * [taylor]: Taking taylor expansion of (/ t x) in z
4.869 * [taylor]: Taking taylor expansion of t in z
4.869 * [backup-simplify]: Simplify t into t
4.869 * [taylor]: Taking taylor expansion of x in z
4.869 * [backup-simplify]: Simplify x into x
4.869 * [backup-simplify]: Simplify (/ t x) into (/ t x)
4.869 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
4.869 * [taylor]: Taking taylor expansion of 0.5 in z
4.869 * [backup-simplify]: Simplify 0.5 into 0.5
4.869 * [taylor]: Taking taylor expansion of (/ t z) in z
4.869 * [taylor]: Taking taylor expansion of t in z
4.869 * [backup-simplify]: Simplify t into t
4.869 * [taylor]: Taking taylor expansion of z in z
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 1 into 1
4.869 * [backup-simplify]: Simplify (/ t 1) into t
4.870 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
4.870 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
4.870 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
4.870 * [taylor]: Taking taylor expansion of 0.5 in t
4.870 * [backup-simplify]: Simplify 0.5 into 0.5
4.870 * [taylor]: Taking taylor expansion of (/ t y) in t
4.870 * [taylor]: Taking taylor expansion of t in t
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 1 into 1
4.870 * [taylor]: Taking taylor expansion of y in t
4.870 * [backup-simplify]: Simplify y into y
4.870 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.870 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
4.870 * [taylor]: Taking taylor expansion of 0.5 in t
4.870 * [backup-simplify]: Simplify 0.5 into 0.5
4.870 * [taylor]: Taking taylor expansion of (/ t x) in t
4.870 * [taylor]: Taking taylor expansion of t in t
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 1 into 1
4.870 * [taylor]: Taking taylor expansion of x in t
4.870 * [backup-simplify]: Simplify x into x
4.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.870 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
4.870 * [taylor]: Taking taylor expansion of 0.5 in t
4.870 * [backup-simplify]: Simplify 0.5 into 0.5
4.870 * [taylor]: Taking taylor expansion of (/ t z) in t
4.870 * [taylor]: Taking taylor expansion of t in t
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 1 into 1
4.870 * [taylor]: Taking taylor expansion of z in t
4.870 * [backup-simplify]: Simplify z into z
4.870 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.871 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
4.871 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
4.871 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.871 * [taylor]: Taking taylor expansion of 0.5 in y
4.871 * [backup-simplify]: Simplify 0.5 into 0.5
4.871 * [taylor]: Taking taylor expansion of (/ t y) in y
4.871 * [taylor]: Taking taylor expansion of t in y
4.871 * [backup-simplify]: Simplify t into t
4.871 * [taylor]: Taking taylor expansion of y in y
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 1 into 1
4.871 * [backup-simplify]: Simplify (/ t 1) into t
4.871 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
4.871 * [taylor]: Taking taylor expansion of 0.5 in y
4.871 * [backup-simplify]: Simplify 0.5 into 0.5
4.871 * [taylor]: Taking taylor expansion of (/ t x) in y
4.871 * [taylor]: Taking taylor expansion of t in y
4.871 * [backup-simplify]: Simplify t into t
4.871 * [taylor]: Taking taylor expansion of x in y
4.871 * [backup-simplify]: Simplify x into x
4.871 * [backup-simplify]: Simplify (/ t x) into (/ t x)
4.871 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
4.871 * [taylor]: Taking taylor expansion of 0.5 in y
4.871 * [backup-simplify]: Simplify 0.5 into 0.5
4.871 * [taylor]: Taking taylor expansion of (/ t z) in y
4.871 * [taylor]: Taking taylor expansion of t in y
4.871 * [backup-simplify]: Simplify t into t
4.871 * [taylor]: Taking taylor expansion of z in y
4.871 * [backup-simplify]: Simplify z into z
4.871 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.872 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
4.872 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
4.872 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
4.872 * [taylor]: Taking taylor expansion of 0.5 in x
4.872 * [backup-simplify]: Simplify 0.5 into 0.5
4.872 * [taylor]: Taking taylor expansion of (/ t y) in x
4.872 * [taylor]: Taking taylor expansion of t in x
4.872 * [backup-simplify]: Simplify t into t
4.872 * [taylor]: Taking taylor expansion of y in x
4.872 * [backup-simplify]: Simplify y into y
4.872 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.872 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
4.872 * [taylor]: Taking taylor expansion of 0.5 in x
4.872 * [backup-simplify]: Simplify 0.5 into 0.5
4.872 * [taylor]: Taking taylor expansion of (/ t x) in x
4.872 * [taylor]: Taking taylor expansion of t in x
4.872 * [backup-simplify]: Simplify t into t
4.872 * [taylor]: Taking taylor expansion of x in x
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify 1 into 1
4.872 * [backup-simplify]: Simplify (/ t 1) into t
4.872 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
4.872 * [taylor]: Taking taylor expansion of 0.5 in x
4.872 * [backup-simplify]: Simplify 0.5 into 0.5
4.872 * [taylor]: Taking taylor expansion of (/ t z) in x
4.872 * [taylor]: Taking taylor expansion of t in x
4.872 * [backup-simplify]: Simplify t into t
4.872 * [taylor]: Taking taylor expansion of z in x
4.872 * [backup-simplify]: Simplify z into z
4.872 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.873 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
4.873 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
4.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
4.873 * [taylor]: Taking taylor expansion of 0.5 in x
4.873 * [backup-simplify]: Simplify 0.5 into 0.5
4.873 * [taylor]: Taking taylor expansion of (/ t y) in x
4.873 * [taylor]: Taking taylor expansion of t in x
4.873 * [backup-simplify]: Simplify t into t
4.873 * [taylor]: Taking taylor expansion of y in x
4.873 * [backup-simplify]: Simplify y into y
4.873 * [backup-simplify]: Simplify (/ t y) into (/ t y)
4.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
4.873 * [taylor]: Taking taylor expansion of 0.5 in x
4.873 * [backup-simplify]: Simplify 0.5 into 0.5
4.873 * [taylor]: Taking taylor expansion of (/ t x) in x
4.873 * [taylor]: Taking taylor expansion of t in x
4.873 * [backup-simplify]: Simplify t into t
4.873 * [taylor]: Taking taylor expansion of x in x
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 1 into 1
4.873 * [backup-simplify]: Simplify (/ t 1) into t
4.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
4.873 * [taylor]: Taking taylor expansion of 0.5 in x
4.873 * [backup-simplify]: Simplify 0.5 into 0.5
4.873 * [taylor]: Taking taylor expansion of (/ t z) in x
4.873 * [taylor]: Taking taylor expansion of t in x
4.873 * [backup-simplify]: Simplify t into t
4.873 * [taylor]: Taking taylor expansion of z in x
4.873 * [backup-simplify]: Simplify z into z
4.873 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.874 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.874 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
4.874 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
4.874 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
4.874 * [taylor]: Taking taylor expansion of 0.5 in y
4.874 * [backup-simplify]: Simplify 0.5 into 0.5
4.874 * [taylor]: Taking taylor expansion of t in y
4.874 * [backup-simplify]: Simplify t into t
4.874 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
4.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.875 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.876 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
4.876 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
4.876 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
4.876 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
4.876 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
4.876 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.876 * [taylor]: Taking taylor expansion of 0.5 in y
4.876 * [backup-simplify]: Simplify 0.5 into 0.5
4.876 * [taylor]: Taking taylor expansion of (/ t y) in y
4.876 * [taylor]: Taking taylor expansion of t in y
4.876 * [backup-simplify]: Simplify t into t
4.876 * [taylor]: Taking taylor expansion of y in y
4.876 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify 1 into 1
4.876 * [backup-simplify]: Simplify (/ t 1) into t
4.876 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
4.876 * [taylor]: Taking taylor expansion of 0.5 in y
4.876 * [backup-simplify]: Simplify 0.5 into 0.5
4.876 * [taylor]: Taking taylor expansion of (/ t z) in y
4.876 * [taylor]: Taking taylor expansion of t in y
4.876 * [backup-simplify]: Simplify t into t
4.876 * [taylor]: Taking taylor expansion of z in y
4.876 * [backup-simplify]: Simplify z into z
4.876 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.876 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.876 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
4.876 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.876 * [taylor]: Taking taylor expansion of 0.5 in t
4.876 * [backup-simplify]: Simplify 0.5 into 0.5
4.876 * [taylor]: Taking taylor expansion of t in t
4.876 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify 1 into 1
4.877 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.877 * [taylor]: Taking taylor expansion of 0.5 in z
4.877 * [backup-simplify]: Simplify 0.5 into 0.5
4.877 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.877 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.877 * [taylor]: Taking taylor expansion of 0.5 in t
4.877 * [backup-simplify]: Simplify 0.5 into 0.5
4.877 * [taylor]: Taking taylor expansion of t in t
4.877 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify 1 into 1
4.878 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.878 * [taylor]: Taking taylor expansion of 0.5 in z
4.878 * [backup-simplify]: Simplify 0.5 into 0.5
4.879 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
4.879 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
4.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.881 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.881 * [backup-simplify]: Simplify (+ 0 0) into 0
4.881 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.882 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
4.882 * [backup-simplify]: Simplify (- 0) into 0
4.883 * [backup-simplify]: Simplify (+ 0 0) into 0
4.883 * [taylor]: Taking taylor expansion of 0 in y
4.883 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.884 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.884 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
4.884 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
4.884 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
4.884 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
4.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
4.884 * [taylor]: Taking taylor expansion of 0.5 in t
4.884 * [backup-simplify]: Simplify 0.5 into 0.5
4.885 * [taylor]: Taking taylor expansion of (/ t z) in t
4.885 * [taylor]: Taking taylor expansion of t in t
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 1 into 1
4.885 * [taylor]: Taking taylor expansion of z in t
4.885 * [backup-simplify]: Simplify z into z
4.885 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.885 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
4.885 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
4.885 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
4.885 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.885 * [taylor]: Taking taylor expansion of 0.5 in z
4.885 * [backup-simplify]: Simplify 0.5 into 0.5
4.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.885 * [taylor]: Taking taylor expansion of z in z
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 1 into 1
4.885 * [backup-simplify]: Simplify (/ 1 1) into 1
4.886 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.886 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.887 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.887 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.887 * [taylor]: Taking taylor expansion of 0 in t
4.887 * [backup-simplify]: Simplify 0 into 0
4.887 * [taylor]: Taking taylor expansion of 0 in z
4.887 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.888 * [taylor]: Taking taylor expansion of 0 in z
4.888 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.889 * [taylor]: Taking taylor expansion of 0 in z
4.889 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify 0.5 into 0.5
4.889 * [backup-simplify]: Simplify 0.5 into 0.5
4.891 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x))))))) (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 1)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
4.891 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.891 * [backup-simplify]: Simplify (/ (+ x y) (* t 2.0)) into (* 0.5 (/ (+ x y) t))
4.891 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in (x y t) around 0
4.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in t
4.891 * [taylor]: Taking taylor expansion of 0.5 in t
4.891 * [backup-simplify]: Simplify 0.5 into 0.5
4.891 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t
4.891 * [taylor]: Taking taylor expansion of (+ x y) in t
4.891 * [taylor]: Taking taylor expansion of x in t
4.891 * [backup-simplify]: Simplify x into x
4.891 * [taylor]: Taking taylor expansion of y in t
4.891 * [backup-simplify]: Simplify y into y
4.891 * [taylor]: Taking taylor expansion of t in t
4.891 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (+ x y) into (+ x y)
4.892 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y)
4.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in y
4.892 * [taylor]: Taking taylor expansion of 0.5 in y
4.892 * [backup-simplify]: Simplify 0.5 into 0.5
4.892 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y
4.892 * [taylor]: Taking taylor expansion of (+ x y) in y
4.892 * [taylor]: Taking taylor expansion of x in y
4.892 * [backup-simplify]: Simplify x into x
4.892 * [taylor]: Taking taylor expansion of y in y
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [taylor]: Taking taylor expansion of t in y
4.892 * [backup-simplify]: Simplify t into t
4.892 * [backup-simplify]: Simplify (+ x 0) into x
4.892 * [backup-simplify]: Simplify (/ x t) into (/ x t)
4.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
4.892 * [taylor]: Taking taylor expansion of 0.5 in x
4.892 * [backup-simplify]: Simplify 0.5 into 0.5
4.892 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
4.892 * [taylor]: Taking taylor expansion of (+ x y) in x
4.892 * [taylor]: Taking taylor expansion of x in x
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [taylor]: Taking taylor expansion of y in x
4.892 * [backup-simplify]: Simplify y into y
4.892 * [taylor]: Taking taylor expansion of t in x
4.892 * [backup-simplify]: Simplify t into t
4.892 * [backup-simplify]: Simplify (+ 0 y) into y
4.892 * [backup-simplify]: Simplify (/ y t) into (/ y t)
4.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
4.893 * [taylor]: Taking taylor expansion of 0.5 in x
4.893 * [backup-simplify]: Simplify 0.5 into 0.5
4.893 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
4.893 * [taylor]: Taking taylor expansion of (+ x y) in x
4.893 * [taylor]: Taking taylor expansion of x in x
4.893 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [taylor]: Taking taylor expansion of y in x
4.893 * [backup-simplify]: Simplify y into y
4.893 * [taylor]: Taking taylor expansion of t in x
4.893 * [backup-simplify]: Simplify t into t
4.893 * [backup-simplify]: Simplify (+ 0 y) into y
4.893 * [backup-simplify]: Simplify (/ y t) into (/ y t)
4.893 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
4.893 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
4.893 * [taylor]: Taking taylor expansion of 0.5 in y
4.893 * [backup-simplify]: Simplify 0.5 into 0.5
4.893 * [taylor]: Taking taylor expansion of (/ y t) in y
4.893 * [taylor]: Taking taylor expansion of y in y
4.893 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [taylor]: Taking taylor expansion of t in y
4.893 * [backup-simplify]: Simplify t into t
4.893 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.894 * [backup-simplify]: Simplify (+ 1 0) into 1
4.894 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ y t) (/ 0 t)))) into (/ 1 t)
4.894 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ y t))) into (* 0.5 (/ 1 t))
4.894 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
4.894 * [taylor]: Taking taylor expansion of 0.5 in y
4.894 * [backup-simplify]: Simplify 0.5 into 0.5
4.894 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.894 * [taylor]: Taking taylor expansion of t in y
4.894 * [backup-simplify]: Simplify t into t
4.894 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.894 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
4.894 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
4.894 * [taylor]: Taking taylor expansion of 0.5 in t
4.895 * [backup-simplify]: Simplify 0.5 into 0.5
4.895 * [taylor]: Taking taylor expansion of t in t
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify 1 into 1
4.895 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.895 * [backup-simplify]: Simplify 0.5 into 0.5
4.895 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
4.895 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
4.895 * [taylor]: Taking taylor expansion of 0.5 in t
4.895 * [backup-simplify]: Simplify 0.5 into 0.5
4.895 * [taylor]: Taking taylor expansion of t in t
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify 1 into 1
4.896 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.896 * [backup-simplify]: Simplify 0.5 into 0.5
4.896 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)))) into 0
4.897 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t)))) into 0
4.897 * [taylor]: Taking taylor expansion of 0 in y
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [taylor]: Taking taylor expansion of 0 in t
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
4.898 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
4.898 * [taylor]: Taking taylor expansion of 0 in t
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
4.899 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
4.899 * [taylor]: Taking taylor expansion of 0 in t
4.899 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ 0 0) into 0
4.901 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.902 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t))))) into 0
4.902 * [taylor]: Taking taylor expansion of 0 in y
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [taylor]: Taking taylor expansion of 0 in t
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [taylor]: Taking taylor expansion of 0 in t
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.903 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
4.903 * [taylor]: Taking taylor expansion of 0 in t
4.903 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.904 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
4.904 * [taylor]: Taking taylor expansion of 0 in t
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* y 1))) (* 0.5 (* (/ 1 t) (* 1 x)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
4.906 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (+ (/ 1 x) (/ 1 y))))
4.906 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in (x y t) around 0
4.906 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in t
4.906 * [taylor]: Taking taylor expansion of 0.5 in t
4.906 * [backup-simplify]: Simplify 0.5 into 0.5
4.906 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t
4.906 * [taylor]: Taking taylor expansion of t in t
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 1 into 1
4.906 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
4.906 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.906 * [taylor]: Taking taylor expansion of x in t
4.906 * [backup-simplify]: Simplify x into x
4.906 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.906 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.906 * [taylor]: Taking taylor expansion of y in t
4.906 * [backup-simplify]: Simplify y into y
4.906 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.906 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in y
4.906 * [taylor]: Taking taylor expansion of 0.5 in y
4.906 * [backup-simplify]: Simplify 0.5 into 0.5
4.906 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y
4.906 * [taylor]: Taking taylor expansion of t in y
4.906 * [backup-simplify]: Simplify t into t
4.906 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
4.907 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.907 * [taylor]: Taking taylor expansion of x in y
4.907 * [backup-simplify]: Simplify x into x
4.907 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.907 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.907 * [taylor]: Taking taylor expansion of y in y
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify 1 into 1
4.907 * [backup-simplify]: Simplify (/ 1 1) into 1
4.907 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
4.907 * [taylor]: Taking taylor expansion of 0.5 in x
4.907 * [backup-simplify]: Simplify 0.5 into 0.5
4.907 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
4.907 * [taylor]: Taking taylor expansion of t in x
4.907 * [backup-simplify]: Simplify t into t
4.907 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.907 * [taylor]: Taking taylor expansion of x in x
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify 1 into 1
4.908 * [backup-simplify]: Simplify (/ 1 1) into 1
4.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.908 * [taylor]: Taking taylor expansion of y in x
4.908 * [backup-simplify]: Simplify y into y
4.908 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.908 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
4.908 * [taylor]: Taking taylor expansion of 0.5 in x
4.908 * [backup-simplify]: Simplify 0.5 into 0.5
4.908 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
4.908 * [taylor]: Taking taylor expansion of t in x
4.908 * [backup-simplify]: Simplify t into t
4.908 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.908 * [taylor]: Taking taylor expansion of x in x
4.908 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify 1 into 1
4.909 * [backup-simplify]: Simplify (/ 1 1) into 1
4.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.909 * [taylor]: Taking taylor expansion of y in x
4.909 * [backup-simplify]: Simplify y into y
4.909 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.909 * [backup-simplify]: Simplify (+ 1 0) into 1
4.909 * [backup-simplify]: Simplify (* t 1) into t
4.909 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.909 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
4.909 * [taylor]: Taking taylor expansion of 0.5 in y
4.909 * [backup-simplify]: Simplify 0.5 into 0.5
4.909 * [taylor]: Taking taylor expansion of t in y
4.909 * [backup-simplify]: Simplify t into t
4.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.910 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.911 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
4.911 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
4.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.911 * [taylor]: Taking taylor expansion of 0.5 in y
4.911 * [backup-simplify]: Simplify 0.5 into 0.5
4.911 * [taylor]: Taking taylor expansion of (/ t y) in y
4.911 * [taylor]: Taking taylor expansion of t in y
4.911 * [backup-simplify]: Simplify t into t
4.911 * [taylor]: Taking taylor expansion of y in y
4.911 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify 1 into 1
4.911 * [backup-simplify]: Simplify (/ t 1) into t
4.911 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.911 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.911 * [taylor]: Taking taylor expansion of 0.5 in t
4.911 * [backup-simplify]: Simplify 0.5 into 0.5
4.911 * [taylor]: Taking taylor expansion of t in t
4.911 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify 1 into 1
4.912 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.912 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.912 * [taylor]: Taking taylor expansion of 0.5 in t
4.912 * [backup-simplify]: Simplify 0.5 into 0.5
4.912 * [taylor]: Taking taylor expansion of t in t
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify 1 into 1
4.912 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.914 * [backup-simplify]: Simplify (+ 0 0) into 0
4.914 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.915 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
4.915 * [taylor]: Taking taylor expansion of 0 in y
4.915 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.916 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.916 * [taylor]: Taking taylor expansion of 0 in t
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.917 * [taylor]: Taking taylor expansion of 0 in t
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.918 * [backup-simplify]: Simplify 0.5 into 0.5
4.919 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.919 * [backup-simplify]: Simplify 0.5 into 0.5
4.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.921 * [backup-simplify]: Simplify (+ 0 0) into 0
4.922 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.922 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
4.922 * [taylor]: Taking taylor expansion of 0 in y
4.922 * [backup-simplify]: Simplify 0 into 0
4.922 * [taylor]: Taking taylor expansion of 0 in t
4.923 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.924 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.925 * [taylor]: Taking taylor expansion of 0 in t
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.925 * [taylor]: Taking taylor expansion of 0 in t
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* 1 (/ 1 (/ 1 x))))) (* 0.5 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
4.927 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) into (* 0.5 (* t (+ (/ 1 x) (/ 1 y))))
4.927 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in (x y t) around 0
4.927 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in t
4.927 * [taylor]: Taking taylor expansion of 0.5 in t
4.927 * [backup-simplify]: Simplify 0.5 into 0.5
4.927 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t
4.927 * [taylor]: Taking taylor expansion of t in t
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 1 into 1
4.927 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
4.927 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.927 * [taylor]: Taking taylor expansion of x in t
4.927 * [backup-simplify]: Simplify x into x
4.927 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.927 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.927 * [taylor]: Taking taylor expansion of y in t
4.928 * [backup-simplify]: Simplify y into y
4.928 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.928 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in y
4.928 * [taylor]: Taking taylor expansion of 0.5 in y
4.928 * [backup-simplify]: Simplify 0.5 into 0.5
4.928 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y
4.928 * [taylor]: Taking taylor expansion of t in y
4.928 * [backup-simplify]: Simplify t into t
4.928 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
4.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.928 * [taylor]: Taking taylor expansion of x in y
4.928 * [backup-simplify]: Simplify x into x
4.928 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.928 * [taylor]: Taking taylor expansion of y in y
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 1 into 1
4.928 * [backup-simplify]: Simplify (/ 1 1) into 1
4.928 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
4.928 * [taylor]: Taking taylor expansion of 0.5 in x
4.928 * [backup-simplify]: Simplify 0.5 into 0.5
4.928 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
4.929 * [taylor]: Taking taylor expansion of t in x
4.929 * [backup-simplify]: Simplify t into t
4.929 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.929 * [taylor]: Taking taylor expansion of x in x
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 1 into 1
4.929 * [backup-simplify]: Simplify (/ 1 1) into 1
4.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.929 * [taylor]: Taking taylor expansion of y in x
4.929 * [backup-simplify]: Simplify y into y
4.929 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.929 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
4.929 * [taylor]: Taking taylor expansion of 0.5 in x
4.929 * [backup-simplify]: Simplify 0.5 into 0.5
4.929 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
4.929 * [taylor]: Taking taylor expansion of t in x
4.929 * [backup-simplify]: Simplify t into t
4.929 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.929 * [taylor]: Taking taylor expansion of x in x
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 1 into 1
4.930 * [backup-simplify]: Simplify (/ 1 1) into 1
4.930 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.930 * [taylor]: Taking taylor expansion of y in x
4.930 * [backup-simplify]: Simplify y into y
4.930 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.930 * [backup-simplify]: Simplify (+ 1 0) into 1
4.930 * [backup-simplify]: Simplify (* t 1) into t
4.930 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.930 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
4.931 * [taylor]: Taking taylor expansion of 0.5 in y
4.931 * [backup-simplify]: Simplify 0.5 into 0.5
4.931 * [taylor]: Taking taylor expansion of t in y
4.931 * [backup-simplify]: Simplify t into t
4.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.931 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.932 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
4.932 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
4.932 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.932 * [taylor]: Taking taylor expansion of 0.5 in y
4.932 * [backup-simplify]: Simplify 0.5 into 0.5
4.932 * [taylor]: Taking taylor expansion of (/ t y) in y
4.932 * [taylor]: Taking taylor expansion of t in y
4.932 * [backup-simplify]: Simplify t into t
4.932 * [taylor]: Taking taylor expansion of y in y
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [backup-simplify]: Simplify (/ t 1) into t
4.932 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.932 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.932 * [taylor]: Taking taylor expansion of 0.5 in t
4.932 * [backup-simplify]: Simplify 0.5 into 0.5
4.932 * [taylor]: Taking taylor expansion of t in t
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.933 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
4.933 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.933 * [taylor]: Taking taylor expansion of 0.5 in t
4.933 * [backup-simplify]: Simplify 0.5 into 0.5
4.933 * [taylor]: Taking taylor expansion of t in t
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 1 into 1
4.934 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.935 * [backup-simplify]: Simplify (+ 0 0) into 0
4.935 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.936 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
4.936 * [taylor]: Taking taylor expansion of 0 in y
4.936 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.937 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
4.938 * [taylor]: Taking taylor expansion of 0 in t
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.939 * [backup-simplify]: Simplify 0.5 into 0.5
4.941 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.941 * [backup-simplify]: Simplify 0.5 into 0.5
4.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.942 * [backup-simplify]: Simplify (+ 0 0) into 0
4.943 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.944 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
4.944 * [taylor]: Taking taylor expansion of 0 in y
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [taylor]: Taking taylor expansion of 0 in t
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.946 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.946 * [taylor]: Taking taylor expansion of 0 in t
4.946 * [backup-simplify]: Simplify 0 into 0
4.946 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
4.947 * [taylor]: Taking taylor expansion of 0 in t
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.948 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x)))))) (* 0.5 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
4.949 * * * [progress]: simplifying candidates
4.950 * [simplify]: Simplifying:
  (/ (exp (/ (+ x y) (* t 2.0))) (exp (/ z (* t 2.0))))
  (log (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (exp (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (* (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (- (+ x y) z)
  (- (* (+ x y) (* t 2.0)) (* (* t 2.0) z))
  (* (* t 2.0) (* t 2.0))
  (- (pow (/ (+ x y) (* t 2.0)) 3) (pow (/ z (* t 2.0)) 3))
  (+ (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (+ (* (/ z (* t 2.0)) (/ z (* t 2.0))) (* (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (- (/ z (* t 2.0)))
  (- (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (+ (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (- (+ x y) z)
  (- (/ z (* t 2.0)))
  (- (log (+ x y)) (+ (log t) (log 2.0)))
  (- (log (+ x y)) (log (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (exp (/ (+ x y) (* t 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0))))
  (cbrt (/ (+ x y) (* t 2.0)))
  (* (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (- (+ x y))
  (- (* t 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) t)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ x y))
  (/ (+ x y) t)
  (/ (* t 2.0) (cbrt (+ x y)))
  (/ (* t 2.0) (sqrt (+ x y)))
  (/ (* t 2.0) (+ x y))
  (/ (* t 2.0) (+ x y))
  (* (* t 2.0) (+ (* x x) (- (* y y) (* x y))))
  (* (* t 2.0) (- x y))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
4.951 * * [simplify]: iteration 0: 98 enodes
4.982 * * [simplify]: iteration 1: 263 enodes
5.087 * * [simplify]: iteration 2: 812 enodes
5.554 * * [simplify]: iteration 3: 2917 enodes
6.340 * * [simplify]: iteration complete: 5002 enodes
6.340 * * [simplify]: Extracting #0: cost 41 inf + 0
6.341 * * [simplify]: Extracting #1: cost 392 inf + 0
6.351 * * [simplify]: Extracting #2: cost 834 inf + 15389
6.382 * * [simplify]: Extracting #3: cost 710 inf + 108009
6.438 * * [simplify]: Extracting #4: cost 216 inf + 222993
6.541 * * [simplify]: Extracting #5: cost 24 inf + 282629
6.607 * * [simplify]: Extracting #6: cost 5 inf + 286808
6.729 * * [simplify]: Extracting #7: cost 0 inf + 288442
6.829 * [simplify]: Simplified to:
  (exp (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (log (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (exp (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (* (cbrt (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0)))) (cbrt (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0)))))
  (cbrt (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (* (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))) (* (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))) (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0)))))
  (sqrt (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))))
  (+ (- x z) y)
  (* (* t 2.0) (+ (- x z) y))
  (* (* t 2.0) (* t 2.0))
  (- (* (/ (+ y x) (* t 2.0)) (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0)))) (* (/ z (* t 2.0)) (* (/ z (* t 2.0)) (/ z (* t 2.0)))))
  (+ (* (+ (/ (+ y x) (* t 2.0)) (/ z (* t 2.0))) (/ z (* t 2.0))) (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0))))
  (- (/ z (* t 2.0)))
  (- (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0))) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (/ (+ y x) (* t 2.0)) (/ z (* t 2.0)))
  (+ (sqrt (/ z (* t 2.0))) (sqrt (/ (+ y x) (* t 2.0))))
  (- (sqrt (/ (+ y x) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ y x) 2.0) (/ z 2.0))
  (- (/ (+ y x) 2.0) (/ z 2.0))
  (- (/ (+ y x) (* t 2.0)) (/ z (* t 2.0)))
  (+ (- x z) y)
  (- (/ z (* t 2.0)))
  (log (/ (+ y x) (* t 2.0)))
  (log (/ (+ y x) (* t 2.0)))
  (log (/ (+ y x) (* t 2.0)))
  (exp (/ (+ y x) (* t 2.0)))
  (* (/ (+ y x) (* t 2.0)) (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0))))
  (* (/ (+ y x) (* t 2.0)) (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0))))
  (* (cbrt (/ (+ y x) (* t 2.0))) (cbrt (/ (+ y x) (* t 2.0))))
  (cbrt (/ (+ y x) (* t 2.0)))
  (* (/ (+ y x) (* t 2.0)) (* (/ (+ y x) (* t 2.0)) (/ (+ y x) (* t 2.0))))
  (sqrt (/ (+ y x) (* t 2.0)))
  (sqrt (/ (+ y x) (* t 2.0)))
  (- (+ y x))
  (- (* t 2.0))
  (/ (cbrt (+ y x)) (/ t (cbrt (+ y x))))
  (/ (cbrt (+ y x)) 2.0)
  (/ (sqrt (+ y x)) t)
  (/ (sqrt (+ y x)) 2.0)
  (/ 1 t)
  (/ (+ y x) 2.0)
  (/ 1 t)
  (/ (+ y x) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ y x))
  (/ (+ y x) t)
  (/ t (/ (cbrt (+ y x)) 2.0))
  (/ (* t 2.0) (sqrt (+ y x)))
  (/ (* t 2.0) (+ y x))
  (/ (* t 2.0) (+ y x))
  (* (* t 2.0) (+ (* x x) (* (- y x) y)))
  (* (* t 2.0) (- x y))
  (* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
  (* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
  (* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
  (* (+ (/ y t) (/ x t)) 0.5)
  (* (+ (/ y t) (/ x t)) 0.5)
  (* (+ (/ y t) (/ x t)) 0.5)
6.832 * * * [progress]: adding candidates to table
7.042 * * [progress]: iteration 3 / 4
7.043 * * * [progress]: picking best candidate
7.049 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>
7.049 * * * [progress]: localizing error
7.075 * * * [progress]: generating rewritten candidates
7.076 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
7.123 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.160 * * * [progress]: generating series expansions
7.160 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
7.160 * [backup-simplify]: Simplify (* (+ x y) (/ 1 (* t 2.0))) into (* 0.5 (/ (+ x y) t))
7.160 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in (x y t) around 0
7.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in t
7.161 * [taylor]: Taking taylor expansion of 0.5 in t
7.161 * [backup-simplify]: Simplify 0.5 into 0.5
7.161 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t
7.161 * [taylor]: Taking taylor expansion of (+ x y) in t
7.161 * [taylor]: Taking taylor expansion of x in t
7.161 * [backup-simplify]: Simplify x into x
7.161 * [taylor]: Taking taylor expansion of y in t
7.161 * [backup-simplify]: Simplify y into y
7.161 * [taylor]: Taking taylor expansion of t in t
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.161 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y)
7.161 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in y
7.161 * [taylor]: Taking taylor expansion of 0.5 in y
7.161 * [backup-simplify]: Simplify 0.5 into 0.5
7.161 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y
7.161 * [taylor]: Taking taylor expansion of (+ x y) in y
7.161 * [taylor]: Taking taylor expansion of x in y
7.161 * [backup-simplify]: Simplify x into x
7.161 * [taylor]: Taking taylor expansion of y in y
7.162 * [backup-simplify]: Simplify 0 into 0
7.162 * [backup-simplify]: Simplify 1 into 1
7.162 * [taylor]: Taking taylor expansion of t in y
7.162 * [backup-simplify]: Simplify t into t
7.162 * [backup-simplify]: Simplify (+ x 0) into x
7.162 * [backup-simplify]: Simplify (/ x t) into (/ x t)
7.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
7.162 * [taylor]: Taking taylor expansion of 0.5 in x
7.162 * [backup-simplify]: Simplify 0.5 into 0.5
7.162 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
7.162 * [taylor]: Taking taylor expansion of (+ x y) in x
7.162 * [taylor]: Taking taylor expansion of x in x
7.162 * [backup-simplify]: Simplify 0 into 0
7.162 * [backup-simplify]: Simplify 1 into 1
7.162 * [taylor]: Taking taylor expansion of y in x
7.162 * [backup-simplify]: Simplify y into y
7.162 * [taylor]: Taking taylor expansion of t in x
7.162 * [backup-simplify]: Simplify t into t
7.162 * [backup-simplify]: Simplify (+ 0 y) into y
7.162 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
7.162 * [taylor]: Taking taylor expansion of 0.5 in x
7.162 * [backup-simplify]: Simplify 0.5 into 0.5
7.162 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
7.162 * [taylor]: Taking taylor expansion of (+ x y) in x
7.162 * [taylor]: Taking taylor expansion of x in x
7.162 * [backup-simplify]: Simplify 0 into 0
7.162 * [backup-simplify]: Simplify 1 into 1
7.162 * [taylor]: Taking taylor expansion of y in x
7.162 * [backup-simplify]: Simplify y into y
7.162 * [taylor]: Taking taylor expansion of t in x
7.163 * [backup-simplify]: Simplify t into t
7.163 * [backup-simplify]: Simplify (+ 0 y) into y
7.163 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.163 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
7.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
7.163 * [taylor]: Taking taylor expansion of 0.5 in y
7.163 * [backup-simplify]: Simplify 0.5 into 0.5
7.163 * [taylor]: Taking taylor expansion of (/ y t) in y
7.163 * [taylor]: Taking taylor expansion of y in y
7.163 * [backup-simplify]: Simplify 0 into 0
7.163 * [backup-simplify]: Simplify 1 into 1
7.163 * [taylor]: Taking taylor expansion of t in y
7.163 * [backup-simplify]: Simplify t into t
7.163 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.164 * [backup-simplify]: Simplify (+ 1 0) into 1
7.164 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ y t) (/ 0 t)))) into (/ 1 t)
7.164 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ y t))) into (* 0.5 (/ 1 t))
7.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
7.164 * [taylor]: Taking taylor expansion of 0.5 in y
7.164 * [backup-simplify]: Simplify 0.5 into 0.5
7.164 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.164 * [taylor]: Taking taylor expansion of t in y
7.165 * [backup-simplify]: Simplify t into t
7.165 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.165 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
7.165 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
7.165 * [taylor]: Taking taylor expansion of 0.5 in t
7.165 * [backup-simplify]: Simplify 0.5 into 0.5
7.165 * [taylor]: Taking taylor expansion of t in t
7.165 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify 1 into 1
7.165 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
7.165 * [backup-simplify]: Simplify 0.5 into 0.5
7.166 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
7.166 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
7.166 * [taylor]: Taking taylor expansion of 0.5 in t
7.166 * [backup-simplify]: Simplify 0.5 into 0.5
7.166 * [taylor]: Taking taylor expansion of t in t
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify 1 into 1
7.166 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
7.166 * [backup-simplify]: Simplify 0.5 into 0.5
7.167 * [backup-simplify]: Simplify (+ 0 0) into 0
7.167 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)))) into 0
7.168 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t)))) into 0
7.168 * [taylor]: Taking taylor expansion of 0 in y
7.168 * [backup-simplify]: Simplify 0 into 0
7.168 * [taylor]: Taking taylor expansion of 0 in t
7.168 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
7.168 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
7.168 * [taylor]: Taking taylor expansion of 0 in t
7.168 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
7.169 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
7.169 * [taylor]: Taking taylor expansion of 0 in t
7.169 * [backup-simplify]: Simplify 0 into 0
7.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
7.170 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify (+ 0 0) into 0
7.171 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.172 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t))))) into 0
7.172 * [taylor]: Taking taylor expansion of 0 in y
7.172 * [backup-simplify]: Simplify 0 into 0
7.172 * [taylor]: Taking taylor expansion of 0 in t
7.172 * [backup-simplify]: Simplify 0 into 0
7.172 * [taylor]: Taking taylor expansion of 0 in t
7.172 * [backup-simplify]: Simplify 0 into 0
7.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.173 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
7.173 * [taylor]: Taking taylor expansion of 0 in t
7.173 * [backup-simplify]: Simplify 0 into 0
7.173 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.174 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
7.174 * [taylor]: Taking taylor expansion of 0 in t
7.174 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify 0 into 0
7.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.175 * [backup-simplify]: Simplify 0 into 0
7.176 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* y 1))) (* 0.5 (* (/ 1 t) (* 1 x)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
7.176 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (/ 1 (* (/ 1 t) 2.0))) into (* 0.5 (* t (+ (/ 1 x) (/ 1 y))))
7.176 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in (x y t) around 0
7.176 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in t
7.176 * [taylor]: Taking taylor expansion of 0.5 in t
7.176 * [backup-simplify]: Simplify 0.5 into 0.5
7.176 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t
7.176 * [taylor]: Taking taylor expansion of t in t
7.176 * [backup-simplify]: Simplify 0 into 0
7.176 * [backup-simplify]: Simplify 1 into 1
7.176 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
7.176 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.176 * [taylor]: Taking taylor expansion of x in t
7.176 * [backup-simplify]: Simplify x into x
7.176 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.176 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.176 * [taylor]: Taking taylor expansion of y in t
7.176 * [backup-simplify]: Simplify y into y
7.176 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.176 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in y
7.176 * [taylor]: Taking taylor expansion of 0.5 in y
7.176 * [backup-simplify]: Simplify 0.5 into 0.5
7.176 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y
7.177 * [taylor]: Taking taylor expansion of t in y
7.177 * [backup-simplify]: Simplify t into t
7.177 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.177 * [taylor]: Taking taylor expansion of x in y
7.177 * [backup-simplify]: Simplify x into x
7.177 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.177 * [taylor]: Taking taylor expansion of y in y
7.177 * [backup-simplify]: Simplify 0 into 0
7.177 * [backup-simplify]: Simplify 1 into 1
7.177 * [backup-simplify]: Simplify (/ 1 1) into 1
7.177 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
7.177 * [taylor]: Taking taylor expansion of 0.5 in x
7.177 * [backup-simplify]: Simplify 0.5 into 0.5
7.177 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
7.177 * [taylor]: Taking taylor expansion of t in x
7.177 * [backup-simplify]: Simplify t into t
7.177 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.177 * [taylor]: Taking taylor expansion of x in x
7.177 * [backup-simplify]: Simplify 0 into 0
7.177 * [backup-simplify]: Simplify 1 into 1
7.178 * [backup-simplify]: Simplify (/ 1 1) into 1
7.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.178 * [taylor]: Taking taylor expansion of y in x
7.178 * [backup-simplify]: Simplify y into y
7.178 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.178 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
7.178 * [taylor]: Taking taylor expansion of 0.5 in x
7.178 * [backup-simplify]: Simplify 0.5 into 0.5
7.178 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
7.178 * [taylor]: Taking taylor expansion of t in x
7.178 * [backup-simplify]: Simplify t into t
7.178 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.178 * [taylor]: Taking taylor expansion of x in x
7.178 * [backup-simplify]: Simplify 0 into 0
7.178 * [backup-simplify]: Simplify 1 into 1
7.179 * [backup-simplify]: Simplify (/ 1 1) into 1
7.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.179 * [taylor]: Taking taylor expansion of y in x
7.179 * [backup-simplify]: Simplify y into y
7.179 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.179 * [backup-simplify]: Simplify (+ 1 0) into 1
7.179 * [backup-simplify]: Simplify (* t 1) into t
7.179 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.179 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
7.179 * [taylor]: Taking taylor expansion of 0.5 in y
7.179 * [backup-simplify]: Simplify 0.5 into 0.5
7.179 * [taylor]: Taking taylor expansion of t in y
7.179 * [backup-simplify]: Simplify t into t
7.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.180 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.181 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
7.181 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
7.181 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.181 * [taylor]: Taking taylor expansion of 0.5 in y
7.181 * [backup-simplify]: Simplify 0.5 into 0.5
7.181 * [taylor]: Taking taylor expansion of (/ t y) in y
7.181 * [taylor]: Taking taylor expansion of t in y
7.181 * [backup-simplify]: Simplify t into t
7.181 * [taylor]: Taking taylor expansion of y in y
7.181 * [backup-simplify]: Simplify 0 into 0
7.181 * [backup-simplify]: Simplify 1 into 1
7.181 * [backup-simplify]: Simplify (/ t 1) into t
7.181 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.181 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.181 * [taylor]: Taking taylor expansion of 0.5 in t
7.181 * [backup-simplify]: Simplify 0.5 into 0.5
7.181 * [taylor]: Taking taylor expansion of t in t
7.181 * [backup-simplify]: Simplify 0 into 0
7.181 * [backup-simplify]: Simplify 1 into 1
7.182 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.182 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.182 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.182 * [taylor]: Taking taylor expansion of 0.5 in t
7.182 * [backup-simplify]: Simplify 0.5 into 0.5
7.182 * [taylor]: Taking taylor expansion of t in t
7.182 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify 1 into 1
7.182 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.182 * [backup-simplify]: Simplify 0 into 0
7.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.184 * [backup-simplify]: Simplify (+ 0 0) into 0
7.184 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
7.185 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
7.185 * [taylor]: Taking taylor expansion of 0 in y
7.185 * [backup-simplify]: Simplify 0 into 0
7.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.186 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.186 * [taylor]: Taking taylor expansion of 0 in t
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.186 * [taylor]: Taking taylor expansion of 0 in t
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 0 into 0
7.188 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.188 * [backup-simplify]: Simplify 0.5 into 0.5
7.189 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.189 * [backup-simplify]: Simplify 0.5 into 0.5
7.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.190 * [backup-simplify]: Simplify (+ 0 0) into 0
7.191 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
7.192 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
7.192 * [taylor]: Taking taylor expansion of 0 in y
7.192 * [backup-simplify]: Simplify 0 into 0
7.192 * [taylor]: Taking taylor expansion of 0 in t
7.192 * [backup-simplify]: Simplify 0 into 0
7.192 * [backup-simplify]: Simplify 0 into 0
7.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.194 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.194 * [taylor]: Taking taylor expansion of 0 in t
7.194 * [backup-simplify]: Simplify 0 into 0
7.194 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.195 * [taylor]: Taking taylor expansion of 0 in t
7.195 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.196 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* 1 (/ 1 (/ 1 x))))) (* 0.5 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
7.197 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (* (/ 1 (- t)) 2.0))) into (* 0.5 (* t (+ (/ 1 x) (/ 1 y))))
7.197 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in (x y t) around 0
7.197 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in t
7.197 * [taylor]: Taking taylor expansion of 0.5 in t
7.197 * [backup-simplify]: Simplify 0.5 into 0.5
7.197 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t
7.197 * [taylor]: Taking taylor expansion of t in t
7.197 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify 1 into 1
7.197 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t
7.197 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.197 * [taylor]: Taking taylor expansion of x in t
7.197 * [backup-simplify]: Simplify x into x
7.197 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.197 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.197 * [taylor]: Taking taylor expansion of y in t
7.197 * [backup-simplify]: Simplify y into y
7.197 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.197 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in y
7.197 * [taylor]: Taking taylor expansion of 0.5 in y
7.197 * [backup-simplify]: Simplify 0.5 into 0.5
7.197 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y
7.197 * [taylor]: Taking taylor expansion of t in y
7.197 * [backup-simplify]: Simplify t into t
7.197 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.197 * [taylor]: Taking taylor expansion of x in y
7.197 * [backup-simplify]: Simplify x into x
7.197 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.197 * [taylor]: Taking taylor expansion of y in y
7.197 * [backup-simplify]: Simplify 0 into 0
7.198 * [backup-simplify]: Simplify 1 into 1
7.198 * [backup-simplify]: Simplify (/ 1 1) into 1
7.198 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
7.198 * [taylor]: Taking taylor expansion of 0.5 in x
7.198 * [backup-simplify]: Simplify 0.5 into 0.5
7.198 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
7.198 * [taylor]: Taking taylor expansion of t in x
7.198 * [backup-simplify]: Simplify t into t
7.198 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.198 * [taylor]: Taking taylor expansion of x in x
7.198 * [backup-simplify]: Simplify 0 into 0
7.198 * [backup-simplify]: Simplify 1 into 1
7.198 * [backup-simplify]: Simplify (/ 1 1) into 1
7.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.199 * [taylor]: Taking taylor expansion of y in x
7.199 * [backup-simplify]: Simplify y into y
7.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.199 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 x) (/ 1 y)))) in x
7.199 * [taylor]: Taking taylor expansion of 0.5 in x
7.199 * [backup-simplify]: Simplify 0.5 into 0.5
7.199 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x
7.199 * [taylor]: Taking taylor expansion of t in x
7.199 * [backup-simplify]: Simplify t into t
7.199 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.199 * [taylor]: Taking taylor expansion of x in x
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify 1 into 1
7.199 * [backup-simplify]: Simplify (/ 1 1) into 1
7.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.199 * [taylor]: Taking taylor expansion of y in x
7.199 * [backup-simplify]: Simplify y into y
7.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.200 * [backup-simplify]: Simplify (+ 1 0) into 1
7.200 * [backup-simplify]: Simplify (* t 1) into t
7.200 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.200 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
7.200 * [taylor]: Taking taylor expansion of 0.5 in y
7.200 * [backup-simplify]: Simplify 0.5 into 0.5
7.200 * [taylor]: Taking taylor expansion of t in y
7.200 * [backup-simplify]: Simplify t into t
7.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.201 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.201 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
7.201 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
7.201 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.201 * [taylor]: Taking taylor expansion of 0.5 in y
7.202 * [backup-simplify]: Simplify 0.5 into 0.5
7.202 * [taylor]: Taking taylor expansion of (/ t y) in y
7.202 * [taylor]: Taking taylor expansion of t in y
7.202 * [backup-simplify]: Simplify t into t
7.202 * [taylor]: Taking taylor expansion of y in y
7.202 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (/ t 1) into t
7.202 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.202 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.202 * [taylor]: Taking taylor expansion of 0.5 in t
7.202 * [backup-simplify]: Simplify 0.5 into 0.5
7.202 * [taylor]: Taking taylor expansion of t in t
7.202 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.202 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.202 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.202 * [taylor]: Taking taylor expansion of 0.5 in t
7.202 * [backup-simplify]: Simplify 0.5 into 0.5
7.202 * [taylor]: Taking taylor expansion of t in t
7.203 * [backup-simplify]: Simplify 0 into 0
7.203 * [backup-simplify]: Simplify 1 into 1
7.203 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.203 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.204 * [backup-simplify]: Simplify (+ 0 0) into 0
7.205 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
7.205 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
7.205 * [taylor]: Taking taylor expansion of 0 in y
7.205 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.206 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.206 * [taylor]: Taking taylor expansion of 0 in t
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.206 * [taylor]: Taking taylor expansion of 0 in t
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 0 into 0
7.207 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.207 * [backup-simplify]: Simplify 0.5 into 0.5
7.208 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.208 * [backup-simplify]: Simplify 0.5 into 0.5
7.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.209 * [backup-simplify]: Simplify (+ 0 0) into 0
7.210 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
7.210 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
7.210 * [taylor]: Taking taylor expansion of 0 in y
7.210 * [backup-simplify]: Simplify 0 into 0
7.210 * [taylor]: Taking taylor expansion of 0 in t
7.210 * [backup-simplify]: Simplify 0 into 0
7.210 * [backup-simplify]: Simplify 0 into 0
7.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.212 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.212 * [taylor]: Taking taylor expansion of 0 in t
7.212 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.212 * [taylor]: Taking taylor expansion of 0 in t
7.212 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.213 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x)))))) (* 0.5 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
7.213 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.214 * [backup-simplify]: Simplify (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
7.214 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in (x y t z) around 0
7.214 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in z
7.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in z
7.214 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in z
7.214 * [taylor]: Taking taylor expansion of 0.5 in z
7.214 * [backup-simplify]: Simplify 0.5 into 0.5
7.214 * [taylor]: Taking taylor expansion of (/ y t) in z
7.214 * [taylor]: Taking taylor expansion of y in z
7.214 * [backup-simplify]: Simplify y into y
7.214 * [taylor]: Taking taylor expansion of t in z
7.214 * [backup-simplify]: Simplify t into t
7.214 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.214 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in z
7.214 * [taylor]: Taking taylor expansion of 0.5 in z
7.214 * [backup-simplify]: Simplify 0.5 into 0.5
7.214 * [taylor]: Taking taylor expansion of (/ x t) in z
7.214 * [taylor]: Taking taylor expansion of x in z
7.214 * [backup-simplify]: Simplify x into x
7.214 * [taylor]: Taking taylor expansion of t in z
7.214 * [backup-simplify]: Simplify t into t
7.214 * [backup-simplify]: Simplify (/ x t) into (/ x t)
7.214 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z
7.214 * [taylor]: Taking taylor expansion of 0.5 in z
7.214 * [backup-simplify]: Simplify 0.5 into 0.5
7.214 * [taylor]: Taking taylor expansion of (/ z t) in z
7.214 * [taylor]: Taking taylor expansion of z in z
7.214 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify 1 into 1
7.214 * [taylor]: Taking taylor expansion of t in z
7.214 * [backup-simplify]: Simplify t into t
7.214 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.214 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in t
7.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in t
7.214 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in t
7.214 * [taylor]: Taking taylor expansion of 0.5 in t
7.214 * [backup-simplify]: Simplify 0.5 into 0.5
7.214 * [taylor]: Taking taylor expansion of (/ y t) in t
7.214 * [taylor]: Taking taylor expansion of y in t
7.214 * [backup-simplify]: Simplify y into y
7.214 * [taylor]: Taking taylor expansion of t in t
7.214 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify 1 into 1
7.214 * [backup-simplify]: Simplify (/ y 1) into y
7.214 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in t
7.214 * [taylor]: Taking taylor expansion of 0.5 in t
7.214 * [backup-simplify]: Simplify 0.5 into 0.5
7.214 * [taylor]: Taking taylor expansion of (/ x t) in t
7.214 * [taylor]: Taking taylor expansion of x in t
7.215 * [backup-simplify]: Simplify x into x
7.215 * [taylor]: Taking taylor expansion of t in t
7.215 * [backup-simplify]: Simplify 0 into 0
7.215 * [backup-simplify]: Simplify 1 into 1
7.215 * [backup-simplify]: Simplify (/ x 1) into x
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
7.215 * [taylor]: Taking taylor expansion of 0.5 in t
7.215 * [backup-simplify]: Simplify 0.5 into 0.5
7.215 * [taylor]: Taking taylor expansion of (/ z t) in t
7.215 * [taylor]: Taking taylor expansion of z in t
7.215 * [backup-simplify]: Simplify z into z
7.215 * [taylor]: Taking taylor expansion of t in t
7.215 * [backup-simplify]: Simplify 0 into 0
7.215 * [backup-simplify]: Simplify 1 into 1
7.215 * [backup-simplify]: Simplify (/ z 1) into z
7.215 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in y
7.215 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in y
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
7.215 * [taylor]: Taking taylor expansion of 0.5 in y
7.215 * [backup-simplify]: Simplify 0.5 into 0.5
7.215 * [taylor]: Taking taylor expansion of (/ y t) in y
7.215 * [taylor]: Taking taylor expansion of y in y
7.215 * [backup-simplify]: Simplify 0 into 0
7.215 * [backup-simplify]: Simplify 1 into 1
7.215 * [taylor]: Taking taylor expansion of t in y
7.215 * [backup-simplify]: Simplify t into t
7.215 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in y
7.215 * [taylor]: Taking taylor expansion of 0.5 in y
7.215 * [backup-simplify]: Simplify 0.5 into 0.5
7.215 * [taylor]: Taking taylor expansion of (/ x t) in y
7.215 * [taylor]: Taking taylor expansion of x in y
7.215 * [backup-simplify]: Simplify x into x
7.215 * [taylor]: Taking taylor expansion of t in y
7.215 * [backup-simplify]: Simplify t into t
7.215 * [backup-simplify]: Simplify (/ x t) into (/ x t)
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
7.215 * [taylor]: Taking taylor expansion of 0.5 in y
7.215 * [backup-simplify]: Simplify 0.5 into 0.5
7.215 * [taylor]: Taking taylor expansion of (/ z t) in y
7.215 * [taylor]: Taking taylor expansion of z in y
7.215 * [backup-simplify]: Simplify z into z
7.215 * [taylor]: Taking taylor expansion of t in y
7.215 * [backup-simplify]: Simplify t into t
7.215 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.215 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in x
7.215 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in x
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
7.215 * [taylor]: Taking taylor expansion of 0.5 in x
7.215 * [backup-simplify]: Simplify 0.5 into 0.5
7.215 * [taylor]: Taking taylor expansion of (/ y t) in x
7.215 * [taylor]: Taking taylor expansion of y in x
7.215 * [backup-simplify]: Simplify y into y
7.215 * [taylor]: Taking taylor expansion of t in x
7.215 * [backup-simplify]: Simplify t into t
7.215 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
7.216 * [taylor]: Taking taylor expansion of 0.5 in x
7.216 * [backup-simplify]: Simplify 0.5 into 0.5
7.216 * [taylor]: Taking taylor expansion of (/ x t) in x
7.216 * [taylor]: Taking taylor expansion of x in x
7.216 * [backup-simplify]: Simplify 0 into 0
7.216 * [backup-simplify]: Simplify 1 into 1
7.216 * [taylor]: Taking taylor expansion of t in x
7.216 * [backup-simplify]: Simplify t into t
7.216 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.216 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
7.216 * [taylor]: Taking taylor expansion of 0.5 in x
7.216 * [backup-simplify]: Simplify 0.5 into 0.5
7.216 * [taylor]: Taking taylor expansion of (/ z t) in x
7.216 * [taylor]: Taking taylor expansion of z in x
7.216 * [backup-simplify]: Simplify z into z
7.216 * [taylor]: Taking taylor expansion of t in x
7.216 * [backup-simplify]: Simplify t into t
7.216 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.216 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) in x
7.216 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) in x
7.216 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
7.216 * [taylor]: Taking taylor expansion of 0.5 in x
7.216 * [backup-simplify]: Simplify 0.5 into 0.5
7.216 * [taylor]: Taking taylor expansion of (/ y t) in x
7.216 * [taylor]: Taking taylor expansion of y in x
7.216 * [backup-simplify]: Simplify y into y
7.216 * [taylor]: Taking taylor expansion of t in x
7.216 * [backup-simplify]: Simplify t into t
7.216 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.216 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
7.216 * [taylor]: Taking taylor expansion of 0.5 in x
7.216 * [backup-simplify]: Simplify 0.5 into 0.5
7.216 * [taylor]: Taking taylor expansion of (/ x t) in x
7.216 * [taylor]: Taking taylor expansion of x in x
7.216 * [backup-simplify]: Simplify 0 into 0
7.216 * [backup-simplify]: Simplify 1 into 1
7.216 * [taylor]: Taking taylor expansion of t in x
7.216 * [backup-simplify]: Simplify t into t
7.216 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.216 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
7.216 * [taylor]: Taking taylor expansion of 0.5 in x
7.216 * [backup-simplify]: Simplify 0.5 into 0.5
7.216 * [taylor]: Taking taylor expansion of (/ z t) in x
7.216 * [taylor]: Taking taylor expansion of z in x
7.216 * [backup-simplify]: Simplify z into z
7.216 * [taylor]: Taking taylor expansion of t in x
7.216 * [backup-simplify]: Simplify t into t
7.216 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.216 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
7.216 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) 0) into (* 0.5 (/ y t))
7.217 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
7.217 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
7.217 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ y t)) (* 0.5 (/ z t)))
7.217 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ y t)) (* 0.5 (/ z t))) in y
7.217 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
7.217 * [taylor]: Taking taylor expansion of 0.5 in y
7.217 * [backup-simplify]: Simplify 0.5 into 0.5
7.217 * [taylor]: Taking taylor expansion of (/ y t) in y
7.217 * [taylor]: Taking taylor expansion of y in y
7.217 * [backup-simplify]: Simplify 0 into 0
7.217 * [backup-simplify]: Simplify 1 into 1
7.217 * [taylor]: Taking taylor expansion of t in y
7.217 * [backup-simplify]: Simplify t into t
7.217 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.217 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
7.217 * [taylor]: Taking taylor expansion of 0.5 in y
7.217 * [backup-simplify]: Simplify 0.5 into 0.5
7.217 * [taylor]: Taking taylor expansion of (/ z t) in y
7.217 * [taylor]: Taking taylor expansion of z in y
7.217 * [backup-simplify]: Simplify z into z
7.217 * [taylor]: Taking taylor expansion of t in y
7.217 * [backup-simplify]: Simplify t into t
7.217 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.217 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
7.217 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
7.217 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ z t)))
7.217 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z t))) in t
7.217 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
7.217 * [taylor]: Taking taylor expansion of 0.5 in t
7.217 * [backup-simplify]: Simplify 0.5 into 0.5
7.217 * [taylor]: Taking taylor expansion of (/ z t) in t
7.217 * [taylor]: Taking taylor expansion of z in t
7.217 * [backup-simplify]: Simplify z into z
7.217 * [taylor]: Taking taylor expansion of t in t
7.217 * [backup-simplify]: Simplify 0 into 0
7.217 * [backup-simplify]: Simplify 1 into 1
7.218 * [backup-simplify]: Simplify (/ z 1) into z
7.218 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
7.218 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
7.218 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
7.218 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
7.218 * [taylor]: Taking taylor expansion of 0.5 in z
7.218 * [backup-simplify]: Simplify 0.5 into 0.5
7.218 * [taylor]: Taking taylor expansion of z in z
7.218 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify 1 into 1
7.218 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.218 * [backup-simplify]: Simplify (- 0) into 0
7.218 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
7.219 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ y t))) into 0
7.219 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
7.219 * [backup-simplify]: Simplify (+ 0 (/ 0.5 t)) into (* 0.5 (/ 1 t))
7.219 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.219 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
7.219 * [backup-simplify]: Simplify (- 0) into 0
7.220 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) 0) into (* 0.5 (/ 1 t))
7.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
7.220 * [taylor]: Taking taylor expansion of 0.5 in y
7.220 * [backup-simplify]: Simplify 0.5 into 0.5
7.220 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.220 * [taylor]: Taking taylor expansion of t in y
7.220 * [backup-simplify]: Simplify t into t
7.220 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.220 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
7.220 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
7.220 * [taylor]: Taking taylor expansion of 0.5 in t
7.220 * [backup-simplify]: Simplify 0.5 into 0.5
7.220 * [taylor]: Taking taylor expansion of t in t
7.220 * [backup-simplify]: Simplify 0 into 0
7.220 * [backup-simplify]: Simplify 1 into 1
7.220 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
7.220 * [taylor]: Taking taylor expansion of 0.5 in z
7.220 * [backup-simplify]: Simplify 0.5 into 0.5
7.220 * [backup-simplify]: Simplify 0.5 into 0.5
7.220 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
7.220 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.221 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
7.221 * [backup-simplify]: Simplify (- 0) into 0
7.221 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
7.221 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
7.221 * [taylor]: Taking taylor expansion of 0.5 in t
7.221 * [backup-simplify]: Simplify 0.5 into 0.5
7.221 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.221 * [taylor]: Taking taylor expansion of t in t
7.221 * [backup-simplify]: Simplify 0 into 0
7.221 * [backup-simplify]: Simplify 1 into 1
7.221 * [backup-simplify]: Simplify (/ 1 1) into 1
7.222 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.222 * [taylor]: Taking taylor expansion of 0.5 in z
7.222 * [backup-simplify]: Simplify 0.5 into 0.5
7.222 * [backup-simplify]: Simplify 0.5 into 0.5
7.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
7.222 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
7.223 * [backup-simplify]: Simplify (- 0) into 0
7.223 * [taylor]: Taking taylor expansion of 0 in z
7.223 * [backup-simplify]: Simplify 0 into 0
7.223 * [backup-simplify]: Simplify 0 into 0
7.224 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.224 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.224 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.225 * [backup-simplify]: Simplify (+ (* (- 0.5) (* z (* (/ 1 t) (* 1 1)))) (+ (* 0.5 (* 1 (* (/ 1 t) (* y 1)))) (* 0.5 (* 1 (* (/ 1 t) (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
7.225 * [backup-simplify]: Simplify (- (* (+ (/ 1 x) (/ 1 y)) (/ 1 (* (/ 1 t) 2.0))) (/ (/ 1 z) (* (/ 1 t) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
7.225 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
7.225 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
7.225 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
7.225 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
7.225 * [taylor]: Taking taylor expansion of 0.5 in z
7.225 * [backup-simplify]: Simplify 0.5 into 0.5
7.225 * [taylor]: Taking taylor expansion of (/ t y) in z
7.225 * [taylor]: Taking taylor expansion of t in z
7.225 * [backup-simplify]: Simplify t into t
7.225 * [taylor]: Taking taylor expansion of y in z
7.225 * [backup-simplify]: Simplify y into y
7.225 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.225 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
7.225 * [taylor]: Taking taylor expansion of 0.5 in z
7.225 * [backup-simplify]: Simplify 0.5 into 0.5
7.225 * [taylor]: Taking taylor expansion of (/ t x) in z
7.225 * [taylor]: Taking taylor expansion of t in z
7.225 * [backup-simplify]: Simplify t into t
7.225 * [taylor]: Taking taylor expansion of x in z
7.225 * [backup-simplify]: Simplify x into x
7.226 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
7.226 * [taylor]: Taking taylor expansion of 0.5 in z
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.226 * [taylor]: Taking taylor expansion of (/ t z) in z
7.226 * [taylor]: Taking taylor expansion of t in z
7.226 * [backup-simplify]: Simplify t into t
7.226 * [taylor]: Taking taylor expansion of z in z
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [backup-simplify]: Simplify (/ t 1) into t
7.226 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
7.226 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
7.226 * [taylor]: Taking taylor expansion of 0.5 in t
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.226 * [taylor]: Taking taylor expansion of (/ t y) in t
7.226 * [taylor]: Taking taylor expansion of t in t
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [taylor]: Taking taylor expansion of y in t
7.226 * [backup-simplify]: Simplify y into y
7.226 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
7.226 * [taylor]: Taking taylor expansion of 0.5 in t
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.226 * [taylor]: Taking taylor expansion of (/ t x) in t
7.226 * [taylor]: Taking taylor expansion of t in t
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [taylor]: Taking taylor expansion of x in t
7.226 * [backup-simplify]: Simplify x into x
7.226 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
7.226 * [taylor]: Taking taylor expansion of 0.5 in t
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.226 * [taylor]: Taking taylor expansion of (/ t z) in t
7.226 * [taylor]: Taking taylor expansion of t in t
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [taylor]: Taking taylor expansion of z in t
7.226 * [backup-simplify]: Simplify z into z
7.226 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.226 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
7.226 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.226 * [taylor]: Taking taylor expansion of 0.5 in y
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.226 * [taylor]: Taking taylor expansion of (/ t y) in y
7.226 * [taylor]: Taking taylor expansion of t in y
7.226 * [backup-simplify]: Simplify t into t
7.226 * [taylor]: Taking taylor expansion of y in y
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [backup-simplify]: Simplify (/ t 1) into t
7.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
7.226 * [taylor]: Taking taylor expansion of 0.5 in y
7.226 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t x) in y
7.227 * [taylor]: Taking taylor expansion of t in y
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of x in y
7.227 * [backup-simplify]: Simplify x into x
7.227 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
7.227 * [taylor]: Taking taylor expansion of 0.5 in y
7.227 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t z) in y
7.227 * [taylor]: Taking taylor expansion of t in y
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of z in y
7.227 * [backup-simplify]: Simplify z into z
7.227 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.227 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
7.227 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
7.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
7.227 * [taylor]: Taking taylor expansion of 0.5 in x
7.227 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t y) in x
7.227 * [taylor]: Taking taylor expansion of t in x
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of y in x
7.227 * [backup-simplify]: Simplify y into y
7.227 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
7.227 * [taylor]: Taking taylor expansion of 0.5 in x
7.227 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t x) in x
7.227 * [taylor]: Taking taylor expansion of t in x
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of x in x
7.227 * [backup-simplify]: Simplify 0 into 0
7.227 * [backup-simplify]: Simplify 1 into 1
7.227 * [backup-simplify]: Simplify (/ t 1) into t
7.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
7.227 * [taylor]: Taking taylor expansion of 0.5 in x
7.227 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t z) in x
7.227 * [taylor]: Taking taylor expansion of t in x
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of z in x
7.227 * [backup-simplify]: Simplify z into z
7.227 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.227 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
7.227 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
7.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
7.227 * [taylor]: Taking taylor expansion of 0.5 in x
7.227 * [backup-simplify]: Simplify 0.5 into 0.5
7.227 * [taylor]: Taking taylor expansion of (/ t y) in x
7.227 * [taylor]: Taking taylor expansion of t in x
7.227 * [backup-simplify]: Simplify t into t
7.227 * [taylor]: Taking taylor expansion of y in x
7.227 * [backup-simplify]: Simplify y into y
7.227 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
7.228 * [taylor]: Taking taylor expansion of 0.5 in x
7.228 * [backup-simplify]: Simplify 0.5 into 0.5
7.228 * [taylor]: Taking taylor expansion of (/ t x) in x
7.228 * [taylor]: Taking taylor expansion of t in x
7.228 * [backup-simplify]: Simplify t into t
7.228 * [taylor]: Taking taylor expansion of x in x
7.228 * [backup-simplify]: Simplify 0 into 0
7.228 * [backup-simplify]: Simplify 1 into 1
7.228 * [backup-simplify]: Simplify (/ t 1) into t
7.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
7.228 * [taylor]: Taking taylor expansion of 0.5 in x
7.228 * [backup-simplify]: Simplify 0.5 into 0.5
7.228 * [taylor]: Taking taylor expansion of (/ t z) in x
7.228 * [taylor]: Taking taylor expansion of t in x
7.228 * [backup-simplify]: Simplify t into t
7.228 * [taylor]: Taking taylor expansion of z in x
7.228 * [backup-simplify]: Simplify z into z
7.228 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.228 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.228 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
7.228 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
7.228 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
7.228 * [taylor]: Taking taylor expansion of 0.5 in y
7.228 * [backup-simplify]: Simplify 0.5 into 0.5
7.228 * [taylor]: Taking taylor expansion of t in y
7.228 * [backup-simplify]: Simplify t into t
7.228 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
7.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.229 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.229 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
7.229 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
7.229 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
7.229 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
7.229 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
7.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.229 * [taylor]: Taking taylor expansion of 0.5 in y
7.229 * [backup-simplify]: Simplify 0.5 into 0.5
7.229 * [taylor]: Taking taylor expansion of (/ t y) in y
7.229 * [taylor]: Taking taylor expansion of t in y
7.229 * [backup-simplify]: Simplify t into t
7.230 * [taylor]: Taking taylor expansion of y in y
7.230 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify 1 into 1
7.230 * [backup-simplify]: Simplify (/ t 1) into t
7.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
7.230 * [taylor]: Taking taylor expansion of 0.5 in y
7.230 * [backup-simplify]: Simplify 0.5 into 0.5
7.230 * [taylor]: Taking taylor expansion of (/ t z) in y
7.230 * [taylor]: Taking taylor expansion of t in y
7.230 * [backup-simplify]: Simplify t into t
7.230 * [taylor]: Taking taylor expansion of z in y
7.230 * [backup-simplify]: Simplify z into z
7.230 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.230 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.230 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
7.230 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.230 * [taylor]: Taking taylor expansion of 0.5 in t
7.230 * [backup-simplify]: Simplify 0.5 into 0.5
7.230 * [taylor]: Taking taylor expansion of t in t
7.230 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify 1 into 1
7.231 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.231 * [taylor]: Taking taylor expansion of 0.5 in z
7.231 * [backup-simplify]: Simplify 0.5 into 0.5
7.231 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.231 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.231 * [taylor]: Taking taylor expansion of 0.5 in t
7.231 * [backup-simplify]: Simplify 0.5 into 0.5
7.231 * [taylor]: Taking taylor expansion of t in t
7.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify 1 into 1
7.232 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.232 * [taylor]: Taking taylor expansion of 0.5 in z
7.232 * [backup-simplify]: Simplify 0.5 into 0.5
7.232 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
7.232 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
7.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.234 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.234 * [backup-simplify]: Simplify (+ 0 0) into 0
7.234 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.234 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
7.235 * [backup-simplify]: Simplify (- 0) into 0
7.235 * [backup-simplify]: Simplify (+ 0 0) into 0
7.235 * [taylor]: Taking taylor expansion of 0 in y
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.236 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.236 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
7.236 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
7.236 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
7.236 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
7.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
7.236 * [taylor]: Taking taylor expansion of 0.5 in t
7.236 * [backup-simplify]: Simplify 0.5 into 0.5
7.236 * [taylor]: Taking taylor expansion of (/ t z) in t
7.236 * [taylor]: Taking taylor expansion of t in t
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [taylor]: Taking taylor expansion of z in t
7.236 * [backup-simplify]: Simplify z into z
7.236 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.236 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
7.236 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
7.236 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
7.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
7.236 * [taylor]: Taking taylor expansion of 0.5 in z
7.236 * [backup-simplify]: Simplify 0.5 into 0.5
7.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.236 * [taylor]: Taking taylor expansion of z in z
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (/ 1 1) into 1
7.237 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.237 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.237 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.238 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.238 * [taylor]: Taking taylor expansion of 0 in t
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [taylor]: Taking taylor expansion of 0 in z
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.238 * [taylor]: Taking taylor expansion of 0 in z
7.238 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.239 * [taylor]: Taking taylor expansion of 0 in z
7.239 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify 0.5 into 0.5
7.239 * [backup-simplify]: Simplify 0.5 into 0.5
7.240 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 t) (* 1 (/ 1 (/ 1 x)))))) (+ (* 0.5 (* 1 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 1)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
7.240 * [backup-simplify]: Simplify (- (* (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (* (/ 1 (- t)) 2.0))) (/ (/ 1 (- z)) (* (/ 1 (- t)) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
7.240 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
7.240 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
7.240 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
7.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
7.240 * [taylor]: Taking taylor expansion of 0.5 in z
7.240 * [backup-simplify]: Simplify 0.5 into 0.5
7.240 * [taylor]: Taking taylor expansion of (/ t y) in z
7.240 * [taylor]: Taking taylor expansion of t in z
7.240 * [backup-simplify]: Simplify t into t
7.240 * [taylor]: Taking taylor expansion of y in z
7.240 * [backup-simplify]: Simplify y into y
7.240 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
7.241 * [taylor]: Taking taylor expansion of 0.5 in z
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t x) in z
7.241 * [taylor]: Taking taylor expansion of t in z
7.241 * [backup-simplify]: Simplify t into t
7.241 * [taylor]: Taking taylor expansion of x in z
7.241 * [backup-simplify]: Simplify x into x
7.241 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
7.241 * [taylor]: Taking taylor expansion of 0.5 in z
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t z) in z
7.241 * [taylor]: Taking taylor expansion of t in z
7.241 * [backup-simplify]: Simplify t into t
7.241 * [taylor]: Taking taylor expansion of z in z
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [backup-simplify]: Simplify (/ t 1) into t
7.241 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
7.241 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
7.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
7.241 * [taylor]: Taking taylor expansion of 0.5 in t
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t y) in t
7.241 * [taylor]: Taking taylor expansion of t in t
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [taylor]: Taking taylor expansion of y in t
7.241 * [backup-simplify]: Simplify y into y
7.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
7.241 * [taylor]: Taking taylor expansion of 0.5 in t
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t x) in t
7.241 * [taylor]: Taking taylor expansion of t in t
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [taylor]: Taking taylor expansion of x in t
7.241 * [backup-simplify]: Simplify x into x
7.241 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
7.241 * [taylor]: Taking taylor expansion of 0.5 in t
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t z) in t
7.241 * [taylor]: Taking taylor expansion of t in t
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [taylor]: Taking taylor expansion of z in t
7.241 * [backup-simplify]: Simplify z into z
7.241 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.241 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
7.241 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
7.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.241 * [taylor]: Taking taylor expansion of 0.5 in y
7.241 * [backup-simplify]: Simplify 0.5 into 0.5
7.241 * [taylor]: Taking taylor expansion of (/ t y) in y
7.241 * [taylor]: Taking taylor expansion of t in y
7.241 * [backup-simplify]: Simplify t into t
7.241 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (/ t 1) into t
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
7.242 * [taylor]: Taking taylor expansion of 0.5 in y
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t x) in y
7.242 * [taylor]: Taking taylor expansion of t in y
7.242 * [backup-simplify]: Simplify t into t
7.242 * [taylor]: Taking taylor expansion of x in y
7.242 * [backup-simplify]: Simplify x into x
7.242 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
7.242 * [taylor]: Taking taylor expansion of 0.5 in y
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t z) in y
7.242 * [taylor]: Taking taylor expansion of t in y
7.242 * [backup-simplify]: Simplify t into t
7.242 * [taylor]: Taking taylor expansion of z in y
7.242 * [backup-simplify]: Simplify z into z
7.242 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.242 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
7.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
7.242 * [taylor]: Taking taylor expansion of 0.5 in x
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t y) in x
7.242 * [taylor]: Taking taylor expansion of t in x
7.242 * [backup-simplify]: Simplify t into t
7.242 * [taylor]: Taking taylor expansion of y in x
7.242 * [backup-simplify]: Simplify y into y
7.242 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
7.242 * [taylor]: Taking taylor expansion of 0.5 in x
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t x) in x
7.242 * [taylor]: Taking taylor expansion of t in x
7.242 * [backup-simplify]: Simplify t into t
7.242 * [taylor]: Taking taylor expansion of x in x
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (/ t 1) into t
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
7.242 * [taylor]: Taking taylor expansion of 0.5 in x
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t z) in x
7.242 * [taylor]: Taking taylor expansion of t in x
7.242 * [backup-simplify]: Simplify t into t
7.242 * [taylor]: Taking taylor expansion of z in x
7.242 * [backup-simplify]: Simplify z into z
7.242 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.242 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
7.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
7.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
7.242 * [taylor]: Taking taylor expansion of 0.5 in x
7.242 * [backup-simplify]: Simplify 0.5 into 0.5
7.242 * [taylor]: Taking taylor expansion of (/ t y) in x
7.243 * [taylor]: Taking taylor expansion of t in x
7.243 * [backup-simplify]: Simplify t into t
7.243 * [taylor]: Taking taylor expansion of y in x
7.243 * [backup-simplify]: Simplify y into y
7.243 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
7.243 * [taylor]: Taking taylor expansion of 0.5 in x
7.243 * [backup-simplify]: Simplify 0.5 into 0.5
7.243 * [taylor]: Taking taylor expansion of (/ t x) in x
7.243 * [taylor]: Taking taylor expansion of t in x
7.243 * [backup-simplify]: Simplify t into t
7.243 * [taylor]: Taking taylor expansion of x in x
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify (/ t 1) into t
7.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
7.243 * [taylor]: Taking taylor expansion of 0.5 in x
7.243 * [backup-simplify]: Simplify 0.5 into 0.5
7.243 * [taylor]: Taking taylor expansion of (/ t z) in x
7.243 * [taylor]: Taking taylor expansion of t in x
7.243 * [backup-simplify]: Simplify t into t
7.243 * [taylor]: Taking taylor expansion of z in x
7.243 * [backup-simplify]: Simplify z into z
7.243 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.243 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.243 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
7.243 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
7.243 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
7.243 * [taylor]: Taking taylor expansion of 0.5 in y
7.243 * [backup-simplify]: Simplify 0.5 into 0.5
7.243 * [taylor]: Taking taylor expansion of t in y
7.243 * [backup-simplify]: Simplify t into t
7.243 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
7.244 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.244 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.244 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
7.244 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
7.244 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
7.244 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
7.244 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
7.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
7.244 * [taylor]: Taking taylor expansion of 0.5 in y
7.245 * [backup-simplify]: Simplify 0.5 into 0.5
7.245 * [taylor]: Taking taylor expansion of (/ t y) in y
7.245 * [taylor]: Taking taylor expansion of t in y
7.245 * [backup-simplify]: Simplify t into t
7.245 * [taylor]: Taking taylor expansion of y in y
7.245 * [backup-simplify]: Simplify 0 into 0
7.245 * [backup-simplify]: Simplify 1 into 1
7.245 * [backup-simplify]: Simplify (/ t 1) into t
7.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
7.245 * [taylor]: Taking taylor expansion of 0.5 in y
7.245 * [backup-simplify]: Simplify 0.5 into 0.5
7.245 * [taylor]: Taking taylor expansion of (/ t z) in y
7.245 * [taylor]: Taking taylor expansion of t in y
7.245 * [backup-simplify]: Simplify t into t
7.245 * [taylor]: Taking taylor expansion of z in y
7.245 * [backup-simplify]: Simplify z into z
7.245 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.245 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.245 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
7.245 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.245 * [taylor]: Taking taylor expansion of 0.5 in t
7.245 * [backup-simplify]: Simplify 0.5 into 0.5
7.245 * [taylor]: Taking taylor expansion of t in t
7.245 * [backup-simplify]: Simplify 0 into 0
7.245 * [backup-simplify]: Simplify 1 into 1
7.246 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.246 * [taylor]: Taking taylor expansion of 0.5 in z
7.246 * [backup-simplify]: Simplify 0.5 into 0.5
7.246 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
7.246 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
7.246 * [taylor]: Taking taylor expansion of 0.5 in t
7.246 * [backup-simplify]: Simplify 0.5 into 0.5
7.246 * [taylor]: Taking taylor expansion of t in t
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.247 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.247 * [taylor]: Taking taylor expansion of 0.5 in z
7.247 * [backup-simplify]: Simplify 0.5 into 0.5
7.247 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
7.247 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
7.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.249 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
7.249 * [backup-simplify]: Simplify (+ 0 0) into 0
7.249 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.250 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
7.250 * [backup-simplify]: Simplify (- 0) into 0
7.250 * [backup-simplify]: Simplify (+ 0 0) into 0
7.250 * [taylor]: Taking taylor expansion of 0 in y
7.250 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.252 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.252 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
7.252 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
7.252 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
7.252 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
7.252 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
7.252 * [taylor]: Taking taylor expansion of 0.5 in t
7.252 * [backup-simplify]: Simplify 0.5 into 0.5
7.252 * [taylor]: Taking taylor expansion of (/ t z) in t
7.252 * [taylor]: Taking taylor expansion of t in t
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 1 into 1
7.252 * [taylor]: Taking taylor expansion of z in t
7.252 * [backup-simplify]: Simplify z into z
7.252 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.252 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
7.252 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
7.253 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
7.253 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
7.253 * [taylor]: Taking taylor expansion of 0.5 in z
7.253 * [backup-simplify]: Simplify 0.5 into 0.5
7.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.253 * [taylor]: Taking taylor expansion of z in z
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 1 into 1
7.253 * [backup-simplify]: Simplify (/ 1 1) into 1
7.253 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.254 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.254 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.255 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
7.255 * [taylor]: Taking taylor expansion of 0 in t
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [taylor]: Taking taylor expansion of 0 in z
7.255 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.256 * [taylor]: Taking taylor expansion of 0 in z
7.256 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.257 * [taylor]: Taking taylor expansion of 0 in z
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0.5 into 0.5
7.257 * [backup-simplify]: Simplify 0.5 into 0.5
7.258 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x))))))) (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 1)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
7.258 * * * [progress]: simplifying candidates
7.260 * [simplify]: Simplifying:
  (* (+ x y) (/ 1 (* t 2.0)))
  (+ (log (+ x y)) (- (+ (log t) (log 2.0))))
  (+ (log (+ x y)) (- (log (* t 2.0))))
  (+ (log (+ x y)) (- 0 (+ (log t) (log 2.0))))
  (+ (log (+ x y)) (- 0 (log (* t 2.0))))
  (+ (log (+ x y)) (- (log 1) (+ (log t) (log 2.0))))
  (+ (log (+ x y)) (- (log 1) (log (* t 2.0))))
  (+ (log (+ x y)) (log (/ 1 (* t 2.0))))
  (log (* (+ x y) (/ 1 (* t 2.0))))
  (exp (* (+ x y) (/ 1 (* t 2.0))))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (/ (* (* 1 1) 1) (* (* (* t t) t) (* (* 2.0 2.0) 2.0))))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (/ (* (* 1 1) 1) (* (* (* t 2.0) (* t 2.0)) (* t 2.0))))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (/ 1 (* t 2.0)) (/ 1 (* t 2.0))) (/ 1 (* t 2.0))))
  (* (cbrt (* (+ x y) (/ 1 (* t 2.0)))) (cbrt (* (+ x y) (/ 1 (* t 2.0)))))
  (cbrt (* (+ x y) (/ 1 (* t 2.0))))
  (* (* (* (+ x y) (/ 1 (* t 2.0))) (* (+ x y) (/ 1 (* t 2.0)))) (* (+ x y) (/ 1 (* t 2.0))))
  (sqrt (* (+ x y) (/ 1 (* t 2.0))))
  (sqrt (* (+ x y) (/ 1 (* t 2.0))))
  (* (+ (pow x 3) (pow y 3)) 1)
  (* (+ (* x x) (- (* y y) (* x y))) (* t 2.0))
  (* (- (* x x) (* y y)) 1)
  (* (- x y) (* t 2.0))
  (* (sqrt (+ x y)) (sqrt (/ 1 (* t 2.0))))
  (* (sqrt (+ x y)) (sqrt (/ 1 (* t 2.0))))
  (* (+ x y) (* (cbrt (/ 1 (* t 2.0))) (cbrt (/ 1 (* t 2.0)))))
  (* (+ x y) (sqrt (/ 1 (* t 2.0))))
  (* (+ x y) (/ (* (cbrt 1) (cbrt 1)) t))
  (* (+ x y) (/ (sqrt 1) t))
  (* (+ x y) (/ 1 t))
  (* (+ x y) 1)
  (* (+ x y) 1)
  (* (cbrt (+ x y)) (/ 1 (* t 2.0)))
  (* (sqrt (+ x y)) (/ 1 (* t 2.0)))
  (* (+ x y) (/ 1 (* t 2.0)))
  (* (+ x y) (/ 1 (* t 2.0)))
  (* (+ x y) 1)
  (* (+ (pow x 3) (pow y 3)) (/ 1 (* t 2.0)))
  (* (- (* x x) (* y y)) (/ 1 (* t 2.0)))
  (/ (exp (* (+ x y) (/ 1 (* t 2.0)))) (exp (/ z (* t 2.0))))
  (log (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (exp (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (* (cbrt (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0)))) (cbrt (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0)))))
  (cbrt (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (* (* (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0)))) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (sqrt (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (sqrt (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))
  (- (+ x y) z)
  (- (* (+ x y) 1) z)
  (- (* (* (+ (pow x 3) (pow y 3)) 1) (* t 2.0)) (* (* (+ (* x x) (- (* y y) (* x y))) (* t 2.0)) z))
  (* (* (+ (* x x) (- (* y y) (* x y))) (* t 2.0)) (* t 2.0))
  (- (* (* (- (* x x) (* y y)) 1) (* t 2.0)) (* (* (- x y) (* t 2.0)) z))
  (* (* (- x y) (* t 2.0)) (* t 2.0))
  (- (* (+ x y) (* t 2.0)) (* (* t 2.0) z))
  (* (* t 2.0) (* t 2.0))
  (- (* (* (+ x y) 1) (* t 2.0)) (* (* t 2.0) z))
  (* (* t 2.0) (* t 2.0))
  (- (* (* (+ (pow x 3) (pow y 3)) (/ 1 (* t 2.0))) (* t 2.0)) (* (+ (* x x) (- (* y y) (* x y))) z))
  (* (+ (* x x) (- (* y y) (* x y))) (* t 2.0))
  (- (* (* (- (* x x) (* y y)) (/ 1 (* t 2.0))) (* t 2.0)) (* (- x y) z))
  (* (- x y) (* t 2.0))
  (- (pow (* (+ x y) (/ 1 (* t 2.0))) 3) (pow (/ z (* t 2.0)) 3))
  (+ (* (* (+ x y) (/ 1 (* t 2.0))) (* (+ x y) (/ 1 (* t 2.0)))) (+ (* (/ z (* t 2.0)) (/ z (* t 2.0))) (* (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0)))))
  (- (/ z (* t 2.0)))
  (- (* (* (+ x y) (/ 1 (* t 2.0))) (* (+ x y) (/ 1 (* t 2.0)))) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0)))
  (- (+ x y) z)
  (- (/ z (* t 2.0)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
7.262 * * [simplify]: iteration 0: 144 enodes
7.318 * * [simplify]: iteration 1: 416 enodes
7.490 * * [simplify]: iteration 2: 1583 enodes
8.373 * * [simplify]: iteration complete: 5002 enodes
8.373 * * [simplify]: Extracting #0: cost 42 inf + 0
8.375 * * [simplify]: Extracting #1: cost 723 inf + 0
8.381 * * [simplify]: Extracting #2: cost 1502 inf + 4462
8.404 * * [simplify]: Extracting #3: cost 1176 inf + 79875
8.471 * * [simplify]: Extracting #4: cost 297 inf + 245798
8.578 * * [simplify]: Extracting #5: cost 40 inf + 304413
8.657 * * [simplify]: Extracting #6: cost 3 inf + 310077
8.753 * * [simplify]: Extracting #7: cost 0 inf + 310051
8.846 * [simplify]: Simplified to:
  (/ (/ (+ y x) 2.0) t)
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (log (/ (/ (+ y x) 2.0) t))
  (exp (/ (/ (+ y x) 2.0) t))
  (* (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (/ (/ (+ y x) 2.0) t))
  (* (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (/ (/ (+ y x) 2.0) t))
  (* (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (/ (/ (+ y x) 2.0) t))
  (* (cbrt (/ (/ (+ y x) 2.0) t)) (cbrt (/ (/ (+ y x) 2.0) t)))
  (cbrt (/ (/ (+ y x) 2.0) t))
  (* (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (/ (/ (+ y x) 2.0) t))
  (sqrt (/ (/ (+ y x) 2.0) t))
  (sqrt (/ (/ (+ y x) 2.0) t))
  (+ (* (* x x) x) (* (* y y) y))
  (* 2.0 (* (+ (* x x) (* (- y x) y)) t))
  (- (* x x) (* y y))
  (* (* (- x y) 2.0) t)
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (+ y x)))
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (+ y x)))
  (* (* (cbrt (/ 1 (* t 2.0))) (cbrt (/ 1 (* t 2.0)))) (+ y x))
  (* (sqrt (/ 1 (* t 2.0))) (+ y x))
  (/ (+ y x) t)
  (/ (+ y x) t)
  (/ (+ y x) t)
  (+ y x)
  (+ y x)
  (/ (/ (cbrt (+ y x)) 2.0) t)
  (/ (sqrt (+ y x)) (* t 2.0))
  (/ (/ (+ y x) 2.0) t)
  (/ (/ (+ y x) 2.0) t)
  (+ y x)
  (/ (+ (* (* x x) x) (* (* y y) y)) (* t 2.0))
  (/ (- (* x x) (* y y)) (* t 2.0))
  (exp (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (log (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (exp (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (* (cbrt (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0)))) (cbrt (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0)))))
  (cbrt (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (* (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))) (* (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))) (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0)))))
  (sqrt (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (sqrt (- (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0))))
  (- (+ y x) z)
  (- (+ y x) z)
  (- (* (+ (* (* x x) x) (* (* y y) y)) (* t 2.0)) (* (* t 2.0) (* (+ (* x x) (* (- y x) y)) z)))
  (* (+ (* x x) (* (- y x) y)) (* (* t 2.0) (* t 2.0)))
  (+ (* (* (- (* t 2.0)) z) (- x y)) (* (- (* x x) (* y y)) (* t 2.0)))
  (* (- x y) (* (* t 2.0) (* t 2.0)))
  (* (* t 2.0) (- (+ y x) z))
  (* (* t 2.0) (* t 2.0))
  (* (* t 2.0) (- (+ y x) z))
  (* (* t 2.0) (* t 2.0))
  (- (+ (* (* x x) x) (* (* y y) y)) (* (- (+ (* x x) (* y y)) (* x y)) z))
  (* 2.0 (* (+ (* x x) (* (- y x) y)) t))
  (- (- (* x x) (* y y)) (* (- x y) z))
  (* (* (- x y) 2.0) t)
  (- (* (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (/ (/ (+ y x) 2.0) t)) (* (* (/ z (* t 2.0)) (/ z (* t 2.0))) (/ z (* t 2.0))))
  (+ (* (/ z (* t 2.0)) (/ z (* t 2.0))) (* (/ (/ (+ y x) 2.0) t) (+ (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0)))))
  (/ (- z) (* t 2.0))
  (- (* (/ (/ (+ y x) 2.0) t) (/ (/ (+ y x) 2.0) t)) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (/ (/ (+ y x) 2.0) t) (/ z (* t 2.0)))
  (- (+ y x) z)
  (/ (- z) (* t 2.0))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
8.850 * * * [progress]: adding candidates to table
9.143 * [progress]: [Phase 3 of 3] Extracting.
9.143 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.143 * * * [regime-changes]: Trying 8 branch expressions: ((* t 2.0) (+ x y) (- (+ x y) z) (/ (- (+ x y) z) (* t 2.0)) t z y x)
9.144 * * * * [regimes]: Trying to branch on (* t 2.0) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.216 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.264 * * * * [regimes]: Trying to branch on (- (+ x y) z) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.307 * * * * [regimes]: Trying to branch on (/ (- (+ x y) z) (* t 2.0)) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.355 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.423 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.465 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.506 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (- (* (+ x y) (/ 1 (* t 2.0))) (/ z (* t 2.0))))>)
9.548 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.548 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
9.548 * * [simplify]: iteration 0: 9 enodes
9.549 * * [simplify]: iteration 1: 11 enodes
9.549 * * [simplify]: iteration complete: 11 enodes
9.549 * * [simplify]: Extracting #0: cost 1 inf + 0
9.549 * * [simplify]: Extracting #1: cost 3 inf + 0
9.549 * * [simplify]: Extracting #2: cost 7 inf + 0
9.549 * * [simplify]: Extracting #3: cost 5 inf + 45
9.549 * * [simplify]: Extracting #4: cost 3 inf + 47
9.549 * * [simplify]: Extracting #5: cost 0 inf + 337
9.549 * [simplify]: Simplified to:
  (/ (- (+ y x) z) (* t 2.0))
11.497 * [regime-testing]: Baseline error score: 0.05834191426347464
11.514 * [regime-testing]: Oracle error score: 0.046340414075951186
11.541 * [regime-testing]: End program error score: 0.05834191426347464