10.683 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (* x y) (* z t)) a)
0.027 * * [simplify]: iteration  0 :  16  enodes  (cost  4 )
0.029 * * [simplify]: iteration  1 :  33  enodes  (cost  4 )
0.030 * * [simplify]: iteration  2 :  45  enodes  (cost  4 )
0.032 * * [simplify]: iteration  3 :  63  enodes  (cost  4 )
0.033 * * [simplify]: iteration  4 :  69  enodes  (cost  4 )
0.035 * * [simplify]: iteration  5 :  69  enodes  (cost  4 )
0.035 * [simplify]: Simplified to:
   (/ (- (* x y) (* z t)) a)
0.036 * * [progress]: iteration 1 / 4
0.036 * * * [progress]: picking best candidate
0.037 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* z t)) a))>
0.037 * * * [progress]: localizing error
0.044 * * * [progress]: generating rewritten candidates
0.044 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.049 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.053 * * * [progress]: generating series expansions
0.054 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.054 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (x y z t a) around 0
0.054 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
0.054 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
0.054 * [taylor]: Taking taylor expansion of (* x y) in a
0.054 * [taylor]: Taking taylor expansion of x in a
0.054 * [taylor]: Taking taylor expansion of y in a
0.054 * [taylor]: Taking taylor expansion of (* t z) in a
0.054 * [taylor]: Taking taylor expansion of t in a
0.054 * [taylor]: Taking taylor expansion of z in a
0.054 * [taylor]: Taking taylor expansion of a in a
0.054 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
0.054 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.054 * [taylor]: Taking taylor expansion of (* x y) in t
0.054 * [taylor]: Taking taylor expansion of x in t
0.054 * [taylor]: Taking taylor expansion of y in t
0.054 * [taylor]: Taking taylor expansion of (* t z) in t
0.054 * [taylor]: Taking taylor expansion of t in t
0.054 * [taylor]: Taking taylor expansion of z in t
0.054 * [taylor]: Taking taylor expansion of a in t
0.055 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
0.055 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.055 * [taylor]: Taking taylor expansion of (* x y) in z
0.055 * [taylor]: Taking taylor expansion of x in z
0.055 * [taylor]: Taking taylor expansion of y in z
0.055 * [taylor]: Taking taylor expansion of (* t z) in z
0.055 * [taylor]: Taking taylor expansion of t in z
0.055 * [taylor]: Taking taylor expansion of z in z
0.055 * [taylor]: Taking taylor expansion of a in z
0.055 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
0.055 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.055 * [taylor]: Taking taylor expansion of (* x y) in y
0.055 * [taylor]: Taking taylor expansion of x in y
0.055 * [taylor]: Taking taylor expansion of y in y
0.055 * [taylor]: Taking taylor expansion of (* t z) in y
0.055 * [taylor]: Taking taylor expansion of t in y
0.055 * [taylor]: Taking taylor expansion of z in y
0.055 * [taylor]: Taking taylor expansion of a in y
0.056 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.056 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.056 * [taylor]: Taking taylor expansion of (* x y) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of (* t z) in x
0.056 * [taylor]: Taking taylor expansion of t in x
0.056 * [taylor]: Taking taylor expansion of z in x
0.056 * [taylor]: Taking taylor expansion of a in x
0.056 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.056 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.056 * [taylor]: Taking taylor expansion of (* x y) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of (* t z) in x
0.056 * [taylor]: Taking taylor expansion of t in x
0.056 * [taylor]: Taking taylor expansion of z in x
0.056 * [taylor]: Taking taylor expansion of a in x
0.056 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in y
0.056 * [taylor]: Taking taylor expansion of -1 in y
0.056 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.056 * [taylor]: Taking taylor expansion of (* t z) in y
0.056 * [taylor]: Taking taylor expansion of t in y
0.056 * [taylor]: Taking taylor expansion of z in y
0.056 * [taylor]: Taking taylor expansion of a in y
0.056 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in z
0.056 * [taylor]: Taking taylor expansion of -1 in z
0.056 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.056 * [taylor]: Taking taylor expansion of (* t z) in z
0.057 * [taylor]: Taking taylor expansion of t in z
0.057 * [taylor]: Taking taylor expansion of z in z
0.057 * [taylor]: Taking taylor expansion of a in z
0.058 * [taylor]: Taking taylor expansion of (/ y a) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of a in y
0.058 * [taylor]: Taking taylor expansion of 0 in z
0.058 * [taylor]: Taking taylor expansion of 0 in t
0.058 * [taylor]: Taking taylor expansion of 0 in a
0.058 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
0.058 * [taylor]: Taking taylor expansion of -1 in t
0.058 * [taylor]: Taking taylor expansion of (/ t a) in t
0.058 * [taylor]: Taking taylor expansion of t in t
0.058 * [taylor]: Taking taylor expansion of a in t
0.060 * [taylor]: Taking taylor expansion of 0 in y
0.060 * [taylor]: Taking taylor expansion of 0 in z
0.060 * [taylor]: Taking taylor expansion of 0 in t
0.060 * [taylor]: Taking taylor expansion of 0 in a
0.060 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.060 * [taylor]: Taking taylor expansion of a in z
0.060 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.060 * [taylor]: Taking taylor expansion of a in t
0.060 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.060 * [taylor]: Taking taylor expansion of a in a
0.061 * [taylor]: Taking taylor expansion of 0 in z
0.061 * [taylor]: Taking taylor expansion of 0 in t
0.061 * [taylor]: Taking taylor expansion of 0 in a
0.061 * [taylor]: Taking taylor expansion of 0 in t
0.061 * [taylor]: Taking taylor expansion of 0 in a
0.062 * [taylor]: Taking taylor expansion of 0 in t
0.062 * [taylor]: Taking taylor expansion of 0 in a
0.062 * [taylor]: Taking taylor expansion of 0 in a
0.062 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.062 * [taylor]: Taking taylor expansion of -1 in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.064 * [taylor]: Taking taylor expansion of 0 in z
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in a
0.064 * [taylor]: Taking taylor expansion of 0 in z
0.065 * [taylor]: Taking taylor expansion of 0 in t
0.065 * [taylor]: Taking taylor expansion of 0 in a
0.065 * [taylor]: Taking taylor expansion of 0 in z
0.065 * [taylor]: Taking taylor expansion of 0 in t
0.065 * [taylor]: Taking taylor expansion of 0 in a
0.066 * [taylor]: Taking taylor expansion of 0 in z
0.066 * [taylor]: Taking taylor expansion of 0 in t
0.066 * [taylor]: Taking taylor expansion of 0 in a
0.066 * [taylor]: Taking taylor expansion of 0 in t
0.066 * [taylor]: Taking taylor expansion of 0 in a
0.066 * [taylor]: Taking taylor expansion of 0 in t
0.066 * [taylor]: Taking taylor expansion of 0 in a
0.066 * [taylor]: Taking taylor expansion of 0 in t
0.066 * [taylor]: Taking taylor expansion of 0 in a
0.066 * [taylor]: Taking taylor expansion of 0 in t
0.066 * [taylor]: Taking taylor expansion of 0 in a
0.067 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.068 * [taylor]: Taking taylor expansion of 0 in a
0.069 * [taylor]: Taking taylor expansion of 0 in a
0.070 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t a) around 0
0.070 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.070 * [taylor]: Taking taylor expansion of a in a
0.070 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.070 * [taylor]: Taking taylor expansion of (* x y) in a
0.070 * [taylor]: Taking taylor expansion of x in a
0.070 * [taylor]: Taking taylor expansion of y in a
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.070 * [taylor]: Taking taylor expansion of (* t z) in a
0.070 * [taylor]: Taking taylor expansion of t in a
0.070 * [taylor]: Taking taylor expansion of z in a
0.070 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.070 * [taylor]: Taking taylor expansion of a in t
0.070 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.070 * [taylor]: Taking taylor expansion of (* x y) in t
0.070 * [taylor]: Taking taylor expansion of x in t
0.070 * [taylor]: Taking taylor expansion of y in t
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.070 * [taylor]: Taking taylor expansion of (* t z) in t
0.070 * [taylor]: Taking taylor expansion of t in t
0.070 * [taylor]: Taking taylor expansion of z in t
0.070 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.070 * [taylor]: Taking taylor expansion of a in z
0.071 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.071 * [taylor]: Taking taylor expansion of (* x y) in z
0.071 * [taylor]: Taking taylor expansion of x in z
0.071 * [taylor]: Taking taylor expansion of y in z
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.071 * [taylor]: Taking taylor expansion of (* t z) in z
0.071 * [taylor]: Taking taylor expansion of t in z
0.071 * [taylor]: Taking taylor expansion of z in z
0.071 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.071 * [taylor]: Taking taylor expansion of a in y
0.071 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.071 * [taylor]: Taking taylor expansion of (* x y) in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.071 * [taylor]: Taking taylor expansion of (* t z) in y
0.071 * [taylor]: Taking taylor expansion of t in y
0.071 * [taylor]: Taking taylor expansion of z in y
0.072 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.072 * [taylor]: Taking taylor expansion of a in x
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.072 * [taylor]: Taking taylor expansion of (* x y) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.072 * [taylor]: Taking taylor expansion of (* t z) in x
0.072 * [taylor]: Taking taylor expansion of t in x
0.072 * [taylor]: Taking taylor expansion of z in x
0.072 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.072 * [taylor]: Taking taylor expansion of a in x
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.072 * [taylor]: Taking taylor expansion of (* x y) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.072 * [taylor]: Taking taylor expansion of (* t z) in x
0.072 * [taylor]: Taking taylor expansion of t in x
0.073 * [taylor]: Taking taylor expansion of z in x
0.073 * [taylor]: Taking taylor expansion of (/ a y) in y
0.073 * [taylor]: Taking taylor expansion of a in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of a in z
0.074 * [taylor]: Taking taylor expansion of (- (/ a (* z t))) in y
0.074 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.074 * [taylor]: Taking taylor expansion of a in y
0.074 * [taylor]: Taking taylor expansion of (* z t) in y
0.074 * [taylor]: Taking taylor expansion of z in y
0.074 * [taylor]: Taking taylor expansion of t in y
0.074 * [taylor]: Taking taylor expansion of 0 in z
0.074 * [taylor]: Taking taylor expansion of a in t
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [taylor]: Taking taylor expansion of (- (/ a (* z t))) in z
0.076 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.076 * [taylor]: Taking taylor expansion of a in z
0.076 * [taylor]: Taking taylor expansion of (* z t) in z
0.076 * [taylor]: Taking taylor expansion of z in z
0.076 * [taylor]: Taking taylor expansion of t in z
0.076 * [taylor]: Taking taylor expansion of (- (/ a t)) in t
0.076 * [taylor]: Taking taylor expansion of (/ a t) in t
0.076 * [taylor]: Taking taylor expansion of a in t
0.076 * [taylor]: Taking taylor expansion of t in t
0.076 * [taylor]: Taking taylor expansion of (- a) in a
0.076 * [taylor]: Taking taylor expansion of a in a
0.078 * [taylor]: Taking taylor expansion of 0 in z
0.078 * [taylor]: Taking taylor expansion of 0 in t
0.078 * [taylor]: Taking taylor expansion of 0 in t
0.078 * [taylor]: Taking taylor expansion of a in a
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.086 * [taylor]: Taking taylor expansion of 0 in t
0.086 * [taylor]: Taking taylor expansion of 0 in t
0.086 * [taylor]: Taking taylor expansion of 0 in t
0.086 * [taylor]: Taking taylor expansion of 0 in t
0.087 * [taylor]: Taking taylor expansion of 0 in a
0.087 * [taylor]: Taking taylor expansion of 0 in a
0.087 * [taylor]: Taking taylor expansion of 0 in a
0.087 * [taylor]: Taking taylor expansion of 0 in a
0.087 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (x y z t a) around 0
0.087 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
0.087 * [taylor]: Taking taylor expansion of -1 in a
0.087 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.087 * [taylor]: Taking taylor expansion of a in a
0.087 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.087 * [taylor]: Taking taylor expansion of (* x y) in a
0.087 * [taylor]: Taking taylor expansion of x in a
0.087 * [taylor]: Taking taylor expansion of y in a
0.087 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.087 * [taylor]: Taking taylor expansion of (* t z) in a
0.087 * [taylor]: Taking taylor expansion of t in a
0.087 * [taylor]: Taking taylor expansion of z in a
0.088 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
0.088 * [taylor]: Taking taylor expansion of -1 in t
0.088 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.088 * [taylor]: Taking taylor expansion of a in t
0.088 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.088 * [taylor]: Taking taylor expansion of (* x y) in t
0.088 * [taylor]: Taking taylor expansion of x in t
0.088 * [taylor]: Taking taylor expansion of y in t
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.088 * [taylor]: Taking taylor expansion of (* t z) in t
0.088 * [taylor]: Taking taylor expansion of t in t
0.088 * [taylor]: Taking taylor expansion of z in t
0.088 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
0.088 * [taylor]: Taking taylor expansion of -1 in z
0.088 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.088 * [taylor]: Taking taylor expansion of a in z
0.088 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.088 * [taylor]: Taking taylor expansion of (* x y) in z
0.088 * [taylor]: Taking taylor expansion of x in z
0.088 * [taylor]: Taking taylor expansion of y in z
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.088 * [taylor]: Taking taylor expansion of (* t z) in z
0.088 * [taylor]: Taking taylor expansion of t in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
0.089 * [taylor]: Taking taylor expansion of -1 in y
0.089 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.089 * [taylor]: Taking taylor expansion of a in y
0.089 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.089 * [taylor]: Taking taylor expansion of (* x y) in y
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.089 * [taylor]: Taking taylor expansion of (* t z) in y
0.089 * [taylor]: Taking taylor expansion of t in y
0.089 * [taylor]: Taking taylor expansion of z in y
0.089 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.089 * [taylor]: Taking taylor expansion of -1 in x
0.089 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.089 * [taylor]: Taking taylor expansion of a in x
0.089 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.089 * [taylor]: Taking taylor expansion of (* x y) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.090 * [taylor]: Taking taylor expansion of (* t z) in x
0.090 * [taylor]: Taking taylor expansion of t in x
0.090 * [taylor]: Taking taylor expansion of z in x
0.090 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.090 * [taylor]: Taking taylor expansion of -1 in x
0.090 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.090 * [taylor]: Taking taylor expansion of a in x
0.090 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.090 * [taylor]: Taking taylor expansion of (* x y) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of y in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.090 * [taylor]: Taking taylor expansion of (* t z) in x
0.090 * [taylor]: Taking taylor expansion of t in x
0.090 * [taylor]: Taking taylor expansion of z in x
0.091 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
0.091 * [taylor]: Taking taylor expansion of -1 in y
0.091 * [taylor]: Taking taylor expansion of (/ a y) in y
0.091 * [taylor]: Taking taylor expansion of a in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (* -1 a) in z
0.091 * [taylor]: Taking taylor expansion of -1 in z
0.091 * [taylor]: Taking taylor expansion of a in z
0.092 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.092 * [taylor]: Taking taylor expansion of a in y
0.092 * [taylor]: Taking taylor expansion of (* z t) in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of t in y
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.093 * [taylor]: Taking taylor expansion of -1 in t
0.093 * [taylor]: Taking taylor expansion of a in t
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.095 * [taylor]: Taking taylor expansion of a in z
0.095 * [taylor]: Taking taylor expansion of (* z t) in z
0.095 * [taylor]: Taking taylor expansion of z in z
0.095 * [taylor]: Taking taylor expansion of t in z
0.095 * [taylor]: Taking taylor expansion of (/ a t) in t
0.095 * [taylor]: Taking taylor expansion of a in t
0.095 * [taylor]: Taking taylor expansion of t in t
0.095 * [taylor]: Taking taylor expansion of a in a
0.096 * [taylor]: Taking taylor expansion of 0 in z
0.096 * [taylor]: Taking taylor expansion of 0 in t
0.097 * [taylor]: Taking taylor expansion of 0 in t
0.097 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.097 * [taylor]: Taking taylor expansion of -1 in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in z
0.100 * [taylor]: Taking taylor expansion of 0 in z
0.102 * [taylor]: Taking taylor expansion of 0 in z
0.103 * [taylor]: Taking taylor expansion of 0 in t
0.103 * [taylor]: Taking taylor expansion of 0 in t
0.103 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.105 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0
0.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.105 * [taylor]: Taking taylor expansion of (* x y) in t
0.105 * [taylor]: Taking taylor expansion of x in t
0.105 * [taylor]: Taking taylor expansion of y in t
0.105 * [taylor]: Taking taylor expansion of (* t z) in t
0.105 * [taylor]: Taking taylor expansion of t in t
0.105 * [taylor]: Taking taylor expansion of z in t
0.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.105 * [taylor]: Taking taylor expansion of (* x y) in z
0.105 * [taylor]: Taking taylor expansion of x in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.105 * [taylor]: Taking taylor expansion of (* t z) in z
0.105 * [taylor]: Taking taylor expansion of t in z
0.105 * [taylor]: Taking taylor expansion of z in z
0.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.105 * [taylor]: Taking taylor expansion of (* x y) in y
0.105 * [taylor]: Taking taylor expansion of x in y
0.105 * [taylor]: Taking taylor expansion of y in y
0.105 * [taylor]: Taking taylor expansion of (* t z) in y
0.105 * [taylor]: Taking taylor expansion of t in y
0.105 * [taylor]: Taking taylor expansion of z in y
0.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.105 * [taylor]: Taking taylor expansion of (* x y) in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of y in x
0.105 * [taylor]: Taking taylor expansion of (* t z) in x
0.105 * [taylor]: Taking taylor expansion of t in x
0.105 * [taylor]: Taking taylor expansion of z in x
0.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.105 * [taylor]: Taking taylor expansion of (* x y) in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of y in x
0.105 * [taylor]: Taking taylor expansion of (* t z) in x
0.105 * [taylor]: Taking taylor expansion of t in x
0.105 * [taylor]: Taking taylor expansion of z in x
0.105 * [taylor]: Taking taylor expansion of (- (* t z)) in y
0.106 * [taylor]: Taking taylor expansion of (* t z) in y
0.106 * [taylor]: Taking taylor expansion of t in y
0.106 * [taylor]: Taking taylor expansion of z in y
0.106 * [taylor]: Taking taylor expansion of (- (* t z)) in z
0.106 * [taylor]: Taking taylor expansion of (* t z) in z
0.106 * [taylor]: Taking taylor expansion of t in z
0.106 * [taylor]: Taking taylor expansion of z in z
0.106 * [taylor]: Taking taylor expansion of 0 in t
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of 0 in t
0.107 * [taylor]: Taking taylor expansion of 0 in z
0.107 * [taylor]: Taking taylor expansion of 0 in t
0.107 * [taylor]: Taking taylor expansion of (- t) in t
0.107 * [taylor]: Taking taylor expansion of t in t
0.109 * [taylor]: Taking taylor expansion of 0 in y
0.109 * [taylor]: Taking taylor expansion of 0 in z
0.109 * [taylor]: Taking taylor expansion of 0 in t
0.109 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.109 * [taylor]: Taking taylor expansion of (* x y) in t
0.109 * [taylor]: Taking taylor expansion of x in t
0.109 * [taylor]: Taking taylor expansion of y in t
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.109 * [taylor]: Taking taylor expansion of (* t z) in t
0.109 * [taylor]: Taking taylor expansion of t in t
0.109 * [taylor]: Taking taylor expansion of z in t
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.109 * [taylor]: Taking taylor expansion of (* x y) in z
0.110 * [taylor]: Taking taylor expansion of x in z
0.110 * [taylor]: Taking taylor expansion of y in z
0.110 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.110 * [taylor]: Taking taylor expansion of (* t z) in z
0.110 * [taylor]: Taking taylor expansion of t in z
0.110 * [taylor]: Taking taylor expansion of z in z
0.110 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.110 * [taylor]: Taking taylor expansion of (* x y) in y
0.110 * [taylor]: Taking taylor expansion of x in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.110 * [taylor]: Taking taylor expansion of (* t z) in y
0.110 * [taylor]: Taking taylor expansion of t in y
0.110 * [taylor]: Taking taylor expansion of z in y
0.110 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.110 * [taylor]: Taking taylor expansion of (* x y) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.111 * [taylor]: Taking taylor expansion of (* t z) in x
0.111 * [taylor]: Taking taylor expansion of t in x
0.111 * [taylor]: Taking taylor expansion of z in x
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.111 * [taylor]: Taking taylor expansion of (* x y) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.111 * [taylor]: Taking taylor expansion of (* t z) in x
0.111 * [taylor]: Taking taylor expansion of t in x
0.111 * [taylor]: Taking taylor expansion of z in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [taylor]: Taking taylor expansion of 1 in z
0.112 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.113 * [taylor]: Taking taylor expansion of (* t z) in y
0.113 * [taylor]: Taking taylor expansion of t in y
0.113 * [taylor]: Taking taylor expansion of z in y
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 1 in t
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.115 * [taylor]: Taking taylor expansion of (* t z) in z
0.115 * [taylor]: Taking taylor expansion of t in z
0.115 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.115 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.115 * [taylor]: Taking taylor expansion of t in t
0.116 * [taylor]: Taking taylor expansion of 0 in z
0.116 * [taylor]: Taking taylor expansion of 0 in t
0.116 * [taylor]: Taking taylor expansion of 0 in t
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.124 * [taylor]: Taking taylor expansion of 0 in z
0.124 * [taylor]: Taking taylor expansion of 0 in t
0.124 * [taylor]: Taking taylor expansion of 0 in t
0.124 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.126 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.126 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.126 * [taylor]: Taking taylor expansion of (* x y) in t
0.126 * [taylor]: Taking taylor expansion of x in t
0.126 * [taylor]: Taking taylor expansion of y in t
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.126 * [taylor]: Taking taylor expansion of (* t z) in t
0.126 * [taylor]: Taking taylor expansion of t in t
0.126 * [taylor]: Taking taylor expansion of z in t
0.126 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.126 * [taylor]: Taking taylor expansion of (* x y) in z
0.126 * [taylor]: Taking taylor expansion of x in z
0.126 * [taylor]: Taking taylor expansion of y in z
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.126 * [taylor]: Taking taylor expansion of (* t z) in z
0.126 * [taylor]: Taking taylor expansion of t in z
0.126 * [taylor]: Taking taylor expansion of z in z
0.127 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.127 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.127 * [taylor]: Taking taylor expansion of (* x y) in y
0.127 * [taylor]: Taking taylor expansion of x in y
0.127 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.127 * [taylor]: Taking taylor expansion of (* t z) in y
0.127 * [taylor]: Taking taylor expansion of t in y
0.127 * [taylor]: Taking taylor expansion of z in y
0.127 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.127 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.127 * [taylor]: Taking taylor expansion of (* x y) in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.128 * [taylor]: Taking taylor expansion of (* t z) in x
0.128 * [taylor]: Taking taylor expansion of t in x
0.128 * [taylor]: Taking taylor expansion of z in x
0.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.128 * [taylor]: Taking taylor expansion of (* x y) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of y in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.128 * [taylor]: Taking taylor expansion of (* t z) in x
0.128 * [taylor]: Taking taylor expansion of t in x
0.128 * [taylor]: Taking taylor expansion of z in x
0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.128 * [taylor]: Taking taylor expansion of 1 in z
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.129 * [taylor]: Taking taylor expansion of (* t z) in y
0.129 * [taylor]: Taking taylor expansion of t in y
0.129 * [taylor]: Taking taylor expansion of z in y
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.130 * [taylor]: Taking taylor expansion of 1 in t
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.132 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.132 * [taylor]: Taking taylor expansion of (* t z) in z
0.132 * [taylor]: Taking taylor expansion of t in z
0.132 * [taylor]: Taking taylor expansion of z in z
0.132 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.132 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.132 * [taylor]: Taking taylor expansion of t in t
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.135 * [taylor]: Taking taylor expansion of 0 in y
0.135 * [taylor]: Taking taylor expansion of 0 in z
0.135 * [taylor]: Taking taylor expansion of 0 in z
0.136 * [taylor]: Taking taylor expansion of 0 in z
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [taylor]: Taking taylor expansion of 0 in z
0.140 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.142 * [taylor]: Taking taylor expansion of 0 in t
0.142 * [taylor]: Taking taylor expansion of 0 in t
0.142 * [taylor]: Taking taylor expansion of 0 in t
0.142 * [taylor]: Taking taylor expansion of 0 in t
0.143 * * * [progress]: simplifying candidates
0.143 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (* x y) (* z t)))
  (- a)
  (/ (* x y) a)
  (/ (* z t) a)
  (/ 1 a)
  (/ a (- (* x y) (* z t)))
  (* a (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))))
  (* a (+ (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t))))
  (- (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (- (* z t))
  (- (/ (* x y) a) (/ (* t z) a))
  0
  0
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
0.146 * * [simplify]: iteration  0 :  103  enodes  (cost  67 )
0.148 * * [simplify]: iteration  1 :  289  enodes  (cost  67 )
0.156 * * [simplify]: iteration  2 :  836  enodes  (cost  67 )
0.176 * * [simplify]: iteration  3 :  2064  enodes  (cost  66 )
0.221 * * [simplify]: iteration  4 :  5001  enodes  (cost  66 )
0.221 * [simplify]: Simplified to:
   (- (* z t) (* x y))
  (- a)
  (/ (* x y) a)
  (/ (* t z) a)
  (/ 1 a)
  (/ a (- (* x y) (* z t)))
  (* (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))) a)
  (* a (+ (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
  (- (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (- (* z t))
  (- (/ (* x y) a) (/ (* t z) a))
  0
  0
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
0.221 * * * [progress]: adding candidates to table
0.257 * * [progress]: iteration 2 / 4
0.257 * * * [progress]: picking best candidate
0.268 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (/ (* x y) a) (/ (* t z) a)))>
0.268 * * * [progress]: localizing error
0.276 * * * [progress]: generating rewritten candidates
0.276 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.279 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.283 * * * [progress]: generating series expansions
0.283 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.283 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x y a) around 0
0.283 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.283 * [taylor]: Taking taylor expansion of (* x y) in a
0.283 * [taylor]: Taking taylor expansion of x in a
0.283 * [taylor]: Taking taylor expansion of y in a
0.283 * [taylor]: Taking taylor expansion of a in a
0.283 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.283 * [taylor]: Taking taylor expansion of (* x y) in y
0.283 * [taylor]: Taking taylor expansion of x in y
0.283 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of a in y
0.283 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.284 * [taylor]: Taking taylor expansion of (* x y) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of y in x
0.284 * [taylor]: Taking taylor expansion of a in x
0.284 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.284 * [taylor]: Taking taylor expansion of (* x y) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of y in x
0.284 * [taylor]: Taking taylor expansion of a in x
0.284 * [taylor]: Taking taylor expansion of (/ y a) in y
0.284 * [taylor]: Taking taylor expansion of y in y
0.284 * [taylor]: Taking taylor expansion of a in y
0.284 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.284 * [taylor]: Taking taylor expansion of a in a
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in a
0.287 * [taylor]: Taking taylor expansion of 0 in a
0.287 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in y
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.289 * [taylor]: Taking taylor expansion of 0 in a
0.289 * [taylor]: Taking taylor expansion of 0 in a
0.289 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x y a) around 0
0.289 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.289 * [taylor]: Taking taylor expansion of a in a
0.289 * [taylor]: Taking taylor expansion of (* x y) in a
0.289 * [taylor]: Taking taylor expansion of x in a
0.289 * [taylor]: Taking taylor expansion of y in a
0.289 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.289 * [taylor]: Taking taylor expansion of a in y
0.289 * [taylor]: Taking taylor expansion of (* x y) in y
0.289 * [taylor]: Taking taylor expansion of x in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.289 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.289 * [taylor]: Taking taylor expansion of a in x
0.289 * [taylor]: Taking taylor expansion of (* x y) in x
0.289 * [taylor]: Taking taylor expansion of x in x
0.289 * [taylor]: Taking taylor expansion of y in x
0.290 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.290 * [taylor]: Taking taylor expansion of a in x
0.290 * [taylor]: Taking taylor expansion of (* x y) in x
0.290 * [taylor]: Taking taylor expansion of x in x
0.290 * [taylor]: Taking taylor expansion of y in x
0.290 * [taylor]: Taking taylor expansion of (/ a y) in y
0.290 * [taylor]: Taking taylor expansion of a in y
0.290 * [taylor]: Taking taylor expansion of y in y
0.290 * [taylor]: Taking taylor expansion of a in a
0.291 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [taylor]: Taking taylor expansion of 0 in a
0.292 * [taylor]: Taking taylor expansion of 0 in y
0.292 * [taylor]: Taking taylor expansion of 0 in a
0.293 * [taylor]: Taking taylor expansion of 0 in a
0.294 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x y a) around 0
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
0.294 * [taylor]: Taking taylor expansion of -1 in a
0.294 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.294 * [taylor]: Taking taylor expansion of a in a
0.294 * [taylor]: Taking taylor expansion of (* x y) in a
0.294 * [taylor]: Taking taylor expansion of x in a
0.294 * [taylor]: Taking taylor expansion of y in a
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.294 * [taylor]: Taking taylor expansion of -1 in y
0.294 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.294 * [taylor]: Taking taylor expansion of a in y
0.294 * [taylor]: Taking taylor expansion of (* x y) in y
0.294 * [taylor]: Taking taylor expansion of x in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.294 * [taylor]: Taking taylor expansion of -1 in x
0.294 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.294 * [taylor]: Taking taylor expansion of a in x
0.294 * [taylor]: Taking taylor expansion of (* x y) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.295 * [taylor]: Taking taylor expansion of -1 in x
0.295 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.295 * [taylor]: Taking taylor expansion of a in x
0.295 * [taylor]: Taking taylor expansion of (* x y) in x
0.295 * [taylor]: Taking taylor expansion of x in x
0.295 * [taylor]: Taking taylor expansion of y in x
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
0.295 * [taylor]: Taking taylor expansion of -1 in y
0.295 * [taylor]: Taking taylor expansion of (/ a y) in y
0.295 * [taylor]: Taking taylor expansion of a in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.295 * [taylor]: Taking taylor expansion of -1 in a
0.295 * [taylor]: Taking taylor expansion of a in a
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.298 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.301 * [taylor]: Taking taylor expansion of 0 in a
0.302 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.302 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (t z a) around 0
0.302 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.302 * [taylor]: Taking taylor expansion of (* t z) in a
0.302 * [taylor]: Taking taylor expansion of t in a
0.302 * [taylor]: Taking taylor expansion of z in a
0.302 * [taylor]: Taking taylor expansion of a in a
0.302 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.302 * [taylor]: Taking taylor expansion of (* t z) in z
0.302 * [taylor]: Taking taylor expansion of t in z
0.302 * [taylor]: Taking taylor expansion of z in z
0.302 * [taylor]: Taking taylor expansion of a in z
0.302 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.302 * [taylor]: Taking taylor expansion of (* t z) in t
0.302 * [taylor]: Taking taylor expansion of t in t
0.302 * [taylor]: Taking taylor expansion of z in t
0.302 * [taylor]: Taking taylor expansion of a in t
0.303 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.303 * [taylor]: Taking taylor expansion of (* t z) in t
0.303 * [taylor]: Taking taylor expansion of t in t
0.303 * [taylor]: Taking taylor expansion of z in t
0.303 * [taylor]: Taking taylor expansion of a in t
0.303 * [taylor]: Taking taylor expansion of (/ z a) in z
0.303 * [taylor]: Taking taylor expansion of z in z
0.303 * [taylor]: Taking taylor expansion of a in z
0.303 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.303 * [taylor]: Taking taylor expansion of a in a
0.307 * [taylor]: Taking taylor expansion of 0 in z
0.307 * [taylor]: Taking taylor expansion of 0 in a
0.307 * [taylor]: Taking taylor expansion of 0 in a
0.308 * [taylor]: Taking taylor expansion of 0 in z
0.308 * [taylor]: Taking taylor expansion of 0 in a
0.308 * [taylor]: Taking taylor expansion of 0 in a
0.308 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [approximate]: Taking taylor expansion of (/ a (* t z)) in (t z a) around 0
0.310 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.310 * [taylor]: Taking taylor expansion of a in a
0.311 * [taylor]: Taking taylor expansion of (* t z) in a
0.311 * [taylor]: Taking taylor expansion of t in a
0.311 * [taylor]: Taking taylor expansion of z in a
0.311 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
0.311 * [taylor]: Taking taylor expansion of a in z
0.311 * [taylor]: Taking taylor expansion of (* t z) in z
0.311 * [taylor]: Taking taylor expansion of t in z
0.311 * [taylor]: Taking taylor expansion of z in z
0.311 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.311 * [taylor]: Taking taylor expansion of a in t
0.311 * [taylor]: Taking taylor expansion of (* t z) in t
0.311 * [taylor]: Taking taylor expansion of t in t
0.311 * [taylor]: Taking taylor expansion of z in t
0.311 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.311 * [taylor]: Taking taylor expansion of a in t
0.311 * [taylor]: Taking taylor expansion of (* t z) in t
0.311 * [taylor]: Taking taylor expansion of t in t
0.311 * [taylor]: Taking taylor expansion of z in t
0.312 * [taylor]: Taking taylor expansion of (/ a z) in z
0.312 * [taylor]: Taking taylor expansion of a in z
0.312 * [taylor]: Taking taylor expansion of z in z
0.312 * [taylor]: Taking taylor expansion of a in a
0.312 * [taylor]: Taking taylor expansion of 0 in z
0.313 * [taylor]: Taking taylor expansion of 0 in a
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in a
0.315 * [taylor]: Taking taylor expansion of 0 in a
0.315 * [approximate]: Taking taylor expansion of (* -1 (/ a (* t z))) in (t z a) around 0
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in a
0.315 * [taylor]: Taking taylor expansion of -1 in a
0.315 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.315 * [taylor]: Taking taylor expansion of (* t z) in a
0.315 * [taylor]: Taking taylor expansion of t in a
0.315 * [taylor]: Taking taylor expansion of z in a
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in z
0.315 * [taylor]: Taking taylor expansion of -1 in z
0.315 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
0.315 * [taylor]: Taking taylor expansion of a in z
0.315 * [taylor]: Taking taylor expansion of (* t z) in z
0.315 * [taylor]: Taking taylor expansion of t in z
0.315 * [taylor]: Taking taylor expansion of z in z
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
0.316 * [taylor]: Taking taylor expansion of -1 in t
0.316 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.316 * [taylor]: Taking taylor expansion of a in t
0.316 * [taylor]: Taking taylor expansion of (* t z) in t
0.316 * [taylor]: Taking taylor expansion of t in t
0.316 * [taylor]: Taking taylor expansion of z in t
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
0.316 * [taylor]: Taking taylor expansion of -1 in t
0.316 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.316 * [taylor]: Taking taylor expansion of a in t
0.316 * [taylor]: Taking taylor expansion of (* t z) in t
0.316 * [taylor]: Taking taylor expansion of t in t
0.316 * [taylor]: Taking taylor expansion of z in t
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ a z)) in z
0.317 * [taylor]: Taking taylor expansion of -1 in z
0.317 * [taylor]: Taking taylor expansion of (/ a z) in z
0.317 * [taylor]: Taking taylor expansion of a in z
0.317 * [taylor]: Taking taylor expansion of z in z
0.317 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.317 * [taylor]: Taking taylor expansion of -1 in a
0.317 * [taylor]: Taking taylor expansion of a in a
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.319 * [taylor]: Taking taylor expansion of 0 in a
0.321 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.323 * * * [progress]: simplifying candidates
0.323 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x y))
  (- a)
  (/ 1 a)
  (/ a (* x y))
  (/ a y)
  (/ a x)
  (- (* t z))
  (- a)
  (/ 1 a)
  (/ a (* t z))
  (/ a z)
  (/ a t)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
