22.623 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.131 * * * [progress]: [2/2] Setting up program.
0.137 * [progress]: [Phase 2 of 3] Improving.
0.137 * [simplify]: Simplifying:
  (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.138 * * [simplify]: Extracting # 0 : cost  0
0.138 * * [simplify]: Extracting # 1 : cost  0
0.138 * * [simplify]: Extracting # 2 : cost  0
0.138 * * [simplify]: Extracting # 3 : cost  0
0.138 * * [simplify]: Extracting # 4 : cost  0
0.138 * * [simplify]: Extracting # 5 : cost  0
0.138 * * [simplify]: Extracting # 6 : cost  0
0.138 * * [simplify]: Extracting # 7 : cost  0
0.138 * * [simplify]: iteration  0 :  15  enodes  (cost  16 )
0.143 * * [simplify]: Extracting # 0 : cost  0
0.143 * * [simplify]: Extracting # 1 : cost  0
0.143 * * [simplify]: Extracting # 2 : cost  0
0.143 * * [simplify]: iteration  1 :  30  enodes  (cost  16 )
0.155 * * [simplify]: Extracting # 0 : cost  0
0.155 * * [simplify]: Extracting # 1 : cost  0
0.155 * * [simplify]: Extracting # 2 : cost  0
0.155 * * [simplify]: iteration  2 :  88  enodes  (cost  15 )
0.213 * * [simplify]: Extracting # 0 : cost  0
0.213 * * [simplify]: Extracting # 1 : cost  0
0.213 * * [simplify]: Extracting # 2 : cost  0
0.213 * * [simplify]: Extracting # 3 : cost  0
0.214 * * [simplify]: Extracting # 4 : cost  0
0.214 * * [simplify]: iteration  3 :  276  enodes  (cost  15 )
0.400 * * [simplify]: Extracting # 0 : cost  0
0.401 * * [simplify]: Extracting # 1 : cost  0
0.401 * * [simplify]: Extracting # 2 : cost  0
0.402 * * [simplify]: iteration  4 :  776  enodes  (cost  15 )
1.672 * * [simplify]: Extracting # 0 : cost  0
1.677 * * [simplify]: Extracting # 1 : cost  0
1.681 * * [simplify]: Extracting # 2 : cost  0
1.684 * * [simplify]: Extracting # 3 : cost  0
1.687 * * [simplify]: iteration  5 :  2106  enodes  (cost  14 )
7.525 * * [simplify]: Extracting # 0 : cost  0
7.535 * * [simplify]: Extracting # 1 : cost  0
7.542 * * [simplify]: Extracting # 2 : cost  0
7.548 * * [simplify]: iteration  6 :  4827  enodes  (cost  14 )
8.462 * * [simplify]: Extracting # 0 : cost  0
8.465 * * [simplify]: Extracting # 1 : cost  0
8.468 * * [simplify]: iteration done:  5000  enodes  (cost  14 )
8.468 * [simplify]: Simplified to:
  (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))
