10.632 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (/ x (* (- y z) (- t z)))
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: Extracting # 3 : cost  0
0.028 * * [simplify]: Extracting # 4 : cost  0
0.028 * * [simplify]: Extracting # 5 : cost  0
0.028 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
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 :  14  enodes  (cost  9 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  3 :  69  enodes  (cost  9 )
0.067 * * [simplify]: Extracting # 0 : cost  0
0.067 * * [simplify]: Extracting # 1 : cost  0
0.067 * * [simplify]: Extracting # 2 : cost  0
0.067 * * [simplify]: iteration  4 :  180  enodes  (cost  9 )
0.161 * * [simplify]: Extracting # 0 : cost  0
0.162 * * [simplify]: Extracting # 1 : cost  0
0.162 * * [simplify]: Extracting # 2 : cost  0
0.162 * * [simplify]: iteration  5 :  349  enodes  (cost  9 )
0.439 * * [simplify]: Extracting # 0 : cost  0
0.440 * * [simplify]: Extracting # 1 : cost  0
0.440 * * [simplify]: Extracting # 2 : cost  0
0.441 * * [simplify]: Extracting # 3 : cost  0
0.441 * * [simplify]: iteration  6 :  576  enodes  (cost  9 )
0.859 * * [simplify]: Extracting # 0 : cost  0
0.860 * * [simplify]: Extracting # 1 : cost  0
0.861 * * [simplify]: Extracting # 2 : cost  0
0.862 * * [simplify]: Extracting # 3 : cost  0
0.863 * * [simplify]: iteration  7 :  913  enodes  (cost  9 )
1.499 * * [simplify]: Extracting # 0 : cost  0
1.501 * * [simplify]: Extracting # 1 : cost  0
1.501 * * [simplify]: Extracting # 2 : cost  0
1.502 * * [simplify]: iteration  8 :  1122  enodes  (cost  9 )
2.331 * * [simplify]: Extracting # 0 : cost  0
2.332 * * [simplify]: Extracting # 1 : cost  0
2.332 * * [simplify]: Extracting # 2 : cost  0
2.333 * * [simplify]: iteration  9 :  1407  enodes  (cost  9 )
3.139 * * [simplify]: Extracting # 0 : cost  0
3.140 * * [simplify]: Extracting # 1 : cost  0
3.141 * * [simplify]: iteration  10 :  1465  enodes  (cost  9 )
3.748 * * [simplify]: Extracting # 0 : cost  0
3.750 * * [simplify]: iteration  11 :  1469  enodes  (cost  9 )
4.658 * * [simplify]: Extracting # 0 : cost  0
4.659 * * [simplify]: iteration done:  1469  enodes  (cost  9 )
4.659 * [simplify]: Simplified to:
  (/ x (* (- y z) (- t z)))
4.659 * * [progress]: iteration 1 / 4
4.659 * * * [progress]: picking best candidate
4.661 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (* (- y z) (- t z))))>
4.661 * * * [progress]: localizing error
4.670 * * * [progress]: generating rewritten candidates
4.670 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.688 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
4.743 * * * [progress]: generating series expansions
4.743 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.743 * [backup-simplify]: Simplify (/ x (* (- y z) (- t z))) into (/ x (* (- y z) (- t z)))
4.743 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x y z t) around 0
4.743 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
4.743 * [taylor]: Taking taylor expansion of x in t
4.743 * [backup-simplify]: Simplify x into x
4.743 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
4.743 * [taylor]: Taking taylor expansion of (- y z) in t
4.743 * [taylor]: Taking taylor expansion of y in t
4.743 * [backup-simplify]: Simplify y into y
4.743 * [taylor]: Taking taylor expansion of z in t
4.743 * [backup-simplify]: Simplify z into z
4.743 * [taylor]: Taking taylor expansion of (- t z) in t
4.743 * [taylor]: Taking taylor expansion of t in t
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.743 * [taylor]: Taking taylor expansion of z in t
4.743 * [backup-simplify]: Simplify z into z
4.743 * [backup-simplify]: Simplify (- z) into (- z)
4.743 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
4.743 * [backup-simplify]: Simplify (- z) into (- z)
4.743 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.743 * [backup-simplify]: Simplify (* (- y z) (- z)) into (* -1 (* (- y z) z))
4.743 * [backup-simplify]: Simplify (/ x (* -1 (* (- y z) z))) into (* -1 (/ x (* (- y z) z)))
4.744 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
4.744 * [taylor]: Taking taylor expansion of x in z
4.744 * [backup-simplify]: Simplify x into x
4.744 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
4.744 * [taylor]: Taking taylor expansion of (- y z) in z
4.744 * [taylor]: Taking taylor expansion of y in z
4.744 * [backup-simplify]: Simplify y into y
4.744 * [taylor]: Taking taylor expansion of z in z
4.744 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify 1 into 1
4.744 * [taylor]: Taking taylor expansion of (- t z) in z
4.744 * [taylor]: Taking taylor expansion of t in z
4.744 * [backup-simplify]: Simplify t into t
4.744 * [taylor]: Taking taylor expansion of z in z
4.744 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify 1 into 1
4.744 * [backup-simplify]: Simplify (- 0) into 0
4.744 * [backup-simplify]: Simplify (+ y 0) into y
4.745 * [backup-simplify]: Simplify (- 0) into 0
4.745 * [backup-simplify]: Simplify (+ t 0) into t
4.745 * [backup-simplify]: Simplify (* y t) into (* t y)
4.745 * [backup-simplify]: Simplify (/ x (* t y)) into (/ x (* t y))
4.745 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
4.745 * [taylor]: Taking taylor expansion of x in y
4.745 * [backup-simplify]: Simplify x into x
4.745 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.745 * [taylor]: Taking taylor expansion of (- y z) in y
4.745 * [taylor]: Taking taylor expansion of y in y
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify 1 into 1
4.745 * [taylor]: Taking taylor expansion of z in y
4.745 * [backup-simplify]: Simplify z into z
4.745 * [taylor]: Taking taylor expansion of (- t z) in y
4.745 * [taylor]: Taking taylor expansion of t in y
4.745 * [backup-simplify]: Simplify t into t
4.745 * [taylor]: Taking taylor expansion of z in y
4.745 * [backup-simplify]: Simplify z into z
4.745 * [backup-simplify]: Simplify (- z) into (- z)
4.745 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.745 * [backup-simplify]: Simplify (- z) into (- z)
4.745 * [backup-simplify]: Simplify (+ t (- z)) into (- t z)
4.745 * [backup-simplify]: Simplify (* (- z) (- t z)) into (* -1 (* z (- t z)))
4.745 * [backup-simplify]: Simplify (/ x (* -1 (* z (- t z)))) into (* -1 (/ x (* z (- t z))))
4.745 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.745 * [taylor]: Taking taylor expansion of x in x
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify 1 into 1
4.745 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.745 * [taylor]: Taking taylor expansion of (- y z) in x
4.745 * [taylor]: Taking taylor expansion of y in x
4.745 * [backup-simplify]: Simplify y into y
4.745 * [taylor]: Taking taylor expansion of z in x
4.745 * [backup-simplify]: Simplify z into z
4.745 * [taylor]: Taking taylor expansion of (- t z) in x
4.745 * [taylor]: Taking taylor expansion of t in x
4.745 * [backup-simplify]: Simplify t into t
4.745 * [taylor]: Taking taylor expansion of z in x
4.745 * [backup-simplify]: Simplify z into z
4.745 * [backup-simplify]: Simplify (- z) into (- z)
4.745 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
4.746 * [backup-simplify]: Simplify (- z) into (- z)
4.746 * [backup-simplify]: Simplify (+ t (- z)) into (- t z)
4.746 * [backup-simplify]: Simplify (* (- y z) (- t z)) into (* (- y z) (- t z))
4.746 * [backup-simplify]: Simplify (/ 1 (* (- y z) (- t z))) into (/ 1 (* (- y z) (- t z)))
4.746 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.746 * [taylor]: Taking taylor expansion of x in x
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify 1 into 1
4.746 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.746 * [taylor]: Taking taylor expansion of (- y z) in x
4.746 * [taylor]: Taking taylor expansion of y in x
4.746 * [backup-simplify]: Simplify y into y
4.746 * [taylor]: Taking taylor expansion of z in x
4.746 * [backup-simplify]: Simplify z into z
4.746 * [taylor]: Taking taylor expansion of (- t z) in x
4.746 * [taylor]: Taking taylor expansion of t in x
4.746 * [backup-simplify]: Simplify t into t
4.746 * [taylor]: Taking taylor expansion of z in x
4.746 * [backup-simplify]: Simplify z into z
4.746 * [backup-simplify]: Simplify (- z) into (- z)
4.746 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
4.746 * [backup-simplify]: Simplify (- z) into (- z)
4.746 * [backup-simplify]: Simplify (+ t (- z)) into (- t z)
4.746 * [backup-simplify]: Simplify (* (- y z) (- t z)) into (* (- y z) (- t z))
4.746 * [backup-simplify]: Simplify (/ 1 (* (- y z) (- t z))) into (/ 1 (* (- y z) (- t z)))
4.746 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in y
4.746 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.746 * [taylor]: Taking taylor expansion of (- y z) in y
4.746 * [taylor]: Taking taylor expansion of y in y
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify 1 into 1
4.746 * [taylor]: Taking taylor expansion of z in y
4.746 * [backup-simplify]: Simplify z into z
4.746 * [taylor]: Taking taylor expansion of (- t z) in y
4.746 * [taylor]: Taking taylor expansion of t in y
4.746 * [backup-simplify]: Simplify t into t
4.746 * [taylor]: Taking taylor expansion of z in y
4.746 * [backup-simplify]: Simplify z into z
4.746 * [backup-simplify]: Simplify (- z) into (- z)
4.746 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.747 * [backup-simplify]: Simplify (- z) into (- z)
4.747 * [backup-simplify]: Simplify (+ t (- z)) into (- t z)
4.747 * [backup-simplify]: Simplify (* (- z) (- t z)) into (* -1 (* z (- t z)))
4.747 * [backup-simplify]: Simplify (/ 1 (* -1 (* z (- t z)))) into (/ -1 (* z (- t z)))
4.747 * [taylor]: Taking taylor expansion of (/ -1 (* z (- t z))) in z
4.747 * [taylor]: Taking taylor expansion of -1 in z
4.747 * [backup-simplify]: Simplify -1 into -1
4.747 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
4.747 * [taylor]: Taking taylor expansion of z in z
4.747 * [backup-simplify]: Simplify 0 into 0
4.747 * [backup-simplify]: Simplify 1 into 1
4.747 * [taylor]: Taking taylor expansion of (- t z) in z
4.747 * [taylor]: Taking taylor expansion of t in z
4.747 * [backup-simplify]: Simplify t into t
4.747 * [taylor]: Taking taylor expansion of z in z
4.747 * [backup-simplify]: Simplify 0 into 0
4.747 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify (- 0) into 0
4.747 * [backup-simplify]: Simplify (+ t 0) into t
4.747 * [backup-simplify]: Simplify (* 0 t) into 0
4.747 * [backup-simplify]: Simplify (- 1) into -1
4.748 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.748 * [backup-simplify]: Simplify (+ (* 0 -1) (* 1 t)) into t
4.748 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
4.748 * [backup-simplify]: Simplify (- 0) into 0
4.749 * [backup-simplify]: Simplify (+ 0 0) into 0
4.749 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (* 0 t))) into (- 1)