0.326 * * [simplify]: iteration  0 :  36  enodes  (cost  28 )
0.327 * * [simplify]: iteration  1 :  48  enodes  (cost  28 )
0.329 * * [simplify]: iteration  2 :  54  enodes  (cost  28 )
0.331 * * [simplify]: iteration  3 :  56  enodes  (cost  28 )
0.332 * * [simplify]: iteration  4 :  56  enodes  (cost  28 )
0.333 * [simplify]: Simplified to:
   (- (* x y))
  (- a)
  (/ 1 a)
  (/ a (* x y))
  (/ a y)
  (/ a x)
  (- (* t z))
  (- a)
  (/ 1 a)
  (/ a (* t z))
  (/ a z)
  (/ a t)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
0.333 * * * [progress]: adding candidates to table
0.358 * * [progress]: iteration 3 / 4
0.358 * * * [progress]: picking best candidate
0.377 * * * * [pick]: Picked  #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))>
0.377 * * * [progress]: localizing error
0.385 * * * [progress]: generating rewritten candidates
0.385 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.391 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.395 * * * [progress]: generating series expansions
0.395 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.396 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (x y z t a) around 0
0.396 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
0.396 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
0.396 * [taylor]: Taking taylor expansion of (* x y) in a
0.396 * [taylor]: Taking taylor expansion of x in a
0.396 * [taylor]: Taking taylor expansion of y in a
0.396 * [taylor]: Taking taylor expansion of (* t z) in a
0.396 * [taylor]: Taking taylor expansion of t in a
0.396 * [taylor]: Taking taylor expansion of z in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
0.396 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.396 * [taylor]: Taking taylor expansion of (* x y) in t
0.396 * [taylor]: Taking taylor expansion of x in t
0.396 * [taylor]: Taking taylor expansion of y in t
0.396 * [taylor]: Taking taylor expansion of (* t z) in t
0.396 * [taylor]: Taking taylor expansion of t in t
0.396 * [taylor]: Taking taylor expansion of z in t
0.396 * [taylor]: Taking taylor expansion of a in t
0.397 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
0.397 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.397 * [taylor]: Taking taylor expansion of (* x y) in z
0.397 * [taylor]: Taking taylor expansion of x in z
0.397 * [taylor]: Taking taylor expansion of y in z
0.397 * [taylor]: Taking taylor expansion of (* t z) in z
0.397 * [taylor]: Taking taylor expansion of t in z
0.397 * [taylor]: Taking taylor expansion of z in z
0.397 * [taylor]: Taking taylor expansion of a in z
0.397 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
0.397 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.397 * [taylor]: Taking taylor expansion of (* x y) in y
0.397 * [taylor]: Taking taylor expansion of x in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of (* t z) in y
0.397 * [taylor]: Taking taylor expansion of t in y
0.397 * [taylor]: Taking taylor expansion of z in y
0.397 * [taylor]: Taking taylor expansion of a in y
0.397 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.397 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.397 * [taylor]: Taking taylor expansion of (* x y) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of (* t z) in x
0.398 * [taylor]: Taking taylor expansion of t in x
0.398 * [taylor]: Taking taylor expansion of z in x
0.398 * [taylor]: Taking taylor expansion of a in x
0.398 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.398 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.398 * [taylor]: Taking taylor expansion of (* x y) in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of (* t z) in x
0.398 * [taylor]: Taking taylor expansion of t in x
0.398 * [taylor]: Taking taylor expansion of z in x
0.398 * [taylor]: Taking taylor expansion of a in x
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in y
0.398 * [taylor]: Taking taylor expansion of -1 in y
0.398 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.398 * [taylor]: Taking taylor expansion of (* t z) in y
0.398 * [taylor]: Taking taylor expansion of t in y
0.398 * [taylor]: Taking taylor expansion of z in y
0.398 * [taylor]: Taking taylor expansion of a in y
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in z
0.398 * [taylor]: Taking taylor expansion of -1 in z
0.398 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.398 * [taylor]: Taking taylor expansion of (* t z) in z
0.398 * [taylor]: Taking taylor expansion of t in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.398 * [taylor]: Taking taylor expansion of a in z
0.399 * [taylor]: Taking taylor expansion of (/ y a) in y
0.399 * [taylor]: Taking taylor expansion of y in y
0.399 * [taylor]: Taking taylor expansion of a in y
0.400 * [taylor]: Taking taylor expansion of 0 in z
0.400 * [taylor]: Taking taylor expansion of 0 in t
0.400 * [taylor]: Taking taylor expansion of 0 in a
0.400 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
0.400 * [taylor]: Taking taylor expansion of -1 in t
0.400 * [taylor]: Taking taylor expansion of (/ t a) in t
0.400 * [taylor]: Taking taylor expansion of t in t
0.400 * [taylor]: Taking taylor expansion of a in t
0.402 * [taylor]: Taking taylor expansion of 0 in y
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of 0 in t
0.402 * [taylor]: Taking taylor expansion of 0 in a
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.402 * [taylor]: Taking taylor expansion of a in z
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.402 * [taylor]: Taking taylor expansion of a in t
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.403 * [taylor]: Taking taylor expansion of 0 in z
0.403 * [taylor]: Taking taylor expansion of 0 in t
0.403 * [taylor]: Taking taylor expansion of 0 in a
0.403 * [taylor]: Taking taylor expansion of 0 in t
0.403 * [taylor]: Taking taylor expansion of 0 in a
0.404 * [taylor]: Taking taylor expansion of 0 in t
0.404 * [taylor]: Taking taylor expansion of 0 in a
0.404 * [taylor]: Taking taylor expansion of 0 in a
0.404 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.404 * [taylor]: Taking taylor expansion of -1 in a
0.404 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of 0 in y
0.406 * [taylor]: Taking taylor expansion of 0 in z
0.406 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in a
0.406 * [taylor]: Taking taylor expansion of 0 in z
0.406 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in a
0.406 * [taylor]: Taking taylor expansion of 0 in z
0.406 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in a
0.408 * [taylor]: Taking taylor expansion of 0 in z
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.408 * [taylor]: Taking taylor expansion of 0 in a
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.408 * [taylor]: Taking taylor expansion of 0 in a
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.408 * [taylor]: Taking taylor expansion of 0 in a
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.408 * [taylor]: Taking taylor expansion of 0 in a
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.408 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in t
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in a
0.410 * [taylor]: Taking taylor expansion of 0 in a
0.411 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t a) around 0
0.411 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.411 * [taylor]: Taking taylor expansion of a in a
0.411 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.411 * [taylor]: Taking taylor expansion of (* x y) in a
0.411 * [taylor]: Taking taylor expansion of x in a
0.411 * [taylor]: Taking taylor expansion of y in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.411 * [taylor]: Taking taylor expansion of (* t z) in a
0.411 * [taylor]: Taking taylor expansion of t in a
0.411 * [taylor]: Taking taylor expansion of z in a
0.411 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.411 * [taylor]: Taking taylor expansion of a in t
0.411 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.411 * [taylor]: Taking taylor expansion of (* x y) in t
0.411 * [taylor]: Taking taylor expansion of x in t
0.411 * [taylor]: Taking taylor expansion of y in t
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.411 * [taylor]: Taking taylor expansion of (* t z) in t
0.411 * [taylor]: Taking taylor expansion of t in t
0.411 * [taylor]: Taking taylor expansion of z in t
0.412 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.412 * [taylor]: Taking taylor expansion of a in z
0.412 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.412 * [taylor]: Taking taylor expansion of (* x y) in z
0.412 * [taylor]: Taking taylor expansion of x in z
0.412 * [taylor]: Taking taylor expansion of y in z
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.412 * [taylor]: Taking taylor expansion of (* t z) in z
0.412 * [taylor]: Taking taylor expansion of t in z
0.412 * [taylor]: Taking taylor expansion of z in z
0.412 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.412 * [taylor]: Taking taylor expansion of a in y
0.412 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.412 * [taylor]: Taking taylor expansion of (* x y) in y
0.412 * [taylor]: Taking taylor expansion of x in y
0.412 * [taylor]: Taking taylor expansion of y in y
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.413 * [taylor]: Taking taylor expansion of (* t z) in y
0.413 * [taylor]: Taking taylor expansion of t in y
0.413 * [taylor]: Taking taylor expansion of z in y
0.413 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.413 * [taylor]: Taking taylor expansion of a in x
0.413 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.413 * [taylor]: Taking taylor expansion of (* x y) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of y in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.413 * [taylor]: Taking taylor expansion of (* t z) in x
0.413 * [taylor]: Taking taylor expansion of t in x
0.413 * [taylor]: Taking taylor expansion of z in x
0.413 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.413 * [taylor]: Taking taylor expansion of a in x
0.413 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.413 * [taylor]: Taking taylor expansion of (* x y) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of y in x
0.414 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.414 * [taylor]: Taking taylor expansion of (* t z) in x
0.414 * [taylor]: Taking taylor expansion of t in x
0.414 * [taylor]: Taking taylor expansion of z in x
0.414 * [taylor]: Taking taylor expansion of (/ a y) in y
0.414 * [taylor]: Taking taylor expansion of a in y
0.414 * [taylor]: Taking taylor expansion of y in y
0.414 * [taylor]: Taking taylor expansion of a in z
0.415 * [taylor]: Taking taylor expansion of (- (/ a (* z t))) in y
0.415 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.415 * [taylor]: Taking taylor expansion of a in y
0.415 * [taylor]: Taking taylor expansion of (* z t) in y
0.415 * [taylor]: Taking taylor expansion of z in y
0.415 * [taylor]: Taking taylor expansion of t in y
0.416 * [taylor]: Taking taylor expansion of 0 in z
0.416 * [taylor]: Taking taylor expansion of a in t
0.417 * [taylor]: Taking taylor expansion of 0 in y
0.417 * [taylor]: Taking taylor expansion of (- (/ a (* z t))) in z
0.417 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.417 * [taylor]: Taking taylor expansion of a in z
0.417 * [taylor]: Taking taylor expansion of (* z t) in z
0.417 * [taylor]: Taking taylor expansion of z in z
0.417 * [taylor]: Taking taylor expansion of t in z
0.418 * [taylor]: Taking taylor expansion of (- (/ a t)) in t
0.418 * [taylor]: Taking taylor expansion of (/ a t) in t
0.418 * [taylor]: Taking taylor expansion of a in t
0.418 * [taylor]: Taking taylor expansion of t in t
0.418 * [taylor]: Taking taylor expansion of (- a) in a
0.418 * [taylor]: Taking taylor expansion of a in a
0.419 * [taylor]: Taking taylor expansion of 0 in z
0.419 * [taylor]: Taking taylor expansion of 0 in t
0.419 * [taylor]: Taking taylor expansion of 0 in t
0.419 * [taylor]: Taking taylor expansion of a in a
0.421 * [taylor]: Taking taylor expansion of 0 in y
0.421 * [taylor]: Taking taylor expansion of 0 in z
0.422 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in t
0.424 * [taylor]: Taking taylor expansion of 0 in t
0.424 * [taylor]: Taking taylor expansion of 0 in t
0.424 * [taylor]: Taking taylor expansion of 0 in t
0.424 * [taylor]: Taking taylor expansion of 0 in a
0.424 * [taylor]: Taking taylor expansion of 0 in a
0.424 * [taylor]: Taking taylor expansion of 0 in a
0.424 * [taylor]: Taking taylor expansion of 0 in a
0.425 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (x y z t a) around 0
0.425 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
0.425 * [taylor]: Taking taylor expansion of -1 in a
0.425 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.425 * [taylor]: Taking taylor expansion of a in a
0.425 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.425 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.425 * [taylor]: Taking taylor expansion of (* x y) in a
0.425 * [taylor]: Taking taylor expansion of x in a
0.425 * [taylor]: Taking taylor expansion of y in a
0.425 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.425 * [taylor]: Taking taylor expansion of (* t z) in a
0.425 * [taylor]: Taking taylor expansion of t in a
0.425 * [taylor]: Taking taylor expansion of z in a
0.425 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
0.425 * [taylor]: Taking taylor expansion of -1 in t
0.425 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.425 * [taylor]: Taking taylor expansion of a in t
0.425 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.425 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.425 * [taylor]: Taking taylor expansion of (* x y) in t
0.425 * [taylor]: Taking taylor expansion of x in t
0.425 * [taylor]: Taking taylor expansion of y in t
0.425 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.425 * [taylor]: Taking taylor expansion of (* t z) in t
0.425 * [taylor]: Taking taylor expansion of t in t
0.425 * [taylor]: Taking taylor expansion of z in t
0.426 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
0.426 * [taylor]: Taking taylor expansion of -1 in z
0.426 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.426 * [taylor]: Taking taylor expansion of a in z
0.426 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.426 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.426 * [taylor]: Taking taylor expansion of (* x y) in z
0.426 * [taylor]: Taking taylor expansion of x in z
0.426 * [taylor]: Taking taylor expansion of y in z
0.426 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.426 * [taylor]: Taking taylor expansion of (* t z) in z
0.426 * [taylor]: Taking taylor expansion of t in z
0.426 * [taylor]: Taking taylor expansion of z in z
0.426 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
0.426 * [taylor]: Taking taylor expansion of -1 in y
0.426 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.426 * [taylor]: Taking taylor expansion of a in y
0.426 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.426 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.426 * [taylor]: Taking taylor expansion of (* x y) in y
0.426 * [taylor]: Taking taylor expansion of x in y
0.426 * [taylor]: Taking taylor expansion of y in y
0.427 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.427 * [taylor]: Taking taylor expansion of (* t z) in y
0.427 * [taylor]: Taking taylor expansion of t in y
0.427 * [taylor]: Taking taylor expansion of z in y
0.427 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.427 * [taylor]: Taking taylor expansion of -1 in x
0.427 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.427 * [taylor]: Taking taylor expansion of a in x
0.427 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.427 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.427 * [taylor]: Taking taylor expansion of (* x y) in x
0.427 * [taylor]: Taking taylor expansion of x in x
0.427 * [taylor]: Taking taylor expansion of y in x
0.427 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.427 * [taylor]: Taking taylor expansion of (* t z) in x
0.427 * [taylor]: Taking taylor expansion of t in x
0.427 * [taylor]: Taking taylor expansion of z in x
0.427 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.427 * [taylor]: Taking taylor expansion of -1 in x
0.427 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.427 * [taylor]: Taking taylor expansion of a in x
0.427 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.427 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.427 * [taylor]: Taking taylor expansion of (* x y) in x
0.427 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of y in x
0.428 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.428 * [taylor]: Taking taylor expansion of (* t z) in x
0.428 * [taylor]: Taking taylor expansion of t in x
0.428 * [taylor]: Taking taylor expansion of z in x
0.428 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
0.428 * [taylor]: Taking taylor expansion of -1 in y
0.428 * [taylor]: Taking taylor expansion of (/ a y) in y
0.428 * [taylor]: Taking taylor expansion of a in y
0.428 * [taylor]: Taking taylor expansion of y in y
0.428 * [taylor]: Taking taylor expansion of (* -1 a) in z
0.428 * [taylor]: Taking taylor expansion of -1 in z
0.428 * [taylor]: Taking taylor expansion of a in z
0.429 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.429 * [taylor]: Taking taylor expansion of a in y
0.429 * [taylor]: Taking taylor expansion of (* z t) in y
0.429 * [taylor]: Taking taylor expansion of z in y
0.429 * [taylor]: Taking taylor expansion of t in y
0.430 * [taylor]: Taking taylor expansion of 0 in z
0.430 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.430 * [taylor]: Taking taylor expansion of -1 in t
0.430 * [taylor]: Taking taylor expansion of a in t
0.432 * [taylor]: Taking taylor expansion of 0 in y
0.432 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.432 * [taylor]: Taking taylor expansion of a in z
0.432 * [taylor]: Taking taylor expansion of (* z t) in z
0.432 * [taylor]: Taking taylor expansion of z in z
0.432 * [taylor]: Taking taylor expansion of t in z
0.433 * [taylor]: Taking taylor expansion of (/ a t) in t
0.433 * [taylor]: Taking taylor expansion of a in t
0.433 * [taylor]: Taking taylor expansion of t in t
0.433 * [taylor]: Taking taylor expansion of a in a
0.434 * [taylor]: Taking taylor expansion of 0 in z
0.434 * [taylor]: Taking taylor expansion of 0 in t
0.434 * [taylor]: Taking taylor expansion of 0 in t
0.435 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.435 * [taylor]: Taking taylor expansion of -1 in a
0.435 * [taylor]: Taking taylor expansion of a in a
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.438 * [taylor]: Taking taylor expansion of 0 in z
0.438 * [taylor]: Taking taylor expansion of 0 in z
0.440 * [taylor]: Taking taylor expansion of 0 in z
0.440 * [taylor]: Taking taylor expansion of 0 in t
0.440 * [taylor]: Taking taylor expansion of 0 in t
0.440 * [taylor]: Taking taylor expansion of 0 in t
0.441 * [taylor]: Taking taylor expansion of 0 in t
0.442 * [taylor]: Taking taylor expansion of 0 in a
0.442 * [taylor]: Taking taylor expansion of 0 in a
0.442 * [taylor]: Taking taylor expansion of 0 in a
0.442 * [taylor]: Taking taylor expansion of 0 in a
0.442 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.442 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0
0.442 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.442 * [taylor]: Taking taylor expansion of (* x y) in t
0.442 * [taylor]: Taking taylor expansion of x in t
0.442 * [taylor]: Taking taylor expansion of y in t
0.442 * [taylor]: Taking taylor expansion of (* t z) in t
0.442 * [taylor]: Taking taylor expansion of t in t
0.442 * [taylor]: Taking taylor expansion of z in t
0.442 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.442 * [taylor]: Taking taylor expansion of (* x y) in z
0.442 * [taylor]: Taking taylor expansion of x in z
0.442 * [taylor]: Taking taylor expansion of y in z
0.442 * [taylor]: Taking taylor expansion of (* t z) in z
0.442 * [taylor]: Taking taylor expansion of t in z
0.442 * [taylor]: Taking taylor expansion of z in z
0.442 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.442 * [taylor]: Taking taylor expansion of (* x y) in y
0.442 * [taylor]: Taking taylor expansion of x in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.442 * [taylor]: Taking taylor expansion of (* t z) in y
0.442 * [taylor]: Taking taylor expansion of t in y
0.443 * [taylor]: Taking taylor expansion of z in y
0.443 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.443 * [taylor]: Taking taylor expansion of (* x y) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of (* t z) in x
0.443 * [taylor]: Taking taylor expansion of t in x
0.443 * [taylor]: Taking taylor expansion of z in x
0.443 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.443 * [taylor]: Taking taylor expansion of (* x y) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of (* t z) in x
0.443 * [taylor]: Taking taylor expansion of t in x
0.443 * [taylor]: Taking taylor expansion of z in x
0.443 * [taylor]: Taking taylor expansion of (- (* t z)) in y
0.443 * [taylor]: Taking taylor expansion of (* t z) in y
0.443 * [taylor]: Taking taylor expansion of t in y
0.443 * [taylor]: Taking taylor expansion of z in y
0.443 * [taylor]: Taking taylor expansion of (- (* t z)) in z
0.443 * [taylor]: Taking taylor expansion of (* t z) in z
0.443 * [taylor]: Taking taylor expansion of t in z
0.443 * [taylor]: Taking taylor expansion of z in z
0.443 * [taylor]: Taking taylor expansion of 0 in t
0.444 * [taylor]: Taking taylor expansion of y in y
0.444 * [taylor]: Taking taylor expansion of 0 in z
0.444 * [taylor]: Taking taylor expansion of 0 in t
0.444 * [taylor]: Taking taylor expansion of 0 in z
0.444 * [taylor]: Taking taylor expansion of 0 in t
0.445 * [taylor]: Taking taylor expansion of (- t) in t
0.445 * [taylor]: Taking taylor expansion of t in t
0.446 * [taylor]: Taking taylor expansion of 0 in y
0.446 * [taylor]: Taking taylor expansion of 0 in z
0.446 * [taylor]: Taking taylor expansion of 0 in t
0.446 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.446 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.446 * [taylor]: Taking taylor expansion of (* x y) in t
0.446 * [taylor]: Taking taylor expansion of x in t
0.446 * [taylor]: Taking taylor expansion of y in t
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.446 * [taylor]: Taking taylor expansion of (* t z) in t
0.446 * [taylor]: Taking taylor expansion of t in t
0.446 * [taylor]: Taking taylor expansion of z in t
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.447 * [taylor]: Taking taylor expansion of (* x y) in z
0.447 * [taylor]: Taking taylor expansion of x in z
0.447 * [taylor]: Taking taylor expansion of y in z
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.447 * [taylor]: Taking taylor expansion of (* t z) in z
0.447 * [taylor]: Taking taylor expansion of t in z
0.447 * [taylor]: Taking taylor expansion of z in z
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.447 * [taylor]: Taking taylor expansion of (* x y) in y
0.447 * [taylor]: Taking taylor expansion of x in y
0.447 * [taylor]: Taking taylor expansion of y in y
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.448 * [taylor]: Taking taylor expansion of (* t z) in y
0.448 * [taylor]: Taking taylor expansion of t in y
0.448 * [taylor]: Taking taylor expansion of z in y
0.448 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.448 * [taylor]: Taking taylor expansion of (* x y) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of y in x
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.448 * [taylor]: Taking taylor expansion of (* t z) in x
0.448 * [taylor]: Taking taylor expansion of t in x
0.448 * [taylor]: Taking taylor expansion of z in x
0.448 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.448 * [taylor]: Taking taylor expansion of (* x y) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of y in x
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.449 * [taylor]: Taking taylor expansion of (* t z) in x
0.449 * [taylor]: Taking taylor expansion of t in x
0.449 * [taylor]: Taking taylor expansion of z in x
0.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.449 * [taylor]: Taking taylor expansion of y in y
0.449 * [taylor]: Taking taylor expansion of 1 in z
0.450 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y
0.450 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.450 * [taylor]: Taking taylor expansion of (* t z) in y
0.450 * [taylor]: Taking taylor expansion of t in y
0.450 * [taylor]: Taking taylor expansion of z in y
0.450 * [taylor]: Taking taylor expansion of 0 in z
0.450 * [taylor]: Taking taylor expansion of 1 in t
0.452 * [taylor]: Taking taylor expansion of 0 in y
0.452 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.452 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.452 * [taylor]: Taking taylor expansion of (* t z) in z
0.452 * [taylor]: Taking taylor expansion of t in z
0.452 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.452 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.452 * [taylor]: Taking taylor expansion of t in t
0.453 * [taylor]: Taking taylor expansion of 0 in z
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.455 * [taylor]: Taking taylor expansion of 0 in y
0.455 * [taylor]: Taking taylor expansion of 0 in z
0.456 * [taylor]: Taking taylor expansion of 0 in z
0.456 * [taylor]: Taking taylor expansion of 0 in z
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.457 * [taylor]: Taking taylor expansion of 0 in t
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.463 * [taylor]: Taking taylor expansion of 0 in z
0.463 * [taylor]: Taking taylor expansion of 0 in z
0.464 * [taylor]: Taking taylor expansion of 0 in z
0.464 * [taylor]: Taking taylor expansion of 0 in t
0.464 * [taylor]: Taking taylor expansion of 0 in t
0.464 * [taylor]: Taking taylor expansion of 0 in t
0.465 * [taylor]: Taking taylor expansion of 0 in t
0.465 * [taylor]: Taking taylor expansion of 0 in t
0.465 * [taylor]: Taking taylor expansion of 0 in t
0.465 * [taylor]: Taking taylor expansion of 0 in t
0.465 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.465 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.465 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.465 * [taylor]: Taking taylor expansion of (* x y) in t
0.465 * [taylor]: Taking taylor expansion of x in t
0.465 * [taylor]: Taking taylor expansion of y in t
0.465 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.466 * [taylor]: Taking taylor expansion of (* t z) in t
0.466 * [taylor]: Taking taylor expansion of t in t
0.466 * [taylor]: Taking taylor expansion of z in t
0.466 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.466 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.466 * [taylor]: Taking taylor expansion of (* x y) in z
0.466 * [taylor]: Taking taylor expansion of x in z
0.466 * [taylor]: Taking taylor expansion of y in z
0.466 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.466 * [taylor]: Taking taylor expansion of (* t z) in z
0.466 * [taylor]: Taking taylor expansion of t in z
0.466 * [taylor]: Taking taylor expansion of z in z
0.466 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.466 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.466 * [taylor]: Taking taylor expansion of (* x y) in y
0.466 * [taylor]: Taking taylor expansion of x in y
0.466 * [taylor]: Taking taylor expansion of y in y
0.467 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.467 * [taylor]: Taking taylor expansion of (* t z) in y
0.467 * [taylor]: Taking taylor expansion of t in y
0.467 * [taylor]: Taking taylor expansion of z in y
0.467 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.467 * [taylor]: Taking taylor expansion of (* x y) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of y in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.467 * [taylor]: Taking taylor expansion of (* t z) in x
0.467 * [taylor]: Taking taylor expansion of t in x
0.467 * [taylor]: Taking taylor expansion of z in x
0.467 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.467 * [taylor]: Taking taylor expansion of (* x y) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of y in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.468 * [taylor]: Taking taylor expansion of (* t z) in x
0.468 * [taylor]: Taking taylor expansion of t in x
0.468 * [taylor]: Taking taylor expansion of z in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.468 * [taylor]: Taking taylor expansion of y in y
0.468 * [taylor]: Taking taylor expansion of 1 in z
0.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.469 * [taylor]: Taking taylor expansion of (* t z) in y
0.469 * [taylor]: Taking taylor expansion of t in y
0.469 * [taylor]: Taking taylor expansion of z in y
0.469 * [taylor]: Taking taylor expansion of 0 in z
0.469 * [taylor]: Taking taylor expansion of 1 in t
0.471 * [taylor]: Taking taylor expansion of 0 in y
0.471 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.471 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.471 * [taylor]: Taking taylor expansion of (* t z) in z
0.471 * [taylor]: Taking taylor expansion of t in z
0.471 * [taylor]: Taking taylor expansion of z in z
0.471 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.471 * [taylor]: Taking taylor expansion of t in t
0.472 * [taylor]: Taking taylor expansion of 0 in z
0.472 * [taylor]: Taking taylor expansion of 0 in t
0.472 * [taylor]: Taking taylor expansion of 0 in t
0.474 * [taylor]: Taking taylor expansion of 0 in y
0.474 * [taylor]: Taking taylor expansion of 0 in z
0.475 * [taylor]: Taking taylor expansion of 0 in z
0.475 * [taylor]: Taking taylor expansion of 0 in z
0.476 * [taylor]: Taking taylor expansion of 0 in t
0.476 * [taylor]: Taking taylor expansion of 0 in t
0.476 * [taylor]: Taking taylor expansion of 0 in t
0.476 * [taylor]: Taking taylor expansion of 0 in t
0.479 * [taylor]: Taking taylor expansion of 0 in y
0.479 * [taylor]: Taking taylor expansion of 0 in z
0.479 * [taylor]: Taking taylor expansion of 0 in z
0.480 * [taylor]: Taking taylor expansion of 0 in z
0.480 * [taylor]: Taking taylor expansion of 0 in z
0.480 * [taylor]: Taking taylor expansion of 0 in t
0.480 * [taylor]: Taking taylor expansion of 0 in t
0.480 * [taylor]: Taking taylor expansion of 0 in t
0.481 * [taylor]: Taking taylor expansion of 0 in t
0.481 * [taylor]: Taking taylor expansion of 0 in t
0.481 * [taylor]: Taking taylor expansion of 0 in t
0.481 * [taylor]: Taking taylor expansion of 0 in t
0.482 * * * [progress]: simplifying candidates
0.482 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (pow (* x y) 3) (pow (* z t) 3)) 1)
  (* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) a)
  (* (- (pow (* x y) 3) (pow (* z t) 3)) (- 1))
  (* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (- a))
  (* (- (pow (* x y) 3) (pow (* z t) 3)) 1)
  (* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (/ a 1))
  (* (- (* (* x y) (* x y)) (* (* z t) (* z t))) 1)
  (* (+ (* x y) (* z t)) a)
  (* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- 1))
  (* (+ (* x y) (* z t)) (- a))
  (* (- (* (* x y) (* x y)) (* (* z t) (* z t))) 1)
  (* (+ (* x y) (* z t)) (/ a 1))
  (* (- (* x y) (* z t)) 1)
  (* (- (* x y) (* z t)) 1)
  (* (- (* x y) (* z t)) (- 1))
  (* (- (* x y) (* z t)) 1)
  (* (- (pow (* x y) 3) (pow (* z t) 3)) (/ 1 a))
  (* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (/ 1 a))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t))))
  (- (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (- (* z t))
  (- (/ (* x y) a) (/ (* t z) a))
  0
  0
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
0.486 * * [simplify]: iteration  0 :  121  enodes  (cost  148 )
0.489 * * [simplify]: iteration  1 :  490  enodes  (cost  148 )
0.501 * * [simplify]: iteration  2 :  2263  enodes  (cost  148 )
0.561 * * [simplify]: iteration  3 :  5001  enodes  (cost  147 )
0.563 * [simplify]: Simplified to:
   (- (pow (* x y) 3) (pow (* z t) 3))
  (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))
  (- (- (pow (* x y) 3) (pow (* z t) 3)))
  (* (- a) (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (* a (+ (* x y) (* z t)))
  (- (- (* (* x y) (* x y)) (* (* z t) (* z t))))
  (* (+ (* x y) (* z t)) (- a))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (* a (+ (* x y) (* z t)))
  (- (* x y) (* z t))
  (- (* x y) (* z t))
  (- (- (* x y) (* z t)))
  (- (* x y) (* z t))
  (/ (- (pow (* x y) 3) (pow (* z t) 3)) a)
  (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a)
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
  (- (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (- (* z t))
  (/ (- (* x y) (* z t)) a)
  0
  0
  0
  (- (* x y) (* z t))
  (- (* x y) (* z t))
0.563 * * * [progress]: adding candidates to table
0.603 * * [progress]: iteration 4 / 4
0.603 * * * [progress]: picking best candidate
0.619 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ a (* t z)))))>
0.619 * * * [progress]: localizing error
0.628 * * * [progress]: generating rewritten candidates
0.629 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.632 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.635 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.639 * * * [progress]: generating series expansions
0.639 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.639 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x y a) around 0
0.639 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.639 * [taylor]: Taking taylor expansion of (* x y) in a
0.639 * [taylor]: Taking taylor expansion of x in a
0.639 * [taylor]: Taking taylor expansion of y in a
0.639 * [taylor]: Taking taylor expansion of a in a
0.639 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.639 * [taylor]: Taking taylor expansion of (* x y) in y
0.639 * [taylor]: Taking taylor expansion of x in y
0.639 * [taylor]: Taking taylor expansion of y in y
0.639 * [taylor]: Taking taylor expansion of a in y
0.640 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.640 * [taylor]: Taking taylor expansion of (* x y) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.640 * [taylor]: Taking taylor expansion of y in x
0.640 * [taylor]: Taking taylor expansion of a in x
0.640 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.640 * [taylor]: Taking taylor expansion of (* x y) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.640 * [taylor]: Taking taylor expansion of y in x
0.640 * [taylor]: Taking taylor expansion of a in x
0.640 * [taylor]: Taking taylor expansion of (/ y a) in y
0.640 * [taylor]: Taking taylor expansion of y in y
0.640 * [taylor]: Taking taylor expansion of a in y
0.640 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.640 * [taylor]: Taking taylor expansion of a in a
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [taylor]: Taking taylor expansion of 0 in a
0.643 * [taylor]: Taking taylor expansion of 0 in a
0.643 * [taylor]: Taking taylor expansion of 0 in a
0.644 * [taylor]: Taking taylor expansion of 0 in y
0.645 * [taylor]: Taking taylor expansion of 0 in a
0.645 * [taylor]: Taking taylor expansion of 0 in a
0.645 * [taylor]: Taking taylor expansion of 0 in a
0.645 * [taylor]: Taking taylor expansion of 0 in a
0.645 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x y a) around 0
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.645 * [taylor]: Taking taylor expansion of a in a
0.645 * [taylor]: Taking taylor expansion of (* x y) in a
0.645 * [taylor]: Taking taylor expansion of x in a
0.645 * [taylor]: Taking taylor expansion of y in a
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.645 * [taylor]: Taking taylor expansion of a in y
0.645 * [taylor]: Taking taylor expansion of (* x y) in y
0.645 * [taylor]: Taking taylor expansion of x in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.645 * [taylor]: Taking taylor expansion of a in x
0.645 * [taylor]: Taking taylor expansion of (* x y) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of y in x
0.646 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.646 * [taylor]: Taking taylor expansion of a in x
0.646 * [taylor]: Taking taylor expansion of (* x y) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of y in x
0.646 * [taylor]: Taking taylor expansion of (/ a y) in y
0.646 * [taylor]: Taking taylor expansion of a in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of a in a
0.647 * [taylor]: Taking taylor expansion of 0 in y
0.647 * [taylor]: Taking taylor expansion of 0 in a
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x y a) around 0
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
0.650 * [taylor]: Taking taylor expansion of -1 in a
0.650 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.650 * [taylor]: Taking taylor expansion of a in a
0.650 * [taylor]: Taking taylor expansion of (* x y) in a
0.650 * [taylor]: Taking taylor expansion of x in a
0.650 * [taylor]: Taking taylor expansion of y in a
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.650 * [taylor]: Taking taylor expansion of -1 in y
0.650 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.650 * [taylor]: Taking taylor expansion of a in y
0.650 * [taylor]: Taking taylor expansion of (* x y) in y
0.650 * [taylor]: Taking taylor expansion of x in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.650 * [taylor]: Taking taylor expansion of a in x
0.650 * [taylor]: Taking taylor expansion of (* x y) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of y in x
0.651 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.651 * [taylor]: Taking taylor expansion of -1 in x
0.651 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.651 * [taylor]: Taking taylor expansion of a in x
0.651 * [taylor]: Taking taylor expansion of (* x y) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of y in x
0.651 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
0.651 * [taylor]: Taking taylor expansion of -1 in y
0.651 * [taylor]: Taking taylor expansion of (/ a y) in y
0.651 * [taylor]: Taking taylor expansion of a in y
0.651 * [taylor]: Taking taylor expansion of y in y
0.651 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.651 * [taylor]: Taking taylor expansion of -1 in a
0.651 * [taylor]: Taking taylor expansion of a in a
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.653 * [taylor]: Taking taylor expansion of 0 in a
0.655 * [taylor]: Taking taylor expansion of 0 in y
0.655 * [taylor]: Taking taylor expansion of 0 in a
0.657 * [taylor]: Taking taylor expansion of 0 in a
0.657 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.657 * [approximate]: Taking taylor expansion of (/ a (* z t)) in (a t z) around 0
0.657 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.657 * [taylor]: Taking taylor expansion of a in z
0.657 * [taylor]: Taking taylor expansion of (* z t) in z
0.657 * [taylor]: Taking taylor expansion of z in z
0.657 * [taylor]: Taking taylor expansion of t in z
0.658 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.658 * [taylor]: Taking taylor expansion of a in t
0.658 * [taylor]: Taking taylor expansion of (* z t) in t
0.658 * [taylor]: Taking taylor expansion of z in t
0.658 * [taylor]: Taking taylor expansion of t in t
0.658 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.658 * [taylor]: Taking taylor expansion of a in a
0.658 * [taylor]: Taking taylor expansion of (* z t) in a
0.658 * [taylor]: Taking taylor expansion of z in a
0.658 * [taylor]: Taking taylor expansion of t in a
0.658 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.658 * [taylor]: Taking taylor expansion of a in a
0.658 * [taylor]: Taking taylor expansion of (* z t) in a
0.658 * [taylor]: Taking taylor expansion of z in a
0.658 * [taylor]: Taking taylor expansion of t in a
0.658 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.659 * [taylor]: Taking taylor expansion of (* t z) in t
0.659 * [taylor]: Taking taylor expansion of t in t
0.659 * [taylor]: Taking taylor expansion of z in t
0.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.659 * [taylor]: Taking taylor expansion of z in z
0.659 * [taylor]: Taking taylor expansion of 0 in t
0.660 * [taylor]: Taking taylor expansion of 0 in z
0.661 * [taylor]: Taking taylor expansion of 0 in t
0.661 * [taylor]: Taking taylor expansion of 0 in z
0.662 * [taylor]: Taking taylor expansion of 0 in z
0.663 * [taylor]: Taking taylor expansion of 0 in t
0.663 * [taylor]: Taking taylor expansion of 0 in z
0.663 * [taylor]: Taking taylor expansion of 0 in z
0.664 * [taylor]: Taking taylor expansion of 0 in z
0.664 * [approximate]: Taking taylor expansion of (/ (* z t) a) in (a t z) around 0
0.664 * [taylor]: Taking taylor expansion of (/ (* z t) a) in z
0.664 * [taylor]: Taking taylor expansion of (* z t) in z
0.664 * [taylor]: Taking taylor expansion of z in z
0.664 * [taylor]: Taking taylor expansion of t in z
0.664 * [taylor]: Taking taylor expansion of a in z
0.665 * [taylor]: Taking taylor expansion of (/ (* z t) a) in t
0.665 * [taylor]: Taking taylor expansion of (* z t) in t
0.665 * [taylor]: Taking taylor expansion of z in t
0.665 * [taylor]: Taking taylor expansion of t in t
0.665 * [taylor]: Taking taylor expansion of a in t
0.665 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.665 * [taylor]: Taking taylor expansion of (* z t) in a
0.665 * [taylor]: Taking taylor expansion of z in a
0.665 * [taylor]: Taking taylor expansion of t in a
0.665 * [taylor]: Taking taylor expansion of a in a
0.665 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.665 * [taylor]: Taking taylor expansion of (* z t) in a
0.665 * [taylor]: Taking taylor expansion of z in a
0.665 * [taylor]: Taking taylor expansion of t in a
0.665 * [taylor]: Taking taylor expansion of a in a
0.665 * [taylor]: Taking taylor expansion of (* t z) in t
0.665 * [taylor]: Taking taylor expansion of t in t
0.665 * [taylor]: Taking taylor expansion of z in t
0.666 * [taylor]: Taking taylor expansion of z in z
0.666 * [taylor]: Taking taylor expansion of 0 in t
0.666 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.668 * [taylor]: Taking taylor expansion of 0 in t
0.668 * [taylor]: Taking taylor expansion of 0 in z
0.668 * [taylor]: Taking taylor expansion of 0 in z
0.669 * [taylor]: Taking taylor expansion of 0 in z
0.669 * [approximate]: Taking taylor expansion of (* -1 (/ (* z t) a)) in (a t z) around 0
0.669 * [taylor]: Taking taylor expansion of (* -1 (/ (* z t) a)) in z
0.669 * [taylor]: Taking taylor expansion of -1 in z
0.669 * [taylor]: Taking taylor expansion of (/ (* z t) a) in z
0.669 * [taylor]: Taking taylor expansion of (* z t) in z
0.669 * [taylor]: Taking taylor expansion of z in z
0.669 * [taylor]: Taking taylor expansion of t in z
0.669 * [taylor]: Taking taylor expansion of a in z
0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (* z t) a)) in t
0.670 * [taylor]: Taking taylor expansion of -1 in t
0.670 * [taylor]: Taking taylor expansion of (/ (* z t) a) in t
0.670 * [taylor]: Taking taylor expansion of (* z t) in t
0.670 * [taylor]: Taking taylor expansion of z in t
0.670 * [taylor]: Taking taylor expansion of t in t
0.670 * [taylor]: Taking taylor expansion of a in t
0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (* z t) a)) in a
0.670 * [taylor]: Taking taylor expansion of -1 in a
0.670 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.670 * [taylor]: Taking taylor expansion of (* z t) in a
0.670 * [taylor]: Taking taylor expansion of z in a
0.670 * [taylor]: Taking taylor expansion of t in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (* z t) a)) in a
0.670 * [taylor]: Taking taylor expansion of -1 in a
0.670 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.670 * [taylor]: Taking taylor expansion of (* z t) in a
0.670 * [taylor]: Taking taylor expansion of z in a
0.670 * [taylor]: Taking taylor expansion of t in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (* -1 (* t z)) in t
0.670 * [taylor]: Taking taylor expansion of -1 in t
0.670 * [taylor]: Taking taylor expansion of (* t z) in t
0.670 * [taylor]: Taking taylor expansion of t in t
0.670 * [taylor]: Taking taylor expansion of z in t
0.671 * [taylor]: Taking taylor expansion of (- z) in z
0.671 * [taylor]: Taking taylor expansion of z in z
0.672 * [taylor]: Taking taylor expansion of 0 in t
0.672 * [taylor]: Taking taylor expansion of 0 in z
0.676 * [taylor]: Taking taylor expansion of 0 in z
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.678 * [taylor]: Taking taylor expansion of 0 in z
0.678 * [taylor]: Taking taylor expansion of 0 in z
0.679 * [taylor]: Taking taylor expansion of 0 in z
0.680 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.680 * [approximate]: Taking taylor expansion of (/ (* z t) a) in (a t z) around 0
0.680 * [taylor]: Taking taylor expansion of (/ (* z t) a) in z
0.680 * [taylor]: Taking taylor expansion of (* z t) in z
0.680 * [taylor]: Taking taylor expansion of z in z
0.680 * [taylor]: Taking taylor expansion of t in z
0.680 * [taylor]: Taking taylor expansion of a in z
0.680 * [taylor]: Taking taylor expansion of (/ (* z t) a) in t
0.680 * [taylor]: Taking taylor expansion of (* z t) in t
0.680 * [taylor]: Taking taylor expansion of z in t
0.680 * [taylor]: Taking taylor expansion of t in t
0.680 * [taylor]: Taking taylor expansion of a in t
0.680 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.681 * [taylor]: Taking taylor expansion of (* z t) in a
0.681 * [taylor]: Taking taylor expansion of z in a
0.681 * [taylor]: Taking taylor expansion of t in a
0.681 * [taylor]: Taking taylor expansion of a in a
0.681 * [taylor]: Taking taylor expansion of (/ (* z t) a) in a
0.681 * [taylor]: Taking taylor expansion of (* z t) in a
0.681 * [taylor]: Taking taylor expansion of z in a
0.681 * [taylor]: Taking taylor expansion of t in a
0.681 * [taylor]: Taking taylor expansion of a in a
0.681 * [taylor]: Taking taylor expansion of (* t z) in t
0.681 * [taylor]: Taking taylor expansion of t in t
0.681 * [taylor]: Taking taylor expansion of z in t
0.681 * [taylor]: Taking taylor expansion of z in z
0.682 * [taylor]: Taking taylor expansion of 0 in t
0.682 * [taylor]: Taking taylor expansion of 0 in z
0.682 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 0 in t
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.685 * [approximate]: Taking taylor expansion of (/ a (* t z)) in (a t z) around 0
0.685 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
0.685 * [taylor]: Taking taylor expansion of a in z
0.685 * [taylor]: Taking taylor expansion of (* t z) in z
0.685 * [taylor]: Taking taylor expansion of t in z
0.685 * [taylor]: Taking taylor expansion of z in z
0.685 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.685 * [taylor]: Taking taylor expansion of a in t
0.685 * [taylor]: Taking taylor expansion of (* t z) in t
0.685 * [taylor]: Taking taylor expansion of t in t
0.685 * [taylor]: Taking taylor expansion of z in t
0.685 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of (* t z) in a
0.686 * [taylor]: Taking taylor expansion of t in a
0.686 * [taylor]: Taking taylor expansion of z in a
0.686 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of (* t z) in a
0.686 * [taylor]: Taking taylor expansion of t in a
0.686 * [taylor]: Taking taylor expansion of z in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.686 * [taylor]: Taking taylor expansion of (* t z) in t
0.686 * [taylor]: Taking taylor expansion of t in t
0.686 * [taylor]: Taking taylor expansion of z in t
0.686 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.686 * [taylor]: Taking taylor expansion of z in z
0.687 * [taylor]: Taking taylor expansion of 0 in t
0.687 * [taylor]: Taking taylor expansion of 0 in z
0.688 * [taylor]: Taking taylor expansion of 0 in t
0.688 * [taylor]: Taking taylor expansion of 0 in z
0.689 * [taylor]: Taking taylor expansion of 0 in z
0.690 * [taylor]: Taking taylor expansion of 0 in t
0.690 * [taylor]: Taking taylor expansion of 0 in z
0.690 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [approximate]: Taking taylor expansion of (* -1 (/ a (* t z))) in (a t z) around 0
0.692 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in z
0.692 * [taylor]: Taking taylor expansion of -1 in z
0.692 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
0.692 * [taylor]: Taking taylor expansion of a in z
0.692 * [taylor]: Taking taylor expansion of (* t z) in z
0.692 * [taylor]: Taking taylor expansion of t in z
0.692 * [taylor]: Taking taylor expansion of z in z
0.692 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
0.692 * [taylor]: Taking taylor expansion of -1 in t
0.692 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
0.692 * [taylor]: Taking taylor expansion of a in t
0.692 * [taylor]: Taking taylor expansion of (* t z) in t
0.692 * [taylor]: Taking taylor expansion of t in t
0.692 * [taylor]: Taking taylor expansion of z in t
0.692 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in a
0.692 * [taylor]: Taking taylor expansion of -1 in a
0.692 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.692 * [taylor]: Taking taylor expansion of a in a
0.692 * [taylor]: Taking taylor expansion of (* t z) in a
0.693 * [taylor]: Taking taylor expansion of t in a
0.693 * [taylor]: Taking taylor expansion of z in a
0.693 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in a
0.693 * [taylor]: Taking taylor expansion of -1 in a
0.693 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
0.693 * [taylor]: Taking taylor expansion of a in a
0.693 * [taylor]: Taking taylor expansion of (* t z) in a
0.693 * [taylor]: Taking taylor expansion of t in a
0.693 * [taylor]: Taking taylor expansion of z in a
0.693 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in t
0.693 * [taylor]: Taking taylor expansion of -1 in t
0.693 * [taylor]: Taking taylor expansion of (* t z) in t
0.693 * [taylor]: Taking taylor expansion of t in t
0.693 * [taylor]: Taking taylor expansion of z in t
0.693 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.693 * [taylor]: Taking taylor expansion of -1 in z
0.693 * [taylor]: Taking taylor expansion of z in z
0.694 * [taylor]: Taking taylor expansion of 0 in t
0.695 * [taylor]: Taking taylor expansion of 0 in z
0.696 * [taylor]: Taking taylor expansion of 0 in t
0.696 * [taylor]: Taking taylor expansion of 0 in z
0.697 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in t
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.700 * [taylor]: Taking taylor expansion of 0 in z
0.700 * * * [progress]: simplifying candidates
0.701 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x y))
  (- a)
  (/ 1 a)
  (/ a (* x y))
  (/ a y)
  (/ a x)
  (- a)
  (- (* t z))
  (/ 1 (* t z))
  (/ (* t z) a)
  (/ a t)
  (/ a z)
  (- 1)
  (- (/ a (* t z)))
  (/ 1 (/ a (* t z)))
  (/ (/ a (* t z)) 1)
  (/ 1 a)
  (/ 1 a)
  (/ 1 (- a))
  (/ 1 1)
  (/ 1 (/ a t))
  (/ 1 (/ a z))
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ a (* z t))
  (/ a (* z t))
  (/ a (* z t))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
