20.685 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.088 * * * [progress]: [2/2] Setting up program.
0.092 * [progress]: [Phase 2 of 3] Improving.
0.092 * [simplify]: Simplifying:
  (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: Extracting # 3 : cost  0
0.092 * * [simplify]: Extracting # 4 : cost  0
0.092 * * [simplify]: Extracting # 5 : cost  0
0.092 * * [simplify]: Extracting # 6 : cost  0
0.092 * * [simplify]: Extracting # 7 : cost  0
0.092 * * [simplify]: iteration  0 :  15  enodes  (cost  16 )
0.116 * * [simplify]: Extracting # 0 : cost  0
0.116 * * [simplify]: Extracting # 1 : cost  0
0.117 * * [simplify]: Extracting # 2 : cost  0
0.117 * * [simplify]: iteration  1 :  30  enodes  (cost  16 )
0.130 * * [simplify]: Extracting # 0 : cost  0
0.131 * * [simplify]: Extracting # 1 : cost  0
0.131 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  2 :  88  enodes  (cost  15 )
0.189 * * [simplify]: Extracting # 0 : cost  0
0.190 * * [simplify]: Extracting # 1 : cost  0
0.190 * * [simplify]: Extracting # 2 : cost  0
0.191 * * [simplify]: Extracting # 3 : cost  0
0.191 * * [simplify]: Extracting # 4 : cost  0
0.192 * * [simplify]: iteration  3 :  276  enodes  (cost  15 )
0.485 * * [simplify]: Extracting # 0 : cost  0
0.486 * * [simplify]: Extracting # 1 : cost  0
0.487 * * [simplify]: Extracting # 2 : cost  0
0.488 * * [simplify]: iteration  4 :  776  enodes  (cost  15 )
2.108 * * [simplify]: Extracting # 0 : cost  0
2.112 * * [simplify]: Extracting # 1 : cost  0
2.115 * * [simplify]: Extracting # 2 : cost  0
2.119 * * [simplify]: Extracting # 3 : cost  0
2.122 * * [simplify]: iteration  5 :  2106  enodes  (cost  14 )
8.356 * * [simplify]: Extracting # 0 : cost  0
8.366 * * [simplify]: Extracting # 1 : cost  0
8.373 * * [simplify]: Extracting # 2 : cost  0
8.379 * * [simplify]: iteration  6 :  4827  enodes  (cost  14 )
9.383 * * [simplify]: Extracting # 0 : cost  0
9.387 * * [simplify]: Extracting # 1 : cost  0
9.391 * * [simplify]: iteration done:  5000  enodes  (cost  14 )
9.391 * [simplify]: Simplified to:
  (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))
