14.209 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (* y (- z x)) t))
0.022 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.023 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.025 * * [simplify]: iteration  2 :  25  enodes  (cost  9 )
0.028 * * [simplify]: iteration  3 :  44  enodes  (cost  9 )
0.033 * * [simplify]: iteration  4 :  74  enodes  (cost  9 )
0.042 * * [simplify]: iteration  5 :  102  enodes  (cost  9 )
0.058 * * [simplify]: iteration  6 :  120  enodes  (cost  9 )
0.076 * * [simplify]: iteration  7 :  140  enodes  (cost  9 )
0.095 * * [simplify]: iteration  8 :  200  enodes  (cost  9 )
0.130 * * [simplify]: iteration  9 :  328  enodes  (cost  9 )
0.214 * * [simplify]: iteration  10 :  563  enodes  (cost  9 )
0.408 * * [simplify]: iteration  11 :  855  enodes  (cost  9 )
0.847 * * [simplify]: iteration  12 :  1213  enodes  (cost  9 )
1.602 * * [simplify]: iteration  13 :  1931  enodes  (cost  9 )
3.298 * * [simplify]: iteration  14 :  2871  enodes  (cost  9 )
4.896 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
4.896 * [simplify]: Simplified to:
   (+ x (/ (* y (- z x)) t))