0.704 * * [simplify]: iteration  0 :  55  enodes  (cost  52 )
0.705 * * [simplify]: iteration  1 :  122  enodes  (cost  51 )
0.708 * * [simplify]: iteration  2 :  313  enodes  (cost  49 )
0.713 * * [simplify]: iteration  3 :  522  enodes  (cost  49 )
0.724 * * [simplify]: iteration  4 :  1374  enodes  (cost  49 )
0.748 * * [simplify]: iteration  5 :  3240  enodes  (cost  49 )
0.796 * * [simplify]: iteration  6 :  5001  enodes  (cost  49 )
0.796 * [simplify]: Simplified to:
   (- (* x y))
  (- a)
  (/ 1 a)
  (/ a (* x y))
  (/ a y)
  (/ a x)
  (- a)
  (- (* t z))
  (/ 1 (* t z))
  (/ (* t z) a)
  (/ a t)
  (/ a z)
  (- 1)
  (- (/ a (* t z)))
  (/ (* t z) a)
  (/ a (* t z))
  (/ 1 a)
  (/ 1 a)
  (/ 1 (- a))
  1
  (/ t a)
  (/ z a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ a (* t z))
  (/ a (* t z))
  (/ a (* t z))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
0.797 * * * [progress]: adding candidates to table
0.849 * [progress]: [Phase 3 of 3] Extracting.
0.849 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
0.852 * * * [regime-changes]: Trying 8 branch expressions: ((* z t) (* x y) (- (* x y) (* z t)) a t z y x)
0.852 * * * * [regimes]: Trying to branch on (* z t) from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
0.901 * * * * [regimes]: Trying to branch on (* z t) from (#<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))>)
0.924 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
0.972 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.005 * * * * [regimes]: Trying to branch on (- (* x y) (* z t)) from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.053 * * * * [regimes]: Trying to branch on (- (* x y) (* z t)) from (#<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))>)
1.071 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.120 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.185 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.228 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.278 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.329 * * * [regime]: Found split indices: #<option (#s(si 6 23) #s(si 3 224) #s(si 6 255))>
1.330 * [binary-search]: Only using regimes for bounds on (- (* x y) (* z t)) and (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.330 * [regimes]: Found splitpoints: (#s(sp 6 (- (* x y) (* z t)) -3.616578427447673e+254) #s(sp 3 (- (* x y) (* z t)) 1.3070248666528326e+172) #s(sp 6 (- (* x y) (* z t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (- (/ x (/ a y)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t))) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ t (/ a z))))> #<alt (λ (x y z t a) (* (- (* x y) (* z t)) (/ 1 a)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (/ 1 (/ (/ a z) t))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) a) (+ (* x y) (* z t))))> #<alt (λ (x y z t a) (- (/ y (/ a x)) (/ (* t z) a)))> #<alt (λ (x y z t a) (* 0 (/ 1 a)))> #<alt (λ (x y z t a) (/ (- (pow (* x y) 3) (pow (* z t) 3)) (* a (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ t a) z)))> #<alt (λ (x y z t a) (- (/ (* x y) a) (* (/ z a) t)))>)
1.331 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (* x y) (* z t)) -3.616578427447673e+254) (- (/ y (/ a x)) (/ (* t z) a)) (if (<= (- (* x y) (* z t)) 1.3070248666528326e+172) (* (- (* x y) (* z t)) (/ 1 a)) (- (/ y (/ a x)) (/ (* t z) a))))
1.331 * * [simplify]: iteration  0 :  29  enodes  (cost  16 )
1.332 * * [simplify]: iteration  1 :  29  enodes  (cost  16 )
1.332 * [simplify]: Simplified to:
   (if (or (<= (- (* x y) (* z t)) -3.616578427447673e+254) (not (<= (- (* x y) (* z t)) 1.3070248666528326e+172))) (- (/ y (/ a x)) (/ (* t z) a)) (* (- (* x y) (* z t)) (/ 1 a)))
2.320 * [regime-testing]: Baseline error score: 7.826340193448775
2.321 * [regime-testing]: Oracle error score: 0.39744452223593163
2.322 * [regime-testing]: End program error score: 4.490470055623464
2.352 * [regime-testing]: Target error score: 6.215352923707107