9.400 * * [progress]: iteration 1 / 4
9.400 * * * [progress]: picking best candidate
9.408 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))))>
9.408 * * * [progress]: localizing error
9.431 * * * [progress]: generating rewritten candidates
9.431 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
9.431 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
9.450 * * * [progress]: generating series expansions
9.450 * * * * [progress]: [ 1 / 2 ] generating series at (2)
9.450 * [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)))
9.450 * [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
9.450 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in y
9.451 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.451 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in y
9.451 * [taylor]: Taking taylor expansion of z in y
9.451 * [backup-simplify]: Simplify z into z
9.451 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y
9.451 * [taylor]: Taking taylor expansion of 1 in y
9.451 * [backup-simplify]: Simplify 1 into 1
9.451 * [taylor]: Taking taylor expansion of (log t) in y
9.451 * [taylor]: Taking taylor expansion of t in y
9.451 * [backup-simplify]: Simplify t into t
9.451 * [backup-simplify]: Simplify (log t) into (log t)
9.451 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in y
9.451 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.451 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in y
9.451 * [taylor]: Taking taylor expansion of (- a 0.5) in y
9.451 * [taylor]: Taking taylor expansion of a in y
9.451 * [backup-simplify]: Simplify a into a
9.451 * [taylor]: Taking taylor expansion of 0.5 in y
9.451 * [backup-simplify]: Simplify 0.5 into 0.5
9.451 * [taylor]: Taking taylor expansion of b in y
9.451 * [backup-simplify]: Simplify b into b
9.451 * [taylor]: Taking taylor expansion of (+ x y) in y
9.452 * [taylor]: Taking taylor expansion of x in y
9.452 * [backup-simplify]: Simplify x into x
9.452 * [taylor]: Taking taylor expansion of y in y
9.452 * [backup-simplify]: Simplify 0 into 0
9.452 * [backup-simplify]: Simplify 1 into 1
9.452 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in x
9.452 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.452 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in x
9.452 * [taylor]: Taking taylor expansion of z in x
9.452 * [backup-simplify]: Simplify z into z
9.452 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x
9.452 * [taylor]: Taking taylor expansion of 1 in x
9.452 * [backup-simplify]: Simplify 1 into 1
9.452 * [taylor]: Taking taylor expansion of (log t) in x
9.452 * [taylor]: Taking taylor expansion of t in x
9.452 * [backup-simplify]: Simplify t into t
9.452 * [backup-simplify]: Simplify (log t) into (log t)
9.452 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in x
9.452 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.452 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in x
9.452 * [taylor]: Taking taylor expansion of (- a 0.5) in x
9.452 * [taylor]: Taking taylor expansion of a in x
9.452 * [backup-simplify]: Simplify a into a
9.452 * [taylor]: Taking taylor expansion of 0.5 in x
9.453 * [backup-simplify]: Simplify 0.5 into 0.5
9.453 * [taylor]: Taking taylor expansion of b in x
9.453 * [backup-simplify]: Simplify b into b
9.453 * [taylor]: Taking taylor expansion of (+ x y) in x
9.453 * [taylor]: Taking taylor expansion of x in x
9.453 * [backup-simplify]: Simplify 0 into 0
9.453 * [backup-simplify]: Simplify 1 into 1
9.453 * [taylor]: Taking taylor expansion of y in x
9.453 * [backup-simplify]: Simplify y into y
9.453 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in b
9.453 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.453 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in b
9.453 * [taylor]: Taking taylor expansion of z in b
9.453 * [backup-simplify]: Simplify z into z
9.453 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b
9.453 * [taylor]: Taking taylor expansion of 1 in b
9.453 * [backup-simplify]: Simplify 1 into 1
9.453 * [taylor]: Taking taylor expansion of (log t) in b
9.453 * [taylor]: Taking taylor expansion of t in b
9.453 * [backup-simplify]: Simplify t into t
9.453 * [backup-simplify]: Simplify (log t) into (log t)
9.453 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in b
9.453 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.453 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b
9.453 * [taylor]: Taking taylor expansion of (- a 0.5) in b
9.454 * [taylor]: Taking taylor expansion of a in b
9.454 * [backup-simplify]: Simplify a into a
9.454 * [taylor]: Taking taylor expansion of 0.5 in b
9.454 * [backup-simplify]: Simplify 0.5 into 0.5
9.454 * [taylor]: Taking taylor expansion of b in b
9.454 * [backup-simplify]: Simplify 0 into 0
9.454 * [backup-simplify]: Simplify 1 into 1
9.454 * [taylor]: Taking taylor expansion of (+ x y) in b
9.454 * [taylor]: Taking taylor expansion of x in b
9.454 * [backup-simplify]: Simplify x into x
9.454 * [taylor]: Taking taylor expansion of y in b
9.454 * [backup-simplify]: Simplify y into y
9.454 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in a
9.454 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.454 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in a
9.454 * [taylor]: Taking taylor expansion of z in a
9.454 * [backup-simplify]: Simplify z into z
9.454 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a
9.454 * [taylor]: Taking taylor expansion of 1 in a
9.454 * [backup-simplify]: Simplify 1 into 1
9.454 * [taylor]: Taking taylor expansion of (log t) in a
9.454 * [taylor]: Taking taylor expansion of t in a
9.454 * [backup-simplify]: Simplify t into t
9.454 * [backup-simplify]: Simplify (log t) into (log t)
9.454 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in a
9.455 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.455 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
9.455 * [taylor]: Taking taylor expansion of (- a 0.5) in a
9.455 * [taylor]: Taking taylor expansion of a in a
9.455 * [backup-simplify]: Simplify 0 into 0
9.455 * [backup-simplify]: Simplify 1 into 1
9.455 * [taylor]: Taking taylor expansion of 0.5 in a
9.455 * [backup-simplify]: Simplify 0.5 into 0.5
9.455 * [taylor]: Taking taylor expansion of b in a
9.455 * [backup-simplify]: Simplify b into b
9.455 * [taylor]: Taking taylor expansion of (+ x y) in a
9.455 * [taylor]: Taking taylor expansion of x in a
9.455 * [backup-simplify]: Simplify x into x
9.455 * [taylor]: Taking taylor expansion of y in a
9.455 * [backup-simplify]: Simplify y into y
9.455 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in t
9.455 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.455 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in t
9.455 * [taylor]: Taking taylor expansion of z in t
9.455 * [backup-simplify]: Simplify z into z
9.455 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
9.455 * [taylor]: Taking taylor expansion of 1 in t
9.455 * [backup-simplify]: Simplify 1 into 1
9.455 * [taylor]: Taking taylor expansion of (log t) in t
9.455 * [taylor]: Taking taylor expansion of t in t
9.455 * [backup-simplify]: Simplify 0 into 0
9.455 * [backup-simplify]: Simplify 1 into 1
9.456 * [backup-simplify]: Simplify (log 1) into 0
9.456 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in t
9.456 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.456 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in t
9.456 * [taylor]: Taking taylor expansion of (- a 0.5) in t
9.456 * [taylor]: Taking taylor expansion of a in t
9.456 * [backup-simplify]: Simplify a into a
9.457 * [taylor]: Taking taylor expansion of 0.5 in t
9.457 * [backup-simplify]: Simplify 0.5 into 0.5
9.457 * [taylor]: Taking taylor expansion of b in t
9.457 * [backup-simplify]: Simplify b into b
9.457 * [taylor]: Taking taylor expansion of (+ x y) in t
9.457 * [taylor]: Taking taylor expansion of x in t
9.457 * [backup-simplify]: Simplify x into x
9.457 * [taylor]: Taking taylor expansion of y in t
9.457 * [backup-simplify]: Simplify y into y
9.457 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z
9.457 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.457 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z
9.457 * [taylor]: Taking taylor expansion of z in z
9.457 * [backup-simplify]: Simplify 0 into 0
9.457 * [backup-simplify]: Simplify 1 into 1
9.457 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z
9.457 * [taylor]: Taking taylor expansion of 1 in z
9.457 * [backup-simplify]: Simplify 1 into 1
9.457 * [taylor]: Taking taylor expansion of (log t) in z
9.457 * [taylor]: Taking taylor expansion of t in z
9.457 * [backup-simplify]: Simplify t into t
9.457 * [backup-simplify]: Simplify (log t) into (log t)
9.457 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z
9.457 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.458 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z
9.458 * [taylor]: Taking taylor expansion of (- a 0.5) in z
9.458 * [taylor]: Taking taylor expansion of a in z
9.458 * [backup-simplify]: Simplify a into a
9.458 * [taylor]: Taking taylor expansion of 0.5 in z
9.458 * [backup-simplify]: Simplify 0.5 into 0.5
9.458 * [taylor]: Taking taylor expansion of b in z
9.458 * [backup-simplify]: Simplify b into b
9.458 * [taylor]: Taking taylor expansion of (+ x y) in z
9.458 * [taylor]: Taking taylor expansion of x in z
9.458 * [backup-simplify]: Simplify x into x
9.458 * [taylor]: Taking taylor expansion of y in z
9.458 * [backup-simplify]: Simplify y into y
9.458 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z
9.458 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y)))
9.458 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z
9.458 * [taylor]: Taking taylor expansion of z in z
9.458 * [backup-simplify]: Simplify 0 into 0
9.458 * [backup-simplify]: Simplify 1 into 1
9.458 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z
9.458 * [taylor]: Taking taylor expansion of 1 in z
9.458 * [backup-simplify]: Simplify 1 into 1
9.458 * [taylor]: Taking taylor expansion of (log t) in z
9.458 * [taylor]: Taking taylor expansion of t in z
9.458 * [backup-simplify]: Simplify t into t
9.458 * [backup-simplify]: Simplify (log t) into (log t)
9.458 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z
9.459 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y))
9.459 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z
9.459 * [taylor]: Taking taylor expansion of (- a 0.5) in z
9.459 * [taylor]: Taking taylor expansion of a in z
9.459 * [backup-simplify]: Simplify a into a
9.459 * [taylor]: Taking taylor expansion of 0.5 in z
9.459 * [backup-simplify]: Simplify 0.5 into 0.5
9.459 * [taylor]: Taking taylor expansion of b in z
9.459 * [backup-simplify]: Simplify b into b
9.459 * [taylor]: Taking taylor expansion of (+ x y) in z
9.459 * [taylor]: Taking taylor expansion of x in z
9.459 * [backup-simplify]: Simplify x into x
9.459 * [taylor]: Taking taylor expansion of y in z
9.459 * [backup-simplify]: Simplify y into y
9.459 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.459 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.459 * [backup-simplify]: Simplify (* 0 (- 1 (log t))) into 0
9.460 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.460 * [backup-simplify]: Simplify (+ a (- 0.5)) into (- a 0.5)
9.460 * [backup-simplify]: Simplify (* (- a 0.5) b) into (* b (- a 0.5))
9.461 * [backup-simplify]: Simplify (+ x y) into (+ x y)
9.461 * [backup-simplify]: Simplify (+ (* b (- a 0.5)) (+ x y)) into (- (+ (* a b) (+ y x)) (* 0.5 b))
9.461 * [backup-simplify]: Simplify (+ 0 (- (+ (* a b) (+ y x)) (* 0.5 b))) into (- (+ (* a b) (+ x y)) (* 0.5 b))
9.461 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ x y)) (* 0.5 b)) in t
9.461 * [taylor]: Taking taylor expansion of (+ (* a b) (+ x y)) in t
9.461 * [taylor]: Taking taylor expansion of (* a b) in t
9.461 * [taylor]: Taking taylor expansion of a in t
9.461 * [backup-simplify]: Simplify a into a
9.461 * [taylor]: Taking taylor expansion of b in t
9.461 * [backup-simplify]: Simplify b into b
9.461 * [taylor]: Taking taylor expansion of (+ x y) in t
9.461 * [taylor]: Taking taylor expansion of x in t
9.461 * [backup-simplify]: Simplify x into x
9.461 * [taylor]: Taking taylor expansion of y in t
9.461 * [backup-simplify]: Simplify y into y
9.461 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
9.461 * [taylor]: Taking taylor expansion of 0.5 in t
9.461 * [backup-simplify]: Simplify 0.5 into 0.5
9.462 * [taylor]: Taking taylor expansion of b in t
9.462 * [backup-simplify]: Simplify b into b
9.462 * [backup-simplify]: Simplify (* a b) into (* a b)
9.462 * [backup-simplify]: Simplify (+ x y) into (+ x y)
9.462 * [backup-simplify]: Simplify (+ (* a b) (+ x y)) into (+ (* a b) (+ y x))
9.462 * [backup-simplify]: Simplify (* 0.5 b) into (* 0.5 b)
9.462 * [backup-simplify]: Simplify (- (* 0.5 b)) into (- (* 0.5 b))
9.462 * [backup-simplify]: Simplify (+ (+ (* a b) (+ y x)) (- (* 0.5 b))) into (- (+ (* a b) (+ y x)) (* 0.5 b))
9.462 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ y x)) (* 0.5 b)) in a
9.462 * [taylor]: Taking taylor expansion of (+ (* a b) (+ y x)) in a
9.462 * [taylor]: Taking taylor expansion of (* a b) in a
9.462 * [taylor]: Taking taylor expansion of a in a
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 1 into 1
9.462 * [taylor]: Taking taylor expansion of b in a
9.462 * [backup-simplify]: Simplify b into b
9.462 * [taylor]: Taking taylor expansion of (+ y x) in a
9.462 * [taylor]: Taking taylor expansion of y in a
9.463 * [backup-simplify]: Simplify y into y
9.463 * [taylor]: Taking taylor expansion of x in a
9.463 * [backup-simplify]: Simplify x into x
9.463 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
9.463 * [taylor]: Taking taylor expansion of 0.5 in a
9.463 * [backup-simplify]: Simplify 0.5 into 0.5
9.463 * [taylor]: Taking taylor expansion of b in a
9.463 * [backup-simplify]: Simplify b into b
9.463 * [backup-simplify]: Simplify (* 0 b) into 0
9.463 * [backup-simplify]: Simplify (+ y x) into (+ x y)
9.463 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
9.463 * [backup-simplify]: Simplify (* 0.5 b) into (* 0.5 b)
9.463 * [backup-simplify]: Simplify (- (* 0.5 b)) into (- (* 0.5 b))
9.463 * [backup-simplify]: Simplify (+ (+ x y) (- (* 0.5 b))) into (- (+ x y) (* 0.5 b))
9.463 * [taylor]: Taking taylor expansion of (- (+ x y) (* 0.5 b)) in b
9.463 * [taylor]: Taking taylor expansion of (+ x y) in b
9.463 * [taylor]: Taking taylor expansion of x in b
9.463 * [backup-simplify]: Simplify x into x
9.463 * [taylor]: Taking taylor expansion of y in b
9.464 * [backup-simplify]: Simplify y into y
9.464 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
9.464 * [taylor]: Taking taylor expansion of 0.5 in b
9.464 * [backup-simplify]: Simplify 0.5 into 0.5
9.464 * [taylor]: Taking taylor expansion of b in b
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 1 into 1
9.464 * [backup-simplify]: Simplify (+ x y) into (+ x y)
9.464 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.465 * [backup-simplify]: Simplify (- 0) into 0
9.465 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
9.465 * [taylor]: Taking taylor expansion of (+ x y) in x
9.465 * [taylor]: Taking taylor expansion of x in x
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 1 into 1
9.465 * [taylor]: Taking taylor expansion of y in x
9.465 * [backup-simplify]: Simplify y into y
9.465 * [backup-simplify]: Simplify (+ 0 y) into y
9.465 * [taylor]: Taking taylor expansion of y in y
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 1 into 1
9.465 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow t 1)))) 1) into 0
9.467 * [backup-simplify]: Simplify (- 0) into 0
9.467 * [backup-simplify]: Simplify (+ 0 0) into 0
9.468 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1 (log t)))) into (- 1 (log t))
9.468 * [backup-simplify]: Simplify (- 0) into 0
9.468 * [backup-simplify]: Simplify (+ 0 0) into 0
9.469 * [backup-simplify]: Simplify (+ (* (- a 0.5) 0) (* 0 b)) into 0
9.469 * [backup-simplify]: Simplify (+ 0 0) into 0
9.469 * [backup-simplify]: Simplify (+ 0 0) into 0
9.469 * [backup-simplify]: Simplify (+ (- 1 (log t)) 0) into (- 1 (log t))
9.469 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
9.469 * [taylor]: Taking taylor expansion of 1 in t
9.470 * [backup-simplify]: Simplify 1 into 1
9.470 * [taylor]: Taking taylor expansion of (log t) in t
9.470 * [taylor]: Taking taylor expansion of t in t
9.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 1 into 1
9.470 * [backup-simplify]: Simplify (log 1) into 0
9.471 * [backup-simplify]: Simplify (+ (* (- -1) (log t)) 0) into (log t)
9.471 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.471 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.471 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a
9.471 * [taylor]: Taking taylor expansion of 1 in a
9.471 * [backup-simplify]: Simplify 1 into 1
9.471 * [taylor]: Taking taylor expansion of (log t) in a
9.471 * [taylor]: Taking taylor expansion of t in a
9.471 * [backup-simplify]: Simplify t into t
9.471 * [backup-simplify]: Simplify (log t) into (log t)
9.471 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.471 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.471 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b
9.471 * [taylor]: Taking taylor expansion of 1 in b
9.471 * [backup-simplify]: Simplify 1 into 1
9.471 * [taylor]: Taking taylor expansion of (log t) in b
9.471 * [taylor]: Taking taylor expansion of t in b
9.471 * [backup-simplify]: Simplify t into t
9.471 * [backup-simplify]: Simplify (log t) into (log t)
9.472 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.472 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.472 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x
9.472 * [taylor]: Taking taylor expansion of 1 in x
9.472 * [backup-simplify]: Simplify 1 into 1
9.472 * [taylor]: Taking taylor expansion of (log t) in x
9.472 * [taylor]: Taking taylor expansion of t in x
9.472 * [backup-simplify]: Simplify t into t
9.472 * [backup-simplify]: Simplify (log t) into (log t)
9.472 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.472 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.472 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y
9.472 * [taylor]: Taking taylor expansion of 1 in y
9.472 * [backup-simplify]: Simplify 1 into 1
9.472 * [taylor]: Taking taylor expansion of (log t) in y
9.472 * [taylor]: Taking taylor expansion of t in y
9.472 * [backup-simplify]: Simplify t into t
9.472 * [backup-simplify]: Simplify (log t) into (log t)
9.472 * [backup-simplify]: Simplify (- (log t)) into (- (log t))
9.472 * [backup-simplify]: Simplify (+ 1 (- (log t))) into (- 1 (log t))
9.473 * [backup-simplify]: Simplify (- 1 (log t)) into (- 1 (log t))
9.473 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
9.473 * [backup-simplify]: Simplify (+ 0 0) into 0
9.474 * [backup-simplify]: Simplify (+ 0 0) into 0
9.474 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 b)) into 0
9.475 * [backup-simplify]: Simplify (- 0) into 0
9.475 * [backup-simplify]: Simplify (+ 0 0) into 0
9.475 * [taylor]: Taking taylor expansion of 0 in a
9.475 * [backup-simplify]: Simplify 0 into 0
9.475 * [taylor]: Taking taylor expansion of 0 in b
9.475 * [backup-simplify]: Simplify 0 into 0
9.475 * [taylor]: Taking taylor expansion of 0 in x
9.475 * [backup-simplify]: Simplify 0 into 0
9.475 * [taylor]: Taking taylor expansion of 0 in y
9.475 * [backup-simplify]: Simplify 0 into 0
9.475 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
9.476 * [backup-simplify]: Simplify (+ 0 0) into 0
9.476 * [backup-simplify]: Simplify (+ b 0) into b
9.477 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 b)) into 0
9.477 * [backup-simplify]: Simplify (- 0) into 0
9.477 * [backup-simplify]: Simplify (+ b 0) into b
9.478 * [taylor]: Taking taylor expansion of b in b
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 1 into 1
9.478 * [taylor]: Taking taylor expansion of 0 in x
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [taylor]: Taking taylor expansion of 0 in y
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify (+ 0 0) into 0
9.480 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.480 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.481 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
9.481 * [taylor]: Taking taylor expansion of (- 0.5) in x
9.481 * [taylor]: Taking taylor expansion of 0.5 in x
9.481 * [backup-simplify]: Simplify 0.5 into 0.5
9.481 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.481 * [taylor]: Taking taylor expansion of (- 0.5) in y
9.481 * [taylor]: Taking taylor expansion of 0.5 in y
9.482 * [backup-simplify]: Simplify 0.5 into 0.5
9.482 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.482 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.483 * [backup-simplify]: Simplify (+ 1 0) into 1
9.483 * [taylor]: Taking taylor expansion of 1 in y
9.483 * [backup-simplify]: Simplify 1 into 1
9.483 * [backup-simplify]: Simplify 1 into 1
9.485 * [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)))
9.485 * [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))))
9.485 * [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
9.486 * [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
9.486 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.486 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in y
9.486 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.486 * [taylor]: Taking taylor expansion of z in y
9.486 * [backup-simplify]: Simplify z into z
9.486 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.486 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in y
9.486 * [taylor]: Taking taylor expansion of 1 in y
9.486 * [backup-simplify]: Simplify 1 into 1
9.486 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
9.486 * [taylor]: Taking taylor expansion of (/ 1 t) in y
9.486 * [taylor]: Taking taylor expansion of t in y
9.486 * [backup-simplify]: Simplify t into t
9.486 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.486 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.486 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in y
9.486 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.487 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in y
9.487 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in y
9.487 * [taylor]: Taking taylor expansion of (/ 1 a) in y
9.487 * [taylor]: Taking taylor expansion of a in y
9.487 * [backup-simplify]: Simplify a into a
9.487 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.487 * [taylor]: Taking taylor expansion of 0.5 in y
9.487 * [backup-simplify]: Simplify 0.5 into 0.5
9.487 * [taylor]: Taking taylor expansion of (/ 1 b) in y
9.487 * [taylor]: Taking taylor expansion of b in y
9.487 * [backup-simplify]: Simplify b into b
9.487 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.487 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
9.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.487 * [taylor]: Taking taylor expansion of y in y
9.487 * [backup-simplify]: Simplify 0 into 0
9.487 * [backup-simplify]: Simplify 1 into 1
9.487 * [backup-simplify]: Simplify (/ 1 1) into 1
9.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.488 * [taylor]: Taking taylor expansion of x in y
9.488 * [backup-simplify]: Simplify x into x
9.488 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.488 * [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
9.488 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.488 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in x
9.488 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.488 * [taylor]: Taking taylor expansion of z in x
9.488 * [backup-simplify]: Simplify z into z
9.488 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.488 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in x
9.488 * [taylor]: Taking taylor expansion of 1 in x
9.488 * [backup-simplify]: Simplify 1 into 1
9.488 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
9.488 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.488 * [taylor]: Taking taylor expansion of t in x
9.488 * [backup-simplify]: Simplify t into t
9.488 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.488 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.488 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in x
9.489 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.489 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in x
9.489 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in x
9.489 * [taylor]: Taking taylor expansion of (/ 1 a) in x
9.489 * [taylor]: Taking taylor expansion of a in x
9.489 * [backup-simplify]: Simplify a into a
9.489 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.489 * [taylor]: Taking taylor expansion of 0.5 in x
9.489 * [backup-simplify]: Simplify 0.5 into 0.5
9.489 * [taylor]: Taking taylor expansion of (/ 1 b) in x
9.489 * [taylor]: Taking taylor expansion of b in x
9.489 * [backup-simplify]: Simplify b into b
9.489 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.489 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.489 * [taylor]: Taking taylor expansion of y in x
9.489 * [backup-simplify]: Simplify y into y
9.489 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.489 * [taylor]: Taking taylor expansion of x in x
9.489 * [backup-simplify]: Simplify 0 into 0
9.489 * [backup-simplify]: Simplify 1 into 1
9.490 * [backup-simplify]: Simplify (/ 1 1) into 1
9.490 * [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
9.490 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.490 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in b
9.490 * [taylor]: Taking taylor expansion of (/ 1 z) in b
9.490 * [taylor]: Taking taylor expansion of z in b
9.490 * [backup-simplify]: Simplify z into z
9.490 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.490 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in b
9.490 * [taylor]: Taking taylor expansion of 1 in b
9.490 * [backup-simplify]: Simplify 1 into 1
9.490 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
9.490 * [taylor]: Taking taylor expansion of (/ 1 t) in b
9.490 * [taylor]: Taking taylor expansion of t in b
9.490 * [backup-simplify]: Simplify t into t
9.490 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.490 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.490 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in b
9.491 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.491 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in b
9.491 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
9.491 * [taylor]: Taking taylor expansion of (/ 1 a) in b
9.491 * [taylor]: Taking taylor expansion of a in b
9.491 * [backup-simplify]: Simplify a into a
9.491 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.491 * [taylor]: Taking taylor expansion of 0.5 in b
9.491 * [backup-simplify]: Simplify 0.5 into 0.5
9.491 * [taylor]: Taking taylor expansion of (/ 1 b) in b
9.491 * [taylor]: Taking taylor expansion of b in b
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify 1 into 1
9.491 * [backup-simplify]: Simplify (/ 1 1) into 1
9.491 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b
9.492 * [taylor]: Taking taylor expansion of (/ 1 y) in b
9.492 * [taylor]: Taking taylor expansion of y in b
9.492 * [backup-simplify]: Simplify y into y
9.492 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.492 * [taylor]: Taking taylor expansion of (/ 1 x) in b
9.492 * [taylor]: Taking taylor expansion of x in b
9.492 * [backup-simplify]: Simplify x into x
9.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.492 * [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
9.492 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.492 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in a
9.492 * [taylor]: Taking taylor expansion of (/ 1 z) in a
9.492 * [taylor]: Taking taylor expansion of z in a
9.492 * [backup-simplify]: Simplify z into z
9.492 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.492 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in a
9.492 * [taylor]: Taking taylor expansion of 1 in a
9.492 * [backup-simplify]: Simplify 1 into 1
9.492 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
9.492 * [taylor]: Taking taylor expansion of (/ 1 t) in a
9.492 * [taylor]: Taking taylor expansion of t in a
9.492 * [backup-simplify]: Simplify t into t
9.492 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.493 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.493 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in a
9.493 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.493 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in a
9.493 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
9.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a
9.493 * [taylor]: Taking taylor expansion of a in a
9.493 * [backup-simplify]: Simplify 0 into 0
9.493 * [backup-simplify]: Simplify 1 into 1
9.493 * [backup-simplify]: Simplify (/ 1 1) into 1
9.493 * [taylor]: Taking taylor expansion of 0.5 in a
9.493 * [backup-simplify]: Simplify 0.5 into 0.5
9.493 * [taylor]: Taking taylor expansion of (/ 1 b) in a
9.493 * [taylor]: Taking taylor expansion of b in a
9.493 * [backup-simplify]: Simplify b into b
9.494 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.494 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
9.494 * [taylor]: Taking taylor expansion of (/ 1 y) in a
9.494 * [taylor]: Taking taylor expansion of y in a
9.494 * [backup-simplify]: Simplify y into y
9.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.494 * [taylor]: Taking taylor expansion of (/ 1 x) in a
9.494 * [taylor]: Taking taylor expansion of x in a
9.494 * [backup-simplify]: Simplify x into x
9.494 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.494 * [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
9.494 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.494 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in t
9.494 * [taylor]: Taking taylor expansion of (/ 1 z) in t
9.494 * [taylor]: Taking taylor expansion of z in t
9.494 * [backup-simplify]: Simplify z into z
9.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.494 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
9.494 * [taylor]: Taking taylor expansion of 1 in t
9.494 * [backup-simplify]: Simplify 1 into 1
9.494 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
9.494 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.494 * [taylor]: Taking taylor expansion of t in t
9.494 * [backup-simplify]: Simplify 0 into 0
9.494 * [backup-simplify]: Simplify 1 into 1
9.495 * [backup-simplify]: Simplify (/ 1 1) into 1
9.495 * [backup-simplify]: Simplify (log 1) into 0
9.495 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in t
9.495 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.495 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in t
9.496 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in t
9.496 * [taylor]: Taking taylor expansion of (/ 1 a) in t
9.496 * [taylor]: Taking taylor expansion of a in t
9.496 * [backup-simplify]: Simplify a into a
9.496 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.496 * [taylor]: Taking taylor expansion of 0.5 in t
9.496 * [backup-simplify]: Simplify 0.5 into 0.5
9.496 * [taylor]: Taking taylor expansion of (/ 1 b) in t
9.496 * [taylor]: Taking taylor expansion of b in t
9.496 * [backup-simplify]: Simplify b into b
9.496 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.496 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
9.496 * [taylor]: Taking taylor expansion of (/ 1 y) in t
9.496 * [taylor]: Taking taylor expansion of y in t
9.496 * [backup-simplify]: Simplify y into y
9.496 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.496 * [taylor]: Taking taylor expansion of (/ 1 x) in t
9.496 * [taylor]: Taking taylor expansion of x in t
9.496 * [backup-simplify]: Simplify x into x
9.496 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.496 * [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
9.496 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.496 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z
9.496 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.496 * [taylor]: Taking taylor expansion of z in z
9.497 * [backup-simplify]: Simplify 0 into 0
9.497 * [backup-simplify]: Simplify 1 into 1
9.497 * [backup-simplify]: Simplify (/ 1 1) into 1
9.497 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z
9.497 * [taylor]: Taking taylor expansion of 1 in z
9.497 * [backup-simplify]: Simplify 1 into 1
9.497 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
9.497 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.497 * [taylor]: Taking taylor expansion of t in z
9.497 * [backup-simplify]: Simplify t into t
9.497 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.497 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.497 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z
9.497 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.498 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z
9.498 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z
9.498 * [taylor]: Taking taylor expansion of (/ 1 a) in z
9.498 * [taylor]: Taking taylor expansion of a in z
9.498 * [backup-simplify]: Simplify a into a
9.498 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.498 * [taylor]: Taking taylor expansion of 0.5 in z
9.498 * [backup-simplify]: Simplify 0.5 into 0.5
9.498 * [taylor]: Taking taylor expansion of (/ 1 b) in z
9.498 * [taylor]: Taking taylor expansion of b in z
9.498 * [backup-simplify]: Simplify b into b
9.498 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.498 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
9.498 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.498 * [taylor]: Taking taylor expansion of y in z
9.498 * [backup-simplify]: Simplify y into y
9.498 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.498 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.498 * [taylor]: Taking taylor expansion of x in z
9.498 * [backup-simplify]: Simplify x into x
9.498 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.498 * [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
9.498 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))))
9.498 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z
9.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.499 * [taylor]: Taking taylor expansion of z in z
9.499 * [backup-simplify]: Simplify 0 into 0
9.499 * [backup-simplify]: Simplify 1 into 1
9.499 * [backup-simplify]: Simplify (/ 1 1) into 1
9.499 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z
9.499 * [taylor]: Taking taylor expansion of 1 in z
9.499 * [backup-simplify]: Simplify 1 into 1
9.499 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
9.499 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.499 * [taylor]: Taking taylor expansion of t in z
9.499 * [backup-simplify]: Simplify t into t
9.499 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.499 * [backup-simplify]: Simplify (log (/ 1 t)) into (log (/ 1 t))
9.499 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z
9.499 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x)))
9.500 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z
9.500 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z
9.500 * [taylor]: Taking taylor expansion of (/ 1 a) in z
9.500 * [taylor]: Taking taylor expansion of a in z
9.500 * [backup-simplify]: Simplify a into a
9.500 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
9.500 * [taylor]: Taking taylor expansion of 0.5 in z
9.500 * [backup-simplify]: Simplify 0.5 into 0.5
9.500 * [taylor]: Taking taylor expansion of (/ 1 b) in z
9.500 * [taylor]: Taking taylor expansion of b in z
9.500 * [backup-simplify]: Simplify b into b
9.500 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.500 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
9.500 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.500 * [taylor]: Taking taylor expansion of y in z
9.500 * [backup-simplify]: Simplify y into y
9.500 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.500 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.500 * [taylor]: Taking taylor expansion of x in z
9.500 * [backup-simplify]: Simplify x into x
9.500 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.500 * [backup-simplify]: Simplify (- (log (/ 1 t))) into (- (log (/ 1 t)))
9.501 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 t)))) into (- 1 (log (/ 1 t)))
9.501 * [backup-simplify]: Simplify (* 1 (- 1 (log (/ 1 t)))) into (- 1 (log (/ 1 t)))
9.501 * [backup-simplify]: Simplify (+ (- 1 (log (/ 1 t))) 0) into (- 1 (log (/ 1 t)))
9.501 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
9.501 * [taylor]: Taking taylor expansion of 1 in t
9.501 * [backup-simplify]: Simplify 1 into 1
9.501 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
9.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.501 * [taylor]: Taking taylor expansion of t in t
9.501 * [backup-simplify]: Simplify 0 into 0
9.501 * [backup-simplify]: Simplify 1 into 1
9.501 * [backup-simplify]: Simplify (/ 1 1) into 1
9.502 * [backup-simplify]: Simplify (log 1) into 0
9.502 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
9.502 * [backup-simplify]: Simplify (- (- (log t))) into (log t)
9.502 * [backup-simplify]: Simplify (+ 1 (log t)) into (+ (log t) 1)
9.503 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
9.503 * [taylor]: Taking taylor expansion of (log t) in a
9.503 * [taylor]: Taking taylor expansion of t in a
9.503 * [backup-simplify]: Simplify t into t
9.503 * [backup-simplify]: Simplify (log t) into (log t)
9.503 * [taylor]: Taking taylor expansion of 1 in a
9.503 * [backup-simplify]: Simplify 1 into 1
9.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
9.504 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 t) 1)))) 1) into 0
9.504 * [backup-simplify]: Simplify (- 0) into 0
9.505 * [backup-simplify]: Simplify (+ 0 0) into 0
9.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1 (log (/ 1 t))))) into 0
9.506 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.507 * [backup-simplify]: Simplify (+ (/ 1 a) (- 0.5)) into (- (/ 1 a) 0.5)
9.507 * [backup-simplify]: Simplify (* (- (/ 1 a) 0.5) (/ 1 b)) into (/ (- (/ 1 a) 0.5) b)
9.507 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
9.507 * [backup-simplify]: Simplify (+ (/ (- (/ 1 a) 0.5) b) (+ (/ 1 y) (/ 1 x))) into (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b)))
9.508 * [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)))
9.508 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in t
9.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in t
9.508 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
9.508 * [taylor]: Taking taylor expansion of (* a b) in t
9.508 * [taylor]: Taking taylor expansion of a in t
9.508 * [backup-simplify]: Simplify a into a
9.508 * [taylor]: Taking taylor expansion of b in t
9.508 * [backup-simplify]: Simplify b into b
9.508 * [backup-simplify]: Simplify (* a b) into (* a b)
9.508 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
9.508 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
9.508 * [taylor]: Taking taylor expansion of (/ 1 y) in t
9.508 * [taylor]: Taking taylor expansion of y in t
9.508 * [backup-simplify]: Simplify y into y
9.508 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.508 * [taylor]: Taking taylor expansion of (/ 1 x) in t
9.508 * [taylor]: Taking taylor expansion of x in t
9.508 * [backup-simplify]: Simplify x into x
9.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.509 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
9.509 * [taylor]: Taking taylor expansion of 0.5 in t
9.509 * [backup-simplify]: Simplify 0.5 into 0.5
9.509 * [taylor]: Taking taylor expansion of (/ 1 b) in t
9.509 * [taylor]: Taking taylor expansion of b in t
9.509 * [backup-simplify]: Simplify b into b
9.509 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.509 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
9.509 * [backup-simplify]: Simplify (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) into (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x)))
9.509 * [backup-simplify]: Simplify (* 0.5 (/ 1 b)) into (/ 0.5 b)
9.509 * [backup-simplify]: Simplify (- (/ 0.5 b)) into (- (* 0.5 (/ 1 b)))
9.510 * [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)))
9.510 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in a
9.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in a
9.510 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
9.510 * [taylor]: Taking taylor expansion of (* a b) in a
9.510 * [taylor]: Taking taylor expansion of a in a
9.510 * [backup-simplify]: Simplify 0 into 0
9.510 * [backup-simplify]: Simplify 1 into 1
9.510 * [taylor]: Taking taylor expansion of b in a
9.510 * [backup-simplify]: Simplify b into b
9.510 * [backup-simplify]: Simplify (* 0 b) into 0
9.510 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
9.511 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.511 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
9.511 * [taylor]: Taking taylor expansion of (/ 1 y) in a
9.511 * [taylor]: Taking taylor expansion of y in a
9.511 * [backup-simplify]: Simplify y into y
9.511 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.511 * [taylor]: Taking taylor expansion of (/ 1 x) in a
9.511 * [taylor]: Taking taylor expansion of x in a
9.511 * [backup-simplify]: Simplify x into x
9.511 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.511 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
9.511 * [taylor]: Taking taylor expansion of 0.5 in a
9.511 * [backup-simplify]: Simplify 0.5 into 0.5
9.511 * [taylor]: Taking taylor expansion of (/ 1 b) in a
9.511 * [taylor]: Taking taylor expansion of b in a
9.511 * [backup-simplify]: Simplify b into b
9.511 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
9.511 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
9.511 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
9.511 * [taylor]: Taking taylor expansion of (/ 1 b) in b
9.511 * [taylor]: Taking taylor expansion of b in b
9.511 * [backup-simplify]: Simplify 0 into 0
9.511 * [backup-simplify]: Simplify 1 into 1
9.512 * [backup-simplify]: Simplify (/ 1 1) into 1
9.512 * [taylor]: Taking taylor expansion of 1 in x
9.512 * [backup-simplify]: Simplify 1 into 1
9.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
9.514 * [backup-simplify]: Simplify (- 0) into 0
9.514 * [backup-simplify]: Simplify (+ 0 0) into 0
9.514 * [taylor]: Taking taylor expansion of 0 in a
9.515 * [backup-simplify]: Simplify 0 into 0
9.515 * [backup-simplify]: Simplify (+ (log t) 1) into (+ (log t) 1)
9.515 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
9.515 * [taylor]: Taking taylor expansion of (log t) in b
9.515 * [taylor]: Taking taylor expansion of t in b
9.515 * [backup-simplify]: Simplify t into t
9.515 * [backup-simplify]: Simplify (log t) into (log t)
9.515 * [taylor]: Taking taylor expansion of 1 in b
9.515 * [backup-simplify]: Simplify 1 into 1
9.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0