4.896 * * [progress]: iteration 1 / 4
4.896 * * * [progress]: picking best candidate
4.898 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))>
4.898 * * * [progress]: localizing error
4.904 * * * [progress]: generating rewritten candidates
4.904 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
4.910 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.914 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
4.925 * * * [progress]: generating series expansions
4.925 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
4.925 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y z x t) around 0
4.925 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
4.925 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
4.925 * [taylor]: Taking taylor expansion of y in t
4.925 * [taylor]: Taking taylor expansion of (- z x) in t
4.925 * [taylor]: Taking taylor expansion of z in t
4.925 * [taylor]: Taking taylor expansion of x in t
4.925 * [taylor]: Taking taylor expansion of t in t
4.925 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
4.925 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
4.925 * [taylor]: Taking taylor expansion of y in x
4.925 * [taylor]: Taking taylor expansion of (- z x) in x
4.925 * [taylor]: Taking taylor expansion of z in x
4.925 * [taylor]: Taking taylor expansion of x in x
4.926 * [taylor]: Taking taylor expansion of t in x
4.926 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
4.926 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
4.926 * [taylor]: Taking taylor expansion of y in z
4.926 * [taylor]: Taking taylor expansion of (- z x) in z
4.926 * [taylor]: Taking taylor expansion of z in z
4.926 * [taylor]: Taking taylor expansion of x in z
4.926 * [taylor]: Taking taylor expansion of t in z
4.926 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
4.926 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.926 * [taylor]: Taking taylor expansion of y in y
4.926 * [taylor]: Taking taylor expansion of (- z x) in y
4.926 * [taylor]: Taking taylor expansion of z in y
4.926 * [taylor]: Taking taylor expansion of x in y
4.926 * [taylor]: Taking taylor expansion of t in y
4.927 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
4.927 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.927 * [taylor]: Taking taylor expansion of y in y
4.927 * [taylor]: Taking taylor expansion of (- z x) in y
4.927 * [taylor]: Taking taylor expansion of z in y
4.927 * [taylor]: Taking taylor expansion of x in y
4.927 * [taylor]: Taking taylor expansion of t in y
4.928 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z
4.928 * [taylor]: Taking taylor expansion of (- z x) in z
4.928 * [taylor]: Taking taylor expansion of z in z
4.928 * [taylor]: Taking taylor expansion of x in z
4.928 * [taylor]: Taking taylor expansion of t in z
4.928 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x
4.928 * [taylor]: Taking taylor expansion of -1 in x
4.928 * [taylor]: Taking taylor expansion of (/ x t) in x
4.928 * [taylor]: Taking taylor expansion of x in x
4.928 * [taylor]: Taking taylor expansion of t in x
4.929 * [taylor]: Taking taylor expansion of 0 in z
4.929 * [taylor]: Taking taylor expansion of 0 in x
4.929 * [taylor]: Taking taylor expansion of 0 in t
4.930 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.930 * [taylor]: Taking taylor expansion of t in x
4.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.930 * [taylor]: Taking taylor expansion of t in t
4.930 * [taylor]: Taking taylor expansion of (/ -1 t) in t
4.931 * [taylor]: Taking taylor expansion of -1 in t
4.931 * [taylor]: Taking taylor expansion of t in t
4.932 * [taylor]: Taking taylor expansion of 0 in z
4.932 * [taylor]: Taking taylor expansion of 0 in x
4.932 * [taylor]: Taking taylor expansion of 0 in t
4.932 * [taylor]: Taking taylor expansion of 0 in x
4.932 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in x
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.936 * [taylor]: Taking taylor expansion of 0 in z
4.936 * [taylor]: Taking taylor expansion of 0 in x
4.936 * [taylor]: Taking taylor expansion of 0 in t
4.936 * [taylor]: Taking taylor expansion of 0 in x
4.936 * [taylor]: Taking taylor expansion of 0 in t
4.936 * [taylor]: Taking taylor expansion of 0 in x
4.936 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in x
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.937 * [taylor]: Taking taylor expansion of 0 in t
4.938 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y z x t) around 0
4.938 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
4.938 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
4.938 * [taylor]: Taking taylor expansion of t in t
4.938 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
4.938 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.938 * [taylor]: Taking taylor expansion of z in t
4.938 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.938 * [taylor]: Taking taylor expansion of x in t
4.938 * [taylor]: Taking taylor expansion of y in t
4.939 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
4.939 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
4.939 * [taylor]: Taking taylor expansion of t in x
4.939 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.939 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.939 * [taylor]: Taking taylor expansion of z in x
4.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.939 * [taylor]: Taking taylor expansion of x in x
4.939 * [taylor]: Taking taylor expansion of y in x
4.940 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
4.940 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
4.940 * [taylor]: Taking taylor expansion of t in z
4.940 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.940 * [taylor]: Taking taylor expansion of z in z
4.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.940 * [taylor]: Taking taylor expansion of x in z
4.940 * [taylor]: Taking taylor expansion of y in z
4.941 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
4.941 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
4.941 * [taylor]: Taking taylor expansion of t in y
4.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.941 * [taylor]: Taking taylor expansion of z in y
4.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.941 * [taylor]: Taking taylor expansion of x in y
4.941 * [taylor]: Taking taylor expansion of y in y
4.941 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
4.941 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
4.941 * [taylor]: Taking taylor expansion of t in y
4.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.941 * [taylor]: Taking taylor expansion of z in y
4.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.941 * [taylor]: Taking taylor expansion of x in y
4.941 * [taylor]: Taking taylor expansion of y in y
4.941 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
4.941 * [taylor]: Taking taylor expansion of t in z
4.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.941 * [taylor]: Taking taylor expansion of z in z
4.942 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.942 * [taylor]: Taking taylor expansion of x in z
4.942 * [taylor]: Taking taylor expansion of t in x
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.944 * [taylor]: Taking taylor expansion of (- (/ t x)) in x
4.944 * [taylor]: Taking taylor expansion of (/ t x) in x
4.944 * [taylor]: Taking taylor expansion of t in x
4.944 * [taylor]: Taking taylor expansion of x in x
4.944 * [taylor]: Taking taylor expansion of (- t) in t
4.944 * [taylor]: Taking taylor expansion of t in t
4.945 * [taylor]: Taking taylor expansion of t in t
4.946 * [taylor]: Taking taylor expansion of 0 in z
4.946 * [taylor]: Taking taylor expansion of 0 in x
4.948 * [taylor]: Taking taylor expansion of 0 in x
4.949 * [taylor]: Taking taylor expansion of 0 in t
4.949 * [taylor]: Taking taylor expansion of 0 in t
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.951 * [taylor]: Taking taylor expansion of 0 in x
4.951 * [taylor]: Taking taylor expansion of 0 in x
4.953 * [taylor]: Taking taylor expansion of 0 in x
4.953 * [taylor]: Taking taylor expansion of 0 in t
4.953 * [taylor]: Taking taylor expansion of 0 in t
4.953 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y z x t) around 0
4.953 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
4.953 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
4.953 * [taylor]: Taking taylor expansion of t in t
4.953 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
4.953 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.953 * [taylor]: Taking taylor expansion of x in t
4.953 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.953 * [taylor]: Taking taylor expansion of z in t
4.953 * [taylor]: Taking taylor expansion of y in t
4.955 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
4.955 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
4.955 * [taylor]: Taking taylor expansion of t in x
4.955 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.955 * [taylor]: Taking taylor expansion of x in x
4.955 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.955 * [taylor]: Taking taylor expansion of z in x
4.955 * [taylor]: Taking taylor expansion of y in x
4.955 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
4.955 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
4.955 * [taylor]: Taking taylor expansion of t in z
4.955 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.955 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.956 * [taylor]: Taking taylor expansion of x in z
4.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.956 * [taylor]: Taking taylor expansion of z in z
4.956 * [taylor]: Taking taylor expansion of y in z
4.956 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
4.956 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
4.956 * [taylor]: Taking taylor expansion of t in y
4.956 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.956 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.956 * [taylor]: Taking taylor expansion of x in y
4.956 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.957 * [taylor]: Taking taylor expansion of z in y
4.957 * [taylor]: Taking taylor expansion of y in y
4.957 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
4.957 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
4.957 * [taylor]: Taking taylor expansion of t in y
4.957 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.957 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.957 * [taylor]: Taking taylor expansion of x in y
4.957 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.957 * [taylor]: Taking taylor expansion of z in y
4.957 * [taylor]: Taking taylor expansion of y in y
4.957 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
4.957 * [taylor]: Taking taylor expansion of t in z
4.957 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.957 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.957 * [taylor]: Taking taylor expansion of x in z
4.957 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.957 * [taylor]: Taking taylor expansion of z in z
4.958 * [taylor]: Taking taylor expansion of (* -1 t) in x
4.958 * [taylor]: Taking taylor expansion of -1 in x
4.958 * [taylor]: Taking taylor expansion of t in x
4.959 * [taylor]: Taking taylor expansion of 0 in z
4.964 * [taylor]: Taking taylor expansion of (/ t x) in x
4.964 * [taylor]: Taking taylor expansion of t in x
4.964 * [taylor]: Taking taylor expansion of x in x
4.964 * [taylor]: Taking taylor expansion of t in t
4.964 * [taylor]: Taking taylor expansion of (* -1 t) in t
4.964 * [taylor]: Taking taylor expansion of -1 in t
4.964 * [taylor]: Taking taylor expansion of t in t
4.966 * [taylor]: Taking taylor expansion of 0 in z
4.966 * [taylor]: Taking taylor expansion of 0 in x
4.967 * [taylor]: Taking taylor expansion of 0 in x
4.968 * [taylor]: Taking taylor expansion of 0 in t
4.968 * [taylor]: Taking taylor expansion of 0 in t
4.971 * [taylor]: Taking taylor expansion of 0 in z
4.971 * [taylor]: Taking taylor expansion of 0 in x
4.971 * [taylor]: Taking taylor expansion of 0 in x
4.973 * [taylor]: Taking taylor expansion of 0 in x
4.973 * [taylor]: Taking taylor expansion of 0 in t
4.973 * [taylor]: Taking taylor expansion of 0 in t
4.973 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.973 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y z t) around 0
4.973 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
4.973 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
4.973 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.973 * [taylor]: Taking taylor expansion of (* z y) in t
4.973 * [taylor]: Taking taylor expansion of z in t
4.973 * [taylor]: Taking taylor expansion of y in t
4.973 * [taylor]: Taking taylor expansion of t in t
4.973 * [taylor]: Taking taylor expansion of x in t
4.973 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
4.973 * [taylor]: Taking taylor expansion of (* x y) in t
4.973 * [taylor]: Taking taylor expansion of x in t
4.973 * [taylor]: Taking taylor expansion of y in t
4.974 * [taylor]: Taking taylor expansion of t in t
4.974 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
4.974 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
4.974 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.974 * [taylor]: Taking taylor expansion of (* z y) in z
4.974 * [taylor]: Taking taylor expansion of z in z
4.974 * [taylor]: Taking taylor expansion of y in z
4.974 * [taylor]: Taking taylor expansion of t in z
4.974 * [taylor]: Taking taylor expansion of x in z
4.974 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
4.974 * [taylor]: Taking taylor expansion of (* x y) in z
4.974 * [taylor]: Taking taylor expansion of x in z
4.974 * [taylor]: Taking taylor expansion of y in z
4.974 * [taylor]: Taking taylor expansion of t in z
4.974 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
4.974 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
4.974 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.974 * [taylor]: Taking taylor expansion of (* z y) in y
4.974 * [taylor]: Taking taylor expansion of z in y
4.974 * [taylor]: Taking taylor expansion of y in y
4.974 * [taylor]: Taking taylor expansion of t in y
4.975 * [taylor]: Taking taylor expansion of x in y
4.975 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
4.975 * [taylor]: Taking taylor expansion of (* x y) in y
4.975 * [taylor]: Taking taylor expansion of x in y
4.975 * [taylor]: Taking taylor expansion of y in y
4.975 * [taylor]: Taking taylor expansion of t in y
4.975 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
4.975 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
4.975 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
4.975 * [taylor]: Taking taylor expansion of (* z y) in x
4.975 * [taylor]: Taking taylor expansion of z in x
4.975 * [taylor]: Taking taylor expansion of y in x
4.975 * [taylor]: Taking taylor expansion of t in x
4.975 * [taylor]: Taking taylor expansion of x in x
4.975 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
4.975 * [taylor]: Taking taylor expansion of (* x y) in x
4.975 * [taylor]: Taking taylor expansion of x in x
4.975 * [taylor]: Taking taylor expansion of y in x
4.975 * [taylor]: Taking taylor expansion of t in x
4.976 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
4.976 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
4.976 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
4.976 * [taylor]: Taking taylor expansion of (* z y) in x
4.976 * [taylor]: Taking taylor expansion of z in x
4.976 * [taylor]: Taking taylor expansion of y in x
4.976 * [taylor]: Taking taylor expansion of t in x
4.976 * [taylor]: Taking taylor expansion of x in x
4.976 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
4.976 * [taylor]: Taking taylor expansion of (* x y) in x
4.976 * [taylor]: Taking taylor expansion of x in x
4.976 * [taylor]: Taking taylor expansion of y in x
4.976 * [taylor]: Taking taylor expansion of t in x
4.976 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.976 * [taylor]: Taking taylor expansion of (* z y) in y
4.976 * [taylor]: Taking taylor expansion of z in y
4.976 * [taylor]: Taking taylor expansion of y in y
4.976 * [taylor]: Taking taylor expansion of t in y
4.977 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y
4.977 * [taylor]: Taking taylor expansion of 1 in y
4.977 * [taylor]: Taking taylor expansion of (/ y t) in y
4.977 * [taylor]: Taking taylor expansion of y in y
4.977 * [taylor]: Taking taylor expansion of t in y
4.977 * [taylor]: Taking taylor expansion of 1 in z
4.978 * [taylor]: Taking taylor expansion of 1 in t
4.978 * [taylor]: Taking taylor expansion of (/ z t) in z
4.978 * [taylor]: Taking taylor expansion of z in z
4.978 * [taylor]: Taking taylor expansion of t in z
4.979 * [taylor]: Taking taylor expansion of 0 in y
4.979 * [taylor]: Taking taylor expansion of 0 in z
4.979 * [taylor]: Taking taylor expansion of 0 in t
4.979 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
4.979 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.979 * [taylor]: Taking taylor expansion of t in z
4.979 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
4.979 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.980 * [taylor]: Taking taylor expansion of t in t
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.981 * [taylor]: Taking taylor expansion of 0 in t
4.981 * [taylor]: Taking taylor expansion of 0 in t
4.981 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.981 * [taylor]: Taking taylor expansion of t in t
4.981 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y z t) around 0
4.981 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
4.981 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
4.981 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.981 * [taylor]: Taking taylor expansion of t in t
4.981 * [taylor]: Taking taylor expansion of (* z y) in t
4.981 * [taylor]: Taking taylor expansion of z in t
4.981 * [taylor]: Taking taylor expansion of y in t
4.981 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.982 * [taylor]: Taking taylor expansion of x in t
4.982 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
4.982 * [taylor]: Taking taylor expansion of t in t
4.982 * [taylor]: Taking taylor expansion of (* x y) in t
4.982 * [taylor]: Taking taylor expansion of x in t
4.982 * [taylor]: Taking taylor expansion of y in t
4.982 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
4.982 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
4.982 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.982 * [taylor]: Taking taylor expansion of t in z
4.982 * [taylor]: Taking taylor expansion of (* z y) in z
4.982 * [taylor]: Taking taylor expansion of z in z
4.982 * [taylor]: Taking taylor expansion of y in z
4.982 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.982 * [taylor]: Taking taylor expansion of x in z
4.982 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
4.982 * [taylor]: Taking taylor expansion of t in z
4.982 * [taylor]: Taking taylor expansion of (* x y) in z
4.982 * [taylor]: Taking taylor expansion of x in z
4.982 * [taylor]: Taking taylor expansion of y in z
4.982 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
4.982 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
4.982 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.982 * [taylor]: Taking taylor expansion of t in y
4.982 * [taylor]: Taking taylor expansion of (* z y) in y
4.982 * [taylor]: Taking taylor expansion of z in y
4.982 * [taylor]: Taking taylor expansion of y in y
4.983 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.983 * [taylor]: Taking taylor expansion of x in y
4.983 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
4.983 * [taylor]: Taking taylor expansion of t in y
4.983 * [taylor]: Taking taylor expansion of (* x y) in y
4.983 * [taylor]: Taking taylor expansion of x in y
4.983 * [taylor]: Taking taylor expansion of y in y
4.983 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
4.983 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.983 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.983 * [taylor]: Taking taylor expansion of t in x
4.983 * [taylor]: Taking taylor expansion of (* z y) in x
4.983 * [taylor]: Taking taylor expansion of z in x
4.983 * [taylor]: Taking taylor expansion of y in x
4.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.983 * [taylor]: Taking taylor expansion of x in x
4.984 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
4.984 * [taylor]: Taking taylor expansion of t in x
4.984 * [taylor]: Taking taylor expansion of (* x y) in x
4.984 * [taylor]: Taking taylor expansion of x in x
4.984 * [taylor]: Taking taylor expansion of y in x
4.984 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
4.984 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.984 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.984 * [taylor]: Taking taylor expansion of t in x
4.984 * [taylor]: Taking taylor expansion of (* z y) in x
4.984 * [taylor]: Taking taylor expansion of z in x
4.984 * [taylor]: Taking taylor expansion of y in x
4.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.984 * [taylor]: Taking taylor expansion of x in x
4.984 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
4.984 * [taylor]: Taking taylor expansion of t in x
4.984 * [taylor]: Taking taylor expansion of (* x y) in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.985 * [taylor]: Taking taylor expansion of y in x
4.985 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y
4.985 * [taylor]: Taking taylor expansion of 1 in y
4.985 * [taylor]: Taking taylor expansion of (/ t y) in y
4.985 * [taylor]: Taking taylor expansion of t in y
4.985 * [taylor]: Taking taylor expansion of y in y
4.985 * [taylor]: Taking taylor expansion of (- t) in z
4.985 * [taylor]: Taking taylor expansion of t in z
4.987 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.987 * [taylor]: Taking taylor expansion of t in y
4.987 * [taylor]: Taking taylor expansion of (* z y) in y
4.987 * [taylor]: Taking taylor expansion of z in y
4.987 * [taylor]: Taking taylor expansion of y in y
4.987 * [taylor]: Taking taylor expansion of (/ t z) in z
4.987 * [taylor]: Taking taylor expansion of t in z
4.987 * [taylor]: Taking taylor expansion of z in z
4.987 * [taylor]: Taking taylor expansion of t in t
4.988 * [taylor]: Taking taylor expansion of 1 in z
4.988 * [taylor]: Taking taylor expansion of (- t) in t
4.988 * [taylor]: Taking taylor expansion of t in t
4.991 * [taylor]: Taking taylor expansion of 0 in y
4.991 * [taylor]: Taking taylor expansion of 0 in z
4.992 * [taylor]: Taking taylor expansion of 0 in z
4.993 * [taylor]: Taking taylor expansion of 0 in t
4.993 * [taylor]: Taking taylor expansion of 1 in t
4.993 * [taylor]: Taking taylor expansion of 0 in t
4.994 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0
4.994 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
4.994 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
4.994 * [taylor]: Taking taylor expansion of t in t
4.994 * [taylor]: Taking taylor expansion of (* x y) in t
4.994 * [taylor]: Taking taylor expansion of x in t
4.994 * [taylor]: Taking taylor expansion of y in t
4.994 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
4.994 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.994 * [taylor]: Taking taylor expansion of t in t
4.994 * [taylor]: Taking taylor expansion of (* z y) in t
4.994 * [taylor]: Taking taylor expansion of z in t
4.994 * [taylor]: Taking taylor expansion of y in t
4.994 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.994 * [taylor]: Taking taylor expansion of x in t
4.994 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
4.994 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
4.994 * [taylor]: Taking taylor expansion of t in z
4.994 * [taylor]: Taking taylor expansion of (* x y) in z
4.994 * [taylor]: Taking taylor expansion of x in z
4.994 * [taylor]: Taking taylor expansion of y in z
4.995 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
4.995 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.995 * [taylor]: Taking taylor expansion of t in z
4.995 * [taylor]: Taking taylor expansion of (* z y) in z
4.995 * [taylor]: Taking taylor expansion of z in z
4.995 * [taylor]: Taking taylor expansion of y in z
4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.995 * [taylor]: Taking taylor expansion of x in z
4.995 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
4.995 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
4.995 * [taylor]: Taking taylor expansion of t in y
4.995 * [taylor]: Taking taylor expansion of (* x y) in y
4.995 * [taylor]: Taking taylor expansion of x in y
4.995 * [taylor]: Taking taylor expansion of y in y
4.995 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
4.995 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.996 * [taylor]: Taking taylor expansion of t in y
4.996 * [taylor]: Taking taylor expansion of (* z y) in y
4.996 * [taylor]: Taking taylor expansion of z in y
4.996 * [taylor]: Taking taylor expansion of y in y
4.996 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.996 * [taylor]: Taking taylor expansion of x in y
4.996 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
4.996 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
4.996 * [taylor]: Taking taylor expansion of t in x
4.996 * [taylor]: Taking taylor expansion of (* x y) in x
4.996 * [taylor]: Taking taylor expansion of x in x
4.996 * [taylor]: Taking taylor expansion of y in x
4.996 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.996 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.996 * [taylor]: Taking taylor expansion of t in x
4.996 * [taylor]: Taking taylor expansion of (* z y) in x
4.996 * [taylor]: Taking taylor expansion of z in x
4.996 * [taylor]: Taking taylor expansion of y in x
4.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.997 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
4.997 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
4.997 * [taylor]: Taking taylor expansion of t in x
4.997 * [taylor]: Taking taylor expansion of (* x y) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.997 * [taylor]: Taking taylor expansion of y in x
4.997 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.997 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.997 * [taylor]: Taking taylor expansion of t in x
4.997 * [taylor]: Taking taylor expansion of (* z y) in x
4.997 * [taylor]: Taking taylor expansion of z in x
4.997 * [taylor]: Taking taylor expansion of y in x
4.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.998 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y
4.998 * [taylor]: Taking taylor expansion of (/ t y) in y
4.998 * [taylor]: Taking taylor expansion of t in y
4.998 * [taylor]: Taking taylor expansion of y in y
4.998 * [taylor]: Taking taylor expansion of 1 in y
4.998 * [taylor]: Taking taylor expansion of t in z
4.999 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
4.999 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.999 * [taylor]: Taking taylor expansion of t in y
4.999 * [taylor]: Taking taylor expansion of (* z y) in y
5.000 * [taylor]: Taking taylor expansion of z in y
5.000 * [taylor]: Taking taylor expansion of y in y
5.000 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.000 * [taylor]: Taking taylor expansion of (/ t z) in z
5.000 * [taylor]: Taking taylor expansion of t in z
5.000 * [taylor]: Taking taylor expansion of z in z
5.000 * [taylor]: Taking taylor expansion of (- t) in t
5.000 * [taylor]: Taking taylor expansion of t in t
5.001 * [taylor]: Taking taylor expansion of -1 in z
5.001 * [taylor]: Taking taylor expansion of t in t
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.004 * [taylor]: Taking taylor expansion of 0 in z
5.006 * [taylor]: Taking taylor expansion of 0 in z
5.006 * [taylor]: Taking taylor expansion of 0 in t
5.006 * [taylor]: Taking taylor expansion of -1 in t
5.006 * [taylor]: Taking taylor expansion of 0 in t
5.007 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
5.007 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0
5.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
5.007 * [taylor]: Taking taylor expansion of y in x
5.007 * [taylor]: Taking taylor expansion of (- z x) in x
5.007 * [taylor]: Taking taylor expansion of z in x
5.007 * [taylor]: Taking taylor expansion of x in x
5.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
5.007 * [taylor]: Taking taylor expansion of y in z
5.007 * [taylor]: Taking taylor expansion of (- z x) in z
5.007 * [taylor]: Taking taylor expansion of z in z
5.007 * [taylor]: Taking taylor expansion of x in z
5.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
5.007 * [taylor]: Taking taylor expansion of y in y
5.007 * [taylor]: Taking taylor expansion of (- z x) in y
5.007 * [taylor]: Taking taylor expansion of z in y
5.007 * [taylor]: Taking taylor expansion of x in y
5.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
5.007 * [taylor]: Taking taylor expansion of y in y
5.007 * [taylor]: Taking taylor expansion of (- z x) in y
5.007 * [taylor]: Taking taylor expansion of z in y
5.008 * [taylor]: Taking taylor expansion of x in y
5.008 * [taylor]: Taking taylor expansion of 0 in z
5.008 * [taylor]: Taking taylor expansion of 0 in x
5.008 * [taylor]: Taking taylor expansion of (- z x) in z
5.008 * [taylor]: Taking taylor expansion of z in z
5.008 * [taylor]: Taking taylor expansion of x in z
5.008 * [taylor]: Taking taylor expansion of (- x) in x
5.008 * [taylor]: Taking taylor expansion of x in x
5.009 * [taylor]: Taking taylor expansion of 0 in x
5.010 * [taylor]: Taking taylor expansion of 0 in z
5.010 * [taylor]: Taking taylor expansion of 0 in x
5.010 * [taylor]: Taking taylor expansion of 1 in x
5.010 * [taylor]: Taking taylor expansion of 0 in x
5.012 * [taylor]: Taking taylor expansion of 0 in z
5.012 * [taylor]: Taking taylor expansion of 0 in x
5.012 * [taylor]: Taking taylor expansion of 0 in x
5.012 * [taylor]: Taking taylor expansion of 0 in x
5.012 * [taylor]: Taking taylor expansion of 0 in x
5.012 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0
5.012 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.012 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.013 * [taylor]: Taking taylor expansion of z in x
5.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.013 * [taylor]: Taking taylor expansion of x in x
5.013 * [taylor]: Taking taylor expansion of y in x
5.013 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.013 * [taylor]: Taking taylor expansion of z in z
5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.014 * [taylor]: Taking taylor expansion of x in z
5.014 * [taylor]: Taking taylor expansion of y in z
5.014 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.014 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.014 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.014 * [taylor]: Taking taylor expansion of z in y
5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.014 * [taylor]: Taking taylor expansion of x in y
5.014 * [taylor]: Taking taylor expansion of y in y
5.014 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.014 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.014 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.014 * [taylor]: Taking taylor expansion of z in y
5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.014 * [taylor]: Taking taylor expansion of x in y
5.014 * [taylor]: Taking taylor expansion of y in y
5.015 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.015 * [taylor]: Taking taylor expansion of z in z
5.015 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.015 * [taylor]: Taking taylor expansion of x in z
5.015 * [taylor]: Taking taylor expansion of 1 in x
5.016 * [taylor]: Taking taylor expansion of 0 in z
5.017 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
5.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.017 * [taylor]: Taking taylor expansion of x in x
5.019 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [taylor]: Taking taylor expansion of 0 in x
5.020 * [taylor]: Taking taylor expansion of 0 in x
5.022 * [taylor]: Taking taylor expansion of 0 in z
5.022 * [taylor]: Taking taylor expansion of 0 in x
5.022 * [taylor]: Taking taylor expansion of 0 in x
5.023 * [taylor]: Taking taylor expansion of 0 in x
5.024 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0
5.024 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x
5.024 * [taylor]: Taking taylor expansion of -1 in x
5.024 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.024 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.024 * [taylor]: Taking taylor expansion of x in x
5.025 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.025 * [taylor]: Taking taylor expansion of z in x
5.025 * [taylor]: Taking taylor expansion of y in x
5.025 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z
5.025 * [taylor]: Taking taylor expansion of -1 in z
5.025 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.025 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.025 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.025 * [taylor]: Taking taylor expansion of x in z
5.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.025 * [taylor]: Taking taylor expansion of z in z
5.025 * [taylor]: Taking taylor expansion of y in z
5.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
5.026 * [taylor]: Taking taylor expansion of -1 in y
5.026 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.026 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.026 * [taylor]: Taking taylor expansion of x in y
5.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.026 * [taylor]: Taking taylor expansion of z in y
5.026 * [taylor]: Taking taylor expansion of y in y
5.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
5.026 * [taylor]: Taking taylor expansion of -1 in y
5.026 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.026 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.026 * [taylor]: Taking taylor expansion of x in y
5.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.026 * [taylor]: Taking taylor expansion of z in y
5.026 * [taylor]: Taking taylor expansion of y in y
5.027 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z
5.027 * [taylor]: Taking taylor expansion of -1 in z
5.027 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.027 * [taylor]: Taking taylor expansion of x in z
5.027 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.027 * [taylor]: Taking taylor expansion of z in z
5.028 * [taylor]: Taking taylor expansion of 1 in x
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
5.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.030 * [taylor]: Taking taylor expansion of x in x
5.032 * [taylor]: Taking taylor expansion of 0 in z
5.032 * [taylor]: Taking taylor expansion of 0 in x
5.034 * [taylor]: Taking taylor expansion of 0 in x
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in x
5.037 * [taylor]: Taking taylor expansion of 0 in x
5.039 * [taylor]: Taking taylor expansion of 0 in x
5.040 * * * [progress]: simplifying candidates
5.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log y) (log (- z x))) (log t))
  (- (log (* y (- z x))) (log t))
  (log (/ (* y (- z x)) t))
  (exp (/ (* y (- z x)) t))
  (/ (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (* t t) t))
  (/ (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (* (* t t) t))
  (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t)))
  (cbrt (/ (* y (- z x)) t))
  (* (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (- (* y (- z x)))
  (- t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ y (sqrt t))
  (/ (- z x) (sqrt t))
  (/ y 1)
  (/ (- z x) t)
  (/ 1 t)
  (/ t (* y (- z x)))
  (/ (* y (- z x)) (* (cbrt t) (cbrt t)))
  (/ (* y (- z x)) (sqrt t))
  (/ (* y (- z x)) 1)
  (/ t (- z x))
  (* t (+ (* z z) (+ (* x x) (* z x))))
  (* t (+ z x))
  (* (exp x) (exp (/ (* y (- z x)) t)))
  (log (+ x (/ (* y (- z x)) t)))
  (exp (+ x (/ (* y (- z x)) t)))
  (* (cbrt (+ x (/ (* y (- z x)) t))) (cbrt (+ x (/ (* y (- z x)) t))))
  (cbrt (+ x (/ (* y (- z x)) t)))
  (* (* (+ x (/ (* y (- z x)) t)) (+ x (/ (* y (- z x)) t))) (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (+ (pow x 3) (pow (/ (* y (- z x)) t) 3))
  (+ (* x x) (- (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (* x (/ (* y (- z x)) t))))
  (- (* x x) (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)))
  (- x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (* y (- z x))
  (+ (log y) (log (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (* (* (* y (- z x)) (* y (- z x))) (* y (- z x)))
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* z y)
  (* (- x) y)
  (* z y)
  (* (- x) y)
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  (* y 1)
  (* y (+ (sqrt z) (sqrt x)))
  (* y 1)
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
5.046 * * [simplify]: iteration  0 :  113  enodes  (cost  722 )
5.066 * * [simplify]: iteration  1 :  290  enodes  (cost  679 )
5.124 * * [simplify]: iteration  2 :  1015  enodes  (cost  589 )
5.528 * * [simplify]: iteration  done :  5001  enodes  (cost  589 )
5.528 * [simplify]: Simplified to:
   (log (/ (* y (- z x)) t))
  (log (/ (* y (- z x)) t))
  (log (/ (* y (- z x)) t))
  (exp (/ (* y (- z x)) t))
  (pow (/ (- z x) (/ t y)) 3)
  (pow (/ (- z x) (/ t y)) 3)
  (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t)))
  (cbrt (/ (* y (- z x)) t))
  (pow (/ (- z x) (/ t y)) 3)
  (sqrt (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (- (* y (- z x)))
  (- t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ y (sqrt t))
  (/ (- z x) (sqrt t))
  y
  (/ (- z x) t)
  (/ 1 t)
  (/ t (* y (- z x)))
  (/ (* y (- z x)) (* (cbrt t) (cbrt t)))
  (/ (* y (- z x)) (sqrt t))
  (* (- z x) y)
  (/ t (- z x))
  (* t (+ (* z z) (* x (+ z x))))
  (* t (+ z x))
  (exp (+ x (/ (* y (- z x)) t)))
  (log (+ x (/ (* y (- z x)) t)))
  (exp (+ x (/ (* y (- z x)) t)))
  (* (cbrt (+ x (/ (* y (- z x)) t))) (cbrt (+ x (/ (* y (- z x)) t))))
  (cbrt (+ x (/ (* y (- z x)) t)))
  (pow (+ x (/ (* y (- z x)) t)) 3)
  (sqrt (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (+ (pow x 3) (pow (/ (* y (- z x)) t) 3))
  (+ (* x x) (* (/ (* y (- z x)) t) (- (/ (* y (- z x)) t) x)))
  (- (* x x) (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)))
  (- x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (* (- z x) y)
  (log (* y (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (pow (* (- z x) y) 3)
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (pow (* (- z x) y) 3)
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* (- x) y)
  (* y z)
  (* (- x) y)
  (* y z)
  (* (- x) y)
  (* y z)
  (* (- x) y)
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  y
  (* y (+ (sqrt z) (sqrt x)))
  y
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* (- z x) y)
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (+ x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (* (- z x) y)
  (* (- z x) y)
  (* (- z x) y)
5.528 * * * [progress]: adding candidates to table
5.655 * * [progress]: iteration 2 / 4
5.655 * * * [progress]: picking best candidate
5.660 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))>
5.660 * * * [progress]: localizing error
5.666 * * * [progress]: generating rewritten candidates
5.666 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.678 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.710 * * * [progress]: generating series expansions
5.710 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.710 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (z x t y) around 0
5.710 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
5.710 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
5.710 * [taylor]: Taking taylor expansion of y in y
5.710 * [taylor]: Taking taylor expansion of (- z x) in y
5.710 * [taylor]: Taking taylor expansion of z in y
5.710 * [taylor]: Taking taylor expansion of x in y
5.710 * [taylor]: Taking taylor expansion of t in y
5.711 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
5.711 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
5.711 * [taylor]: Taking taylor expansion of y in t
5.711 * [taylor]: Taking taylor expansion of (- z x) in t
5.711 * [taylor]: Taking taylor expansion of z in t
5.711 * [taylor]: Taking taylor expansion of x in t
5.711 * [taylor]: Taking taylor expansion of t in t
5.712 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
5.712 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
5.712 * [taylor]: Taking taylor expansion of y in x
5.712 * [taylor]: Taking taylor expansion of (- z x) in x
5.712 * [taylor]: Taking taylor expansion of z in x
5.712 * [taylor]: Taking taylor expansion of x in x
5.712 * [taylor]: Taking taylor expansion of t in x
5.712 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
5.712 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
5.712 * [taylor]: Taking taylor expansion of y in z
5.712 * [taylor]: Taking taylor expansion of (- z x) in z
5.712 * [taylor]: Taking taylor expansion of z in z
5.712 * [taylor]: Taking taylor expansion of x in z
5.712 * [taylor]: Taking taylor expansion of t in z
5.712 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
5.712 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
5.712 * [taylor]: Taking taylor expansion of y in z
5.712 * [taylor]: Taking taylor expansion of (- z x) in z
5.712 * [taylor]: Taking taylor expansion of z in z
5.712 * [taylor]: Taking taylor expansion of x in z
5.712 * [taylor]: Taking taylor expansion of t in z
5.712 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) t)) in x
5.712 * [taylor]: Taking taylor expansion of -1 in x
5.712 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
5.712 * [taylor]: Taking taylor expansion of (* x y) in x
5.712 * [taylor]: Taking taylor expansion of x in x
5.713 * [taylor]: Taking taylor expansion of y in x
5.713 * [taylor]: Taking taylor expansion of t in x
5.713 * [taylor]: Taking taylor expansion of (/ y t) in x
5.714 * [taylor]: Taking taylor expansion of y in x
5.714 * [taylor]: Taking taylor expansion of t in x
5.714 * [taylor]: Taking taylor expansion of (/ y t) in t
5.714 * [taylor]: Taking taylor expansion of y in t
5.714 * [taylor]: Taking taylor expansion of t in t
5.714 * [taylor]: Taking taylor expansion of y in y
5.714 * [taylor]: Taking taylor expansion of (* -1 (/ y t)) in t
5.714 * [taylor]: Taking taylor expansion of -1 in t
5.714 * [taylor]: Taking taylor expansion of (/ y t) in t
5.714 * [taylor]: Taking taylor expansion of y in t
5.714 * [taylor]: Taking taylor expansion of t in t
5.714 * [taylor]: Taking taylor expansion of (* -1 y) in y
5.714 * [taylor]: Taking taylor expansion of -1 in y
5.714 * [taylor]: Taking taylor expansion of y in y
5.715 * [taylor]: Taking taylor expansion of 0 in x
5.715 * [taylor]: Taking taylor expansion of 0 in t
5.715 * [taylor]: Taking taylor expansion of 0 in t
5.716 * [taylor]: Taking taylor expansion of 0 in t
5.717 * [taylor]: Taking taylor expansion of 0 in y
5.718 * [taylor]: Taking taylor expansion of 0 in y
5.719 * [taylor]: Taking taylor expansion of 0 in x
5.719 * [taylor]: Taking taylor expansion of 0 in t
5.719 * [taylor]: Taking taylor expansion of 0 in t
5.720 * [taylor]: Taking taylor expansion of 0 in t
5.721 * [taylor]: Taking taylor expansion of 0 in t
5.721 * [taylor]: Taking taylor expansion of 0 in y
5.721 * [taylor]: Taking taylor expansion of 0 in y
5.721 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (z x t y) around 0
5.721 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
5.721 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
5.721 * [taylor]: Taking taylor expansion of t in y
5.721 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.721 * [taylor]: Taking taylor expansion of z in y
5.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.721 * [taylor]: Taking taylor expansion of x in y
5.721 * [taylor]: Taking taylor expansion of y in y
5.722 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
5.722 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
5.722 * [taylor]: Taking taylor expansion of t in t
5.722 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
5.722 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.722 * [taylor]: Taking taylor expansion of z in t
5.722 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.722 * [taylor]: Taking taylor expansion of x in t
5.722 * [taylor]: Taking taylor expansion of y in t
5.723 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
5.723 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
5.723 * [taylor]: Taking taylor expansion of t in x
5.723 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.723 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.723 * [taylor]: Taking taylor expansion of z in x
5.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.723 * [taylor]: Taking taylor expansion of x in x
5.723 * [taylor]: Taking taylor expansion of y in x
5.724 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
5.724 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
5.724 * [taylor]: Taking taylor expansion of t in z
5.724 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.724 * [taylor]: Taking taylor expansion of z in z
5.724 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.724 * [taylor]: Taking taylor expansion of x in z
5.724 * [taylor]: Taking taylor expansion of y in z
5.725 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
5.725 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
5.725 * [taylor]: Taking taylor expansion of t in z
5.725 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.725 * [taylor]: Taking taylor expansion of z in z
5.725 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.725 * [taylor]: Taking taylor expansion of x in z
5.725 * [taylor]: Taking taylor expansion of y in z
5.725 * [taylor]: Taking taylor expansion of (/ t y) in x
5.725 * [taylor]: Taking taylor expansion of t in x
5.725 * [taylor]: Taking taylor expansion of y in x
5.726 * [taylor]: Taking taylor expansion of (- (/ t (* x y))) in x
5.726 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.726 * [taylor]: Taking taylor expansion of t in x
5.726 * [taylor]: Taking taylor expansion of (* x y) in x
5.726 * [taylor]: Taking taylor expansion of x in x
5.726 * [taylor]: Taking taylor expansion of y in x
5.727 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
5.727 * [taylor]: Taking taylor expansion of (/ t y) in t
5.727 * [taylor]: Taking taylor expansion of t in t
5.727 * [taylor]: Taking taylor expansion of y in t
5.727 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.727 * [taylor]: Taking taylor expansion of y in y
5.728 * [taylor]: Taking taylor expansion of (/ t y) in t
5.728 * [taylor]: Taking taylor expansion of t in t
5.728 * [taylor]: Taking taylor expansion of y in t
5.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.728 * [taylor]: Taking taylor expansion of y in y
5.730 * [taylor]: Taking taylor expansion of 0 in x
5.731 * [taylor]: Taking taylor expansion of 0 in t
5.731 * [taylor]: Taking taylor expansion of 0 in y
5.731 * [taylor]: Taking taylor expansion of 0 in t
5.731 * [taylor]: Taking taylor expansion of 0 in y
5.731 * [taylor]: Taking taylor expansion of 0 in y
5.731 * [taylor]: Taking taylor expansion of 0 in y
5.734 * [taylor]: Taking taylor expansion of 0 in x
5.734 * [taylor]: Taking taylor expansion of 0 in t
5.734 * [taylor]: Taking taylor expansion of 0 in y
5.735 * [taylor]: Taking taylor expansion of 0 in t
5.735 * [taylor]: Taking taylor expansion of 0 in y
5.735 * [taylor]: Taking taylor expansion of 0 in t
5.735 * [taylor]: Taking taylor expansion of 0 in y
5.735 * [taylor]: Taking taylor expansion of 0 in y
5.735 * [taylor]: Taking taylor expansion of 0 in y
5.736 * [taylor]: Taking taylor expansion of 0 in y
5.736 * [taylor]: Taking taylor expansion of 0 in y
5.736 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (z x t y) around 0
5.736 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
5.736 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
5.736 * [taylor]: Taking taylor expansion of t in y
5.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.736 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.736 * [taylor]: Taking taylor expansion of x in y
5.736 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.736 * [taylor]: Taking taylor expansion of z in y
5.737 * [taylor]: Taking taylor expansion of y in y
5.737 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
5.737 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
5.737 * [taylor]: Taking taylor expansion of t in t
5.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
5.737 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.737 * [taylor]: Taking taylor expansion of x in t
5.737 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.737 * [taylor]: Taking taylor expansion of z in t
5.737 * [taylor]: Taking taylor expansion of y in t
5.738 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
5.738 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
5.738 * [taylor]: Taking taylor expansion of t in x
5.738 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.738 * [taylor]: Taking taylor expansion of x in x
5.738 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.738 * [taylor]: Taking taylor expansion of z in x
5.738 * [taylor]: Taking taylor expansion of y in x
5.739 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
5.739 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
5.739 * [taylor]: Taking taylor expansion of t in z
5.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.739 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.739 * [taylor]: Taking taylor expansion of x in z
5.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.739 * [taylor]: Taking taylor expansion of z in z
5.739 * [taylor]: Taking taylor expansion of y in z
5.740 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
5.740 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
5.740 * [taylor]: Taking taylor expansion of t in z
5.740 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.740 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.740 * [taylor]: Taking taylor expansion of x in z
5.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.740 * [taylor]: Taking taylor expansion of z in z
5.740 * [taylor]: Taking taylor expansion of y in z
5.741 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in x
5.741 * [taylor]: Taking taylor expansion of -1 in x
5.741 * [taylor]: Taking taylor expansion of (/ t y) in x
5.741 * [taylor]: Taking taylor expansion of t in x
5.741 * [taylor]: Taking taylor expansion of y in x
5.742 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.742 * [taylor]: Taking taylor expansion of t in x
5.742 * [taylor]: Taking taylor expansion of (* x y) in x
5.742 * [taylor]: Taking taylor expansion of x in x
5.742 * [taylor]: Taking taylor expansion of y in x
5.742 * [taylor]: Taking taylor expansion of (/ t y) in t
5.742 * [taylor]: Taking taylor expansion of t in t
5.742 * [taylor]: Taking taylor expansion of y in t
5.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.742 * [taylor]: Taking taylor expansion of y in y
5.743 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in t
5.743 * [taylor]: Taking taylor expansion of -1 in t
5.743 * [taylor]: Taking taylor expansion of (/ t y) in t
5.743 * [taylor]: Taking taylor expansion of t in t
5.743 * [taylor]: Taking taylor expansion of y in t
5.743 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.743 * [taylor]: Taking taylor expansion of -1 in y
5.743 * [taylor]: Taking taylor expansion of y in y
5.745 * [taylor]: Taking taylor expansion of 0 in x
5.745 * [taylor]: Taking taylor expansion of 0 in t
5.745 * [taylor]: Taking taylor expansion of 0 in y
5.746 * [taylor]: Taking taylor expansion of 0 in t
5.746 * [taylor]: Taking taylor expansion of 0 in y
5.746 * [taylor]: Taking taylor expansion of 0 in y
5.746 * [taylor]: Taking taylor expansion of 0 in y
5.751 * [taylor]: Taking taylor expansion of 0 in x
5.751 * [taylor]: Taking taylor expansion of 0 in t
5.751 * [taylor]: Taking taylor expansion of 0 in y
5.752 * [taylor]: Taking taylor expansion of 0 in t
5.752 * [taylor]: Taking taylor expansion of 0 in y
5.753 * [taylor]: Taking taylor expansion of 0 in t
5.753 * [taylor]: Taking taylor expansion of 0 in y
5.753 * [taylor]: Taking taylor expansion of 0 in y
5.753 * [taylor]: Taking taylor expansion of 0 in y
5.753 * [taylor]: Taking taylor expansion of 0 in y
5.754 * [taylor]: Taking taylor expansion of 0 in y
5.754 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.754 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x z t y) around 0
5.754 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
5.754 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
5.754 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
5.754 * [taylor]: Taking taylor expansion of (* z y) in y
5.754 * [taylor]: Taking taylor expansion of z in y
5.754 * [taylor]: Taking taylor expansion of y in y
5.755 * [taylor]: Taking taylor expansion of t in y
5.755 * [taylor]: Taking taylor expansion of x in y
5.755 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
5.755 * [taylor]: Taking taylor expansion of (* x y) in y
5.755 * [taylor]: Taking taylor expansion of x in y
5.755 * [taylor]: Taking taylor expansion of y in y
5.755 * [taylor]: Taking taylor expansion of t in y
5.755 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
5.755 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
5.755 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
5.755 * [taylor]: Taking taylor expansion of (* z y) in t
5.755 * [taylor]: Taking taylor expansion of z in t
5.755 * [taylor]: Taking taylor expansion of y in t
5.755 * [taylor]: Taking taylor expansion of t in t
5.755 * [taylor]: Taking taylor expansion of x in t
5.755 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
5.755 * [taylor]: Taking taylor expansion of (* x y) in t
5.755 * [taylor]: Taking taylor expansion of x in t
5.755 * [taylor]: Taking taylor expansion of y in t
5.756 * [taylor]: Taking taylor expansion of t in t
5.756 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
5.756 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
5.756 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
5.756 * [taylor]: Taking taylor expansion of (* z y) in z
5.756 * [taylor]: Taking taylor expansion of z in z
5.756 * [taylor]: Taking taylor expansion of y in z
5.756 * [taylor]: Taking taylor expansion of t in z
5.756 * [taylor]: Taking taylor expansion of x in z
5.756 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
5.756 * [taylor]: Taking taylor expansion of (* x y) in z
5.756 * [taylor]: Taking taylor expansion of x in z
5.756 * [taylor]: Taking taylor expansion of y in z
5.756 * [taylor]: Taking taylor expansion of t in z
5.756 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
5.756 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
5.756 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
5.756 * [taylor]: Taking taylor expansion of (* z y) in x
5.756 * [taylor]: Taking taylor expansion of z in x
5.756 * [taylor]: Taking taylor expansion of y in x
5.756 * [taylor]: Taking taylor expansion of t in x
5.756 * [taylor]: Taking taylor expansion of x in x
5.756 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
5.756 * [taylor]: Taking taylor expansion of (* x y) in x
5.756 * [taylor]: Taking taylor expansion of x in x
5.756 * [taylor]: Taking taylor expansion of y in x
5.756 * [taylor]: Taking taylor expansion of t in x
5.757 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
5.757 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
5.757 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
5.757 * [taylor]: Taking taylor expansion of (* z y) in x
5.757 * [taylor]: Taking taylor expansion of z in x
5.757 * [taylor]: Taking taylor expansion of y in x
5.757 * [taylor]: Taking taylor expansion of t in x
5.757 * [taylor]: Taking taylor expansion of x in x
5.757 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
5.757 * [taylor]: Taking taylor expansion of (* x y) in x
5.757 * [taylor]: Taking taylor expansion of x in x
5.757 * [taylor]: Taking taylor expansion of y in x
5.757 * [taylor]: Taking taylor expansion of t in x
5.757 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
5.757 * [taylor]: Taking taylor expansion of (* z y) in z
5.757 * [taylor]: Taking taylor expansion of z in z
5.757 * [taylor]: Taking taylor expansion of y in z
5.758 * [taylor]: Taking taylor expansion of t in z
5.758 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in z
5.758 * [taylor]: Taking taylor expansion of 1 in z
5.758 * [taylor]: Taking taylor expansion of (/ y t) in z
5.758 * [taylor]: Taking taylor expansion of y in z
5.758 * [taylor]: Taking taylor expansion of t in z
5.758 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in t
5.758 * [taylor]: Taking taylor expansion of 1 in t
5.759 * [taylor]: Taking taylor expansion of (/ y t) in t
5.759 * [taylor]: Taking taylor expansion of y in t
5.759 * [taylor]: Taking taylor expansion of t in t
5.759 * [taylor]: Taking taylor expansion of (- y) in y
5.759 * [taylor]: Taking taylor expansion of y in y
5.759 * [taylor]: Taking taylor expansion of (/ y t) in t
5.759 * [taylor]: Taking taylor expansion of y in t
5.759 * [taylor]: Taking taylor expansion of t in t
5.759 * [taylor]: Taking taylor expansion of y in y
5.761 * [taylor]: Taking taylor expansion of 0 in z
5.761 * [taylor]: Taking taylor expansion of 0 in t
5.761 * [taylor]: Taking taylor expansion of 0 in t
5.762 * [taylor]: Taking taylor expansion of 0 in t
5.763 * [taylor]: Taking taylor expansion of 1 in y
5.764 * [taylor]: Taking taylor expansion of 0 in y
5.764 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x z t y) around 0
5.764 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
5.764 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
5.764 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
5.764 * [taylor]: Taking taylor expansion of t in y
5.764 * [taylor]: Taking taylor expansion of (* z y) in y
5.764 * [taylor]: Taking taylor expansion of z in y
5.765 * [taylor]: Taking taylor expansion of y in y
5.765 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.765 * [taylor]: Taking taylor expansion of x in y
5.765 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
5.765 * [taylor]: Taking taylor expansion of t in y
5.765 * [taylor]: Taking taylor expansion of (* x y) in y
5.765 * [taylor]: Taking taylor expansion of x in y
5.765 * [taylor]: Taking taylor expansion of y in y
5.765 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
5.765 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
5.765 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
5.765 * [taylor]: Taking taylor expansion of t in t
5.765 * [taylor]: Taking taylor expansion of (* z y) in t
5.765 * [taylor]: Taking taylor expansion of z in t
5.765 * [taylor]: Taking taylor expansion of y in t
5.765 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.765 * [taylor]: Taking taylor expansion of x in t
5.765 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
5.766 * [taylor]: Taking taylor expansion of t in t
5.766 * [taylor]: Taking taylor expansion of (* x y) in t
5.766 * [taylor]: Taking taylor expansion of x in t
5.766 * [taylor]: Taking taylor expansion of y in t
5.766 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
5.766 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
5.766 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
5.766 * [taylor]: Taking taylor expansion of t in z
5.766 * [taylor]: Taking taylor expansion of (* z y) in z
5.766 * [taylor]: Taking taylor expansion of z in z
5.766 * [taylor]: Taking taylor expansion of y in z
5.766 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.766 * [taylor]: Taking taylor expansion of x in z
5.766 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
5.766 * [taylor]: Taking taylor expansion of t in z
5.766 * [taylor]: Taking taylor expansion of (* x y) in z
5.766 * [taylor]: Taking taylor expansion of x in z
5.766 * [taylor]: Taking taylor expansion of y in z
5.766 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
5.766 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.766 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.766 * [taylor]: Taking taylor expansion of t in x
5.766 * [taylor]: Taking taylor expansion of (* z y) in x
5.766 * [taylor]: Taking taylor expansion of z in x
5.766 * [taylor]: Taking taylor expansion of y in x
5.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.766 * [taylor]: Taking taylor expansion of x in x
5.767 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.767 * [taylor]: Taking taylor expansion of t in x
5.767 * [taylor]: Taking taylor expansion of (* x y) in x
5.767 * [taylor]: Taking taylor expansion of x in x
5.767 * [taylor]: Taking taylor expansion of y in x
5.767 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
5.767 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.767 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.767 * [taylor]: Taking taylor expansion of t in x
5.767 * [taylor]: Taking taylor expansion of (* z y) in x
5.767 * [taylor]: Taking taylor expansion of z in x
5.767 * [taylor]: Taking taylor expansion of y in x
5.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.767 * [taylor]: Taking taylor expansion of x in x
5.767 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.768 * [taylor]: Taking taylor expansion of t in x
5.768 * [taylor]: Taking taylor expansion of (* x y) in x
5.768 * [taylor]: Taking taylor expansion of x in x
5.768 * [taylor]: Taking taylor expansion of y in x
5.768 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in z
5.768 * [taylor]: Taking taylor expansion of 1 in z
5.768 * [taylor]: Taking taylor expansion of (/ t y) in z
5.768 * [taylor]: Taking taylor expansion of t in z
5.768 * [taylor]: Taking taylor expansion of y in z
5.770 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
5.770 * [taylor]: Taking taylor expansion of t in z
5.770 * [taylor]: Taking taylor expansion of (* z y) in z
5.770 * [taylor]: Taking taylor expansion of z in z
5.770 * [taylor]: Taking taylor expansion of y in z
5.770 * [taylor]: Taking taylor expansion of (/ t y) in t
5.770 * [taylor]: Taking taylor expansion of t in t
5.770 * [taylor]: Taking taylor expansion of y in t
5.770 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in t
5.770 * [taylor]: Taking taylor expansion of 1 in t
5.770 * [taylor]: Taking taylor expansion of (/ t y) in t
5.770 * [taylor]: Taking taylor expansion of t in t
5.770 * [taylor]: Taking taylor expansion of y in t
5.771 * [taylor]: Taking taylor expansion of 1 in y
5.773 * [taylor]: Taking taylor expansion of 0 in z
5.773 * [taylor]: Taking taylor expansion of 0 in t
5.773 * [taylor]: Taking taylor expansion of 0 in y
5.774 * [taylor]: Taking taylor expansion of 0 in t
5.774 * [taylor]: Taking taylor expansion of 0 in y
5.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.774 * [taylor]: Taking taylor expansion of y in y
5.774 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.774 * [taylor]: Taking taylor expansion of y in y
5.775 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x z t y) around 0
5.775 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
5.776 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
5.776 * [taylor]: Taking taylor expansion of t in y
5.776 * [taylor]: Taking taylor expansion of (* x y) in y
5.776 * [taylor]: Taking taylor expansion of x in y
5.776 * [taylor]: Taking taylor expansion of y in y
5.776 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
5.776 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
5.776 * [taylor]: Taking taylor expansion of t in y
5.776 * [taylor]: Taking taylor expansion of (* z y) in y
5.776 * [taylor]: Taking taylor expansion of z in y
5.776 * [taylor]: Taking taylor expansion of y in y
5.776 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.776 * [taylor]: Taking taylor expansion of x in y
5.776 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
5.776 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
5.776 * [taylor]: Taking taylor expansion of t in t
5.776 * [taylor]: Taking taylor expansion of (* x y) in t
5.776 * [taylor]: Taking taylor expansion of x in t
5.776 * [taylor]: Taking taylor expansion of y in t
5.776 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
5.777 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
5.777 * [taylor]: Taking taylor expansion of t in t
5.777 * [taylor]: Taking taylor expansion of (* z y) in t
5.777 * [taylor]: Taking taylor expansion of z in t
5.777 * [taylor]: Taking taylor expansion of y in t
5.777 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.777 * [taylor]: Taking taylor expansion of x in t
5.777 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
5.777 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
5.777 * [taylor]: Taking taylor expansion of t in z
5.777 * [taylor]: Taking taylor expansion of (* x y) in z
5.777 * [taylor]: Taking taylor expansion of x in z
5.777 * [taylor]: Taking taylor expansion of y in z
5.777 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
5.777 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
5.777 * [taylor]: Taking taylor expansion of t in z
5.777 * [taylor]: Taking taylor expansion of (* z y) in z
5.777 * [taylor]: Taking taylor expansion of z in z
5.777 * [taylor]: Taking taylor expansion of y in z
5.777 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.777 * [taylor]: Taking taylor expansion of x in z
5.777 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
5.777 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.777 * [taylor]: Taking taylor expansion of t in x
5.777 * [taylor]: Taking taylor expansion of (* x y) in x
5.777 * [taylor]: Taking taylor expansion of x in x
5.777 * [taylor]: Taking taylor expansion of y in x
5.778 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.778 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.778 * [taylor]: Taking taylor expansion of t in x
5.778 * [taylor]: Taking taylor expansion of (* z y) in x
5.778 * [taylor]: Taking taylor expansion of z in x
5.778 * [taylor]: Taking taylor expansion of y in x
5.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.778 * [taylor]: Taking taylor expansion of x in x
5.778 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
5.778 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
5.778 * [taylor]: Taking taylor expansion of t in x
5.778 * [taylor]: Taking taylor expansion of (* x y) in x
5.778 * [taylor]: Taking taylor expansion of x in x
5.778 * [taylor]: Taking taylor expansion of y in x
5.779 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.779 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.779 * [taylor]: Taking taylor expansion of t in x
5.779 * [taylor]: Taking taylor expansion of (* z y) in x
5.779 * [taylor]: Taking taylor expansion of z in x
5.779 * [taylor]: Taking taylor expansion of y in x
5.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.779 * [taylor]: Taking taylor expansion of x in x
5.780 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in z
5.780 * [taylor]: Taking taylor expansion of (/ t y) in z
5.780 * [taylor]: Taking taylor expansion of t in z
5.780 * [taylor]: Taking taylor expansion of y in z
5.780 * [taylor]: Taking taylor expansion of 1 in z
5.781 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in z
5.781 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
5.781 * [taylor]: Taking taylor expansion of t in z
5.781 * [taylor]: Taking taylor expansion of (* z y) in z
5.781 * [taylor]: Taking taylor expansion of z in z
5.781 * [taylor]: Taking taylor expansion of y in z
5.781 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
5.781 * [taylor]: Taking taylor expansion of (/ t y) in t
5.781 * [taylor]: Taking taylor expansion of t in t
5.781 * [taylor]: Taking taylor expansion of y in t
5.782 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in t
5.782 * [taylor]: Taking taylor expansion of (/ t y) in t
5.782 * [taylor]: Taking taylor expansion of t in t
5.782 * [taylor]: Taking taylor expansion of y in t
5.782 * [taylor]: Taking taylor expansion of 1 in t
5.782 * [taylor]: Taking taylor expansion of -1 in y
5.784 * [taylor]: Taking taylor expansion of 0 in z
5.785 * [taylor]: Taking taylor expansion of 0 in t
5.785 * [taylor]: Taking taylor expansion of 0 in y
5.786 * [taylor]: Taking taylor expansion of 0 in t
5.786 * [taylor]: Taking taylor expansion of 0 in y
5.786 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.786 * [taylor]: Taking taylor expansion of y in y
5.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.787 * [taylor]: Taking taylor expansion of y in y
5.787 * * * [progress]: simplifying candidates
5.789 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- z x)) (- (log t) (log y)))
  (- (log (- z x)) (log (/ t y)))
  (log (/ (- z x) (/ t y)))
  (exp (/ (- z x) (/ t y)))
  (/ (* (* (- z x) (- z x)) (- z x)) (/ (* (* t t) t) (* (* y y) y)))
  (/ (* (* (- z x) (- z x)) (- z x)) (* (* (/ t y) (/ t y)) (/ t y)))
  (* (cbrt (/ (- z x) (/ t y))) (cbrt (/ (- z x) (/ t y))))
  (cbrt (/ (- z x) (/ t y)))
  (* (* (/ (- z x) (/ t y)) (/ (- z x) (/ t y))) (/ (- z x) (/ t y)))
  (sqrt (/ (- z x) (/ t y)))
  (sqrt (/ (- z x) (/ t y)))
  (- (- z x))
  (- (/ t y))
  (/ z (/ t y))
  (/ x (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (cbrt (- z x)) (cbrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ (cbrt (- z x)) (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (cbrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (cbrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt (- z x)) (/ (cbrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (cbrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ (cbrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) 1))
  (/ (cbrt (- z x)) (/ (sqrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt (- z x)) (/ t (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ 1 (sqrt y)))
  (/ (cbrt (- z x)) (/ t (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ 1 1))
  (/ (cbrt (- z x)) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)
  (/ (cbrt (- z x)) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (/ (cbrt (- z x)) (/ 1 y))
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (cbrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt (- z x)) (/ (cbrt t) y))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) 1))
  (/ (sqrt (- z x)) (/ (sqrt t) y))
  (/ (sqrt (- z x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ t (cbrt y)))
  (/ (sqrt (- z x)) (/ 1 (sqrt y)))
  (/ (sqrt (- z x)) (/ t (sqrt y)))
  (/ (sqrt (- z x)) (/ 1 1))
  (/ (sqrt (- z x)) (/ t y))
  (/ (sqrt (- z x)) 1)
  (/ (sqrt (- z x)) (/ t y))
  (/ (sqrt (- z x)) t)
  (/ (sqrt (- z x)) (/ 1 y))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- z x) (/ (cbrt t) y))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- z x) (/ (sqrt t) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ t (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ (- z x) (/ t (sqrt y)))
  (/ 1 (/ 1 1))
  (/ (- z x) (/ t y))
  (/ 1 1)
  (/ (- z x) (/ t y))
  (/ 1 t)
  (/ (- z x) (/ 1 y))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- (sqrt z) (sqrt x)) (cbrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ (- (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) 1))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (- (sqrt z) (sqrt x)) (/ t (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ 1 (sqrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ t (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ 1 1))
  (/ (- (sqrt z) (sqrt x)) (/ t y))
  (/ (+ (sqrt z) (sqrt x)) 1)
  (/ (- (sqrt z) (sqrt x)) (/ t y))
  (/ (+ (sqrt z) (sqrt x)) t)
  (/ (- (sqrt z) (sqrt x)) (/ 1 y))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- z x) (/ (cbrt t) y))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- z x) (/ (sqrt t) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ t (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ (- z x) (/ t (sqrt y)))
  (/ 1 (/ 1 1))
  (/ (- z x) (/ t y))
  (/ 1 1)
  (/ (- z x) (/ t y))
  (/ 1 t)
  (/ (- z x) (/ 1 y))
  (/ 1 (/ t y))
  (/ (/ t y) (- z x))
  (/ (- z x) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (sqrt (/ t y)))
  (/ (- z x) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- z x) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) 1))
  (/ (- z x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ 1 (sqrt y)))
  (/ (- z x) (/ 1 1))
  (/ (- z x) 1)
  (/ (- z x) t)
  (/ (/ t y) (cbrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  (/ (/ t y) (- z x))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  (/ (/ t y) (- z x))
  (/ (- z x) t)
  (* (/ t y) (+ (* z z) (+ (* x x) (* z x))))
  (* (/ t y) (+ z x))
  (* (exp x) (exp (/ (- z x) (/ t y))))
  (log (+ x (/ (- z x) (/ t y))))
  (exp (+ x (/ (- z x) (/ t y))))
  (* (cbrt (+ x (/ (- z x) (/ t y)))) (cbrt (+ x (/ (- z x) (/ t y)))))
  (cbrt (+ x (/ (- z x) (/ t y))))
  (* (* (+ x (/ (- z x) (/ t y))) (+ x (/ (- z x) (/ t y)))) (+ x (/ (- z x) (/ t y))))
  (sqrt (+ x (/ (- z x) (/ t y))))
  (sqrt (+ x (/ (- z x) (/ t y))))
  (+ (pow x 3) (pow (/ (- z x) (/ t y)) 3))
  (+ (* x x) (- (* (/ (- z x) (/ t y)) (/ (- z x) (/ t y))) (* x (/ (- z x) (/ t y)))))
  (- (* x x) (* (/ (- z x) (/ t y)) (/ (- z x) (/ t y))))
  (- x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ z (/ t y)))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
5.795 * * [simplify]: iteration  0 :  217  enodes  (cost  1896 )
5.840 * * [simplify]: iteration  1 :  604  enodes  (cost  1758 )
5.981 * * [simplify]: iteration  2 :  1884  enodes  (cost  1680 )
6.451 * * [simplify]: iteration  done :  5000  enodes  (cost  1680 )
6.452 * [simplify]: Simplified to:
   (log (/ (- z x) (/ t y)))
  (log (/ (- z x) (/ t y)))
  (log (/ (- z x) (/ t y)))
  (exp (/ (- z x) (/ t y)))
  (pow (* (/ (- z x) t) y) 3)
  (pow (* (/ (- z x) t) y) 3)
  (* (cbrt (/ (- z x) (/ t y))) (cbrt (/ (- z x) (/ t y))))
  (cbrt (/ (- z x) (/ t y)))
  (pow (* (/ (- z x) t) y) 3)
  (sqrt (/ (- z x) (/ t y)))
  (sqrt (/ (- z x) (/ t y)))
  (- (- z x))
  (- (/ t y))
  (/ (* z y) t)
  (/ (* x y) t)
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (cbrt (- z x)) (cbrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ (cbrt (- z x)) (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (cbrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (cbrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ (cbrt (- z x)) (/ (* (cbrt t) (cbrt t)) (cbrt (- z x))))
  (/ (cbrt (- z x)) (/ (cbrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (cbrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ (cbrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ (cbrt (- z x)) (/ (sqrt t) y))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- z x)) (/ t (cbrt y)))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (/ (cbrt (- z x)) (/ t (sqrt y)))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ (cbrt (- z x)) (/ t y))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ (cbrt (- z x)) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (* (cbrt (- z x)) y)
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (cbrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (/ (cbrt t) y))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (/ (sqrt t) y))
  (* (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (/ t (cbrt y)))
  (* (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (/ t (sqrt y)))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  (/ (sqrt (- z x)) t)
  (* (sqrt (- z x)) y)
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (sqrt y) (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt t))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (sqrt y) (sqrt t))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  1
  (* (/ (- z x) t) y)
  1
  (* (/ (- z x) t) y)
  (/ 1 t)
  (* (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- (sqrt z) (sqrt x)) (cbrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ (- (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt z) (sqrt x)) (/ (cbrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ (- (sqrt z) (sqrt x)) (/ (sqrt t) y))
  (* (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt z) (sqrt x)) (/ t (cbrt y)))
  (* (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ (- (sqrt z) (sqrt x)) (/ t (sqrt y)))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt z) (sqrt x)) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt z) (sqrt x)) (/ t y))
  (/ (+ (sqrt z) (sqrt x)) t)
  (* (- (sqrt z) (sqrt x)) y)
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (sqrt y) (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt t))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (sqrt y) (sqrt t))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  1
  (* (/ (- z x) t) y)
  1
  (* (/ (- z x) t) y)
  (/ 1 t)
  (* (- z x) y)
  (/ 1 (/ t y))
  (/ (/ t y) (- z x))
  (/ (- z x) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (sqrt (/ t y)))
  (/ (- z x) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (- z x) (sqrt t))
  (* (- z x) (* (cbrt y) (cbrt y)))
  (* (- z x) (sqrt y))
  (- z x)
  (- z x)
  (/ (- z x) t)
  (/ (/ t y) (cbrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  (/ (/ t y) (- z x))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  (/ (/ t y) (- z x))
  (/ (- z x) t)
  (/ (* t (+ (* z z) (* x (+ z x)))) y)
  (* (/ t y) (+ z x))
  (exp (+ x (/ (- z x) (/ t y))))
  (log (+ x (/ (- z x) (/ t y))))
  (exp (+ x (/ (- z x) (/ t y))))
  (* (cbrt (+ x (/ (- z x) (/ t y)))) (cbrt (+ x (/ (- z x) (/ t y)))))
  (cbrt (+ x (/ (- z x) (/ t y))))
  (pow (+ x (/ (- z x) (/ t y))) 3)
  (sqrt (+ x (/ (- z x) (/ t y))))
  (sqrt (+ x (/ (- z x) (/ t y))))
  (+ (pow x 3) (pow (/ (- z x) (/ t y)) 3))
  (+ (* x x) (* (* (/ (- z x) t) y) (- (* (/ (- z x) t) y) x)))
  (- (* x x) (* (/ (- z x) (/ t y)) (/ (- z x) (/ t y))))
  (- x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
  (+ (/ (* z y) t) x)
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
6.453 * * * [progress]: adding candidates to table
6.691 * * [progress]: iteration 3 / 4
6.691 * * * [progress]: picking best candidate
6.693 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))>
6.693 * * * [progress]: localizing error
6.700 * * * [progress]: generating rewritten candidates
6.700 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
6.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
6.714 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.750 * * * [progress]: generating series expansions
6.750 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
6.750 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y t z x) around 0
6.750 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
6.750 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
6.750 * [taylor]: Taking taylor expansion of y in x
6.750 * [taylor]: Taking taylor expansion of (- z x) in x
6.750 * [taylor]: Taking taylor expansion of z in x
6.750 * [taylor]: Taking taylor expansion of x in x
6.750 * [taylor]: Taking taylor expansion of t in x
6.751 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
6.751 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
6.751 * [taylor]: Taking taylor expansion of y in z
6.751 * [taylor]: Taking taylor expansion of (- z x) in z
6.751 * [taylor]: Taking taylor expansion of z in z
6.751 * [taylor]: Taking taylor expansion of x in z
6.751 * [taylor]: Taking taylor expansion of t in z
6.751 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
6.751 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
6.751 * [taylor]: Taking taylor expansion of y in t
6.751 * [taylor]: Taking taylor expansion of (- z x) in t
6.751 * [taylor]: Taking taylor expansion of z in t
6.751 * [taylor]: Taking taylor expansion of x in t
6.751 * [taylor]: Taking taylor expansion of t in t
6.751 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
6.751 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
6.751 * [taylor]: Taking taylor expansion of y in y
6.752 * [taylor]: Taking taylor expansion of (- z x) in y
6.752 * [taylor]: Taking taylor expansion of z in y
6.752 * [taylor]: Taking taylor expansion of x in y
6.752 * [taylor]: Taking taylor expansion of t in y
6.752 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
6.752 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
6.752 * [taylor]: Taking taylor expansion of y in y
6.753 * [taylor]: Taking taylor expansion of (- z x) in y
6.753 * [taylor]: Taking taylor expansion of z in y
6.753 * [taylor]: Taking taylor expansion of x in y
6.753 * [taylor]: Taking taylor expansion of t in y
6.753 * [taylor]: Taking taylor expansion of (/ (- z x) t) in t
6.753 * [taylor]: Taking taylor expansion of (- z x) in t
6.754 * [taylor]: Taking taylor expansion of z in t
6.754 * [taylor]: Taking taylor expansion of x in t
6.754 * [taylor]: Taking taylor expansion of t in t
6.754 * [taylor]: Taking taylor expansion of (- z x) in z
6.754 * [taylor]: Taking taylor expansion of z in z
6.754 * [taylor]: Taking taylor expansion of x in z
6.754 * [taylor]: Taking taylor expansion of (- x) in x
6.754 * [taylor]: Taking taylor expansion of x in x
6.755 * [taylor]: Taking taylor expansion of 0 in t
6.756 * [taylor]: Taking taylor expansion of 0 in z
6.756 * [taylor]: Taking taylor expansion of 0 in x
6.757 * [taylor]: Taking taylor expansion of 1 in x
6.758 * [taylor]: Taking taylor expansion of 0 in t
6.758 * [taylor]: Taking taylor expansion of 0 in z
6.758 * [taylor]: Taking taylor expansion of 0 in x
6.760 * [taylor]: Taking taylor expansion of 0 in z
6.760 * [taylor]: Taking taylor expansion of 0 in x
6.760 * [taylor]: Taking taylor expansion of 0 in x
6.760 * [taylor]: Taking taylor expansion of 0 in x
6.761 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y t z x) around 0
6.761 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
6.761 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
6.761 * [taylor]: Taking taylor expansion of t in x
6.761 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.761 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.761 * [taylor]: Taking taylor expansion of z in x
6.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.761 * [taylor]: Taking taylor expansion of x in x
6.761 * [taylor]: Taking taylor expansion of y in x
6.761 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
6.762 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
6.762 * [taylor]: Taking taylor expansion of t in z
6.762 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.762 * [taylor]: Taking taylor expansion of z in z
6.762 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.762 * [taylor]: Taking taylor expansion of x in z
6.762 * [taylor]: Taking taylor expansion of y in z
6.762 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
6.762 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
6.762 * [taylor]: Taking taylor expansion of t in t
6.762 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
6.762 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.762 * [taylor]: Taking taylor expansion of z in t
6.762 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.762 * [taylor]: Taking taylor expansion of x in t
6.762 * [taylor]: Taking taylor expansion of y in t
6.763 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
6.763 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
6.763 * [taylor]: Taking taylor expansion of t in y
6.763 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.764 * [taylor]: Taking taylor expansion of z in y
6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.764 * [taylor]: Taking taylor expansion of x in y
6.764 * [taylor]: Taking taylor expansion of y in y
6.764 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
6.764 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
6.764 * [taylor]: Taking taylor expansion of t in y
6.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.764 * [taylor]: Taking taylor expansion of z in y
6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.764 * [taylor]: Taking taylor expansion of x in y
6.764 * [taylor]: Taking taylor expansion of y in y
6.764 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
6.764 * [taylor]: Taking taylor expansion of t in t
6.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
6.764 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.764 * [taylor]: Taking taylor expansion of z in t
6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.764 * [taylor]: Taking taylor expansion of x in t
6.765 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.765 * [taylor]: Taking taylor expansion of z in z
6.766 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.766 * [taylor]: Taking taylor expansion of x in z
6.766 * [taylor]: Taking taylor expansion of 1 in x
6.767 * [taylor]: Taking taylor expansion of 0 in t
6.767 * [taylor]: Taking taylor expansion of 0 in z
6.768 * [taylor]: Taking taylor expansion of 0 in z
6.769 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.769 * [taylor]: Taking taylor expansion of x in x
6.771 * [taylor]: Taking taylor expansion of 0 in t
6.771 * [taylor]: Taking taylor expansion of 0 in z
6.771 * [taylor]: Taking taylor expansion of 0 in z
6.773 * [taylor]: Taking taylor expansion of 0 in z
6.773 * [taylor]: Taking taylor expansion of 0 in x
6.773 * [taylor]: Taking taylor expansion of 0 in x
6.774 * [taylor]: Taking taylor expansion of 0 in x
6.777 * [taylor]: Taking taylor expansion of 0 in t
6.777 * [taylor]: Taking taylor expansion of 0 in z
6.777 * [taylor]: Taking taylor expansion of 0 in z
6.777 * [taylor]: Taking taylor expansion of 0 in z
6.779 * [taylor]: Taking taylor expansion of 0 in z
6.779 * [taylor]: Taking taylor expansion of 0 in x
6.779 * [taylor]: Taking taylor expansion of 0 in x
6.779 * [taylor]: Taking taylor expansion of 0 in x
6.779 * [taylor]: Taking taylor expansion of 0 in x
6.779 * [taylor]: Taking taylor expansion of 0 in x
6.780 * [taylor]: Taking taylor expansion of 0 in x
6.781 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y t z x) around 0
6.781 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
6.781 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
6.781 * [taylor]: Taking taylor expansion of t in x
6.781 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.781 * [taylor]: Taking taylor expansion of x in x
6.782 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.782 * [taylor]: Taking taylor expansion of z in x
6.782 * [taylor]: Taking taylor expansion of y in x
6.782 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
6.782 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
6.782 * [taylor]: Taking taylor expansion of t in z
6.782 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.782 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.782 * [taylor]: Taking taylor expansion of x in z
6.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.782 * [taylor]: Taking taylor expansion of z in z
6.782 * [taylor]: Taking taylor expansion of y in z
6.783 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
6.783 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
6.783 * [taylor]: Taking taylor expansion of t in t
6.783 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
6.783 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.783 * [taylor]: Taking taylor expansion of x in t
6.783 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.783 * [taylor]: Taking taylor expansion of z in t
6.783 * [taylor]: Taking taylor expansion of y in t
6.784 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
6.784 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
6.784 * [taylor]: Taking taylor expansion of t in y
6.784 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.784 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.784 * [taylor]: Taking taylor expansion of x in y
6.784 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.784 * [taylor]: Taking taylor expansion of z in y
6.784 * [taylor]: Taking taylor expansion of y in y
6.785 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
6.785 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
6.785 * [taylor]: Taking taylor expansion of t in y
6.785 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.785 * [taylor]: Taking taylor expansion of x in y
6.785 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.785 * [taylor]: Taking taylor expansion of z in y
6.785 * [taylor]: Taking taylor expansion of y in y
6.785 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
6.785 * [taylor]: Taking taylor expansion of t in t
6.785 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
6.785 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.785 * [taylor]: Taking taylor expansion of x in t
6.785 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.785 * [taylor]: Taking taylor expansion of z in t
6.786 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.789 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.789 * [taylor]: Taking taylor expansion of x in z
6.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.789 * [taylor]: Taking taylor expansion of z in z
6.790 * [taylor]: Taking taylor expansion of -1 in x
6.791 * [taylor]: Taking taylor expansion of 0 in t
6.791 * [taylor]: Taking taylor expansion of 0 in z
6.793 * [taylor]: Taking taylor expansion of 0 in z
6.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.793 * [taylor]: Taking taylor expansion of x in x
6.795 * [taylor]: Taking taylor expansion of 0 in t
6.795 * [taylor]: Taking taylor expansion of 0 in z
6.795 * [taylor]: Taking taylor expansion of 0 in z
6.797 * [taylor]: Taking taylor expansion of 0 in z
6.797 * [taylor]: Taking taylor expansion of 0 in x
6.797 * [taylor]: Taking taylor expansion of 0 in x
6.798 * [taylor]: Taking taylor expansion of 0 in x
6.801 * [taylor]: Taking taylor expansion of 0 in t
6.801 * [taylor]: Taking taylor expansion of 0 in z
6.801 * [taylor]: Taking taylor expansion of 0 in z
6.801 * [taylor]: Taking taylor expansion of 0 in z
6.803 * [taylor]: Taking taylor expansion of 0 in z
6.803 * [taylor]: Taking taylor expansion of 0 in x
6.803 * [taylor]: Taking taylor expansion of 0 in x
6.803 * [taylor]: Taking taylor expansion of 0 in x
6.803 * [taylor]: Taking taylor expansion of 0 in x
6.803 * [taylor]: Taking taylor expansion of 0 in x
6.804 * [taylor]: Taking taylor expansion of 0 in x
6.805 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
6.805 * [approximate]: Taking taylor expansion of (/ t (- z x)) in (t z x) around 0
6.805 * [taylor]: Taking taylor expansion of (/ t (- z x)) in x
6.805 * [taylor]: Taking taylor expansion of t in x
6.805 * [taylor]: Taking taylor expansion of (- z x) in x
6.805 * [taylor]: Taking taylor expansion of z in x
6.805 * [taylor]: Taking taylor expansion of x in x
6.805 * [taylor]: Taking taylor expansion of (/ t (- z x)) in z
6.805 * [taylor]: Taking taylor expansion of t in z
6.805 * [taylor]: Taking taylor expansion of (- z x) in z
6.805 * [taylor]: Taking taylor expansion of z in z
6.805 * [taylor]: Taking taylor expansion of x in z
6.806 * [taylor]: Taking taylor expansion of (/ t (- z x)) in t
6.806 * [taylor]: Taking taylor expansion of t in t
6.806 * [taylor]: Taking taylor expansion of (- z x) in t
6.806 * [taylor]: Taking taylor expansion of z in t
6.806 * [taylor]: Taking taylor expansion of x in t
6.806 * [taylor]: Taking taylor expansion of (/ t (- z x)) in t
6.806 * [taylor]: Taking taylor expansion of t in t
6.806 * [taylor]: Taking taylor expansion of (- z x) in t
6.806 * [taylor]: Taking taylor expansion of z in t
6.806 * [taylor]: Taking taylor expansion of x in t
6.806 * [taylor]: Taking taylor expansion of (/ 1 (- z x)) in z
6.806 * [taylor]: Taking taylor expansion of (- z x) in z
6.806 * [taylor]: Taking taylor expansion of z in z
6.806 * [taylor]: Taking taylor expansion of x in z
6.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.806 * [taylor]: Taking taylor expansion of -1 in x
6.806 * [taylor]: Taking taylor expansion of x in x
6.807 * [taylor]: Taking taylor expansion of 0 in z
6.807 * [taylor]: Taking taylor expansion of 0 in x
6.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
6.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.808 * [taylor]: Taking taylor expansion of x in x
6.812 * [taylor]: Taking taylor expansion of 0 in z
6.812 * [taylor]: Taking taylor expansion of 0 in x
6.812 * [taylor]: Taking taylor expansion of 0 in x
6.812 * [approximate]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 x)))) in (t z x) around 0
6.812 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 x)))) in x
6.812 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
6.812 * [taylor]: Taking taylor expansion of t in x
6.812 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.812 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.812 * [taylor]: Taking taylor expansion of z in x
6.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.812 * [taylor]: Taking taylor expansion of x in x
6.813 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 x)))) in z
6.813 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
6.813 * [taylor]: Taking taylor expansion of t in z
6.813 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.813 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.813 * [taylor]: Taking taylor expansion of z in z
6.813 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.813 * [taylor]: Taking taylor expansion of x in z
6.814 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 x)))) in t
6.814 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
6.814 * [taylor]: Taking taylor expansion of t in t
6.814 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
6.814 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.814 * [taylor]: Taking taylor expansion of z in t
6.814 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.814 * [taylor]: Taking taylor expansion of x in t
6.815 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 x)))) in t
6.815 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
6.815 * [taylor]: Taking taylor expansion of t in t
6.815 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
6.815 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.815 * [taylor]: Taking taylor expansion of z in t
6.815 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.815 * [taylor]: Taking taylor expansion of x in t
6.816 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 x))) in z
6.816 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.816 * [taylor]: Taking taylor expansion of z in z
6.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.816 * [taylor]: Taking taylor expansion of x in z
6.817 * [taylor]: Taking taylor expansion of 1 in x
6.818 * [taylor]: Taking taylor expansion of 0 in z
6.818 * [taylor]: Taking taylor expansion of 0 in x
6.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.819 * [taylor]: Taking taylor expansion of x in x
6.822 * [taylor]: Taking taylor expansion of 0 in z
6.822 * [taylor]: Taking taylor expansion of 0 in x
6.822 * [taylor]: Taking taylor expansion of 0 in x
6.822 * [approximate]: Taking taylor expansion of (/ -1 (* t (- (/ 1 x) (/ 1 z)))) in (t z x) around 0
6.822 * [taylor]: Taking taylor expansion of (/ -1 (* t (- (/ 1 x) (/ 1 z)))) in x
6.822 * [taylor]: Taking taylor expansion of -1 in x
6.822 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
6.822 * [taylor]: Taking taylor expansion of t in x
6.822 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.822 * [taylor]: Taking taylor expansion of x in x
6.822 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.822 * [taylor]: Taking taylor expansion of z in x
6.823 * [taylor]: Taking taylor expansion of (/ -1 (* t (- (/ 1 x) (/ 1 z)))) in z
6.823 * [taylor]: Taking taylor expansion of -1 in z
6.823 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
6.823 * [taylor]: Taking taylor expansion of t in z
6.823 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.823 * [taylor]: Taking taylor expansion of x in z
6.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.823 * [taylor]: Taking taylor expansion of z in z
6.824 * [taylor]: Taking taylor expansion of (/ -1 (* t (- (/ 1 x) (/ 1 z)))) in t
6.824 * [taylor]: Taking taylor expansion of -1 in t
6.824 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
6.824 * [taylor]: Taking taylor expansion of t in t
6.824 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
6.824 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.824 * [taylor]: Taking taylor expansion of x in t
6.824 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.824 * [taylor]: Taking taylor expansion of z in t
6.825 * [taylor]: Taking taylor expansion of (/ -1 (* t (- (/ 1 x) (/ 1 z)))) in t
6.825 * [taylor]: Taking taylor expansion of -1 in t
6.825 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
6.825 * [taylor]: Taking taylor expansion of t in t
6.825 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
6.825 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.825 * [taylor]: Taking taylor expansion of x in t
6.825 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.825 * [taylor]: Taking taylor expansion of z in t
6.826 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 x) (/ 1 z))) in z
6.826 * [taylor]: Taking taylor expansion of -1 in z
6.826 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.826 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.826 * [taylor]: Taking taylor expansion of x in z
6.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.826 * [taylor]: Taking taylor expansion of z in z
6.827 * [taylor]: Taking taylor expansion of 1 in x
6.829 * [taylor]: Taking taylor expansion of 0 in z
6.829 * [taylor]: Taking taylor expansion of 0 in x
6.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.830 * [taylor]: Taking taylor expansion of x in x
6.833 * [taylor]: Taking taylor expansion of 0 in z
6.833 * [taylor]: Taking taylor expansion of 0 in x
6.833 * [taylor]: Taking taylor expansion of 0 in x
6.833 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.833 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y t z) around 0
6.833 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
6.833 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
6.833 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
6.833 * [taylor]: Taking taylor expansion of (* z y) in z
6.833 * [taylor]: Taking taylor expansion of z in z
6.833 * [taylor]: Taking taylor expansion of y in z
6.833 * [taylor]: Taking taylor expansion of t in z
6.833 * [taylor]: Taking taylor expansion of x in z
6.833 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
6.833 * [taylor]: Taking taylor expansion of (* x y) in z
6.833 * [taylor]: Taking taylor expansion of x in z
6.833 * [taylor]: Taking taylor expansion of y in z
6.833 * [taylor]: Taking taylor expansion of t in z
6.834 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
6.834 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
6.834 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
6.834 * [taylor]: Taking taylor expansion of (* z y) in t
6.834 * [taylor]: Taking taylor expansion of z in t
6.834 * [taylor]: Taking taylor expansion of y in t
6.834 * [taylor]: Taking taylor expansion of t in t
6.834 * [taylor]: Taking taylor expansion of x in t
6.834 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
6.834 * [taylor]: Taking taylor expansion of (* x y) in t
6.834 * [taylor]: Taking taylor expansion of x in t
6.834 * [taylor]: Taking taylor expansion of y in t
6.834 * [taylor]: Taking taylor expansion of t in t
6.834 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
6.834 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
6.834 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
6.834 * [taylor]: Taking taylor expansion of (* z y) in y
6.834 * [taylor]: Taking taylor expansion of z in y
6.834 * [taylor]: Taking taylor expansion of y in y
6.834 * [taylor]: Taking taylor expansion of t in y
6.834 * [taylor]: Taking taylor expansion of x in y
6.834 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
6.834 * [taylor]: Taking taylor expansion of (* x y) in y
6.834 * [taylor]: Taking taylor expansion of x in y
6.834 * [taylor]: Taking taylor expansion of y in y
6.834 * [taylor]: Taking taylor expansion of t in y
6.835 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
6.835 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
6.835 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
6.835 * [taylor]: Taking taylor expansion of (* z y) in x
6.835 * [taylor]: Taking taylor expansion of z in x
6.835 * [taylor]: Taking taylor expansion of y in x
6.835 * [taylor]: Taking taylor expansion of t in x
6.835 * [taylor]: Taking taylor expansion of x in x
6.835 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
6.835 * [taylor]: Taking taylor expansion of (* x y) in x
6.835 * [taylor]: Taking taylor expansion of x in x
6.835 * [taylor]: Taking taylor expansion of y in x
6.835 * [taylor]: Taking taylor expansion of t in x
6.835 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
6.835 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
6.835 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
6.835 * [taylor]: Taking taylor expansion of (* z y) in x
6.835 * [taylor]: Taking taylor expansion of z in x
6.835 * [taylor]: Taking taylor expansion of y in x
6.835 * [taylor]: Taking taylor expansion of t in x
6.835 * [taylor]: Taking taylor expansion of x in x
6.835 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
6.835 * [taylor]: Taking taylor expansion of (* x y) in x
6.835 * [taylor]: Taking taylor expansion of x in x
6.836 * [taylor]: Taking taylor expansion of y in x
6.836 * [taylor]: Taking taylor expansion of t in x
6.836 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
6.836 * [taylor]: Taking taylor expansion of (* z y) in y
6.836 * [taylor]: Taking taylor expansion of z in y
6.836 * [taylor]: Taking taylor expansion of y in y
6.836 * [taylor]: Taking taylor expansion of t in y
6.837 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y
6.837 * [taylor]: Taking taylor expansion of 1 in y
6.837 * [taylor]: Taking taylor expansion of (/ y t) in y
6.837 * [taylor]: Taking taylor expansion of y in y
6.837 * [taylor]: Taking taylor expansion of t in y
6.837 * [taylor]: Taking taylor expansion of 1 in t
6.837 * [taylor]: Taking taylor expansion of (/ z t) in t
6.837 * [taylor]: Taking taylor expansion of z in t
6.837 * [taylor]: Taking taylor expansion of t in t
6.837 * [taylor]: Taking taylor expansion of z in z
6.839 * [taylor]: Taking taylor expansion of 0 in y
6.839 * [taylor]: Taking taylor expansion of 0 in t
6.839 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
6.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.839 * [taylor]: Taking taylor expansion of t in t
6.840 * [taylor]: Taking taylor expansion of -1 in z
6.840 * [taylor]: Taking taylor expansion of 0 in t
6.840 * [taylor]: Taking taylor expansion of 1 in z
6.841 * [taylor]: Taking taylor expansion of 0 in z
6.841 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y t z) around 0
6.841 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
6.841 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
6.841 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
6.841 * [taylor]: Taking taylor expansion of t in z
6.841 * [taylor]: Taking taylor expansion of (* z y) in z
6.841 * [taylor]: Taking taylor expansion of z in z
6.841 * [taylor]: Taking taylor expansion of y in z
6.842 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.842 * [taylor]: Taking taylor expansion of x in z
6.842 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
6.842 * [taylor]: Taking taylor expansion of t in z
6.842 * [taylor]: Taking taylor expansion of (* x y) in z
6.842 * [taylor]: Taking taylor expansion of x in z
6.842 * [taylor]: Taking taylor expansion of y in z
6.842 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
6.842 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
6.842 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
6.842 * [taylor]: Taking taylor expansion of t in t
6.842 * [taylor]: Taking taylor expansion of (* z y) in t
6.842 * [taylor]: Taking taylor expansion of z in t
6.842 * [taylor]: Taking taylor expansion of y in t
6.842 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.842 * [taylor]: Taking taylor expansion of x in t
6.842 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
6.842 * [taylor]: Taking taylor expansion of t in t
6.842 * [taylor]: Taking taylor expansion of (* x y) in t
6.842 * [taylor]: Taking taylor expansion of x in t
6.842 * [taylor]: Taking taylor expansion of y in t
6.842 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
6.842 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
6.842 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.842 * [taylor]: Taking taylor expansion of t in y
6.842 * [taylor]: Taking taylor expansion of (* z y) in y
6.842 * [taylor]: Taking taylor expansion of z in y
6.842 * [taylor]: Taking taylor expansion of y in y
6.843 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.843 * [taylor]: Taking taylor expansion of x in y
6.843 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
6.843 * [taylor]: Taking taylor expansion of t in y
6.843 * [taylor]: Taking taylor expansion of (* x y) in y
6.843 * [taylor]: Taking taylor expansion of x in y
6.843 * [taylor]: Taking taylor expansion of y in y
6.843 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
6.843 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.843 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.843 * [taylor]: Taking taylor expansion of t in x
6.843 * [taylor]: Taking taylor expansion of (* z y) in x
6.843 * [taylor]: Taking taylor expansion of z in x
6.843 * [taylor]: Taking taylor expansion of y in x
6.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.843 * [taylor]: Taking taylor expansion of x in x
6.844 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
6.844 * [taylor]: Taking taylor expansion of t in x
6.844 * [taylor]: Taking taylor expansion of (* x y) in x
6.844 * [taylor]: Taking taylor expansion of x in x
6.844 * [taylor]: Taking taylor expansion of y in x
6.844 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
6.844 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.844 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.844 * [taylor]: Taking taylor expansion of t in x
6.844 * [taylor]: Taking taylor expansion of (* z y) in x
6.844 * [taylor]: Taking taylor expansion of z in x
6.844 * [taylor]: Taking taylor expansion of y in x
6.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.844 * [taylor]: Taking taylor expansion of x in x
6.844 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
6.845 * [taylor]: Taking taylor expansion of t in x
6.845 * [taylor]: Taking taylor expansion of (* x y) in x
6.845 * [taylor]: Taking taylor expansion of x in x
6.845 * [taylor]: Taking taylor expansion of y in x
6.845 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y
6.845 * [taylor]: Taking taylor expansion of 1 in y
6.845 * [taylor]: Taking taylor expansion of (/ t y) in y
6.845 * [taylor]: Taking taylor expansion of t in y
6.845 * [taylor]: Taking taylor expansion of y in y
6.845 * [taylor]: Taking taylor expansion of (- t) in t
6.845 * [taylor]: Taking taylor expansion of t in t
6.846 * [taylor]: Taking taylor expansion of 0 in z
6.847 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.847 * [taylor]: Taking taylor expansion of t in y
6.847 * [taylor]: Taking taylor expansion of (* z y) in y
6.847 * [taylor]: Taking taylor expansion of z in y
6.847 * [taylor]: Taking taylor expansion of y in y
6.847 * [taylor]: Taking taylor expansion of (/ t z) in t
6.848 * [taylor]: Taking taylor expansion of t in t
6.848 * [taylor]: Taking taylor expansion of z in t
6.849 * [taylor]: Taking taylor expansion of 1 in t
6.849 * [taylor]: Taking taylor expansion of 1 in z
6.849 * [taylor]: Taking taylor expansion of -1 in z
6.851 * [taylor]: Taking taylor expansion of 0 in y
6.851 * [taylor]: Taking taylor expansion of 0 in t
6.851 * [taylor]: Taking taylor expansion of 0 in z
6.853 * [taylor]: Taking taylor expansion of 0 in t
6.853 * [taylor]: Taking taylor expansion of 0 in z
6.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.853 * [taylor]: Taking taylor expansion of z in z
6.853 * [taylor]: Taking taylor expansion of 0 in z
6.853 * [taylor]: Taking taylor expansion of 0 in z
6.854 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y t z) around 0
6.854 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
6.854 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
6.854 * [taylor]: Taking taylor expansion of t in z
6.854 * [taylor]: Taking taylor expansion of (* x y) in z
6.854 * [taylor]: Taking taylor expansion of x in z
6.854 * [taylor]: Taking taylor expansion of y in z
6.854 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
6.854 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
6.854 * [taylor]: Taking taylor expansion of t in z
6.854 * [taylor]: Taking taylor expansion of (* z y) in z
6.854 * [taylor]: Taking taylor expansion of z in z
6.854 * [taylor]: Taking taylor expansion of y in z
6.855 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.855 * [taylor]: Taking taylor expansion of x in z
6.855 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
6.855 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
6.855 * [taylor]: Taking taylor expansion of t in t
6.855 * [taylor]: Taking taylor expansion of (* x y) in t
6.855 * [taylor]: Taking taylor expansion of x in t
6.855 * [taylor]: Taking taylor expansion of y in t
6.855 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
6.855 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
6.855 * [taylor]: Taking taylor expansion of t in t
6.855 * [taylor]: Taking taylor expansion of (* z y) in t
6.855 * [taylor]: Taking taylor expansion of z in t
6.855 * [taylor]: Taking taylor expansion of y in t
6.855 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.855 * [taylor]: Taking taylor expansion of x in t
6.855 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
6.855 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
6.855 * [taylor]: Taking taylor expansion of t in y
6.855 * [taylor]: Taking taylor expansion of (* x y) in y
6.855 * [taylor]: Taking taylor expansion of x in y
6.855 * [taylor]: Taking taylor expansion of y in y
6.855 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
6.856 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.856 * [taylor]: Taking taylor expansion of t in y
6.856 * [taylor]: Taking taylor expansion of (* z y) in y
6.856 * [taylor]: Taking taylor expansion of z in y
6.856 * [taylor]: Taking taylor expansion of y in y
6.856 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.856 * [taylor]: Taking taylor expansion of x in y
6.856 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
6.856 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
6.856 * [taylor]: Taking taylor expansion of t in x
6.856 * [taylor]: Taking taylor expansion of (* x y) in x
6.856 * [taylor]: Taking taylor expansion of x in x
6.856 * [taylor]: Taking taylor expansion of y in x
6.856 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.856 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.856 * [taylor]: Taking taylor expansion of t in x
6.856 * [taylor]: Taking taylor expansion of (* z y) in x
6.856 * [taylor]: Taking taylor expansion of z in x
6.856 * [taylor]: Taking taylor expansion of y in x
6.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.857 * [taylor]: Taking taylor expansion of x in x
6.857 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
6.857 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
6.857 * [taylor]: Taking taylor expansion of t in x
6.857 * [taylor]: Taking taylor expansion of (* x y) in x
6.857 * [taylor]: Taking taylor expansion of x in x
6.857 * [taylor]: Taking taylor expansion of y in x
6.857 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
6.857 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
6.857 * [taylor]: Taking taylor expansion of t in x
6.857 * [taylor]: Taking taylor expansion of (* z y) in x
6.857 * [taylor]: Taking taylor expansion of z in x
6.857 * [taylor]: Taking taylor expansion of y in x
6.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.857 * [taylor]: Taking taylor expansion of x in x
6.858 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y
6.858 * [taylor]: Taking taylor expansion of (/ t y) in y
6.858 * [taylor]: Taking taylor expansion of t in y
6.858 * [taylor]: Taking taylor expansion of y in y
6.858 * [taylor]: Taking taylor expansion of 1 in y
6.858 * [taylor]: Taking taylor expansion of t in t
6.858 * [taylor]: Taking taylor expansion of 0 in z
6.860 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
6.860 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
6.860 * [taylor]: Taking taylor expansion of t in y
6.860 * [taylor]: Taking taylor expansion of (* z y) in y
6.860 * [taylor]: Taking taylor expansion of z in y
6.860 * [taylor]: Taking taylor expansion of y in y
6.860 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
6.860 * [taylor]: Taking taylor expansion of (/ t z) in t
6.860 * [taylor]: Taking taylor expansion of t in t
6.860 * [taylor]: Taking taylor expansion of z in t
6.861 * [taylor]: Taking taylor expansion of -1 in t
6.861 * [taylor]: Taking taylor expansion of -1 in z
6.861 * [taylor]: Taking taylor expansion of 1 in z
6.863 * [taylor]: Taking taylor expansion of 0 in y
6.864 * [taylor]: Taking taylor expansion of 0 in t
6.864 * [taylor]: Taking taylor expansion of 0 in z
6.866 * [taylor]: Taking taylor expansion of 0 in t
6.866 * [taylor]: Taking taylor expansion of 0 in z
6.866 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.866 * [taylor]: Taking taylor expansion of z in z
6.866 * [taylor]: Taking taylor expansion of 0 in z
6.866 * [taylor]: Taking taylor expansion of 0 in z
6.867 * * * [progress]: simplifying candidates
6.869 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log y) (- (log t) (log (- z x))))
  (- (log y) (log (/ t (- z x))))
  (log (/ y (/ t (- z x))))
  (exp (/ y (/ t (- z x))))
  (/ (* (* y y) y) (/ (* (* t t) t) (* (* (- z x) (- z x)) (- z x))))
  (/ (* (* y y) y) (* (* (/ t (- z x)) (/ t (- z x))) (/ t (- z x))))
  (* (cbrt (/ y (/ t (- z x)))) (cbrt (/ y (/ t (- z x)))))
  (cbrt (/ y (/ t (- z x))))
  (* (* (/ y (/ t (- z x))) (/ y (/ t (- z x)))) (/ y (/ t (- z x))))
  (sqrt (/ y (/ t (- z x))))
  (sqrt (/ y (/ t (- z x))))
  (- y)
  (- (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ (cbrt y) (cbrt (/ t (- z x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ t (- z x))))
  (/ (cbrt y) (sqrt (/ t (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt y) (/ (cbrt t) (cbrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ (cbrt y) (/ (cbrt t) (sqrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt y) (/ (cbrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt y) (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt y) (/ (cbrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt y) (/ (sqrt t) (cbrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (sqrt (- z x))))
  (/ (cbrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) 1))
  (/ (cbrt y) (/ (sqrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ (cbrt y) (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) 1))
  (/ (cbrt y) (/ (sqrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt y) (/ t (cbrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt (- z x))))
  (/ (cbrt y) (/ t (sqrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (+ (sqrt z) (sqrt x))))
  (/ (cbrt y) (/ t (- (sqrt z) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) t)
  (/ (cbrt y) (/ 1 (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ t (- (pow z 3) (pow x 3))))
  (/ (cbrt y) (+ (* z z) (+ (* x x) (* z x))))
  (/ (* (cbrt y) (cbrt y)) (/ t (- (* z z) (* x x))))
  (/ (cbrt y) (+ z x))
  (/ (sqrt y) (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ (sqrt y) (cbrt (/ t (- z x))))
  (/ (sqrt y) (sqrt (/ t (- z x))))
  (/ (sqrt y) (sqrt (/ t (- z x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt y) (/ (cbrt t) (cbrt (- z x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ (sqrt y) (/ (cbrt t) (sqrt (- z x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt y) (/ (cbrt t) (- z x)))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt y) (/ (cbrt t) (- z x)))
  (/ (sqrt y) (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt y) (/ (sqrt t) (cbrt (- z x))))
  (/ (sqrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (sqrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (sqrt y) (/ (sqrt t) 1))
  (/ (sqrt y) (/ (sqrt t) (- z x)))
  (/ (sqrt y) (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (sqrt t) 1))
  (/ (sqrt y) (/ (sqrt t) (- z x)))
  (/ (sqrt y) (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt y) (/ t (cbrt (- z x))))
  (/ (sqrt y) (/ 1 (sqrt (- z x))))
  (/ (sqrt y) (/ t (sqrt (- z x))))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ t (- z x)))
  (/ (sqrt y) (/ 1 (+ (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ t (- (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ t (- z x)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (/ t (- z x)))
  (/ (sqrt y) t)
  (/ (sqrt y) (/ 1 (- z x)))
  (/ (sqrt y) (/ t (- (pow z 3) (pow x 3))))
  (/ (sqrt y) (+ (* z z) (+ (* x x) (* z x))))
  (/ (sqrt y) (/ t (- (* z z) (* x x))))
  (/ (sqrt y) (+ z x))
  (/ 1 (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ y (cbrt (/ t (- z x))))
  (/ 1 (sqrt (/ t (- z x))))
  (/ y (sqrt (/ t (- z x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (cbrt t) (cbrt (- z x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ y (/ (cbrt t) (sqrt (- z x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ y (/ (cbrt t) (- z x)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ y (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ y (/ (cbrt t) (- z x)))
  (/ 1 (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (sqrt t) (cbrt (- z x))))
  (/ 1 (/ (sqrt t) (sqrt (- z x))))
  (/ y (/ (sqrt t) (sqrt (- z x))))
  (/ 1 (/ (sqrt t) 1))
  (/ y (/ (sqrt t) (- z x)))
  (/ 1 (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ y (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) 1))
  (/ y (/ (sqrt t) (- z x)))
  (/ 1 (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ t (cbrt (- z x))))
  (/ 1 (/ 1 (sqrt (- z x))))
  (/ y (/ t (sqrt (- z x))))
  (/ 1 (/ 1 1))
  (/ y (/ t (- z x)))
  (/ 1 (/ 1 (+ (sqrt z) (sqrt x))))
  (/ y (/ t (- (sqrt z) (sqrt x))))
  (/ 1 (/ 1 1))
  (/ y (/ t (- z x)))
  (/ 1 1)
  (/ y (/ t (- z x)))
  (/ 1 t)
  (/ y (/ 1 (- z x)))
  (/ 1 (/ t (- (pow z 3) (pow x 3))))
  (/ y (+ (* z z) (+ (* x x) (* z x))))
  (/ 1 (/ t (- (* z z) (* x x))))
  (/ y (+ z x))
  (/ 1 (/ t (- z x)))
  (/ (/ t (- z x)) y)
  (/ y (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ y (sqrt (/ t (- z x))))
  (/ y (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ y (/ (* (cbrt t) (cbrt t)) 1))
  (/ y (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ y (/ (* (cbrt t) (cbrt t)) 1))
  (/ y (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (sqrt t) (sqrt (- z x))))
  (/ y (/ (sqrt t) 1))
  (/ y (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ y (/ (sqrt t) 1))
  (/ y (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ 1 (sqrt (- z x))))
  (/ y (/ 1 1))
  (/ y (/ 1 (+ (sqrt z) (sqrt x))))
  (/ y (/ 1 1))
  (/ y 1)
  (/ y t)
  (/ y (/ t (- (pow z 3) (pow x 3))))
  (/ y (/ t (- (* z z) (* x x))))
  (/ (/ t (- z x)) (cbrt y))
  (/ (/ t (- z x)) (sqrt y))
  (/ (/ t (- z x)) y)
  (/ y t)
  (- (log t) (log (- z x)))
  (log (/ t (- z x)))
  (exp (/ t (- z x)))
  (/ (* (* t t) t) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x))))
  (cbrt (/ t (- z x)))
  (* (* (/ t (- z x)) (/ t (- z x))) (/ t (- z x)))
  (sqrt (/ t (- z x)))
  (sqrt (/ t (- z x)))
  (- t)
  (- (- z x))
  (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (cbrt t) (cbrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) (sqrt (- z x)))
  (/ (cbrt t) (sqrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) 1)
  (/ (cbrt t) (- z x))
  (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x)))
  (/ (cbrt t) (- (sqrt z) (sqrt x)))
  (/ (* (cbrt t) (cbrt t)) 1)
  (/ (cbrt t) (- z x))
  (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (sqrt t) (cbrt (- z x)))
  (/ (sqrt t) (sqrt (- z x)))
  (/ (sqrt t) (sqrt (- z x)))
  (/ (sqrt t) 1)
  (/ (sqrt t) (- z x))
  (/ (sqrt t) (+ (sqrt z) (sqrt x)))
  (/ (sqrt t) (- (sqrt z) (sqrt x)))
  (/ (sqrt t) 1)
  (/ (sqrt t) (- z x))
  (/ 1 (* (cbrt (- z x)) (cbrt (- z x))))
  (/ t (cbrt (- z x)))
  (/ 1 (sqrt (- z x)))
  (/ t (sqrt (- z x)))
  (/ 1 1)
  (/ t (- z x))
  (/ 1 (+ (sqrt z) (sqrt x)))
  (/ t (- (sqrt z) (sqrt x)))
  (/ 1 1)
  (/ t (- z x))
  (/ 1 (- z x))
  (/ (- z x) t)
  (/ t (* (cbrt (- z x)) (cbrt (- z x))))
  (/ t (sqrt (- z x)))
  (/ t 1)
  (/ t (+ (sqrt z) (sqrt x)))
  (/ t 1)
  (/ (- z x) (cbrt t))
  (/ (- z x) (sqrt t))
  (/ (- z x) t)
  (/ t (- (pow z 3) (pow x 3)))
  (/ t (- (* z z) (* x x)))
  (* (exp x) (exp (/ y (/ t (- z x)))))
  (log (+ x (/ y (/ t (- z x)))))
  (exp (+ x (/ y (/ t (- z x)))))
  (* (cbrt (+ x (/ y (/ t (- z x))))) (cbrt (+ x (/ y (/ t (- z x))))))
  (cbrt (+ x (/ y (/ t (- z x)))))
  (* (* (+ x (/ y (/ t (- z x)))) (+ x (/ y (/ t (- z x))))) (+ x (/ y (/ t (- z x)))))
  (sqrt (+ x (/ y (/ t (- z x)))))
  (sqrt (+ x (/ y (/ t (- z x)))))
  (+ (pow x 3) (pow (/ y (/ t (- z x))) 3))
  (+ (* x x) (- (* (/ y (/ t (- z x))) (/ y (/ t (- z x)))) (* x (/ y (/ t (- z x))))))
  (- (* x x) (* (/ y (/ t (- z x))) (/ y (/ t (- z x)))))
  (- x (/ y (/ t (- z x))))
  (+ x (/ y (/ t (- z x))))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  0
  0
  0
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
6.879 * * [simplify]: iteration  0 :  242  enodes  (cost  2291 )
6.931 * * [simplify]: iteration  1 :  540  enodes  (cost  2136 )
7.062 * * [simplify]: iteration  2 :  1997  enodes  (cost  2056 )
7.801 * * [simplify]: iteration  done :  5000  enodes  (cost  2056 )
7.802 * [simplify]: Simplified to:
   (log (/ y (/ t (- z x))))
  (log (/ y (/ t (- z x))))
  (log (/ y (/ t (- z x))))
  (exp (/ y (/ t (- z x))))
  (pow (/ y (/ t (- z x))) 3)
  (pow (/ y (/ t (- z x))) 3)
  (* (cbrt (/ y (/ t (- z x)))) (cbrt (/ y (/ t (- z x)))))
  (cbrt (/ y (/ t (- z x))))
  (pow (/ y (/ t (- z x))) 3)
  (sqrt (/ y (/ t (- z x))))
  (sqrt (/ y (/ t (- z x))))
  (- y)
  (- (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ (cbrt y) (cbrt (/ t (- z x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ t (- z x))))
  (/ (cbrt y) (sqrt (/ t (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt y) (/ (cbrt t) (cbrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ (cbrt y) (/ (cbrt t) (sqrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t)))
  (/ (cbrt y) (/ (cbrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt y) (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t)))
  (/ (cbrt y) (/ (cbrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt y) (/ (sqrt t) (cbrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (sqrt (- z x))))
  (/ (cbrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt t))
  (/ (cbrt y) (/ (sqrt t) (- z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ (cbrt y) (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt t))
  (/ (cbrt y) (/ (sqrt t) (- z x)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (cbrt y) (/ t (cbrt (- z x))))
  (* (* (cbrt y) (cbrt y)) (sqrt (- z x)))
  (/ (cbrt y) (/ t (sqrt (- z x))))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ t (- z x)))
  (* (* (cbrt y) (cbrt y)) (+ (sqrt z) (sqrt x)))
  (/ (cbrt y) (/ t (- (sqrt z) (sqrt x))))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ t (- z x)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ t (- z x)))
  (/ (* (cbrt y) (cbrt y)) t)
  (* (cbrt y) (- z x))
  (/ (* (cbrt y) (cbrt y)) (/ t (- (pow z 3) (pow x 3))))
  (/ (cbrt y) (+ (* z z) (* x (+ z x))))
  (/ (* (cbrt y) (cbrt y)) (/ t (- (* z z) (* x x))))
  (/ (cbrt y) (+ z x))
  (/ (sqrt y) (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ (sqrt y) (cbrt (/ t (- z x))))
  (/ (sqrt y) (sqrt (/ t (- z x))))
  (/ (sqrt y) (sqrt (/ t (- z x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt y) (/ (cbrt t) (cbrt (- z x))))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ (sqrt y) (/ (cbrt t) (sqrt (- z x))))
  (/ (sqrt y) (* (cbrt t) (cbrt t)))
  (/ (sqrt y) (/ (cbrt t) (- z x)))
  (/ (sqrt y) (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ (sqrt y) (* (cbrt t) (cbrt t)))
  (/ (sqrt y) (/ (cbrt t) (- z x)))
  (/ (sqrt y) (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt y) (/ (sqrt t) (cbrt (- z x))))
  (/ (sqrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (sqrt y) (/ (sqrt t) (sqrt (- z x))))
  (/ (sqrt y) (sqrt t))
  (/ (sqrt y) (/ (sqrt t) (- z x)))
  (/ (sqrt y) (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ (sqrt y) (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ (sqrt y) (sqrt t))
  (/ (sqrt y) (/ (sqrt t) (- z x)))
  (* (sqrt y) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (sqrt y) (/ t (cbrt (- z x))))
  (* (sqrt y) (sqrt (- z x)))
  (/ (sqrt y) (/ t (sqrt (- z x))))
  (sqrt y)
  (/ (sqrt y) (/ t (- z x)))
  (* (sqrt y) (+ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ t (- (sqrt z) (sqrt x))))
  (sqrt y)
  (/ (sqrt y) (/ t (- z x)))
  (sqrt y)
  (/ (sqrt y) (/ t (- z x)))
  (/ (sqrt y) t)
  (* (sqrt y) (- z x))
  (/ (sqrt y) (/ t (- (pow z 3) (pow x 3))))
  (/ (sqrt y) (+ (* z z) (* x (+ z x))))
  (/ (sqrt y) (/ t (- (* z z) (* x x))))
  (/ (sqrt y) (+ z x))
  (/ 1 (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ y (cbrt (/ t (- z x))))
  (/ 1 (sqrt (/ t (- z x))))
  (/ y (sqrt (/ t (- z x))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (sqrt (- z x))))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (- z x)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (- z x)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ y (/ (sqrt t) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt t))
  (/ y (/ (sqrt t) (sqrt (- z x))))
  (/ 1 (sqrt t))
  (/ y (/ (sqrt t) (- z x)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ y (/ (sqrt t) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt t))
  (/ y (/ (sqrt t) (- z x)))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ y (/ t (cbrt (- z x))))
  (sqrt (- z x))
  (/ y (/ t (sqrt (- z x))))
  1
  (/ y (/ t (- z x)))
  (+ (sqrt z) (sqrt x))
  (/ y (/ t (- (sqrt z) (sqrt x))))
  1
  (/ y (/ t (- z x)))
  1
  (/ y (/ t (- z x)))
  (/ 1 t)
  (* y (- z x))
  (/ 1 (/ t (- (pow z 3) (pow x 3))))
  (/ y (+ (* z z) (* x (+ z x))))
  (/ 1 (/ t (- (* z z) (* x x))))
  (/ y (+ z x))
  (/ 1 (/ t (- z x)))
  (/ (/ t (- z x)) y)
  (/ y (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x)))))
  (/ y (sqrt (/ t (- z x))))
  (/ y (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (* (cbrt t) (cbrt t)) (sqrt (- z x))))
  (/ y (* (cbrt t) (cbrt t)))
  (/ y (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x))))
  (/ y (* (cbrt t) (cbrt t)))
  (/ y (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ y (/ (sqrt t) (sqrt (- z x))))
  (/ y (sqrt t))
  (/ y (/ (sqrt t) (+ (sqrt z) (sqrt x))))
  (/ y (sqrt t))
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  y
  (* y (+ (sqrt z) (sqrt x)))
  y
  y
  (/ y t)
  (/ y (/ t (- (pow z 3) (pow x 3))))
  (/ y (/ t (- (* z z) (* x x))))
  (/ (/ t (- z x)) (cbrt y))
  (/ (/ t (- z x)) (sqrt y))
  (/ (/ t (- z x)) y)
  (/ y t)
  (log (/ t (- z x)))
  (log (/ t (- z x)))
  (exp (/ t (- z x)))
  (pow (/ t (- z x)) 3)
  (* (cbrt (/ t (- z x))) (cbrt (/ t (- z x))))
  (cbrt (/ t (- z x)))
  (pow (/ t (- z x)) 3)
  (sqrt (/ t (- z x)))
  (sqrt (/ t (- z x)))
  (- t)
  (- (- z x))
  (/ (* (cbrt t) (cbrt t)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (cbrt t) (cbrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) (sqrt (- z x)))
  (/ (cbrt t) (sqrt (- z x)))
  (* (cbrt t) (cbrt t))
  (/ (cbrt t) (- z x))
  (* (/ (cbrt t) (+ (sqrt z) (sqrt x))) (cbrt t))
  (/ (cbrt t) (- (sqrt z) (sqrt x)))
  (* (cbrt t) (cbrt t))
  (/ (cbrt t) (- z x))
  (/ (sqrt t) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (sqrt t) (cbrt (- z x)))
  (/ (sqrt t) (sqrt (- z x)))
  (/ (sqrt t) (sqrt (- z x)))
  (sqrt t)
  (/ (sqrt t) (- z x))
  (/ (sqrt t) (+ (sqrt z) (sqrt x)))
  (/ (sqrt t) (- (sqrt z) (sqrt x)))
  (sqrt t)
  (/ (sqrt t) (- z x))
  (/ 1 (* (cbrt (- z x)) (cbrt (- z x))))
  (/ t (cbrt (- z x)))
  (/ 1 (sqrt (- z x)))
  (/ t (sqrt (- z x)))
  1
  (/ t (- z x))
  (/ 1 (+ (sqrt z) (sqrt x)))
  (/ t (- (sqrt z) (sqrt x)))
  1
  (/ t (- z x))
  (/ 1 (- z x))
  (/ (- z x) t)
  (/ t (* (cbrt (- z x)) (cbrt (- z x))))
  (/ t (sqrt (- z x)))
  t
  (/ t (+ (sqrt z) (sqrt x)))
  t
  (/ (- z x) (cbrt t))
  (/ (- z x) (sqrt t))
  (/ (- z x) t)
  (/ t (- (pow z 3) (pow x 3)))
  (/ t (- (* z z) (* x x)))
  (exp (+ x (/ y (/ t (- z x)))))
  (log (+ x (/ y (/ t (- z x)))))
  (exp (+ x (/ y (/ t (- z x)))))
  (* (cbrt (+ x (/ y (/ t (- z x))))) (cbrt (+ x (/ y (/ t (- z x))))))
  (cbrt (+ x (/ y (/ t (- z x)))))
  (pow (+ x (/ y (/ t (- z x)))) 3)
  (sqrt (+ x (/ y (/ t (- z x)))))
  (sqrt (+ x (/ y (/ t (- z x)))))
  (+ (pow x 3) (pow (/ y (/ t (- z x))) 3))
  (+ (* x x) (* (/ y (/ t (- z x))) (- (/ y (/ t (- z x))) x)))
  (- (* x x) (* (/ y (/ t (- z x))) (/ y (/ t (- z x)))))
  (- x (/ y (/ t (- z x))))
  (+ x (/ y (/ t (- z x))))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  0
  0
  0
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
7.803 * * * [progress]: adding candidates to table
8.145 * * [progress]: iteration 4 / 4
8.145 * * * [progress]: picking best candidate
8.146 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>
8.146 * * * [progress]: localizing error
8.152 * * * [progress]: generating rewritten candidates
8.152 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
8.167 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
8.169 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
8.179 * * * [progress]: generating series expansions
8.179 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
8.179 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (z x t y) around 0
8.179 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
8.179 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
8.179 * [taylor]: Taking taylor expansion of y in y
8.179 * [taylor]: Taking taylor expansion of (- z x) in y
8.179 * [taylor]: Taking taylor expansion of z in y
8.179 * [taylor]: Taking taylor expansion of x in y
8.179 * [taylor]: Taking taylor expansion of t in y
8.180 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
8.180 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
8.180 * [taylor]: Taking taylor expansion of y in t
8.180 * [taylor]: Taking taylor expansion of (- z x) in t
8.181 * [taylor]: Taking taylor expansion of z in t
8.181 * [taylor]: Taking taylor expansion of x in t
8.181 * [taylor]: Taking taylor expansion of t in t
8.181 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
8.181 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
8.181 * [taylor]: Taking taylor expansion of y in x
8.181 * [taylor]: Taking taylor expansion of (- z x) in x
8.181 * [taylor]: Taking taylor expansion of z in x
8.181 * [taylor]: Taking taylor expansion of x in x
8.181 * [taylor]: Taking taylor expansion of t in x
8.181 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
8.181 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
8.181 * [taylor]: Taking taylor expansion of y in z
8.181 * [taylor]: Taking taylor expansion of (- z x) in z
8.181 * [taylor]: Taking taylor expansion of z in z
8.181 * [taylor]: Taking taylor expansion of x in z
8.181 * [taylor]: Taking taylor expansion of t in z
8.181 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
8.181 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
8.181 * [taylor]: Taking taylor expansion of y in z
8.181 * [taylor]: Taking taylor expansion of (- z x) in z
8.181 * [taylor]: Taking taylor expansion of z in z
8.181 * [taylor]: Taking taylor expansion of x in z
8.181 * [taylor]: Taking taylor expansion of t in z
8.182 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) t)) in x
8.182 * [taylor]: Taking taylor expansion of -1 in x
8.182 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
8.182 * [taylor]: Taking taylor expansion of (* x y) in x
8.182 * [taylor]: Taking taylor expansion of x in x
8.182 * [taylor]: Taking taylor expansion of y in x
8.182 * [taylor]: Taking taylor expansion of t in x
8.183 * [taylor]: Taking taylor expansion of (/ y t) in x
8.183 * [taylor]: Taking taylor expansion of y in x
8.183 * [taylor]: Taking taylor expansion of t in x
8.183 * [taylor]: Taking taylor expansion of (/ y t) in t
8.183 * [taylor]: Taking taylor expansion of y in t
8.183 * [taylor]: Taking taylor expansion of t in t
8.183 * [taylor]: Taking taylor expansion of y in y
8.183 * [taylor]: Taking taylor expansion of (* -1 (/ y t)) in t
8.183 * [taylor]: Taking taylor expansion of -1 in t
8.183 * [taylor]: Taking taylor expansion of (/ y t) in t
8.183 * [taylor]: Taking taylor expansion of y in t
8.183 * [taylor]: Taking taylor expansion of t in t
8.183 * [taylor]: Taking taylor expansion of (* -1 y) in y
8.183 * [taylor]: Taking taylor expansion of -1 in y
8.183 * [taylor]: Taking taylor expansion of y in y
8.184 * [taylor]: Taking taylor expansion of 0 in x
8.184 * [taylor]: Taking taylor expansion of 0 in t
8.184 * [taylor]: Taking taylor expansion of 0 in t
8.186 * [taylor]: Taking taylor expansion of 0 in t
8.186 * [taylor]: Taking taylor expansion of 0 in y
8.187 * [taylor]: Taking taylor expansion of 0 in y
8.189 * [taylor]: Taking taylor expansion of 0 in x
8.189 * [taylor]: Taking taylor expansion of 0 in t
8.189 * [taylor]: Taking taylor expansion of 0 in t
8.189 * [taylor]: Taking taylor expansion of 0 in t
8.190 * [taylor]: Taking taylor expansion of 0 in t
8.190 * [taylor]: Taking taylor expansion of 0 in y
8.190 * [taylor]: Taking taylor expansion of 0 in y
8.191 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (z x t y) around 0
8.191 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
8.191 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
8.191 * [taylor]: Taking taylor expansion of t in y
8.191 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
8.191 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.191 * [taylor]: Taking taylor expansion of z in y
8.191 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.191 * [taylor]: Taking taylor expansion of x in y
8.191 * [taylor]: Taking taylor expansion of y in y
8.191 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
8.191 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
8.191 * [taylor]: Taking taylor expansion of t in t
8.191 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
8.191 * [taylor]: Taking taylor expansion of (/ 1 z) in t
8.191 * [taylor]: Taking taylor expansion of z in t
8.191 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.191 * [taylor]: Taking taylor expansion of x in t
8.191 * [taylor]: Taking taylor expansion of y in t
8.192 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
8.192 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
8.192 * [taylor]: Taking taylor expansion of t in x
8.192 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
8.192 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.192 * [taylor]: Taking taylor expansion of z in x
8.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.192 * [taylor]: Taking taylor expansion of x in x
8.193 * [taylor]: Taking taylor expansion of y in x
8.196 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
8.196 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
8.196 * [taylor]: Taking taylor expansion of t in z
8.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
8.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.196 * [taylor]: Taking taylor expansion of z in z
8.196 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.196 * [taylor]: Taking taylor expansion of x in z
8.196 * [taylor]: Taking taylor expansion of y in z
8.197 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
8.197 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
8.197 * [taylor]: Taking taylor expansion of t in z
8.197 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
8.197 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.197 * [taylor]: Taking taylor expansion of z in z
8.197 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.197 * [taylor]: Taking taylor expansion of x in z
8.197 * [taylor]: Taking taylor expansion of y in z
8.197 * [taylor]: Taking taylor expansion of (/ t y) in x
8.197 * [taylor]: Taking taylor expansion of t in x
8.197 * [taylor]: Taking taylor expansion of y in x
8.198 * [taylor]: Taking taylor expansion of (- (/ t (* x y))) in x
8.198 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.198 * [taylor]: Taking taylor expansion of t in x
8.198 * [taylor]: Taking taylor expansion of (* x y) in x
8.198 * [taylor]: Taking taylor expansion of x in x
8.198 * [taylor]: Taking taylor expansion of y in x
8.199 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
8.199 * [taylor]: Taking taylor expansion of (/ t y) in t
8.199 * [taylor]: Taking taylor expansion of t in t
8.199 * [taylor]: Taking taylor expansion of y in t
8.199 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
8.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.199 * [taylor]: Taking taylor expansion of y in y
8.199 * [taylor]: Taking taylor expansion of (/ t y) in t
8.199 * [taylor]: Taking taylor expansion of t in t
8.199 * [taylor]: Taking taylor expansion of y in t
8.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.200 * [taylor]: Taking taylor expansion of y in y
8.201 * [taylor]: Taking taylor expansion of 0 in x
8.202 * [taylor]: Taking taylor expansion of 0 in t
8.202 * [taylor]: Taking taylor expansion of 0 in y
8.202 * [taylor]: Taking taylor expansion of 0 in t
8.202 * [taylor]: Taking taylor expansion of 0 in y
8.203 * [taylor]: Taking taylor expansion of 0 in y
8.203 * [taylor]: Taking taylor expansion of 0 in y
8.205 * [taylor]: Taking taylor expansion of 0 in x
8.205 * [taylor]: Taking taylor expansion of 0 in t
8.206 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in t
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in t
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.207 * [taylor]: Taking taylor expansion of 0 in y
8.208 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (z x t y) around 0
8.208 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
8.208 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
8.208 * [taylor]: Taking taylor expansion of t in y
8.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
8.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.208 * [taylor]: Taking taylor expansion of x in y
8.208 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.208 * [taylor]: Taking taylor expansion of z in y
8.208 * [taylor]: Taking taylor expansion of y in y
8.208 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
8.208 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
8.208 * [taylor]: Taking taylor expansion of t in t
8.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
8.208 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.208 * [taylor]: Taking taylor expansion of x in t
8.208 * [taylor]: Taking taylor expansion of (/ 1 z) in t
8.208 * [taylor]: Taking taylor expansion of z in t
8.208 * [taylor]: Taking taylor expansion of y in t
8.209 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
8.209 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
8.209 * [taylor]: Taking taylor expansion of t in x
8.209 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
8.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.209 * [taylor]: Taking taylor expansion of x in x
8.210 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.210 * [taylor]: Taking taylor expansion of z in x
8.210 * [taylor]: Taking taylor expansion of y in x
8.210 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
8.210 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
8.210 * [taylor]: Taking taylor expansion of t in z
8.210 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
8.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.210 * [taylor]: Taking taylor expansion of x in z
8.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.210 * [taylor]: Taking taylor expansion of z in z
8.210 * [taylor]: Taking taylor expansion of y in z
8.211 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
8.211 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
8.211 * [taylor]: Taking taylor expansion of t in z
8.211 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
8.211 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.211 * [taylor]: Taking taylor expansion of x in z
8.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.211 * [taylor]: Taking taylor expansion of z in z
8.211 * [taylor]: Taking taylor expansion of y in z
8.212 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in x
8.212 * [taylor]: Taking taylor expansion of -1 in x
8.212 * [taylor]: Taking taylor expansion of (/ t y) in x
8.212 * [taylor]: Taking taylor expansion of t in x
8.212 * [taylor]: Taking taylor expansion of y in x
8.213 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.213 * [taylor]: Taking taylor expansion of t in x
8.213 * [taylor]: Taking taylor expansion of (* x y) in x
8.213 * [taylor]: Taking taylor expansion of x in x
8.213 * [taylor]: Taking taylor expansion of y in x
8.214 * [taylor]: Taking taylor expansion of (/ t y) in t
8.214 * [taylor]: Taking taylor expansion of t in t
8.214 * [taylor]: Taking taylor expansion of y in t
8.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.214 * [taylor]: Taking taylor expansion of y in y
8.214 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in t
8.214 * [taylor]: Taking taylor expansion of -1 in t
8.214 * [taylor]: Taking taylor expansion of (/ t y) in t
8.214 * [taylor]: Taking taylor expansion of t in t
8.214 * [taylor]: Taking taylor expansion of y in t
8.214 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.214 * [taylor]: Taking taylor expansion of -1 in y
8.214 * [taylor]: Taking taylor expansion of y in y
8.216 * [taylor]: Taking taylor expansion of 0 in x
8.217 * [taylor]: Taking taylor expansion of 0 in t
8.217 * [taylor]: Taking taylor expansion of 0 in y
8.217 * [taylor]: Taking taylor expansion of 0 in t
8.217 * [taylor]: Taking taylor expansion of 0 in y
8.217 * [taylor]: Taking taylor expansion of 0 in y
8.217 * [taylor]: Taking taylor expansion of 0 in y
8.220 * [taylor]: Taking taylor expansion of 0 in x
8.220 * [taylor]: Taking taylor expansion of 0 in t
8.220 * [taylor]: Taking taylor expansion of 0 in y
8.221 * [taylor]: Taking taylor expansion of 0 in t
8.221 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in t
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.223 * * * * [progress]: [ 2 / 3 ] generating series at (2)
8.223 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x z t y) around 0
8.223 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
8.223 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
8.223 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
8.223 * [taylor]: Taking taylor expansion of (* z y) in y
8.223 * [taylor]: Taking taylor expansion of z in y
8.223 * [taylor]: Taking taylor expansion of y in y
8.223 * [taylor]: Taking taylor expansion of t in y
8.223 * [taylor]: Taking taylor expansion of x in y
8.223 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
8.224 * [taylor]: Taking taylor expansion of (* x y) in y
8.224 * [taylor]: Taking taylor expansion of x in y
8.224 * [taylor]: Taking taylor expansion of y in y
8.224 * [taylor]: Taking taylor expansion of t in y
8.224 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
8.224 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
8.224 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
8.224 * [taylor]: Taking taylor expansion of (* z y) in t
8.224 * [taylor]: Taking taylor expansion of z in t
8.224 * [taylor]: Taking taylor expansion of y in t
8.224 * [taylor]: Taking taylor expansion of t in t
8.224 * [taylor]: Taking taylor expansion of x in t
8.224 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
8.224 * [taylor]: Taking taylor expansion of (* x y) in t
8.224 * [taylor]: Taking taylor expansion of x in t
8.224 * [taylor]: Taking taylor expansion of y in t
8.224 * [taylor]: Taking taylor expansion of t in t
8.224 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
8.224 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
8.224 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
8.224 * [taylor]: Taking taylor expansion of (* z y) in z
8.224 * [taylor]: Taking taylor expansion of z in z
8.224 * [taylor]: Taking taylor expansion of y in z
8.224 * [taylor]: Taking taylor expansion of t in z
8.225 * [taylor]: Taking taylor expansion of x in z
8.225 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
8.225 * [taylor]: Taking taylor expansion of (* x y) in z
8.225 * [taylor]: Taking taylor expansion of x in z
8.225 * [taylor]: Taking taylor expansion of y in z
8.225 * [taylor]: Taking taylor expansion of t in z
8.225 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
8.225 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
8.225 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
8.225 * [taylor]: Taking taylor expansion of (* z y) in x
8.225 * [taylor]: Taking taylor expansion of z in x
8.225 * [taylor]: Taking taylor expansion of y in x
8.225 * [taylor]: Taking taylor expansion of t in x
8.225 * [taylor]: Taking taylor expansion of x in x
8.225 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
8.225 * [taylor]: Taking taylor expansion of (* x y) in x
8.225 * [taylor]: Taking taylor expansion of x in x
8.225 * [taylor]: Taking taylor expansion of y in x
8.225 * [taylor]: Taking taylor expansion of t in x
8.225 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
8.225 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
8.225 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
8.225 * [taylor]: Taking taylor expansion of (* z y) in x
8.225 * [taylor]: Taking taylor expansion of z in x
8.225 * [taylor]: Taking taylor expansion of y in x
8.225 * [taylor]: Taking taylor expansion of t in x
8.225 * [taylor]: Taking taylor expansion of x in x
8.226 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
8.226 * [taylor]: Taking taylor expansion of (* x y) in x
8.226 * [taylor]: Taking taylor expansion of x in x
8.226 * [taylor]: Taking taylor expansion of y in x
8.226 * [taylor]: Taking taylor expansion of t in x
8.226 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
8.226 * [taylor]: Taking taylor expansion of (* z y) in z
8.226 * [taylor]: Taking taylor expansion of z in z
8.226 * [taylor]: Taking taylor expansion of y in z
8.226 * [taylor]: Taking taylor expansion of t in z
8.227 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in z
8.227 * [taylor]: Taking taylor expansion of 1 in z
8.227 * [taylor]: Taking taylor expansion of (/ y t) in z
8.227 * [taylor]: Taking taylor expansion of y in z
8.227 * [taylor]: Taking taylor expansion of t in z
8.227 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in t
8.227 * [taylor]: Taking taylor expansion of 1 in t
8.227 * [taylor]: Taking taylor expansion of (/ y t) in t
8.227 * [taylor]: Taking taylor expansion of y in t
8.227 * [taylor]: Taking taylor expansion of t in t
8.227 * [taylor]: Taking taylor expansion of (- y) in y
8.227 * [taylor]: Taking taylor expansion of y in y
8.227 * [taylor]: Taking taylor expansion of (/ y t) in t
8.228 * [taylor]: Taking taylor expansion of y in t
8.228 * [taylor]: Taking taylor expansion of t in t
8.228 * [taylor]: Taking taylor expansion of y in y
8.229 * [taylor]: Taking taylor expansion of 0 in z
8.229 * [taylor]: Taking taylor expansion of 0 in t
8.230 * [taylor]: Taking taylor expansion of 0 in t
8.230 * [taylor]: Taking taylor expansion of 0 in t
8.231 * [taylor]: Taking taylor expansion of 1 in y
8.232 * [taylor]: Taking taylor expansion of 0 in y
8.233 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x z t y) around 0
8.233 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
8.233 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
8.233 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
8.233 * [taylor]: Taking taylor expansion of t in y
8.233 * [taylor]: Taking taylor expansion of (* z y) in y
8.233 * [taylor]: Taking taylor expansion of z in y
8.233 * [taylor]: Taking taylor expansion of y in y
8.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.233 * [taylor]: Taking taylor expansion of x in y
8.233 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
8.233 * [taylor]: Taking taylor expansion of t in y
8.233 * [taylor]: Taking taylor expansion of (* x y) in y
8.233 * [taylor]: Taking taylor expansion of x in y
8.233 * [taylor]: Taking taylor expansion of y in y
8.234 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
8.234 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
8.234 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.234 * [taylor]: Taking taylor expansion of t in t
8.234 * [taylor]: Taking taylor expansion of (* z y) in t
8.234 * [taylor]: Taking taylor expansion of z in t
8.234 * [taylor]: Taking taylor expansion of y in t
8.234 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.234 * [taylor]: Taking taylor expansion of x in t
8.234 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
8.234 * [taylor]: Taking taylor expansion of t in t
8.234 * [taylor]: Taking taylor expansion of (* x y) in t
8.234 * [taylor]: Taking taylor expansion of x in t
8.234 * [taylor]: Taking taylor expansion of y in t
8.234 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
8.234 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
8.234 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.234 * [taylor]: Taking taylor expansion of t in z
8.234 * [taylor]: Taking taylor expansion of (* z y) in z
8.234 * [taylor]: Taking taylor expansion of z in z
8.234 * [taylor]: Taking taylor expansion of y in z
8.234 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.234 * [taylor]: Taking taylor expansion of x in z
8.234 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
8.234 * [taylor]: Taking taylor expansion of t in z
8.234 * [taylor]: Taking taylor expansion of (* x y) in z
8.234 * [taylor]: Taking taylor expansion of x in z
8.235 * [taylor]: Taking taylor expansion of y in z
8.235 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
8.235 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.235 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.235 * [taylor]: Taking taylor expansion of t in x
8.235 * [taylor]: Taking taylor expansion of (* z y) in x
8.235 * [taylor]: Taking taylor expansion of z in x
8.235 * [taylor]: Taking taylor expansion of y in x
8.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.235 * [taylor]: Taking taylor expansion of x in x
8.235 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.235 * [taylor]: Taking taylor expansion of t in x
8.235 * [taylor]: Taking taylor expansion of (* x y) in x
8.235 * [taylor]: Taking taylor expansion of x in x
8.235 * [taylor]: Taking taylor expansion of y in x
8.235 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
8.235 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.235 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.235 * [taylor]: Taking taylor expansion of t in x
8.235 * [taylor]: Taking taylor expansion of (* z y) in x
8.236 * [taylor]: Taking taylor expansion of z in x
8.236 * [taylor]: Taking taylor expansion of y in x
8.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.236 * [taylor]: Taking taylor expansion of x in x
8.236 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.236 * [taylor]: Taking taylor expansion of t in x
8.236 * [taylor]: Taking taylor expansion of (* x y) in x
8.236 * [taylor]: Taking taylor expansion of x in x
8.236 * [taylor]: Taking taylor expansion of y in x
8.237 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in z
8.237 * [taylor]: Taking taylor expansion of 1 in z
8.237 * [taylor]: Taking taylor expansion of (/ t y) in z
8.237 * [taylor]: Taking taylor expansion of t in z
8.237 * [taylor]: Taking taylor expansion of y in z
8.238 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.238 * [taylor]: Taking taylor expansion of t in z
8.238 * [taylor]: Taking taylor expansion of (* z y) in z
8.238 * [taylor]: Taking taylor expansion of z in z
8.238 * [taylor]: Taking taylor expansion of y in z
8.239 * [taylor]: Taking taylor expansion of (/ t y) in t
8.239 * [taylor]: Taking taylor expansion of t in t
8.239 * [taylor]: Taking taylor expansion of y in t
8.239 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in t
8.239 * [taylor]: Taking taylor expansion of 1 in t
8.239 * [taylor]: Taking taylor expansion of (/ t y) in t
8.239 * [taylor]: Taking taylor expansion of t in t
8.239 * [taylor]: Taking taylor expansion of y in t
8.239 * [taylor]: Taking taylor expansion of 1 in y
8.241 * [taylor]: Taking taylor expansion of 0 in z
8.242 * [taylor]: Taking taylor expansion of 0 in t
8.242 * [taylor]: Taking taylor expansion of 0 in y
8.243 * [taylor]: Taking taylor expansion of 0 in t
8.243 * [taylor]: Taking taylor expansion of 0 in y
8.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.243 * [taylor]: Taking taylor expansion of y in y
8.243 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
8.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.243 * [taylor]: Taking taylor expansion of y in y
8.244 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x z t y) around 0
8.244 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
8.244 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
8.244 * [taylor]: Taking taylor expansion of t in y
8.244 * [taylor]: Taking taylor expansion of (* x y) in y
8.244 * [taylor]: Taking taylor expansion of x in y
8.244 * [taylor]: Taking taylor expansion of y in y
8.245 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
8.245 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
8.245 * [taylor]: Taking taylor expansion of t in y
8.245 * [taylor]: Taking taylor expansion of (* z y) in y
8.245 * [taylor]: Taking taylor expansion of z in y
8.245 * [taylor]: Taking taylor expansion of y in y
8.245 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.245 * [taylor]: Taking taylor expansion of x in y
8.245 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
8.245 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
8.245 * [taylor]: Taking taylor expansion of t in t
8.245 * [taylor]: Taking taylor expansion of (* x y) in t
8.245 * [taylor]: Taking taylor expansion of x in t
8.245 * [taylor]: Taking taylor expansion of y in t
8.245 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
8.245 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.245 * [taylor]: Taking taylor expansion of t in t
8.245 * [taylor]: Taking taylor expansion of (* z y) in t
8.245 * [taylor]: Taking taylor expansion of z in t
8.245 * [taylor]: Taking taylor expansion of y in t
8.245 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.245 * [taylor]: Taking taylor expansion of x in t
8.245 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
8.245 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
8.245 * [taylor]: Taking taylor expansion of t in z
8.245 * [taylor]: Taking taylor expansion of (* x y) in z
8.245 * [taylor]: Taking taylor expansion of x in z
8.245 * [taylor]: Taking taylor expansion of y in z
8.246 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
8.246 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.246 * [taylor]: Taking taylor expansion of t in z
8.246 * [taylor]: Taking taylor expansion of (* z y) in z
8.246 * [taylor]: Taking taylor expansion of z in z
8.246 * [taylor]: Taking taylor expansion of y in z
8.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.246 * [taylor]: Taking taylor expansion of x in z
8.246 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
8.246 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.246 * [taylor]: Taking taylor expansion of t in x
8.246 * [taylor]: Taking taylor expansion of (* x y) in x
8.246 * [taylor]: Taking taylor expansion of x in x
8.246 * [taylor]: Taking taylor expansion of y in x
8.246 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.246 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.246 * [taylor]: Taking taylor expansion of t in x
8.246 * [taylor]: Taking taylor expansion of (* z y) in x
8.246 * [taylor]: Taking taylor expansion of z in x
8.246 * [taylor]: Taking taylor expansion of y in x
8.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.247 * [taylor]: Taking taylor expansion of x in x
8.247 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
8.247 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
8.247 * [taylor]: Taking taylor expansion of t in x
8.247 * [taylor]: Taking taylor expansion of (* x y) in x
8.247 * [taylor]: Taking taylor expansion of x in x
8.247 * [taylor]: Taking taylor expansion of y in x
8.247 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.247 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.247 * [taylor]: Taking taylor expansion of t in x
8.247 * [taylor]: Taking taylor expansion of (* z y) in x
8.247 * [taylor]: Taking taylor expansion of z in x
8.247 * [taylor]: Taking taylor expansion of y in x
8.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.247 * [taylor]: Taking taylor expansion of x in x
8.248 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in z
8.248 * [taylor]: Taking taylor expansion of (/ t y) in z
8.248 * [taylor]: Taking taylor expansion of t in z
8.248 * [taylor]: Taking taylor expansion of y in z
8.248 * [taylor]: Taking taylor expansion of 1 in z
8.250 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in z
8.250 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.250 * [taylor]: Taking taylor expansion of t in z
8.250 * [taylor]: Taking taylor expansion of (* z y) in z
8.250 * [taylor]: Taking taylor expansion of z in z
8.250 * [taylor]: Taking taylor expansion of y in z
8.250 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
8.250 * [taylor]: Taking taylor expansion of (/ t y) in t
8.250 * [taylor]: Taking taylor expansion of t in t
8.250 * [taylor]: Taking taylor expansion of y in t
8.250 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in t
8.250 * [taylor]: Taking taylor expansion of (/ t y) in t
8.250 * [taylor]: Taking taylor expansion of t in t
8.250 * [taylor]: Taking taylor expansion of y in t
8.250 * [taylor]: Taking taylor expansion of 1 in t
8.251 * [taylor]: Taking taylor expansion of -1 in y
8.253 * [taylor]: Taking taylor expansion of 0 in z
8.254 * [taylor]: Taking taylor expansion of 0 in t
8.254 * [taylor]: Taking taylor expansion of 0 in y
8.255 * [taylor]: Taking taylor expansion of 0 in t
8.255 * [taylor]: Taking taylor expansion of 0 in y
8.255 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
8.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.255 * [taylor]: Taking taylor expansion of y in y
8.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.255 * [taylor]: Taking taylor expansion of y in y
8.256 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
8.256 * [approximate]: Taking taylor expansion of (/ (- z x) t) in (z x t) around 0
8.256 * [taylor]: Taking taylor expansion of (/ (- z x) t) in t
8.256 * [taylor]: Taking taylor expansion of (- z x) in t
8.256 * [taylor]: Taking taylor expansion of z in t
8.256 * [taylor]: Taking taylor expansion of x in t
8.256 * [taylor]: Taking taylor expansion of t in t
8.256 * [taylor]: Taking taylor expansion of (/ (- z x) t) in x
8.256 * [taylor]: Taking taylor expansion of (- z x) in x
8.256 * [taylor]: Taking taylor expansion of z in x
8.256 * [taylor]: Taking taylor expansion of x in x
8.256 * [taylor]: Taking taylor expansion of t in x
8.257 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z
8.257 * [taylor]: Taking taylor expansion of (- z x) in z
8.257 * [taylor]: Taking taylor expansion of z in z
8.257 * [taylor]: Taking taylor expansion of x in z
8.257 * [taylor]: Taking taylor expansion of t in z
8.257 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z
8.257 * [taylor]: Taking taylor expansion of (- z x) in z
8.257 * [taylor]: Taking taylor expansion of z in z
8.257 * [taylor]: Taking taylor expansion of x in z
8.257 * [taylor]: Taking taylor expansion of t in z
8.257 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x
8.257 * [taylor]: Taking taylor expansion of -1 in x
8.257 * [taylor]: Taking taylor expansion of (/ x t) in x
8.257 * [taylor]: Taking taylor expansion of x in x
8.257 * [taylor]: Taking taylor expansion of t in x
8.258 * [taylor]: Taking taylor expansion of (/ 1 t) in x
8.258 * [taylor]: Taking taylor expansion of t in x
8.258 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.258 * [taylor]: Taking taylor expansion of t in t
8.258 * [taylor]: Taking taylor expansion of (/ -1 t) in t
8.258 * [taylor]: Taking taylor expansion of -1 in t
8.258 * [taylor]: Taking taylor expansion of t in t
8.259 * [taylor]: Taking taylor expansion of 0 in x
8.259 * [taylor]: Taking taylor expansion of 0 in t
8.259 * [taylor]: Taking taylor expansion of 0 in t
8.260 * [taylor]: Taking taylor expansion of 0 in t
8.261 * [taylor]: Taking taylor expansion of 0 in x
8.261 * [taylor]: Taking taylor expansion of 0 in t
8.261 * [taylor]: Taking taylor expansion of 0 in t
8.261 * [taylor]: Taking taylor expansion of 0 in t
8.262 * [taylor]: Taking taylor expansion of 0 in t
8.263 * [approximate]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in (z x t) around 0
8.263 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
8.263 * [taylor]: Taking taylor expansion of t in t
8.263 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
8.263 * [taylor]: Taking taylor expansion of (/ 1 z) in t
8.263 * [taylor]: Taking taylor expansion of z in t
8.263 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.263 * [taylor]: Taking taylor expansion of x in t
8.263 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
8.263 * [taylor]: Taking taylor expansion of t in x
8.263 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
8.263 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.263 * [taylor]: Taking taylor expansion of z in x
8.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.263 * [taylor]: Taking taylor expansion of x in x
8.263 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
8.263 * [taylor]: Taking taylor expansion of t in z
8.263 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
8.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.263 * [taylor]: Taking taylor expansion of z in z
8.264 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.264 * [taylor]: Taking taylor expansion of x in z
8.264 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
8.264 * [taylor]: Taking taylor expansion of t in z
8.264 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
8.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.264 * [taylor]: Taking taylor expansion of z in z
8.264 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.264 * [taylor]: Taking taylor expansion of x in z
8.264 * [taylor]: Taking taylor expansion of t in x
8.265 * [taylor]: Taking taylor expansion of (- (/ t x)) in x
8.265 * [taylor]: Taking taylor expansion of (/ t x) in x
8.265 * [taylor]: Taking taylor expansion of t in x
8.265 * [taylor]: Taking taylor expansion of x in x
8.265 * [taylor]: Taking taylor expansion of (- t) in t
8.265 * [taylor]: Taking taylor expansion of t in t
8.266 * [taylor]: Taking taylor expansion of t in t
8.267 * [taylor]: Taking taylor expansion of 0 in x
8.268 * [taylor]: Taking taylor expansion of 0 in t
8.268 * [taylor]: Taking taylor expansion of 0 in t
8.270 * [taylor]: Taking taylor expansion of 0 in x
8.270 * [taylor]: Taking taylor expansion of 0 in t
8.271 * [taylor]: Taking taylor expansion of 0 in t
8.271 * [taylor]: Taking taylor expansion of 0 in t
8.271 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 x) (/ 1 z)))) in (z x t) around 0
8.271 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 x) (/ 1 z)))) in t
8.271 * [taylor]: Taking taylor expansion of -1 in t
8.271 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
8.271 * [taylor]: Taking taylor expansion of t in t
8.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
8.272 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.272 * [taylor]: Taking taylor expansion of x in t
8.272 * [taylor]: Taking taylor expansion of (/ 1 z) in t
8.272 * [taylor]: Taking taylor expansion of z in t
8.272 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 x) (/ 1 z)))) in x
8.272 * [taylor]: Taking taylor expansion of -1 in x
8.272 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
8.272 * [taylor]: Taking taylor expansion of t in x
8.272 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
8.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.272 * [taylor]: Taking taylor expansion of x in x
8.272 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.272 * [taylor]: Taking taylor expansion of z in x
8.272 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 x) (/ 1 z)))) in z
8.272 * [taylor]: Taking taylor expansion of -1 in z
8.272 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
8.272 * [taylor]: Taking taylor expansion of t in z
8.272 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
8.272 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.272 * [taylor]: Taking taylor expansion of x in z
8.272 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.272 * [taylor]: Taking taylor expansion of z in z
8.272 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 x) (/ 1 z)))) in z
8.272 * [taylor]: Taking taylor expansion of -1 in z
8.272 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
8.273 * [taylor]: Taking taylor expansion of t in z
8.273 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
8.273 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.273 * [taylor]: Taking taylor expansion of x in z
8.273 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.273 * [taylor]: Taking taylor expansion of z in z
8.273 * [taylor]: Taking taylor expansion of t in x
8.274 * [taylor]: Taking taylor expansion of (- (/ t x)) in x
8.274 * [taylor]: Taking taylor expansion of (/ t x) in x
8.275 * [taylor]: Taking taylor expansion of t in x
8.275 * [taylor]: Taking taylor expansion of x in x
8.275 * [taylor]: Taking taylor expansion of (- t) in t
8.275 * [taylor]: Taking taylor expansion of t in t
8.275 * [taylor]: Taking taylor expansion of t in t
8.276 * [taylor]: Taking taylor expansion of 0 in x
8.277 * [taylor]: Taking taylor expansion of 0 in t
8.277 * [taylor]: Taking taylor expansion of 0 in t
8.280 * [taylor]: Taking taylor expansion of 0 in x
8.280 * [taylor]: Taking taylor expansion of 0 in t
8.281 * [taylor]: Taking taylor expansion of 0 in t
8.281 * [taylor]: Taking taylor expansion of 0 in t
8.284 * * * [progress]: simplifying candidates
8.285 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- z x) t) y)
  (+ (- (log (- z x)) (log t)) (log y))
  (+ (log (/ (- z x) t)) (log y))
  (log (* (/ (- z x) t) y))
  (exp (* (/ (- z x) t) y))
  (* (/ (* (* (- z x) (- z x)) (- z x)) (* (* t t) t)) (* (* y y) y))
  (* (* (* (/ (- z x) t) (/ (- z x) t)) (/ (- z x) t)) (* (* y y) y))
  (* (cbrt (* (/ (- z x) t) y)) (cbrt (* (/ (- z x) t) y)))
  (cbrt (* (/ (- z x) t) y))
  (* (* (* (/ (- z x) t) y) (* (/ (- z x) t) y)) (* (/ (- z x) t) y))
  (sqrt (* (/ (- z x) t) y))
  (sqrt (* (/ (- z x) t) y))
  (* (sqrt (/ (- z x) t)) (sqrt y))
  (* (sqrt (/ (- z x) t)) (sqrt y))
  (* (/ (sqrt (- z x)) (sqrt t)) (sqrt y))
  (* (/ (sqrt (- z x)) (sqrt t)) (sqrt y))
  (* (/ (- z x) t) (* (cbrt y) (cbrt y)))
  (* (/ (- z x) t) (sqrt y))
  (* (/ (- z x) t) 1)
  (* (cbrt (/ (- z x) t)) y)
  (* (sqrt (/ (- z x) t)) y)
  (* (/ (cbrt (- z x)) (cbrt t)) y)
  (* (/ (cbrt (- z x)) (sqrt t)) y)
  (* (/ (cbrt (- z x)) t) y)
  (* (/ (sqrt (- z x)) (cbrt t)) y)
  (* (/ (sqrt (- z x)) (sqrt t)) y)
  (* (/ (sqrt (- z x)) t) y)
  (* (/ (- z x) (cbrt t)) y)
  (* (/ (- z x) (sqrt t)) y)
  (* (/ (- z x) t) y)
  (* (/ (- (sqrt z) (sqrt x)) (cbrt t)) y)
  (* (/ (- (sqrt z) (sqrt x)) (sqrt t)) y)
  (* (/ (- (sqrt z) (sqrt x)) t) y)
  (* (/ (- z x) (cbrt t)) y)
  (* (/ (- z x) (sqrt t)) y)
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (* (/ 1 t) y)
  (* (- z x) y)
  (* (exp x) (exp (* (/ (- z x) t) y)))
  (log (+ x (* (/ (- z x) t) y)))
  (exp (+ x (* (/ (- z x) t) y)))
  (* (cbrt (+ x (* (/ (- z x) t) y))) (cbrt (+ x (* (/ (- z x) t) y))))
  (cbrt (+ x (* (/ (- z x) t) y)))
  (* (* (+ x (* (/ (- z x) t) y)) (+ x (* (/ (- z x) t) y))) (+ x (* (/ (- z x) t) y)))
  (sqrt (+ x (* (/ (- z x) t) y)))
  (sqrt (+ x (* (/ (- z x) t) y)))
  (+ (pow x 3) (pow (* (/ (- z x) t) y) 3))
  (+ (* x x) (- (* (* (/ (- z x) t) y) (* (/ (- z x) t) y)) (* x (* (/ (- z x) t) y))))
  (- (* x x) (* (* (/ (- z x) t) y) (* (/ (- z x) t) y)))
  (- x (* (/ (- z x) t) y))
  (- (log (- z x)) (log t))
  (log (/ (- z x) t))
  (exp (/ (- z x) t))
  (/ (* (* (- z x) (- z x)) (- z x)) (* (* t t) t))
  (* (cbrt (/ (- z x) t)) (cbrt (/ (- z x) t)))
  (cbrt (/ (- z x) t))
  (* (* (/ (- z x) t) (/ (- z x) t)) (/ (- z x) t))
  (sqrt (/ (- z x) t))
  (sqrt (/ (- z x) t))
  (- (- z x))
  (- t)
  (/ z t)
  (/ x t)
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- z x)) (cbrt t))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ (cbrt (- z x)) (sqrt t))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)
  (/ (cbrt (- z x)) t)
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (cbrt t))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) 1)
  (/ (sqrt (- z x)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- z x) (sqrt t))
  (/ 1 1)
  (/ (- z x) t)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt z) (sqrt x)) (cbrt t))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ (- (sqrt z) (sqrt x)) (sqrt t))
  (/ (+ (sqrt z) (sqrt x)) 1)
  (/ (- (sqrt z) (sqrt x)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- z x) (sqrt t))
  (/ 1 1)
  (/ (- z x) t)
  (/ 1 t)
  (/ t (- z x))
  (/ (- z x) (* (cbrt t) (cbrt t)))
  (/ (- z x) (sqrt t))
  (/ (- z x) 1)
  (/ t (cbrt (- z x)))
  (/ t (sqrt (- z x)))
  (/ t (- z x))
  (/ t (- (sqrt z) (sqrt x)))
  (/ t (- z x))
  (* t (+ (* z z) (+ (* x x) (* z x))))
  (* t (+ z x))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (/ z t) (/ x t))
  (- (/ z t) (/ x t))
  (- (/ z t) (/ x t))
8.289 * * [simplify]: iteration  0 :  138  enodes  (cost  1033 )
8.310 * * [simplify]: iteration  1 :  347  enodes  (cost  984 )
8.397 * * [simplify]: iteration  2 :  951  enodes  (cost  916 )
8.896 * * [simplify]: iteration  3 :  4152  enodes  (cost  892 )
9.931 * * [simplify]: iteration  done :  5000  enodes  (cost  891 )
9.932 * [simplify]: Simplified to:
   (* (/ (- z x) t) y)
  (log (* (/ (- z x) t) y))
  (log (* (/ (- z x) t) y))
  (log (* (/ (- z x) t) y))
  (exp (* (/ (- z x) t) y))
  (pow (* (/ (- z x) t) y) 3)
  (pow (* (/ (- z x) t) y) 3)
  (* (cbrt (* (/ (- z x) t) y)) (cbrt (* (/ (- z x) t) y)))
  (cbrt (* (/ (- z x) t) y))
  (pow (* (/ (- z x) t) y) 3)
  (sqrt (* (/ (- z x) t) y))
  (sqrt (* (/ (- z x) t) y))
  (* (sqrt (/ (- z x) t)) (sqrt y))
  (* (sqrt (/ (- z x) t)) (sqrt y))
  (* (/ (sqrt (- z x)) (sqrt t)) (sqrt y))
  (* (/ (sqrt (- z x)) (sqrt t)) (sqrt y))
  (* (/ (- z x) t) (* (cbrt y) (cbrt y)))
  (* (/ (- z x) t) (sqrt y))
  (/ (- z x) t)
  (* (cbrt (/ (- z x) t)) y)
  (* (sqrt (/ (- z x) t)) y)
  (* (/ (cbrt (- z x)) (cbrt t)) y)
  (* (/ (cbrt (- z x)) (sqrt t)) y)
  (* (/ (cbrt (- z x)) t) y)
  (* (/ (sqrt (- z x)) (cbrt t)) y)
  (* (/ (sqrt (- z x)) (sqrt t)) y)
  (* (/ (sqrt (- z x)) t) y)
  (* (/ (- z x) (cbrt t)) y)
  (* (/ (- z x) (sqrt t)) y)
  (* (/ (- z x) t) y)
  (* (/ (- (sqrt z) (sqrt x)) (cbrt t)) y)
  (* (/ (- (sqrt z) (sqrt x)) (sqrt t)) y)
  (* (/ (- (sqrt z) (sqrt x)) t) y)
  (* (/ (- z x) (cbrt t)) y)
  (* (/ (- z x) (sqrt t)) y)
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (/ y t)
  (* (- z x) y)
  (exp (+ x (* (/ (- z x) t) y)))
  (log (+ x (* (/ (- z x) t) y)))
  (exp (+ x (* (/ (- z x) t) y)))
  (* (cbrt (+ x (* (/ (- z x) t) y))) (cbrt (+ x (* (/ (- z x) t) y))))
  (cbrt (+ x (* (/ (- z x) t) y)))
  (pow (+ x (* (/ (- z x) t) y)) 3)
  (sqrt (+ x (* (/ (- z x) t) y)))
  (sqrt (+ x (* (/ (- z x) t) y)))
  (+ (pow x 3) (pow (* (/ (- z x) t) y) 3))
  (+ (* x x) (* (* (/ (- z x) t) y) (- (* (/ (- z x) t) y) x)))
  (- (* x x) (* (* (/ (- z x) t) y) (* (/ (- z x) t) y)))
  (- x (* (/ (- z x) t) y))
  (log (/ (- z x) t))
  (log (/ (- z x) t))
  (exp (/ (- z x) t))
  (pow (/ (- z x) t) 3)
  (* (cbrt (/ (- z x) t)) (cbrt (/ (- z x) t)))
  (cbrt (/ (- z x) t))
  (pow (/ (- z x) t) 3)
  (sqrt (/ (- z x) t))
  (sqrt (/ (- z x) t))
  (- x z)
  (- t)
  (/ z t)
  (/ x t)
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- z x)) (cbrt t))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ (cbrt (- z x)) (sqrt t))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ (cbrt (- z x)) t)
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (cbrt t))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (sqrt t))
  (sqrt (- z x))
  (/ (sqrt (- z x)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- z x) (sqrt t))
  1
  (/ (- z x) t)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt z) (sqrt x)) (cbrt t))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ (- (sqrt z) (sqrt x)) (sqrt t))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt z) (sqrt x)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- z x) (sqrt t))
  1
  (/ (- z x) t)
  (/ 1 t)
  (/ t (- z x))
  (/ (- z x) (* (cbrt t) (cbrt t)))
  (/ (- z x) (sqrt t))
  (- z x)
  (/ t (cbrt (- z x)))
  (/ t (sqrt (- z x)))
  (/ t (- z x))
  (/ t (- (sqrt z) (sqrt x)))
  (/ t (- z x))
  (* (+ (* x (+ z x)) (* z z)) t)
  (* t (+ z x))
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (* (/ (- z x) t) y)
  (+ x (* (/ (- z x) t) y))
  (+ x (* (/ (- z x) t) y))
  (+ x (* (/ (- z x) t) y))
  (/ (- z x) t)
  (/ (- z x) t)
  (/ (- z x) t)