8.481 * * [progress]: iteration 1 / 4
8.482 * * * [progress]: picking best candidate
8.492 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))))>
8.492 * * * [progress]: localizing error
8.522 * * * [progress]: generating rewritten candidates
8.522 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.523 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
8.543 * * * [progress]: generating series expansions
8.544 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.544 * [backup-simplify]: Simplify (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) into (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))
8.544 * [approximate]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in (z t a b x y) around 0
8.544 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in y
8.544 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.544 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in y
8.544 * [taylor]: Taking taylor expansion of z in y
8.544 * [backup-simplify]: Simplify z into z
8.544 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y
8.544 * [taylor]: Taking taylor expansion of 1 in y
8.544 * [backup-simplify]: Simplify 1 into 1
8.544 * [taylor]: Taking taylor expansion of (log t) in y
8.544 * [taylor]: Taking taylor expansion of t in y
8.545 * [backup-simplify]: Simplify t into t
8.545 * [backup-simplify]: Simplify (log t) into (log t)
8.545 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in y
8.545 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.545 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in y
8.545 * [taylor]: Taking taylor expansion of (- a 0.5) in y
8.545 * [taylor]: Taking taylor expansion of a in y
8.545 * [backup-simplify]: Simplify a into a
8.545 * [taylor]: Taking taylor expansion of 0.5 in y
8.545 * [backup-simplify]: Simplify 0.5 into 0.5
8.545 * [taylor]: Taking taylor expansion of b in y
8.545 * [backup-simplify]: Simplify b into b
8.545 * [taylor]: Taking taylor expansion of (+ x y) in y
8.545 * [taylor]: Taking taylor expansion of x in y
8.545 * [backup-simplify]: Simplify x into x
8.545 * [taylor]: Taking taylor expansion of y in y
8.545 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify 1 into 1
8.545 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in x
8.545 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.545 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in x
8.545 * [taylor]: Taking taylor expansion of z in x
8.545 * [backup-simplify]: Simplify z into z
8.545 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x
8.546 * [taylor]: Taking taylor expansion of 1 in x
8.546 * [backup-simplify]: Simplify 1 into 1
8.546 * [taylor]: Taking taylor expansion of (log t) in x
8.546 * [taylor]: Taking taylor expansion of t in x
8.546 * [backup-simplify]: Simplify t into t
8.546 * [backup-simplify]: Simplify (log t) into (log t)
8.546 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in x
8.546 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.546 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in x
8.546 * [taylor]: Taking taylor expansion of (- a 0.5) in x
8.546 * [taylor]: Taking taylor expansion of a in x
8.546 * [backup-simplify]: Simplify a into a
8.546 * [taylor]: Taking taylor expansion of 0.5 in x
8.546 * [backup-simplify]: Simplify 0.5 into 0.5
8.546 * [taylor]: Taking taylor expansion of b in x
8.546 * [backup-simplify]: Simplify b into b
8.546 * [taylor]: Taking taylor expansion of (+ x y) in x
8.546 * [taylor]: Taking taylor expansion of x in x
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify 1 into 1
8.546 * [taylor]: Taking taylor expansion of y in x
8.546 * [backup-simplify]: Simplify y into y
8.546 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in b
8.547 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.547 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in b
8.547 * [taylor]: Taking taylor expansion of z in b
8.547 * [backup-simplify]: Simplify z into z
8.547 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b
8.547 * [taylor]: Taking taylor expansion of 1 in b
8.547 * [backup-simplify]: Simplify 1 into 1
8.547 * [taylor]: Taking taylor expansion of (log t) in b
8.547 * [taylor]: Taking taylor expansion of t in b
8.547 * [backup-simplify]: Simplify t into t
8.547 * [backup-simplify]: Simplify (log t) into (log t)
8.547 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in b
8.547 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.547 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b
8.547 * [taylor]: Taking taylor expansion of (- a 0.5) in b
8.547 * [taylor]: Taking taylor expansion of a in b
8.547 * [backup-simplify]: Simplify a into a
8.547 * [taylor]: Taking taylor expansion of 0.5 in b
8.547 * [backup-simplify]: Simplify 0.5 into 0.5
8.547 * [taylor]: Taking taylor expansion of b in b
8.547 * [backup-simplify]: Simplify 0 into 0
8.547 * [backup-simplify]: Simplify 1 into 1
8.547 * [taylor]: Taking taylor expansion of (+ x y) in b
8.547 * [taylor]: Taking taylor expansion of x in b
8.547 * [backup-simplify]: Simplify x into x
8.547 * [taylor]: Taking taylor expansion of y in b
8.547 * [backup-simplify]: Simplify y into y
8.547 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in a
8.548 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.548 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in a
8.548 * [taylor]: Taking taylor expansion of z in a
8.548 * [backup-simplify]: Simplify z into z
8.548 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a
8.548 * [taylor]: Taking taylor expansion of 1 in a
8.548 * [backup-simplify]: Simplify 1 into 1
8.548 * [taylor]: Taking taylor expansion of (log t) in a
8.548 * [taylor]: Taking taylor expansion of t in a
8.548 * [backup-simplify]: Simplify t into t
8.548 * [backup-simplify]: Simplify (log t) into (log t)
8.548 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in a
8.548 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.548 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
8.548 * [taylor]: Taking taylor expansion of (- a 0.5) in a
8.548 * [taylor]: Taking taylor expansion of a in a
8.548 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify 1 into 1
8.548 * [taylor]: Taking taylor expansion of 0.5 in a
8.548 * [backup-simplify]: Simplify 0.5 into 0.5
8.548 * [taylor]: Taking taylor expansion of b in a
8.548 * [backup-simplify]: Simplify b into b
8.548 * [taylor]: Taking taylor expansion of (+ x y) in a
8.548 * [taylor]: Taking taylor expansion of x in a
8.549 * [backup-simplify]: Simplify x into x
8.549 * [taylor]: Taking taylor expansion of y in a
8.549 * [backup-simplify]: Simplify y into y
8.549 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in t
8.549 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.549 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in t
8.549 * [taylor]: Taking taylor expansion of z in t
8.549 * [backup-simplify]: Simplify z into z
8.549 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
8.549 * [taylor]: Taking taylor expansion of 1 in t
8.549 * [backup-simplify]: Simplify 1 into 1
8.549 * [taylor]: Taking taylor expansion of (log t) in t
8.549 * [taylor]: Taking taylor expansion of t in t
8.549 * [backup-simplify]: Simplify 0 into 0
8.549 * [backup-simplify]: Simplify 1 into 1
8.550 * [backup-simplify]: Simplify (log 1) into 0
8.550 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in t
8.550 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.550 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in t
8.550 * [taylor]: Taking taylor expansion of (- a 0.5) in t
8.550 * [taylor]: Taking taylor expansion of a in t
8.550 * [backup-simplify]: Simplify a into a
8.550 * [taylor]: Taking taylor expansion of 0.5 in t
8.550 * [backup-simplify]: Simplify 0.5 into 0.5
8.550 * [taylor]: Taking taylor expansion of b in t
8.550 * [backup-simplify]: Simplify b into b
8.550 * [taylor]: Taking taylor expansion of (+ x y) in t
8.551 * [taylor]: Taking taylor expansion of x in t
8.551 * [backup-simplify]: Simplify x into x
8.551 * [taylor]: Taking taylor expansion of y in t
8.551 * [backup-simplify]: Simplify y into y
8.551 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z
8.551 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.551 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z
8.551 * [taylor]: Taking taylor expansion of z in z
8.551 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify 1 into 1
8.551 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z
8.551 * [taylor]: Taking taylor expansion of 1 in z
8.551 * [backup-simplify]: Simplify 1 into 1
8.551 * [taylor]: Taking taylor expansion of (log t) in z
8.551 * [taylor]: Taking taylor expansion of t in z
8.551 * [backup-simplify]: Simplify t into t
8.551 * [backup-simplify]: Simplify (log t) into (log t)
8.551 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z
8.551 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.551 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z
8.551 * [taylor]: Taking taylor expansion of (- a 0.5) in z
8.551 * [taylor]: Taking taylor expansion of a in z
8.551 * [backup-simplify]: Simplify a into a
8.551 * [taylor]: Taking taylor expansion of 0.5 in z
8.552 * [backup-simplify]: Simplify 0.5 into 0.5
8.552 * [taylor]: Taking taylor expansion of b in z
8.552 * [backup-simplify]: Simplify b into b
8.552 * [taylor]: Taking taylor expansion of (+ x y) in z
8.552 * [taylor]: Taking taylor expansion of x in z
8.552 * [backup-simplify]: Simplify x into x
8.552 * [taylor]: Taking taylor expansion of y in z
8.552 * [backup-simplify]: Simplify y into y
8.552 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z
8.552 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
8.552 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z
8.552 * [taylor]: Taking taylor expansion of z in z
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify 1 into 1
8.552 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z
8.552 * [taylor]: Taking taylor expansion of 1 in z
8.552 * [backup-simplify]: Simplify 1 into 1
8.552 * [taylor]: Taking taylor expansion of (log t) in z
8.552 * [taylor]: Taking taylor expansion of t in z
8.552 * [backup-simplify]: Simplify t into t
8.552 * [backup-simplify]: Simplify (log t) into (log t)
8.552 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z
8.552 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
8.552 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z
8.552 * [taylor]: Taking taylor expansion of (- a 0.5) in z
8.553 * [taylor]: Taking taylor expansion of a in z
8.553 * [backup-simplify]: Simplify a into a
8.553 * [taylor]: Taking taylor expansion of 0.5 in z
8.553 * [backup-simplify]: Simplify 0.5 into 0.5
8.553 * [taylor]: Taking taylor expansion of b in z
8.553 * [backup-simplify]: Simplify b into b
8.553 * [taylor]: Taking taylor expansion of (+ x y) in z
8.553 * [taylor]: Taking taylor expansion of x in z
8.553 * [backup-simplify]: Simplify x into x
8.553 * [taylor]: Taking taylor expansion of y in z
8.553 * [backup-simplify]: Simplify y into y
8.553 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.553 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.553 * [backup-simplify]: Simplify (* 0 (- 1 (log t))) into 0
8.554 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.554 * [backup-simplify]: Simplify (+ a (- 0.5)) into (- a 0.5)
8.554 * [backup-simplify]: Simplify (* (- a 0.5) b) into (* b (- a 0.5))
8.554 * [backup-simplify]: Simplify (+ x y) into (+ x y)
8.554 * [backup-simplify]: Simplify (+ (* b (- a 0.5)) (+ x y)) into (- (+ (* a b) (+ y x)) (* 0.5 b))
8.555 * [backup-simplify]: Simplify (+ 0 (- (+ (* a b) (+ y x)) (* 0.5 b))) into (- (+ (* a b) (+ x y)) (* 0.5 b))
8.555 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ x y)) (* 0.5 b)) in t
8.555 * [taylor]: Taking taylor expansion of (+ (* a b) (+ x y)) in t
8.555 * [taylor]: Taking taylor expansion of (* a b) in t
8.555 * [taylor]: Taking taylor expansion of a in t
8.555 * [backup-simplify]: Simplify a into a
8.555 * [taylor]: Taking taylor expansion of b in t
8.555 * [backup-simplify]: Simplify b into b
8.555 * [taylor]: Taking taylor expansion of (+ x y) in t
8.555 * [taylor]: Taking taylor expansion of x in t
8.555 * [backup-simplify]: Simplify x into x
8.555 * [taylor]: Taking taylor expansion of y in t
8.555 * [backup-simplify]: Simplify y into y
8.555 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
8.555 * [taylor]: Taking taylor expansion of 0.5 in t
8.555 * [backup-simplify]: Simplify 0.5 into 0.5
8.555 * [taylor]: Taking taylor expansion of b in t
8.555 * [backup-simplify]: Simplify b into b
8.555 * [backup-simplify]: Simplify (* a b) into (* a b)
8.555 * [backup-simplify]: Simplify (+ x y) into (+ x y)
8.555 * [backup-simplify]: Simplify (+ (* a b) (+ x y)) into (+ (* a b) (+ y x))
8.555 * [backup-simplify]: Simplify (* 0.5 b) into (* 0.5 b)
8.556 * [backup-simplify]: Simplify (- (* 0.5 b)) into (- (* 0.5 b))
8.556 * [backup-simplify]: Simplify (+ (+ (* a b) (+ y x)) (- (* 0.5 b))) into (- (+ (* a b) (+ y x)) (* 0.5 b))
8.556 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ y x)) (* 0.5 b)) in a
8.556 * [taylor]: Taking taylor expansion of (+ (* a b) (+ y x)) in a
8.556 * [taylor]: Taking taylor expansion of (* a b) in a
8.556 * [taylor]: Taking taylor expansion of a in a
8.556 * [backup-simplify]: Simplify 0 into 0
8.556 * [backup-simplify]: Simplify 1 into 1
8.556 * [taylor]: Taking taylor expansion of b in a
8.556 * [backup-simplify]: Simplify b into b
8.556 * [taylor]: Taking taylor expansion of (+ y x) in a
8.556 * [taylor]: Taking taylor expansion of y in a
8.556 * [backup-simplify]: Simplify y into y
8.556 * [taylor]: Taking taylor expansion of x in a
8.556 * [backup-simplify]: Simplify x into x
8.556 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
8.556 * [taylor]: Taking taylor expansion of 0.5 in a
8.556 * [backup-simplify]: Simplify 0.5 into 0.5
8.556 * [taylor]: Taking taylor expansion of b in a
8.556 * [backup-simplify]: Simplify b into b
8.556 * [backup-simplify]: Simplify (* 0 b) into 0
8.556 * [backup-simplify]: Simplify (+ y x) into (+ x y)
8.556 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
8.557 * [backup-simplify]: Simplify (* 0.5 b) into (* 0.5 b)
8.557 * [backup-simplify]: Simplify (- (* 0.5 b)) into (- (* 0.5 b))
8.557 * [backup-simplify]: Simplify (+ (+ x y) (- (* 0.5 b))) into (- (+ x y) (* 0.5 b))
8.557 * [taylor]: Taking taylor expansion of (- (+ x y) (* 0.5 b)) in b
8.557 * [taylor]: Taking taylor expansion of (+ x y) in b
8.557 * [taylor]: Taking taylor expansion of x in b
8.557 * [backup-simplify]: Simplify x into x
8.557 * [taylor]: Taking taylor expansion of y in b
8.557 * [backup-simplify]: Simplify y into y
8.557 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
8.557 * [taylor]: Taking taylor expansion of 0.5 in b
8.557 * [backup-simplify]: Simplify 0.5 into 0.5
8.557 * [taylor]: Taking taylor expansion of b in b
8.557 * [backup-simplify]: Simplify 0 into 0
8.557 * [backup-simplify]: Simplify 1 into 1
8.557 * [backup-simplify]: Simplify (+ x y) into (+ x y)
8.558 * [backup-simplify]: Simplify (* 0.5 0) into 0
8.558 * [backup-simplify]: Simplify (- 0) into 0
8.558 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
8.558 * [taylor]: Taking taylor expansion of (+ x y) in x
8.558 * [taylor]: Taking taylor expansion of x in x
8.558 * [backup-simplify]: Simplify 0 into 0
8.558 * [backup-simplify]: Simplify 1 into 1
8.558 * [taylor]: Taking taylor expansion of y in x
8.558 * [backup-simplify]: Simplify y into y
8.558 * [backup-simplify]: Simplify (+ 0 y) into y
8.558 * [taylor]: Taking taylor expansion of y in y
8.558 * [backup-simplify]: Simplify 0 into 0
8.558 * [backup-simplify]: Simplify 1 into 1
8.558 * [backup-simplify]: Simplify 0 into 0
8.559 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow t 1)))) 1) into 0
8.560 * [backup-simplify]: Simplify (- 0) into 0
8.560 * [backup-simplify]: Simplify (+ 0 0) into 0
8.561 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1 (log t)))) into (- 1 (log t))
8.561 * [backup-simplify]: Simplify (- 0) into 0
8.561 * [backup-simplify]: Simplify (+ 0 0) into 0
8.561 * [backup-simplify]: Simplify (+ (* (- a 0.5) 0) (* 0 b)) into 0
8.562 * [backup-simplify]: Simplify (+ 0 0) into 0
8.562 * [backup-simplify]: Simplify (+ 0 0) into 0
8.562 * [backup-simplify]: Simplify (+ (- 1 (log t)) 0) into (- 1 (log t))
8.562 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
8.562 * [taylor]: Taking taylor expansion of 1 in t
8.562 * [backup-simplify]: Simplify 1 into 1
8.562 * [taylor]: Taking taylor expansion of (log t) in t
8.562 * [taylor]: Taking taylor expansion of t in t
8.562 * [backup-simplify]: Simplify 0 into 0
8.562 * [backup-simplify]: Simplify 1 into 1
8.563 * [backup-simplify]: Simplify (log 1) into 0
8.563 * [backup-simplify]: Simplify (+ (* (- -1) (log t)) 0) into (log t)
8.563 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.563 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.564 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a
8.564 * [taylor]: Taking taylor expansion of 1 in a
8.564 * [backup-simplify]: Simplify 1 into 1
8.564 * [taylor]: Taking taylor expansion of (log t) in a
8.564 * [taylor]: Taking taylor expansion of t in a
8.564 * [backup-simplify]: Simplify t into t
8.564 * [backup-simplify]: Simplify (log t) into (log t)
8.564 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.564 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.564 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b
8.564 * [taylor]: Taking taylor expansion of 1 in b
8.564 * [backup-simplify]: Simplify 1 into 1
8.564 * [taylor]: Taking taylor expansion of (log t) in b
8.564 * [taylor]: Taking taylor expansion of t in b
8.564 * [backup-simplify]: Simplify t into t
8.564 * [backup-simplify]: Simplify (log t) into (log t)
8.564 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.564 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.564 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x
8.564 * [taylor]: Taking taylor expansion of 1 in x
8.564 * [backup-simplify]: Simplify 1 into 1
8.564 * [taylor]: Taking taylor expansion of (log t) in x
8.564 * [taylor]: Taking taylor expansion of t in x
8.564 * [backup-simplify]: Simplify t into t
8.565 * [backup-simplify]: Simplify (log t) into (log t)
8.565 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.565 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.565 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y
8.565 * [taylor]: Taking taylor expansion of 1 in y
8.565 * [backup-simplify]: Simplify 1 into 1
8.565 * [taylor]: Taking taylor expansion of (log t) in y
8.565 * [taylor]: Taking taylor expansion of t in y
8.565 * [backup-simplify]: Simplify t into t
8.565 * [backup-simplify]: Simplify (log t) into (log t)
8.565 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
8.565 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
8.565 * [backup-simplify]: Simplify (- 1 (log t)) into (- 1 (log t))
8.565 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
8.566 * [backup-simplify]: Simplify (+ 0 0) into 0
8.566 * [backup-simplify]: Simplify (+ 0 0) into 0
8.567 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 b)) into 0
8.567 * [backup-simplify]: Simplify (- 0) into 0
8.568 * [backup-simplify]: Simplify (+ 0 0) into 0
8.568 * [taylor]: Taking taylor expansion of 0 in a
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [taylor]: Taking taylor expansion of 0 in b
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [taylor]: Taking taylor expansion of 0 in x
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [taylor]: Taking taylor expansion of 0 in y
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
8.569 * [backup-simplify]: Simplify (+ 0 0) into 0
8.569 * [backup-simplify]: Simplify (+ b 0) into b
8.569 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 b)) into 0
8.570 * [backup-simplify]: Simplify (- 0) into 0
8.570 * [backup-simplify]: Simplify (+ b 0) into b
8.570 * [taylor]: Taking taylor expansion of b in b
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify 1 into 1
8.570 * [taylor]: Taking taylor expansion of 0 in x
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [taylor]: Taking taylor expansion of 0 in y
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify (+ 0 0) into 0
8.572 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
8.572 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.573 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
8.573 * [taylor]: Taking taylor expansion of (- 0.5) in x
8.573 * [taylor]: Taking taylor expansion of 0.5 in x
8.573 * [backup-simplify]: Simplify 0.5 into 0.5
8.573 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.573 * [taylor]: Taking taylor expansion of (- 0.5) in y
8.573 * [taylor]: Taking taylor expansion of 0.5 in y
8.573 * [backup-simplify]: Simplify 0.5 into 0.5
8.573 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.574 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.574 * [backup-simplify]: Simplify (+ 1 0) into 1
8.574 * [taylor]: Taking taylor expansion of 1 in y
8.574 * [backup-simplify]: Simplify 1 into 1
8.574 * [backup-simplify]: Simplify 1 into 1
8.575 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* x (* 1 (* 1 (* 1 1)))))) (+ (* (- 0.5) (* 1 (* 1 (* b (* 1 (* 1 1)))))) (* (- 1 (log t)) (* 1 (* 1 (* 1 (* 1 (* 1 z)))))))) into (- (+ x z) (+ (* (log t) z) (* 0.5 b)))
8.575 * [backup-simplify]: Simplify (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 x) (/ 1 y)))) into (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.575 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in (z t a b x y) around 0
8.575 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in y
8.575 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.575 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in y
8.575 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.575 * [taylor]: Taking taylor expansion of z in y
8.575 * [backup-simplify]: Simplify z into z
8.576 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.576 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in y
8.576 * [taylor]: Taking taylor expansion of 1 in y
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
8.576 * [taylor]: Taking taylor expansion of (/ 1 t) in y
8.576 * [taylor]: Taking taylor expansion of t in y
8.576 * [backup-simplify]: Simplify t into t
8.576 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.576 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.576 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in y
8.576 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.576 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in y
8.576 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in y
8.576 * [taylor]: Taking taylor expansion of (/ 1 a) in y
8.576 * [taylor]: Taking taylor expansion of a in y
8.576 * [backup-simplify]: Simplify a into a
8.576 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.576 * [taylor]: Taking taylor expansion of 0.5 in y
8.576 * [backup-simplify]: Simplify 0.5 into 0.5
8.576 * [taylor]: Taking taylor expansion of (/ 1 b) in y
8.576 * [taylor]: Taking taylor expansion of b in y
8.576 * [backup-simplify]: Simplify b into b
8.576 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
8.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.576 * [taylor]: Taking taylor expansion of y in y
8.576 * [backup-simplify]: Simplify 0 into 0
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [backup-simplify]: Simplify (/ 1 1) into 1
8.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.577 * [taylor]: Taking taylor expansion of x in y
8.577 * [backup-simplify]: Simplify x into x
8.577 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.577 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in x
8.577 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.577 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.577 * [taylor]: Taking taylor expansion of z in x
8.577 * [backup-simplify]: Simplify z into z
8.577 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.577 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in x
8.577 * [taylor]: Taking taylor expansion of 1 in x
8.577 * [backup-simplify]: Simplify 1 into 1
8.577 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 t) in x
8.577 * [taylor]: Taking taylor expansion of t in x
8.577 * [backup-simplify]: Simplify t into t
8.577 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.577 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.577 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in x
8.577 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in x
8.577 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 a) in x
8.577 * [taylor]: Taking taylor expansion of a in x
8.577 * [backup-simplify]: Simplify a into a
8.577 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.577 * [taylor]: Taking taylor expansion of 0.5 in x
8.577 * [backup-simplify]: Simplify 0.5 into 0.5
8.577 * [taylor]: Taking taylor expansion of (/ 1 b) in x
8.577 * [taylor]: Taking taylor expansion of b in x
8.577 * [backup-simplify]: Simplify b into b
8.577 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.578 * [taylor]: Taking taylor expansion of y in x
8.578 * [backup-simplify]: Simplify y into y
8.578 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.578 * [taylor]: Taking taylor expansion of x in x
8.578 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify 1 into 1
8.578 * [backup-simplify]: Simplify (/ 1 1) into 1
8.578 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in b
8.578 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.578 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in b
8.578 * [taylor]: Taking taylor expansion of (/ 1 z) in b
8.578 * [taylor]: Taking taylor expansion of z in b
8.578 * [backup-simplify]: Simplify z into z
8.578 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.578 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in b
8.578 * [taylor]: Taking taylor expansion of 1 in b
8.578 * [backup-simplify]: Simplify 1 into 1
8.578 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
8.578 * [taylor]: Taking taylor expansion of (/ 1 t) in b
8.578 * [taylor]: Taking taylor expansion of t in b
8.578 * [backup-simplify]: Simplify t into t
8.578 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.578 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.578 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in b
8.578 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.578 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in b
8.578 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
8.579 * [taylor]: Taking taylor expansion of (/ 1 a) in b
8.579 * [taylor]: Taking taylor expansion of a in b
8.579 * [backup-simplify]: Simplify a into a
8.579 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.579 * [taylor]: Taking taylor expansion of 0.5 in b
8.579 * [backup-simplify]: Simplify 0.5 into 0.5
8.579 * [taylor]: Taking taylor expansion of (/ 1 b) in b
8.579 * [taylor]: Taking taylor expansion of b in b
8.579 * [backup-simplify]: Simplify 0 into 0
8.579 * [backup-simplify]: Simplify 1 into 1
8.579 * [backup-simplify]: Simplify (/ 1 1) into 1
8.579 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b
8.579 * [taylor]: Taking taylor expansion of (/ 1 y) in b
8.579 * [taylor]: Taking taylor expansion of y in b
8.579 * [backup-simplify]: Simplify y into y
8.579 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.579 * [taylor]: Taking taylor expansion of (/ 1 x) in b
8.579 * [taylor]: Taking taylor expansion of x in b
8.579 * [backup-simplify]: Simplify x into x
8.579 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.579 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in a
8.579 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.579 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in a
8.579 * [taylor]: Taking taylor expansion of (/ 1 z) in a
8.579 * [taylor]: Taking taylor expansion of z in a
8.579 * [backup-simplify]: Simplify z into z
8.579 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.579 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in a
8.579 * [taylor]: Taking taylor expansion of 1 in a
8.579 * [backup-simplify]: Simplify 1 into 1
8.579 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
8.579 * [taylor]: Taking taylor expansion of (/ 1 t) in a
8.579 * [taylor]: Taking taylor expansion of t in a
8.579 * [backup-simplify]: Simplify t into t
8.580 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.580 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.580 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in a
8.580 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.580 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in a
8.580 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
8.580 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.580 * [taylor]: Taking taylor expansion of a in a
8.580 * [backup-simplify]: Simplify 0 into 0
8.580 * [backup-simplify]: Simplify 1 into 1
8.580 * [backup-simplify]: Simplify (/ 1 1) into 1
8.580 * [taylor]: Taking taylor expansion of 0.5 in a
8.580 * [backup-simplify]: Simplify 0.5 into 0.5
8.580 * [taylor]: Taking taylor expansion of (/ 1 b) in a
8.580 * [taylor]: Taking taylor expansion of b in a
8.580 * [backup-simplify]: Simplify b into b
8.580 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.580 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
8.580 * [taylor]: Taking taylor expansion of (/ 1 y) in a
8.580 * [taylor]: Taking taylor expansion of y in a
8.580 * [backup-simplify]: Simplify y into y
8.580 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.580 * [taylor]: Taking taylor expansion of (/ 1 x) in a
8.580 * [taylor]: Taking taylor expansion of x in a
8.580 * [backup-simplify]: Simplify x into x
8.580 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.580 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in t
8.580 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.581 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in t
8.581 * [taylor]: Taking taylor expansion of (/ 1 z) in t
8.581 * [taylor]: Taking taylor expansion of z in t
8.581 * [backup-simplify]: Simplify z into z
8.581 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.581 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
8.581 * [taylor]: Taking taylor expansion of 1 in t
8.581 * [backup-simplify]: Simplify 1 into 1
8.581 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.581 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.581 * [taylor]: Taking taylor expansion of t in t
8.581 * [backup-simplify]: Simplify 0 into 0
8.581 * [backup-simplify]: Simplify 1 into 1
8.581 * [backup-simplify]: Simplify (/ 1 1) into 1
8.581 * [backup-simplify]: Simplify (log 1) into 0
8.581 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in t
8.581 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.581 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in t
8.581 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in t
8.581 * [taylor]: Taking taylor expansion of (/ 1 a) in t
8.581 * [taylor]: Taking taylor expansion of a in t
8.581 * [backup-simplify]: Simplify a into a
8.581 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.581 * [taylor]: Taking taylor expansion of 0.5 in t
8.582 * [backup-simplify]: Simplify 0.5 into 0.5
8.582 * [taylor]: Taking taylor expansion of (/ 1 b) in t
8.582 * [taylor]: Taking taylor expansion of b in t
8.582 * [backup-simplify]: Simplify b into b
8.582 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.582 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
8.582 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.582 * [taylor]: Taking taylor expansion of y in t
8.582 * [backup-simplify]: Simplify y into y
8.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.582 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.582 * [taylor]: Taking taylor expansion of x in t
8.582 * [backup-simplify]: Simplify x into x
8.582 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.582 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in z
8.582 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.582 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z
8.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.582 * [taylor]: Taking taylor expansion of z in z
8.582 * [backup-simplify]: Simplify 0 into 0
8.582 * [backup-simplify]: Simplify 1 into 1
8.582 * [backup-simplify]: Simplify (/ 1 1) into 1
8.582 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z
8.582 * [taylor]: Taking taylor expansion of 1 in z
8.582 * [backup-simplify]: Simplify 1 into 1
8.582 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.582 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.582 * [taylor]: Taking taylor expansion of t in z
8.582 * [backup-simplify]: Simplify t into t
8.582 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.582 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.582 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z
8.583 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.583 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z
8.583 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z
8.583 * [taylor]: Taking taylor expansion of (/ 1 a) in z
8.583 * [taylor]: Taking taylor expansion of a in z
8.583 * [backup-simplify]: Simplify a into a
8.583 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.583 * [taylor]: Taking taylor expansion of 0.5 in z
8.583 * [backup-simplify]: Simplify 0.5 into 0.5
8.583 * [taylor]: Taking taylor expansion of (/ 1 b) in z
8.583 * [taylor]: Taking taylor expansion of b in z
8.583 * [backup-simplify]: Simplify b into b
8.583 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.583 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
8.583 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.583 * [taylor]: Taking taylor expansion of y in z
8.583 * [backup-simplify]: Simplify y into y
8.583 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.583 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.583 * [taylor]: Taking taylor expansion of x in z
8.583 * [backup-simplify]: Simplify x into x
8.583 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.583 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in z
8.583 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
8.583 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z
8.583 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.583 * [taylor]: Taking taylor expansion of z in z
8.583 * [backup-simplify]: Simplify 0 into 0
8.583 * [backup-simplify]: Simplify 1 into 1
8.584 * [backup-simplify]: Simplify (/ 1 1) into 1
8.584 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z
8.584 * [taylor]: Taking taylor expansion of 1 in z
8.584 * [backup-simplify]: Simplify 1 into 1
8.584 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.584 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.584 * [taylor]: Taking taylor expansion of t in z
8.584 * [backup-simplify]: Simplify t into t
8.584 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.584 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
8.584 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z
8.584 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
8.584 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z
8.584 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z
8.584 * [taylor]: Taking taylor expansion of (/ 1 a) in z
8.584 * [taylor]: Taking taylor expansion of a in z
8.584 * [backup-simplify]: Simplify a into a
8.584 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
8.584 * [taylor]: Taking taylor expansion of 0.5 in z
8.584 * [backup-simplify]: Simplify 0.5 into 0.5
8.584 * [taylor]: Taking taylor expansion of (/ 1 b) in z
8.584 * [taylor]: Taking taylor expansion of b in z
8.584 * [backup-simplify]: Simplify b into b
8.584 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.584 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
8.584 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.584 * [taylor]: Taking taylor expansion of y in z
8.584 * [backup-simplify]: Simplify y into y
8.584 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.584 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.584 * [taylor]: Taking taylor expansion of x in z
8.584 * [backup-simplify]: Simplify x into x
8.584 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.585 * [backup-simplify]: Simplify (- (log (/ 1 t))) into (- (log (/ 1 t)))
8.585 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 t)))) into (- 1 (log (/ 1 t)))
8.585 * [backup-simplify]: Simplify (* 1 (- 1 (log (/ 1 t)))) into (- 1 (log (/ 1 t)))
8.585 * [backup-simplify]: Simplify (+ (- 1 (log (/ 1 t))) 0) into (- 1 (log (/ 1 t)))
8.585 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
8.585 * [taylor]: Taking taylor expansion of 1 in t
8.585 * [backup-simplify]: Simplify 1 into 1
8.585 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.585 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.585 * [taylor]: Taking taylor expansion of t in t
8.585 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify 1 into 1
8.585 * [backup-simplify]: Simplify (/ 1 1) into 1
8.585 * [backup-simplify]: Simplify (log 1) into 0
8.586 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
8.586 * [backup-simplify]: Simplify (- (- (log t))) into (log t)
8.586 * [backup-simplify]: Simplify (+ 1 (log t)) into (+ (log t) 1)
8.586 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
8.586 * [taylor]: Taking taylor expansion of (log t) in a
8.586 * [taylor]: Taking taylor expansion of t in a
8.586 * [backup-simplify]: Simplify t into t
8.586 * [backup-simplify]: Simplify (log t) into (log t)
8.586 * [taylor]: Taking taylor expansion of 1 in a
8.586 * [backup-simplify]: Simplify 1 into 1
8.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
8.587 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 t) 1)))) 1) into 0
8.587 * [backup-simplify]: Simplify (- 0) into 0
8.587 * [backup-simplify]: Simplify (+ 0 0) into 0
8.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1 (log (/ 1 t))))) into 0
8.588 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.588 * [backup-simplify]: Simplify (+ (/ 1 a) (- 0.5)) into (- (/ 1 a) 0.5)
8.588 * [backup-simplify]: Simplify (* (- (/ 1 a) 0.5) (/ 1 b)) into (/ (- (/ 1 a) 0.5) b)
8.589 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
8.589 * [backup-simplify]: Simplify (+ (/ (- (/ 1 a) 0.5) b) (+ (/ 1 y) (/ 1 x))) into (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b)))
8.589 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b)))) into (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b)))
8.589 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in t
8.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in t
8.589 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
8.589 * [taylor]: Taking taylor expansion of (* a b) in t
8.589 * [taylor]: Taking taylor expansion of a in t
8.589 * [backup-simplify]: Simplify a into a
8.589 * [taylor]: Taking taylor expansion of b in t
8.589 * [backup-simplify]: Simplify b into b
8.589 * [backup-simplify]: Simplify (* a b) into (* a b)
8.589 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
8.589 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
8.589 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.589 * [taylor]: Taking taylor expansion of y in t
8.589 * [backup-simplify]: Simplify y into y
8.589 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.589 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.589 * [taylor]: Taking taylor expansion of x in t
8.589 * [backup-simplify]: Simplify x into x
8.589 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
8.589 * [taylor]: Taking taylor expansion of 0.5 in t
8.589 * [backup-simplify]: Simplify 0.5 into 0.5
8.589 * [taylor]: Taking taylor expansion of (/ 1 b) in t
8.589 * [taylor]: Taking taylor expansion of b in t
8.589 * [backup-simplify]: Simplify b into b
8.589 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.590 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
8.590 * [backup-simplify]: Simplify (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) into (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x)))
8.590 * [backup-simplify]: Simplify (* 0.5 (/ 1 b)) into (/ 0.5 b)
8.590 * [backup-simplify]: Simplify (- (/ 0.5 b)) into (- (* 0.5 (/ 1 b)))
8.590 * [backup-simplify]: Simplify (+ (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (- (* 0.5 (/ 1 b)))) into (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b)))
8.590 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in a
8.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in a
8.590 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
8.590 * [taylor]: Taking taylor expansion of (* a b) in a
8.590 * [taylor]: Taking taylor expansion of a in a
8.590 * [backup-simplify]: Simplify 0 into 0
8.590 * [backup-simplify]: Simplify 1 into 1
8.590 * [taylor]: Taking taylor expansion of b in a
8.590 * [backup-simplify]: Simplify b into b
8.590 * [backup-simplify]: Simplify (* 0 b) into 0
8.590 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
8.590 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.590 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
8.591 * [taylor]: Taking taylor expansion of (/ 1 y) in a
8.591 * [taylor]: Taking taylor expansion of y in a
8.591 * [backup-simplify]: Simplify y into y
8.591 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.591 * [taylor]: Taking taylor expansion of (/ 1 x) in a
8.591 * [taylor]: Taking taylor expansion of x in a
8.591 * [backup-simplify]: Simplify x into x
8.591 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.591 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
8.591 * [taylor]: Taking taylor expansion of 0.5 in a
8.591 * [backup-simplify]: Simplify 0.5 into 0.5
8.591 * [taylor]: Taking taylor expansion of (/ 1 b) in a
8.591 * [taylor]: Taking taylor expansion of b in a
8.591 * [backup-simplify]: Simplify b into b
8.591 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
8.591 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
8.591 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
8.591 * [taylor]: Taking taylor expansion of (/ 1 b) in b
8.591 * [taylor]: Taking taylor expansion of b in b
8.591 * [backup-simplify]: Simplify 0 into 0
8.591 * [backup-simplify]: Simplify 1 into 1
8.591 * [backup-simplify]: Simplify (/ 1 1) into 1
8.591 * [taylor]: Taking taylor expansion of 1 in x
8.591 * [backup-simplify]: Simplify 1 into 1
8.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.593 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
8.593 * [backup-simplify]: Simplify (- 0) into 0
8.593 * [backup-simplify]: Simplify (+ 0 0) into 0
8.593 * [taylor]: Taking taylor expansion of 0 in a
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (+ (log t) 1) into (+ (log t) 1)
8.593 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
8.593 * [taylor]: Taking taylor expansion of (log t) in b
8.593 * [taylor]: Taking taylor expansion of t in b
8.593 * [backup-simplify]: Simplify t into t
8.593 * [backup-simplify]: Simplify (log t) into (log t)
8.593 * [taylor]: Taking taylor expansion of 1 in b
8.593 * [backup-simplify]: Simplify 1 into 1
8.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0