5.701 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (+ x (/ (* y (- z t)) (- z a)))
0.026 * * [simplify]: Extracting # 0 : cost  0
0.026 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.034 * * [simplify]: iteration  2 :  33  enodes  (cost  11 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: iteration  3 :  61  enodes  (cost  10 )
0.067 * * [simplify]: Extracting # 0 : cost  0
0.068 * * [simplify]: Extracting # 1 : cost  0
0.068 * * [simplify]: Extracting # 2 : cost  0
0.068 * * [simplify]: iteration  4 :  112  enodes  (cost  10 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.101 * * [simplify]: iteration  5 :  157  enodes  (cost  10 )
0.146 * * [simplify]: Extracting # 0 : cost  0
0.146 * * [simplify]: Extracting # 1 : cost  0
0.146 * * [simplify]: Extracting # 2 : cost  0
0.147 * * [simplify]: iteration  6 :  207  enodes  (cost  10 )
0.218 * * [simplify]: Extracting # 0 : cost  0
0.218 * * [simplify]: Extracting # 1 : cost  0
0.218 * * [simplify]: Extracting # 2 : cost  0
0.218 * * [simplify]: Extracting # 3 : cost  0
0.219 * * [simplify]: iteration  7 :  251  enodes  (cost  10 )
0.281 * * [simplify]: Extracting # 0 : cost  0
0.281 * * [simplify]: Extracting # 1 : cost  0
0.282 * * [simplify]: Extracting # 2 : cost  0
0.282 * * [simplify]: iteration  8 :  302  enodes  (cost  10 )
0.405 * * [simplify]: Extracting # 0 : cost  0
0.406 * * [simplify]: Extracting # 1 : cost  0
0.407 * * [simplify]: Extracting # 2 : cost  0
0.408 * * [simplify]: iteration  9 :  387  enodes  (cost  10 )
0.685 * * [simplify]: Extracting # 0 : cost  0
0.686 * * [simplify]: Extracting # 1 : cost  0
0.687 * * [simplify]: Extracting # 2 : cost  0
0.687 * * [simplify]: iteration  10 :  485  enodes  (cost  10 )
0.847 * * [simplify]: Extracting # 0 : cost  0
0.848 * * [simplify]: Extracting # 1 : cost  0
0.848 * * [simplify]: Extracting # 2 : cost  0
0.848 * * [simplify]: iteration  11 :  553  enodes  (cost  10 )
1.088 * * [simplify]: Extracting # 0 : cost  0
1.089 * * [simplify]: Extracting # 1 : cost  0
1.089 * * [simplify]: Extracting # 2 : cost  0
1.090 * * [simplify]: iteration  12 :  617  enodes  (cost  10 )
1.336 * * [simplify]: Extracting # 0 : cost  0
1.337 * * [simplify]: Extracting # 1 : cost  0
1.338 * * [simplify]: iteration  13 :  645  enodes  (cost  10 )
1.630 * * [simplify]: Extracting # 0 : cost  0
1.631 * * [simplify]: iteration done:  645  enodes  (cost  10 )
1.631 * [simplify]: Simplified to:
  (fma (/ y (- z a)) (- z t) x)
1.638 * * [progress]: iteration 1 / 4
1.638 * * * [progress]: picking best candidate
1.645 * * * * [pick]: Picked  #<alt (λ (x y z t a) (fma (/ y (- z a)) (- z t) x))>
1.645 * * * [progress]: localizing error
1.664 * * * [progress]: generating rewritten candidates
1.665 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.665 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.692 * * * [progress]: generating series expansions
1.693 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.693 * [backup-simplify]: Simplify (fma (/ y (- z a)) (- z t) x) into (fma (/ y (- z a)) (- z t) x)
1.693 * [approximate]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in (y z a t x) around 0
1.693 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in x
1.693 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.693 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in x
1.693 * [taylor]: Taking taylor expansion of (/ y (- z a)) in x
1.693 * [taylor]: Taking taylor expansion of y in x
1.693 * [backup-simplify]: Simplify y into y
1.693 * [taylor]: Taking taylor expansion of (- z a) in x
1.693 * [taylor]: Taking taylor expansion of z in x
1.693 * [backup-simplify]: Simplify z into z
1.693 * [taylor]: Taking taylor expansion of a in x
1.693 * [backup-simplify]: Simplify a into a
1.694 * [backup-simplify]: Simplify (- a) into (- a)
1.694 * [backup-simplify]: Simplify (+ z (- a)) into (- z a)
1.694 * [backup-simplify]: Simplify (/ y (- z a)) into (/ y (- z a))
1.694 * [taylor]: Taking taylor expansion of (- z t) in x
1.694 * [taylor]: Taking taylor expansion of z in x
1.694 * [backup-simplify]: Simplify z into z
1.694 * [taylor]: Taking taylor expansion of t in x
1.694 * [backup-simplify]: Simplify t into t
1.694 * [taylor]: Taking taylor expansion of x in x
1.694 * [backup-simplify]: Simplify 0 into 0
1.694 * [backup-simplify]: Simplify 1 into 1
1.694 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in t
1.694 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.694 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in t
1.694 * [taylor]: Taking taylor expansion of (/ y (- z a)) in t
1.694 * [taylor]: Taking taylor expansion of y in t
1.694 * [backup-simplify]: Simplify y into y
1.694 * [taylor]: Taking taylor expansion of (- z a) in t
1.694 * [taylor]: Taking taylor expansion of z in t
1.694 * [backup-simplify]: Simplify z into z
1.694 * [taylor]: Taking taylor expansion of a in t
1.694 * [backup-simplify]: Simplify a into a
1.694 * [backup-simplify]: Simplify (- a) into (- a)
1.694 * [backup-simplify]: Simplify (+ z (- a)) into (- z a)
1.695 * [backup-simplify]: Simplify (/ y (- z a)) into (/ y (- z a))
1.695 * [taylor]: Taking taylor expansion of (- z t) in t
1.695 * [taylor]: Taking taylor expansion of z in t
1.695 * [backup-simplify]: Simplify z into z
1.695 * [taylor]: Taking taylor expansion of t in t
1.695 * [backup-simplify]: Simplify 0 into 0
1.695 * [backup-simplify]: Simplify 1 into 1
1.695 * [taylor]: Taking taylor expansion of x in t
1.695 * [backup-simplify]: Simplify x into x
1.695 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in a
1.695 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.695 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in a
1.695 * [taylor]: Taking taylor expansion of (/ y (- z a)) in a
1.695 * [taylor]: Taking taylor expansion of y in a
1.695 * [backup-simplify]: Simplify y into y
1.695 * [taylor]: Taking taylor expansion of (- z a) in a
1.695 * [taylor]: Taking taylor expansion of z in a
1.695 * [backup-simplify]: Simplify z into z
1.695 * [taylor]: Taking taylor expansion of a in a
1.695 * [backup-simplify]: Simplify 0 into 0
1.695 * [backup-simplify]: Simplify 1 into 1
1.696 * [backup-simplify]: Simplify (- 0) into 0
1.696 * [backup-simplify]: Simplify (+ z 0) into z
1.696 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.696 * [taylor]: Taking taylor expansion of (- z t) in a
1.696 * [taylor]: Taking taylor expansion of z in a
1.696 * [backup-simplify]: Simplify z into z
1.696 * [taylor]: Taking taylor expansion of t in a
1.696 * [backup-simplify]: Simplify t into t
1.696 * [taylor]: Taking taylor expansion of x in a
1.696 * [backup-simplify]: Simplify x into x
1.696 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in z
1.696 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.696 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in z
1.696 * [taylor]: Taking taylor expansion of (/ y (- z a)) in z
1.696 * [taylor]: Taking taylor expansion of y in z
1.696 * [backup-simplify]: Simplify y into y
1.696 * [taylor]: Taking taylor expansion of (- z a) in z
1.697 * [taylor]: Taking taylor expansion of z in z
1.697 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify 1 into 1
1.697 * [taylor]: Taking taylor expansion of a in z
1.697 * [backup-simplify]: Simplify a into a
1.697 * [backup-simplify]: Simplify (- a) into (- a)
1.697 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a)
1.697 * [backup-simplify]: Simplify (/ y (- a)) into (* -1 (/ y a))
1.697 * [taylor]: Taking taylor expansion of (- z t) in z
1.697 * [taylor]: Taking taylor expansion of z in z
1.697 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify 1 into 1
1.697 * [taylor]: Taking taylor expansion of t in z
1.697 * [backup-simplify]: Simplify t into t
1.697 * [taylor]: Taking taylor expansion of x in z
1.697 * [backup-simplify]: Simplify x into x
1.697 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in y
1.697 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.697 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in y
1.697 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y
1.697 * [taylor]: Taking taylor expansion of y in y
1.697 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify 1 into 1
1.697 * [taylor]: Taking taylor expansion of (- z a) in y
1.697 * [taylor]: Taking taylor expansion of z in y
1.697 * [backup-simplify]: Simplify z into z
1.697 * [taylor]: Taking taylor expansion of a in y
1.698 * [backup-simplify]: Simplify a into a
1.698 * [backup-simplify]: Simplify (- a) into (- a)
1.698 * [backup-simplify]: Simplify (+ z (- a)) into (- z a)
1.698 * [backup-simplify]: Simplify (/ 1 (- z a)) into (/ 1 (- z a))
1.698 * [taylor]: Taking taylor expansion of (- z t) in y
1.698 * [taylor]: Taking taylor expansion of z in y
1.698 * [backup-simplify]: Simplify z into z
1.698 * [taylor]: Taking taylor expansion of t in y
1.698 * [backup-simplify]: Simplify t into t
1.698 * [taylor]: Taking taylor expansion of x in y
1.698 * [backup-simplify]: Simplify x into x
1.698 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in y
1.698 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x)
1.698 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in y
1.698 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y
1.698 * [taylor]: Taking taylor expansion of y in y
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [taylor]: Taking taylor expansion of (- z a) in y
1.698 * [taylor]: Taking taylor expansion of z in y
1.698 * [backup-simplify]: Simplify z into z
1.698 * [taylor]: Taking taylor expansion of a in y
1.698 * [backup-simplify]: Simplify a into a
1.698 * [backup-simplify]: Simplify (- a) into (- a)
1.699 * [backup-simplify]: Simplify (+ z (- a)) into (- z a)
1.699 * [backup-simplify]: Simplify (/ 1 (- z a)) into (/ 1 (- z a))
1.699 * [taylor]: Taking taylor expansion of (- z t) in y
1.699 * [taylor]: Taking taylor expansion of z in y
1.699 * [backup-simplify]: Simplify z into z
1.699 * [taylor]: Taking taylor expansion of t in y
1.699 * [backup-simplify]: Simplify t into t
1.699 * [taylor]: Taking taylor expansion of x in y
1.699 * [backup-simplify]: Simplify x into x
1.699 * [backup-simplify]: Simplify (+ 0 x) into x
1.699 * [taylor]: Taking taylor expansion of x in z
1.699 * [backup-simplify]: Simplify x into x
1.699 * [taylor]: Taking taylor expansion of x in a
1.699 * [backup-simplify]: Simplify x into x
1.699 * [taylor]: Taking taylor expansion of x in t
1.699 * [backup-simplify]: Simplify x into x
1.699 * [taylor]: Taking taylor expansion of x in x
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify (- t) into (- t)
1.700 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
1.700 * [backup-simplify]: Simplify (* (/ 1 (- z a)) (- z t)) into (/ (- z t) (- z a))
1.700 * [backup-simplify]: Simplify (+ (/ (- z t) (- z a)) 0) into (- (/ z (- z a)) (/ t (- z a)))
1.700 * [taylor]: Taking taylor expansion of (- (/ z (- z a)) (/ t (- z a))) in z
1.700 * [taylor]: Taking taylor expansion of (/ z (- z a)) in z
1.700 * [taylor]: Taking taylor expansion of z in z
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 1 into 1
1.700 * [taylor]: Taking taylor expansion of (- z a) in z
1.700 * [taylor]: Taking taylor expansion of z in z
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 1 into 1
1.700 * [taylor]: Taking taylor expansion of a in z
1.700 * [backup-simplify]: Simplify a into a
1.700 * [backup-simplify]: Simplify (- a) into (- a)
1.700 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a)
1.700 * [backup-simplify]: Simplify (/ 1 (- a)) into (/ -1 a)
1.700 * [taylor]: Taking taylor expansion of (/ t (- z a)) in z
1.700 * [taylor]: Taking taylor expansion of t in z
1.701 * [backup-simplify]: Simplify t into t
1.701 * [taylor]: Taking taylor expansion of (- z a) in z
1.701 * [taylor]: Taking taylor expansion of z in z
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [taylor]: Taking taylor expansion of a in z
1.701 * [backup-simplify]: Simplify a into a
1.701 * [backup-simplify]: Simplify (- a) into (- a)
1.701 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a)
1.701 * [backup-simplify]: Simplify (/ t (- a)) into (* -1 (/ t a))
1.701 * [backup-simplify]: Simplify (- (* -1 (/ t a))) into (/ t a)
1.701 * [backup-simplify]: Simplify (+ 0 (/ t a)) into (/ t a)
1.701 * [taylor]: Taking taylor expansion of (/ t a) in a
1.701 * [taylor]: Taking taylor expansion of t in a
1.701 * [backup-simplify]: Simplify t into t
1.701 * [taylor]: Taking taylor expansion of a in a
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify (/ t 1) into t
1.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in a
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (- 0) into 0
1.704 * [backup-simplify]: Simplify (+ 0 0) into 0
1.704 * [backup-simplify]: Simplify (- 0) into 0
1.705 * [backup-simplify]: Simplify (+ 0 0) into 0
1.705 * [backup-simplify]: Simplify (- (/ 0 (- z a)) (+ (* (/ 1 (- z a)) (/ 0 (- z a))))) into 0
1.705 * [backup-simplify]: Simplify (+ (* (/ 1 (- z a)) 0) (* 0 (- z t))) into 0
1.706 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [taylor]: Taking taylor expansion of 0 in z
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [taylor]: Taking taylor expansion of 0 in t
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [taylor]: Taking taylor expansion of 0 in x
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify (- 0) into 0
1.707 * [backup-simplify]: Simplify (+ 1 0) into 1