9.932 * * * [progress]: adding candidates to table
10.106 * [progress]: [Phase 3 of 3] Extracting.
10.106 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.108 * * * [regime-changes]: Trying 5 branch expressions: ((+ x (/ (* y (- z x)) t)) t z y x)
10.108 * * * * [regimes]: Trying to branch on (+ x (/ (* y (- z x)) t)) from (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.135 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.161 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.178 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.204 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.231 * * * [regime]: Found split indices: #<option (#s(si 0 15) #s(si 2 237) #s(si 1 255))>
10.232 * [binary-search]: Only using regimes for bounds on (+ x (/ (* y (- z x)) t)) and (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.232 * [regimes]: Found splitpoints: (#s(sp 0 (+ x (/ (* y (- z x)) t)) -3.5716433716928375e+297) #s(sp 2 (+ x (/ (* y (- z x)) t)) 1.8301494225514242e+297) #s(sp 1 (+ x (/ (* y (- z x)) t)) +nan.0)) , with alts (#<alt (λ (x y z t) (+ x (/ (- z x) (/ t y))))> #<alt (λ (x y z t) (+ x (/ y (/ t (- z x)))))> #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))> #<alt (λ (x y z t) (+ x (* (/ (- z x) t) y)))>)
10.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (+ x (/ (* y (- z x)) t)) -3.5716433716928375e+297) (+ x (/ (- z x) (/ t y))) (if (<= (+ x (/ (* y (- z x)) t)) 1.8301494225514242e+297) (+ x (/ (* y (- z x)) t)) (+ x (/ y (/ t (- z x))))))
10.233 * * [simplify]: iteration  0 :  20  enodes  (cost  51 )
10.233 * * [simplify]: iteration  1 :  24  enodes  (cost  51 )
10.234 * * [simplify]: iteration  done :  24  enodes  (cost  51 )
10.234 * [simplify]: Simplified to:
   (if (<= (+ x (/ (* y (- z x)) t)) -3.5716433716928375e+297) (+ x (/ (- z x) (/ t y))) (if (<= (+ x (/ (* y (- z x)) t)) 1.8301494225514242e+297) (+ x (/ (* y (- z x)) t)) (+ x (/ y (/ t (- z x))))))
10.899 * [regime-testing]: Baseline error score: 1.945116330778658
10.900 * [regime-testing]: Oracle error score: 0.017377172146518315
10.901 * [regime-testing]: End program error score: 0.7916647470988709
10.923 * [regime-testing]: Target error score: 2.00562791952395