9.020 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.876 * * * [progress]: [2/2] Setting up program.
0.879 * [progress]: [Phase 2 of 3] Improving.
0.880 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.939 * * [simplify]: iteration  0 :  720  enodes  (cost  13 )
0.939 * * [simplify]: iteration  1 :  720  enodes  (cost  13 )
0.940 * [simplify]: Simplified to:
   (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.943 * * [progress]: iteration 1 / 4
0.943 * * * [progress]: picking best candidate
0.946 * * * * [pick]: Picked  #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))>
0.946 * * * [progress]: localizing error
0.952 * * * [progress]: generating rewritten candidates
0.952 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.964 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.970 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.977 * * * [progress]: generating series expansions
0.977 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.977 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0
0.977 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
0.977 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
0.977 * [taylor]: Taking taylor expansion of y in a
0.977 * [taylor]: Taking taylor expansion of (- z t) in a
0.977 * [taylor]: Taking taylor expansion of z in a
0.978 * [taylor]: Taking taylor expansion of t in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
0.978 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
0.978 * [taylor]: Taking taylor expansion of y in t
0.978 * [taylor]: Taking taylor expansion of (- z t) in t
0.978 * [taylor]: Taking taylor expansion of z in t
0.978 * [taylor]: Taking taylor expansion of t in t
0.978 * [taylor]: Taking taylor expansion of a in t
0.978 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
0.978 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
0.978 * [taylor]: Taking taylor expansion of y in z
0.978 * [taylor]: Taking taylor expansion of (- z t) in z
0.978 * [taylor]: Taking taylor expansion of z in z
0.978 * [taylor]: Taking taylor expansion of t in z
0.978 * [taylor]: Taking taylor expansion of a in z
0.978 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
0.978 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.978 * [taylor]: Taking taylor expansion of y in y
0.978 * [taylor]: Taking taylor expansion of (- z t) in y
0.978 * [taylor]: Taking taylor expansion of z in y
0.978 * [taylor]: Taking taylor expansion of t in y
0.978 * [taylor]: Taking taylor expansion of a in y
0.978 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
0.978 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.978 * [taylor]: Taking taylor expansion of y in y
0.978 * [taylor]: Taking taylor expansion of (- z t) in y
0.978 * [taylor]: Taking taylor expansion of z in y
0.978 * [taylor]: Taking taylor expansion of t in y
0.978 * [taylor]: Taking taylor expansion of a in y
0.979 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
0.979 * [taylor]: Taking taylor expansion of (- z t) in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.979 * [taylor]: Taking taylor expansion of t in z
0.979 * [taylor]: Taking taylor expansion of a in z
0.979 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
0.979 * [taylor]: Taking taylor expansion of -1 in t
0.979 * [taylor]: Taking taylor expansion of (/ t a) in t
0.979 * [taylor]: Taking taylor expansion of t in t
0.979 * [taylor]: Taking taylor expansion of a in t
0.979 * [taylor]: Taking taylor expansion of 0 in z
0.979 * [taylor]: Taking taylor expansion of 0 in t
0.979 * [taylor]: Taking taylor expansion of 0 in a
0.979 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.979 * [taylor]: Taking taylor expansion of a in t
0.979 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.979 * [taylor]: Taking taylor expansion of a in a
0.979 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.979 * [taylor]: Taking taylor expansion of -1 in a
0.979 * [taylor]: Taking taylor expansion of a in a
0.980 * [taylor]: Taking taylor expansion of 0 in z
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in z
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in t
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in t
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0
0.981 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
0.981 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
0.981 * [taylor]: Taking taylor expansion of a in a
0.981 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
0.981 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.981 * [taylor]: Taking taylor expansion of z in a
0.981 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.981 * [taylor]: Taking taylor expansion of t in a
0.982 * [taylor]: Taking taylor expansion of y in a
0.982 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
0.982 * [taylor]: Taking taylor expansion of a in t
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.982 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.982 * [taylor]: Taking taylor expansion of z in t
0.982 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.982 * [taylor]: Taking taylor expansion of t in t
0.982 * [taylor]: Taking taylor expansion of y in t
0.982 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
0.982 * [taylor]: Taking taylor expansion of a in z
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.982 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.982 * [taylor]: Taking taylor expansion of z in z
0.982 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.982 * [taylor]: Taking taylor expansion of t in z
0.982 * [taylor]: Taking taylor expansion of y in z
0.982 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
0.982 * [taylor]: Taking taylor expansion of a in y
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.982 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.982 * [taylor]: Taking taylor expansion of t in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
0.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
0.983 * [taylor]: Taking taylor expansion of a in y
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.983 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.983 * [taylor]: Taking taylor expansion of z in y
0.983 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.983 * [taylor]: Taking taylor expansion of t in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
0.983 * [taylor]: Taking taylor expansion of a in z
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.983 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.983 * [taylor]: Taking taylor expansion of z in z
0.983 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.983 * [taylor]: Taking taylor expansion of t in z
0.983 * [taylor]: Taking taylor expansion of a in t
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.984 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
0.984 * [taylor]: Taking taylor expansion of (/ a t) in t
0.984 * [taylor]: Taking taylor expansion of a in t
0.984 * [taylor]: Taking taylor expansion of t in t
0.984 * [taylor]: Taking taylor expansion of (neg a) in a
0.984 * [taylor]: Taking taylor expansion of a in a
0.984 * [taylor]: Taking taylor expansion of a in a
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.984 * [taylor]: Taking taylor expansion of 0 in t
0.984 * [taylor]: Taking taylor expansion of 0 in t
0.985 * [taylor]: Taking taylor expansion of 0 in a
0.985 * [taylor]: Taking taylor expansion of 0 in a
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in t
0.985 * [taylor]: Taking taylor expansion of 0 in t
0.985 * [taylor]: Taking taylor expansion of 0 in t
0.985 * [taylor]: Taking taylor expansion of 0 in a
0.985 * [taylor]: Taking taylor expansion of 0 in a
0.986 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0
0.986 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
0.986 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
0.986 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.986 * [taylor]: Taking taylor expansion of t in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.986 * [taylor]: Taking taylor expansion of z in a
0.986 * [taylor]: Taking taylor expansion of a in a
0.986 * [taylor]: Taking taylor expansion of y in a
0.986 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
0.986 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
0.986 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.986 * [taylor]: Taking taylor expansion of t in t
0.986 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.986 * [taylor]: Taking taylor expansion of z in t
0.986 * [taylor]: Taking taylor expansion of a in t
0.986 * [taylor]: Taking taylor expansion of y in t
0.986 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
0.986 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.987 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.987 * [taylor]: Taking taylor expansion of t in z
0.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.987 * [taylor]: Taking taylor expansion of z in z
0.987 * [taylor]: Taking taylor expansion of a in z
0.987 * [taylor]: Taking taylor expansion of y in z
0.987 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
0.987 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.987 * [taylor]: Taking taylor expansion of t in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.987 * [taylor]: Taking taylor expansion of z in y
0.987 * [taylor]: Taking taylor expansion of a in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
0.987 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.987 * [taylor]: Taking taylor expansion of t in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.987 * [taylor]: Taking taylor expansion of z in y
0.987 * [taylor]: Taking taylor expansion of a in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
0.988 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.988 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.988 * [taylor]: Taking taylor expansion of t in z
0.988 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.988 * [taylor]: Taking taylor expansion of z in z
0.988 * [taylor]: Taking taylor expansion of a in z
0.988 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.988 * [taylor]: Taking taylor expansion of -1 in t
0.988 * [taylor]: Taking taylor expansion of a in t
0.988 * [taylor]: Taking taylor expansion of 0 in z
0.988 * [taylor]: Taking taylor expansion of (/ a t) in t
0.988 * [taylor]: Taking taylor expansion of a in t
0.988 * [taylor]: Taking taylor expansion of t in t
0.988 * [taylor]: Taking taylor expansion of a in a
0.988 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.988 * [taylor]: Taking taylor expansion of -1 in a
0.988 * [taylor]: Taking taylor expansion of a in a
0.989 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [taylor]: Taking taylor expansion of 0 in t
0.989 * [taylor]: Taking taylor expansion of 0 in t
0.989 * [taylor]: Taking taylor expansion of 0 in a
0.989 * [taylor]: Taking taylor expansion of 0 in a
0.990 * [taylor]: Taking taylor expansion of 0 in z
0.990 * [taylor]: Taking taylor expansion of 0 in t
0.990 * [taylor]: Taking taylor expansion of 0 in t
0.990 * [taylor]: Taking taylor expansion of 0 in t
0.990 * [taylor]: Taking taylor expansion of 0 in a
0.990 * [taylor]: Taking taylor expansion of 0 in a
0.990 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.990 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0
0.990 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
0.991 * [taylor]: Taking taylor expansion of y in t
0.991 * [taylor]: Taking taylor expansion of (- z t) in t
0.991 * [taylor]: Taking taylor expansion of z in t
0.991 * [taylor]: Taking taylor expansion of t in t
0.991 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
0.991 * [taylor]: Taking taylor expansion of y in z
0.991 * [taylor]: Taking taylor expansion of (- z t) in z
0.991 * [taylor]: Taking taylor expansion of z in z
0.991 * [taylor]: Taking taylor expansion of t in z
0.991 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [taylor]: Taking taylor expansion of (- z t) in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of t in y
0.991 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [taylor]: Taking taylor expansion of (- z t) in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of t in y
0.991 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of (- z t) in z
0.991 * [taylor]: Taking taylor expansion of z in z
0.991 * [taylor]: Taking taylor expansion of t in z
0.991 * [taylor]: Taking taylor expansion of (neg t) in t
0.991 * [taylor]: Taking taylor expansion of t in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 1 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.992 * [taylor]: Taking taylor expansion of 0 in t
0.992 * [taylor]: Taking taylor expansion of 0 in t
0.992 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0
0.992 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.992 * [taylor]: Taking taylor expansion of z in t
0.992 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.992 * [taylor]: Taking taylor expansion of t in t
0.992 * [taylor]: Taking taylor expansion of y in t
0.992 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.992 * [taylor]: Taking taylor expansion of z in z
0.992 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.992 * [taylor]: Taking taylor expansion of t in z
0.992 * [taylor]: Taking taylor expansion of y in z
0.992 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.992 * [taylor]: Taking taylor expansion of z in y
0.992 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.992 * [taylor]: Taking taylor expansion of t in y
0.992 * [taylor]: Taking taylor expansion of y in y
0.992 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.992 * [taylor]: Taking taylor expansion of z in y
0.993 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.993 * [taylor]: Taking taylor expansion of t in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.993 * [taylor]: Taking taylor expansion of z in z
0.993 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.993 * [taylor]: Taking taylor expansion of t in z
0.993 * [taylor]: Taking taylor expansion of 1 in t
0.993 * [taylor]: Taking taylor expansion of 0 in z
0.993 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.993 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.993 * [taylor]: Taking taylor expansion of t in t
0.993 * [taylor]: Taking taylor expansion of 0 in z
0.994 * [taylor]: Taking taylor expansion of 0 in t
0.994 * [taylor]: Taking taylor expansion of 0 in t
0.994 * [taylor]: Taking taylor expansion of 0 in z
0.994 * [taylor]: Taking taylor expansion of 0 in t
0.994 * [taylor]: Taking taylor expansion of 0 in t
0.994 * [taylor]: Taking taylor expansion of 0 in t
0.995 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0
0.995 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t
0.995 * [taylor]: Taking taylor expansion of -1 in t
0.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.995 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.995 * [taylor]: Taking taylor expansion of t in t
0.995 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.995 * [taylor]: Taking taylor expansion of z in t
0.995 * [taylor]: Taking taylor expansion of y in t
0.995 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z
0.995 * [taylor]: Taking taylor expansion of -1 in z
0.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.995 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.995 * [taylor]: Taking taylor expansion of t in z
0.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.995 * [taylor]: Taking taylor expansion of z in z
0.995 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
0.996 * [taylor]: Taking taylor expansion of -1 in y
0.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.996 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.996 * [taylor]: Taking taylor expansion of t in y
0.996 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.996 * [taylor]: Taking taylor expansion of z in y
0.996 * [taylor]: Taking taylor expansion of y in y
0.996 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
0.996 * [taylor]: Taking taylor expansion of -1 in y
0.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.996 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.996 * [taylor]: Taking taylor expansion of t in y
0.996 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.996 * [taylor]: Taking taylor expansion of z in y
0.996 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
0.997 * [taylor]: Taking taylor expansion of -1 in z
0.997 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.997 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.997 * [taylor]: Taking taylor expansion of t in z
0.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.997 * [taylor]: Taking taylor expansion of z in z
0.997 * [taylor]: Taking taylor expansion of 1 in t
0.997 * [taylor]: Taking taylor expansion of 0 in z
0.997 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.997 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.997 * [taylor]: Taking taylor expansion of t in t
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.998 * [taylor]: Taking taylor expansion of 0 in t
0.998 * [taylor]: Taking taylor expansion of 0 in t
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.998 * [taylor]: Taking taylor expansion of 0 in t
0.998 * [taylor]: Taking taylor expansion of 0 in t
0.999 * [taylor]: Taking taylor expansion of 0 in t
0.999 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.999 * [approximate]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in (x y z t a) around 0
0.999 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in a
0.999 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in a
0.999 * [taylor]: Taking taylor expansion of x in a
0.999 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
0.999 * [taylor]: Taking taylor expansion of (* t y) in a
0.999 * [taylor]: Taking taylor expansion of t in a
0.999 * [taylor]: Taking taylor expansion of y in a
0.999 * [taylor]: Taking taylor expansion of a in a
0.999 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
0.999 * [taylor]: Taking taylor expansion of (* z y) in a
0.999 * [taylor]: Taking taylor expansion of z in a
0.999 * [taylor]: Taking taylor expansion of y in a
0.999 * [taylor]: Taking taylor expansion of a in a
0.999 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in t
0.999 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in t
0.999 * [taylor]: Taking taylor expansion of x in t
0.999 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
0.999 * [taylor]: Taking taylor expansion of (* t y) in t
0.999 * [taylor]: Taking taylor expansion of t in t
1.000 * [taylor]: Taking taylor expansion of y in t
1.000 * [taylor]: Taking taylor expansion of a in t
1.000 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
1.000 * [taylor]: Taking taylor expansion of (* z y) in t
1.000 * [taylor]: Taking taylor expansion of z in t
1.000 * [taylor]: Taking taylor expansion of y in t
1.000 * [taylor]: Taking taylor expansion of a in t
1.000 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in z
1.000 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in z
1.000 * [taylor]: Taking taylor expansion of x in z
1.000 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
1.000 * [taylor]: Taking taylor expansion of (* t y) in z
1.000 * [taylor]: Taking taylor expansion of t in z
1.000 * [taylor]: Taking taylor expansion of y in z
1.000 * [taylor]: Taking taylor expansion of a in z
1.000 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
1.000 * [taylor]: Taking taylor expansion of (* z y) in z
1.000 * [taylor]: Taking taylor expansion of z in z
1.000 * [taylor]: Taking taylor expansion of y in z
1.000 * [taylor]: Taking taylor expansion of a in z
1.000 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in y
1.000 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in y
1.000 * [taylor]: Taking taylor expansion of x in y
1.000 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.000 * [taylor]: Taking taylor expansion of (* t y) in y
1.000 * [taylor]: Taking taylor expansion of t in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of a in y
1.000 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.000 * [taylor]: Taking taylor expansion of (* z y) in y
1.000 * [taylor]: Taking taylor expansion of z in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of a in y
1.000 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.000 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.000 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.000 * [taylor]: Taking taylor expansion of (* t y) in x
1.000 * [taylor]: Taking taylor expansion of t in x
1.000 * [taylor]: Taking taylor expansion of y in x
1.000 * [taylor]: Taking taylor expansion of a in x
1.001 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.001 * [taylor]: Taking taylor expansion of (* z y) in x
1.001 * [taylor]: Taking taylor expansion of z in x
1.001 * [taylor]: Taking taylor expansion of y in x
1.001 * [taylor]: Taking taylor expansion of a in x
1.001 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.001 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.001 * [taylor]: Taking taylor expansion of (* t y) in x
1.001 * [taylor]: Taking taylor expansion of t in x
1.001 * [taylor]: Taking taylor expansion of y in x
1.001 * [taylor]: Taking taylor expansion of a in x
1.001 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.001 * [taylor]: Taking taylor expansion of (* z y) in x
1.001 * [taylor]: Taking taylor expansion of z in x
1.001 * [taylor]: Taking taylor expansion of y in x
1.001 * [taylor]: Taking taylor expansion of a in x
1.001 * [taylor]: Taking taylor expansion of (- (/ (* t y) a) (/ (* z y) a)) in y
1.001 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.001 * [taylor]: Taking taylor expansion of (* t y) in y
1.001 * [taylor]: Taking taylor expansion of t in y
1.001 * [taylor]: Taking taylor expansion of y in y
1.001 * [taylor]: Taking taylor expansion of a in y
1.001 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.001 * [taylor]: Taking taylor expansion of (* z y) in y
1.001 * [taylor]: Taking taylor expansion of z in y
1.001 * [taylor]: Taking taylor expansion of y in y
1.001 * [taylor]: Taking taylor expansion of a in y
1.002 * [taylor]: Taking taylor expansion of 1 in y
1.002 * [taylor]: Taking taylor expansion of 1 in z
1.002 * [taylor]: Taking taylor expansion of 1 in t
1.002 * [taylor]: Taking taylor expansion of 1 in a
1.002 * [taylor]: Taking taylor expansion of (- (/ t a) (/ z a)) in z
1.002 * [taylor]: Taking taylor expansion of (/ t a) in z
1.002 * [taylor]: Taking taylor expansion of t in z
1.002 * [taylor]: Taking taylor expansion of a in z
1.002 * [taylor]: Taking taylor expansion of (/ z a) in z
1.002 * [taylor]: Taking taylor expansion of z in z
1.002 * [taylor]: Taking taylor expansion of a in z
1.002 * [taylor]: Taking taylor expansion of (/ t a) in t
1.002 * [taylor]: Taking taylor expansion of t in t
1.002 * [taylor]: Taking taylor expansion of a in t
1.002 * [taylor]: Taking taylor expansion of 0 in y
1.002 * [taylor]: Taking taylor expansion of 0 in z
1.002 * [taylor]: Taking taylor expansion of 0 in t
1.002 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of 0 in z
1.003 * [taylor]: Taking taylor expansion of 0 in t
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of 0 in z
1.003 * [taylor]: Taking taylor expansion of 0 in t
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of 0 in t
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.003 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.003 * [taylor]: Taking taylor expansion of a in t
1.003 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.003 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.003 * [taylor]: Taking taylor expansion of a in a
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.003 * [taylor]: Taking taylor expansion of a in a
1.004 * [approximate]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in (x y z t a) around 0
1.004 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in a
1.004 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.004 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.004 * [taylor]: Taking taylor expansion of a in a
1.004 * [taylor]: Taking taylor expansion of (* y t) in a
1.004 * [taylor]: Taking taylor expansion of y in a
1.004 * [taylor]: Taking taylor expansion of t in a
1.004 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.004 * [taylor]: Taking taylor expansion of x in a
1.004 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.004 * [taylor]: Taking taylor expansion of a in a
1.004 * [taylor]: Taking taylor expansion of (* z y) in a
1.004 * [taylor]: Taking taylor expansion of z in a
1.004 * [taylor]: Taking taylor expansion of y in a
1.004 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in t
1.004 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.004 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.004 * [taylor]: Taking taylor expansion of a in t
1.004 * [taylor]: Taking taylor expansion of (* y t) in t
1.004 * [taylor]: Taking taylor expansion of y in t
1.004 * [taylor]: Taking taylor expansion of t in t
1.004 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.004 * [taylor]: Taking taylor expansion of x in t
1.004 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.004 * [taylor]: Taking taylor expansion of a in t
1.004 * [taylor]: Taking taylor expansion of (* z y) in t
1.004 * [taylor]: Taking taylor expansion of z in t
1.004 * [taylor]: Taking taylor expansion of y in t
1.004 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in z
1.004 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.004 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.005 * [taylor]: Taking taylor expansion of a in z
1.005 * [taylor]: Taking taylor expansion of (* y t) in z
1.005 * [taylor]: Taking taylor expansion of y in z
1.005 * [taylor]: Taking taylor expansion of t in z
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.005 * [taylor]: Taking taylor expansion of x in z
1.005 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.005 * [taylor]: Taking taylor expansion of a in z
1.005 * [taylor]: Taking taylor expansion of (* z y) in z
1.005 * [taylor]: Taking taylor expansion of z in z
1.005 * [taylor]: Taking taylor expansion of y in z
1.005 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in y
1.005 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.005 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.005 * [taylor]: Taking taylor expansion of a in y
1.005 * [taylor]: Taking taylor expansion of (* y t) in y
1.005 * [taylor]: Taking taylor expansion of y in y
1.005 * [taylor]: Taking taylor expansion of t in y
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.005 * [taylor]: Taking taylor expansion of x in y
1.005 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.005 * [taylor]: Taking taylor expansion of a in y
1.005 * [taylor]: Taking taylor expansion of (* z y) in y
1.005 * [taylor]: Taking taylor expansion of z in y
1.005 * [taylor]: Taking taylor expansion of y in y
1.005 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.005 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.005 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.005 * [taylor]: Taking taylor expansion of a in x
1.005 * [taylor]: Taking taylor expansion of (* y t) in x
1.005 * [taylor]: Taking taylor expansion of y in x
1.005 * [taylor]: Taking taylor expansion of t in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.005 * [taylor]: Taking taylor expansion of a in x
1.005 * [taylor]: Taking taylor expansion of (* z y) in x
1.005 * [taylor]: Taking taylor expansion of z in x
1.005 * [taylor]: Taking taylor expansion of y in x
1.005 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.005 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.006 * [taylor]: Taking taylor expansion of a in x
1.006 * [taylor]: Taking taylor expansion of (* y t) in x
1.006 * [taylor]: Taking taylor expansion of y in x
1.006 * [taylor]: Taking taylor expansion of t in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.006 * [taylor]: Taking taylor expansion of a in x
1.006 * [taylor]: Taking taylor expansion of (* z y) in x
1.006 * [taylor]: Taking taylor expansion of z in x
1.006 * [taylor]: Taking taylor expansion of y in x
1.006 * [taylor]: Taking taylor expansion of 1 in y
1.006 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
1.006 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.006 * [taylor]: Taking taylor expansion of a in y
1.006 * [taylor]: Taking taylor expansion of (* y t) in y
1.006 * [taylor]: Taking taylor expansion of y in y
1.006 * [taylor]: Taking taylor expansion of t in y
1.006 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.006 * [taylor]: Taking taylor expansion of a in y
1.006 * [taylor]: Taking taylor expansion of (* z y) in y
1.006 * [taylor]: Taking taylor expansion of z in y
1.006 * [taylor]: Taking taylor expansion of y in y
1.006 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z
1.006 * [taylor]: Taking taylor expansion of (/ a t) in z
1.006 * [taylor]: Taking taylor expansion of a in z
1.006 * [taylor]: Taking taylor expansion of t in z
1.007 * [taylor]: Taking taylor expansion of (/ a z) in z
1.007 * [taylor]: Taking taylor expansion of a in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [taylor]: Taking taylor expansion of (neg a) in t
1.007 * [taylor]: Taking taylor expansion of a in t
1.007 * [taylor]: Taking taylor expansion of 1 in z
1.007 * [taylor]: Taking taylor expansion of 0 in y
1.007 * [taylor]: Taking taylor expansion of 0 in z
1.007 * [taylor]: Taking taylor expansion of 0 in z
1.007 * [taylor]: Taking taylor expansion of (/ a t) in t
1.007 * [taylor]: Taking taylor expansion of a in t
1.007 * [taylor]: Taking taylor expansion of t in t
1.007 * [taylor]: Taking taylor expansion of a in a
1.007 * [taylor]: Taking taylor expansion of 1 in t
1.008 * [taylor]: Taking taylor expansion of (neg a) in a
1.008 * [taylor]: Taking taylor expansion of a in a
1.008 * [taylor]: Taking taylor expansion of 0 in y
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.009 * [taylor]: Taking taylor expansion of 0 in t
1.009 * [taylor]: Taking taylor expansion of 0 in t
1.009 * [taylor]: Taking taylor expansion of 0 in a
1.009 * [taylor]: Taking taylor expansion of 1 in a
1.009 * [taylor]: Taking taylor expansion of 0 in a
1.009 * [approximate]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in (x y z t a) around 0
1.009 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in a
1.010 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.010 * [taylor]: Taking taylor expansion of a in a
1.010 * [taylor]: Taking taylor expansion of (* z y) in a
1.010 * [taylor]: Taking taylor expansion of z in a
1.010 * [taylor]: Taking taylor expansion of y in a
1.010 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.010 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.010 * [taylor]: Taking taylor expansion of a in a
1.010 * [taylor]: Taking taylor expansion of (* y t) in a
1.010 * [taylor]: Taking taylor expansion of y in a
1.010 * [taylor]: Taking taylor expansion of t in a
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.010 * [taylor]: Taking taylor expansion of x in a
1.010 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in t
1.010 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.010 * [taylor]: Taking taylor expansion of a in t
1.010 * [taylor]: Taking taylor expansion of (* z y) in t
1.010 * [taylor]: Taking taylor expansion of z in t
1.010 * [taylor]: Taking taylor expansion of y in t
1.010 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.010 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.010 * [taylor]: Taking taylor expansion of a in t
1.010 * [taylor]: Taking taylor expansion of (* y t) in t
1.010 * [taylor]: Taking taylor expansion of y in t
1.010 * [taylor]: Taking taylor expansion of t in t
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.010 * [taylor]: Taking taylor expansion of x in t
1.010 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in z
1.010 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.010 * [taylor]: Taking taylor expansion of a in z
1.010 * [taylor]: Taking taylor expansion of (* z y) in z
1.010 * [taylor]: Taking taylor expansion of z in z
1.010 * [taylor]: Taking taylor expansion of y in z
1.010 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.010 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.010 * [taylor]: Taking taylor expansion of a in z
1.010 * [taylor]: Taking taylor expansion of (* y t) in z
1.010 * [taylor]: Taking taylor expansion of y in z
1.010 * [taylor]: Taking taylor expansion of t in z
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.010 * [taylor]: Taking taylor expansion of x in z
1.010 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in y
1.011 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.011 * [taylor]: Taking taylor expansion of a in y
1.011 * [taylor]: Taking taylor expansion of (* z y) in y
1.011 * [taylor]: Taking taylor expansion of z in y
1.011 * [taylor]: Taking taylor expansion of y in y
1.011 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.011 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.011 * [taylor]: Taking taylor expansion of a in y
1.011 * [taylor]: Taking taylor expansion of (* y t) in y
1.011 * [taylor]: Taking taylor expansion of y in y
1.011 * [taylor]: Taking taylor expansion of t in y
1.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.011 * [taylor]: Taking taylor expansion of x in y
1.011 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.011 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.011 * [taylor]: Taking taylor expansion of a in x
1.011 * [taylor]: Taking taylor expansion of (* z y) in x
1.011 * [taylor]: Taking taylor expansion of z in x
1.011 * [taylor]: Taking taylor expansion of y in x
1.011 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.011 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.011 * [taylor]: Taking taylor expansion of a in x
1.011 * [taylor]: Taking taylor expansion of (* y t) in x
1.011 * [taylor]: Taking taylor expansion of y in x
1.011 * [taylor]: Taking taylor expansion of t in x
1.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.011 * [taylor]: Taking taylor expansion of x in x
1.011 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.011 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.011 * [taylor]: Taking taylor expansion of a in x
1.011 * [taylor]: Taking taylor expansion of (* z y) in x
1.011 * [taylor]: Taking taylor expansion of z in x
1.011 * [taylor]: Taking taylor expansion of y in x
1.011 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.011 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.011 * [taylor]: Taking taylor expansion of a in x
1.011 * [taylor]: Taking taylor expansion of (* y t) in x
1.011 * [taylor]: Taking taylor expansion of y in x
1.011 * [taylor]: Taking taylor expansion of t in x
1.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.011 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of -1 in y
1.012 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
1.012 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.012 * [taylor]: Taking taylor expansion of a in y
1.012 * [taylor]: Taking taylor expansion of (* z y) in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.012 * [taylor]: Taking taylor expansion of a in y
1.012 * [taylor]: Taking taylor expansion of (* y t) in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z
1.012 * [taylor]: Taking taylor expansion of (/ a z) in z
1.012 * [taylor]: Taking taylor expansion of a in z
1.012 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of (/ a t) in z
1.012 * [taylor]: Taking taylor expansion of a in z
1.012 * [taylor]: Taking taylor expansion of t in z
1.012 * [taylor]: Taking taylor expansion of a in t
1.012 * [taylor]: Taking taylor expansion of -1 in z
1.013 * [taylor]: Taking taylor expansion of 0 in y
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.013 * [taylor]: Taking taylor expansion of (/ a t) in t
1.013 * [taylor]: Taking taylor expansion of a in t
1.013 * [taylor]: Taking taylor expansion of t in t
1.013 * [taylor]: Taking taylor expansion of (neg a) in a
1.013 * [taylor]: Taking taylor expansion of a in a
1.013 * [taylor]: Taking taylor expansion of -1 in t
1.013 * [taylor]: Taking taylor expansion of a in a
1.014 * [taylor]: Taking taylor expansion of 0 in y
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in a
1.014 * [taylor]: Taking taylor expansion of -1 in a
1.014 * [taylor]: Taking taylor expansion of 0 in a
1.015 * * * [progress]: simplifying candidates
1.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 y) (log.f64 (-.f64 z t))) (log.f64 a))
  (-.f64 (log.f64 (*.f64 y (-.f64 z t))) (log.f64 a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (/.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (*.f64 a a) a))
  (/.f64 (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t))) (*.f64 (*.f64 a a) a))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (*.f64 (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (/.f64 (*.f64 y (-.f64 z t)) a)) (/.f64 (*.f64 y (-.f64 z t)) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (neg.f64 (*.f64 y (-.f64 z t)))
  (neg.f64 a)
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 y (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 y 1)
  (/.f64 (-.f64 z t) a)
  (/.f64 1 a)
  (/.f64 a (*.f64 y (-.f64 z t)))
  (/.f64 (*.f64 y (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (*.f64 y (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (*.f64 y (-.f64 z t)) 1)
  (/.f64 a (-.f64 z t))
  (*.f64 a (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 a (+.f64 z t))
  (*.f64 y (-.f64 z t))
  (+.f64 (log.f64 y) (log.f64 (-.f64 z t)))
  (log.f64 (*.f64 y (-.f64 z t)))
  (exp.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t))))
  (cbrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 z y)
  (*.f64 (neg.f64 t) y)
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  (*.f64 y 1)
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (-.f64 z t))
  (*.f64 (sqrt.f64 y) (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (/.f64 (exp.f64 x) (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (log.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (exp.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (*.f64 (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))))
  (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (*.f64 (*.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)) (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))) (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (sqrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (sqrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (/.f64 (*.f64 y (-.f64 z t)) a)) (*.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))))
  (neg.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (-.f64 (*.f64 x x) (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (/.f64 (*.f64 y (-.f64 z t)) a)))
  (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (*.f64 z y) (*.f64 t y))
  (-.f64 (*.f64 z y) (*.f64 t y))
  (-.f64 (*.f64 z y) (*.f64 t y))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
1.074 * * [simplify]: iteration  0 :  5002  enodes  (cost  891 )
1.079 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (*.f64 y (-.f64 t z))
  (neg.f64 a)
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 y (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  y
  (/.f64 (-.f64 z t) a)
  (/.f64 1 a)
  (/.f64 a (*.f64 y (-.f64 z t)))
  (*.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
  (*.f64 (/.f64 y (sqrt.f64 a)) (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (/.f64 a (-.f64 z t))
  (*.f64 a (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 a (+.f64 z t))
  (*.f64 y (-.f64 z t))
  (log.f64 (*.f64 y (-.f64 z t)))
  (log.f64 (*.f64 y (-.f64 z t)))
  (exp.f64 (*.f64 y (-.f64 z t)))
  (pow.f64 (*.f64 y (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t))))
  (cbrt.f64 (*.f64 y (-.f64 z t)))
  (pow.f64 (*.f64 y (-.f64 z t)) 3)
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  y
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  y
  (*.f64 (-.f64 z t) (cbrt.f64 y))
  (*.f64 (-.f64 z t) (sqrt.f64 y))
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (exp.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (log.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (exp.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (*.f64 (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))))
  (cbrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (pow.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)) 3)
  (sqrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (sqrt.f64 (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))
  (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3))
  (+.f64 (*.f64 x x) (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (-.f64 (*.f64 x x) (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (/.f64 (*.f64 y (-.f64 z t)) a)))
  (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
  (+.f64 (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)) (sqrt.f64 x))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
  (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
  (-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
1.080 * * * [progress]: adding candidates to table
1.123 * * [progress]: iteration 2 / 4
1.124 * * * [progress]: picking best candidate
1.141 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>
1.141 * * * [progress]: localizing error
1.147 * * * [progress]: generating rewritten candidates
1.147 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.157 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.162 * * * [progress]: generating series expansions
1.162 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.163 * [approximate]: Taking taylor expansion of (/ (* y (- t z)) a) in (y a t z) around 0
1.163 * [taylor]: Taking taylor expansion of (/ (* y (- t z)) a) in z
1.163 * [taylor]: Taking taylor expansion of (* y (- t z)) in z
1.163 * [taylor]: Taking taylor expansion of y in z
1.163 * [taylor]: Taking taylor expansion of (- t z) in z
1.163 * [taylor]: Taking taylor expansion of t in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.163 * [taylor]: Taking taylor expansion of a in z
1.163 * [taylor]: Taking taylor expansion of (/ (* y (- t z)) a) in t
1.163 * [taylor]: Taking taylor expansion of (* y (- t z)) in t
1.163 * [taylor]: Taking taylor expansion of y in t
1.163 * [taylor]: Taking taylor expansion of (- t z) in t
1.163 * [taylor]: Taking taylor expansion of t in t
1.163 * [taylor]: Taking taylor expansion of z in t
1.163 * [taylor]: Taking taylor expansion of a in t
1.163 * [taylor]: Taking taylor expansion of (/ (* y (- t z)) a) in a
1.163 * [taylor]: Taking taylor expansion of (* y (- t z)) in a
1.163 * [taylor]: Taking taylor expansion of y in a
1.163 * [taylor]: Taking taylor expansion of (- t z) in a
1.163 * [taylor]: Taking taylor expansion of t in a
1.163 * [taylor]: Taking taylor expansion of z in a
1.163 * [taylor]: Taking taylor expansion of a in a
1.163 * [taylor]: Taking taylor expansion of (/ (* y (- t z)) a) in y
1.163 * [taylor]: Taking taylor expansion of (* y (- t z)) in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (- t z) in y
1.163 * [taylor]: Taking taylor expansion of t in y
1.163 * [taylor]: Taking taylor expansion of z in y
1.163 * [taylor]: Taking taylor expansion of a in y
1.163 * [taylor]: Taking taylor expansion of (/ (* y (- t z)) a) in y
1.163 * [taylor]: Taking taylor expansion of (* y (- t z)) in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (- t z) in y
1.164 * [taylor]: Taking taylor expansion of t in y
1.164 * [taylor]: Taking taylor expansion of z in y
1.164 * [taylor]: Taking taylor expansion of a in y
1.164 * [taylor]: Taking taylor expansion of (/ (- t z) a) in a
1.164 * [taylor]: Taking taylor expansion of (- t z) in a
1.164 * [taylor]: Taking taylor expansion of t in a
1.164 * [taylor]: Taking taylor expansion of z in a
1.164 * [taylor]: Taking taylor expansion of a in a
1.164 * [taylor]: Taking taylor expansion of (- t z) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.164 * [taylor]: Taking taylor expansion of z in t
1.164 * [taylor]: Taking taylor expansion of (neg z) in z
1.164 * [taylor]: Taking taylor expansion of z in z
1.164 * [taylor]: Taking taylor expansion of 0 in a
1.164 * [taylor]: Taking taylor expansion of 0 in t
1.164 * [taylor]: Taking taylor expansion of 0 in z
1.164 * [taylor]: Taking taylor expansion of 1 in z
1.165 * [taylor]: Taking taylor expansion of 0 in a
1.165 * [taylor]: Taking taylor expansion of 0 in t
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in t
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y a t z) around 0
1.165 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
1.165 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.165 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.165 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.165 * [taylor]: Taking taylor expansion of t in z
1.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.165 * [taylor]: Taking taylor expansion of z in z
1.165 * [taylor]: Taking taylor expansion of a in z
1.165 * [taylor]: Taking taylor expansion of y in z
1.165 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
1.165 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.165 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.165 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.166 * [taylor]: Taking taylor expansion of t in t
1.166 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.166 * [taylor]: Taking taylor expansion of z in t
1.166 * [taylor]: Taking taylor expansion of a in t
1.166 * [taylor]: Taking taylor expansion of y in t
1.166 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
1.166 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.166 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.166 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.166 * [taylor]: Taking taylor expansion of t in a
1.166 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.166 * [taylor]: Taking taylor expansion of z in a
1.166 * [taylor]: Taking taylor expansion of a in a
1.166 * [taylor]: Taking taylor expansion of y in a
1.166 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.166 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.166 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.166 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.166 * [taylor]: Taking taylor expansion of t in y
1.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.166 * [taylor]: Taking taylor expansion of z in y
1.166 * [taylor]: Taking taylor expansion of a in y
1.166 * [taylor]: Taking taylor expansion of y in y
1.167 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.167 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.167 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.167 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.167 * [taylor]: Taking taylor expansion of t in y
1.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.167 * [taylor]: Taking taylor expansion of z in y
1.167 * [taylor]: Taking taylor expansion of a in y
1.167 * [taylor]: Taking taylor expansion of y in y
1.167 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.167 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.167 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.167 * [taylor]: Taking taylor expansion of t in a
1.167 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.167 * [taylor]: Taking taylor expansion of z in a
1.167 * [taylor]: Taking taylor expansion of a in a
1.167 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.167 * [taylor]: Taking taylor expansion of t in t
1.167 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.167 * [taylor]: Taking taylor expansion of z in t
1.167 * [taylor]: Taking taylor expansion of 1 in z
1.168 * [taylor]: Taking taylor expansion of 0 in a
1.168 * [taylor]: Taking taylor expansion of 0 in t
1.168 * [taylor]: Taking taylor expansion of 0 in t
1.168 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.168 * [taylor]: Taking taylor expansion of z in z
1.168 * [taylor]: Taking taylor expansion of 0 in a
1.169 * [taylor]: Taking taylor expansion of 0 in t
1.169 * [taylor]: Taking taylor expansion of 0 in t
1.169 * [taylor]: Taking taylor expansion of 0 in t
1.169 * [taylor]: Taking taylor expansion of 0 in z
1.169 * [taylor]: Taking taylor expansion of 0 in z
1.169 * [taylor]: Taking taylor expansion of 0 in z
1.169 * [taylor]: Taking taylor expansion of 0 in a
1.169 * [taylor]: Taking taylor expansion of 0 in t
1.170 * [taylor]: Taking taylor expansion of 0 in t
1.170 * [taylor]: Taking taylor expansion of 0 in t
1.170 * [taylor]: Taking taylor expansion of 0 in t
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.171 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a t z) around 0
1.171 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.171 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.171 * [taylor]: Taking taylor expansion of a in z
1.171 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.171 * [taylor]: Taking taylor expansion of z in z
1.171 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.171 * [taylor]: Taking taylor expansion of t in z
1.171 * [taylor]: Taking taylor expansion of y in z
1.171 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
1.171 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.171 * [taylor]: Taking taylor expansion of a in t
1.171 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.171 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.171 * [taylor]: Taking taylor expansion of z in t
1.171 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.171 * [taylor]: Taking taylor expansion of t in t
1.171 * [taylor]: Taking taylor expansion of y in t
1.171 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
1.171 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.171 * [taylor]: Taking taylor expansion of a in a
1.171 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.171 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.171 * [taylor]: Taking taylor expansion of z in a
1.171 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.171 * [taylor]: Taking taylor expansion of t in a
1.171 * [taylor]: Taking taylor expansion of y in a
1.172 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.172 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.172 * [taylor]: Taking taylor expansion of a in y
1.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.172 * [taylor]: Taking taylor expansion of z in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.172 * [taylor]: Taking taylor expansion of t in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.172 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.172 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.172 * [taylor]: Taking taylor expansion of a in y
1.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.172 * [taylor]: Taking taylor expansion of z in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.172 * [taylor]: Taking taylor expansion of t in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.172 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.172 * [taylor]: Taking taylor expansion of a in a
1.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.172 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.172 * [taylor]: Taking taylor expansion of z in a
1.173 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.173 * [taylor]: Taking taylor expansion of t in a
1.173 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.173 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.173 * [taylor]: Taking taylor expansion of z in t
1.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.173 * [taylor]: Taking taylor expansion of t in t
1.173 * [taylor]: Taking taylor expansion of -1 in z
1.173 * [taylor]: Taking taylor expansion of 0 in a
1.173 * [taylor]: Taking taylor expansion of 0 in t
1.173 * [taylor]: Taking taylor expansion of 0 in t
1.174 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.174 * [taylor]: Taking taylor expansion of z in z
1.174 * [taylor]: Taking taylor expansion of 0 in a
1.174 * [taylor]: Taking taylor expansion of 0 in t
1.174 * [taylor]: Taking taylor expansion of 0 in t
1.174 * [taylor]: Taking taylor expansion of 0 in t
1.174 * [taylor]: Taking taylor expansion of 0 in z
1.174 * [taylor]: Taking taylor expansion of 0 in z
1.174 * [taylor]: Taking taylor expansion of 0 in z
1.175 * [taylor]: Taking taylor expansion of 0 in a
1.175 * [taylor]: Taking taylor expansion of 0 in t
1.175 * [taylor]: Taking taylor expansion of 0 in t
1.175 * [taylor]: Taking taylor expansion of 0 in t
1.176 * [taylor]: Taking taylor expansion of 0 in t
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.176 * [approximate]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in (x y a t z) around 0
1.176 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in z
1.176 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in z
1.176 * [taylor]: Taking taylor expansion of x in z
1.176 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
1.176 * [taylor]: Taking taylor expansion of (* t y) in z
1.176 * [taylor]: Taking taylor expansion of t in z
1.176 * [taylor]: Taking taylor expansion of y in z
1.176 * [taylor]: Taking taylor expansion of a in z
1.177 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
1.177 * [taylor]: Taking taylor expansion of (* z y) in z
1.177 * [taylor]: Taking taylor expansion of z in z
1.177 * [taylor]: Taking taylor expansion of y in z
1.177 * [taylor]: Taking taylor expansion of a in z
1.177 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in t
1.177 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in t
1.177 * [taylor]: Taking taylor expansion of x in t
1.177 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
1.177 * [taylor]: Taking taylor expansion of (* t y) in t
1.177 * [taylor]: Taking taylor expansion of t in t
1.177 * [taylor]: Taking taylor expansion of y in t
1.177 * [taylor]: Taking taylor expansion of a in t
1.177 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
1.177 * [taylor]: Taking taylor expansion of (* z y) in t
1.177 * [taylor]: Taking taylor expansion of z in t
1.177 * [taylor]: Taking taylor expansion of y in t
1.177 * [taylor]: Taking taylor expansion of a in t
1.177 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in a
1.177 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in a
1.177 * [taylor]: Taking taylor expansion of x in a
1.177 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
1.177 * [taylor]: Taking taylor expansion of (* t y) in a
1.177 * [taylor]: Taking taylor expansion of t in a
1.177 * [taylor]: Taking taylor expansion of y in a
1.177 * [taylor]: Taking taylor expansion of a in a
1.177 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
1.177 * [taylor]: Taking taylor expansion of (* z y) in a
1.177 * [taylor]: Taking taylor expansion of z in a
1.177 * [taylor]: Taking taylor expansion of y in a
1.177 * [taylor]: Taking taylor expansion of a in a
1.177 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in y
1.177 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in y
1.177 * [taylor]: Taking taylor expansion of x in y
1.177 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.177 * [taylor]: Taking taylor expansion of (* t y) in y
1.177 * [taylor]: Taking taylor expansion of t in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of a in y
1.177 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.177 * [taylor]: Taking taylor expansion of (* z y) in y
1.177 * [taylor]: Taking taylor expansion of z in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.178 * [taylor]: Taking taylor expansion of a in y
1.178 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.178 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.178 * [taylor]: Taking taylor expansion of x in x
1.178 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.178 * [taylor]: Taking taylor expansion of (* t y) in x
1.178 * [taylor]: Taking taylor expansion of t in x
1.178 * [taylor]: Taking taylor expansion of y in x
1.178 * [taylor]: Taking taylor expansion of a in x
1.178 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.178 * [taylor]: Taking taylor expansion of (* z y) in x
1.178 * [taylor]: Taking taylor expansion of z in x
1.178 * [taylor]: Taking taylor expansion of y in x
1.178 * [taylor]: Taking taylor expansion of a in x
1.178 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.178 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.178 * [taylor]: Taking taylor expansion of x in x
1.178 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.178 * [taylor]: Taking taylor expansion of (* t y) in x
1.178 * [taylor]: Taking taylor expansion of t in x
1.178 * [taylor]: Taking taylor expansion of y in x
1.178 * [taylor]: Taking taylor expansion of a in x
1.178 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.178 * [taylor]: Taking taylor expansion of (* z y) in x
1.178 * [taylor]: Taking taylor expansion of z in x
1.178 * [taylor]: Taking taylor expansion of y in x
1.178 * [taylor]: Taking taylor expansion of a in x
1.178 * [taylor]: Taking taylor expansion of (- (/ (* t y) a) (/ (* z y) a)) in y
1.178 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.178 * [taylor]: Taking taylor expansion of (* t y) in y
1.178 * [taylor]: Taking taylor expansion of t in y
1.178 * [taylor]: Taking taylor expansion of y in y
1.178 * [taylor]: Taking taylor expansion of a in y
1.179 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.179 * [taylor]: Taking taylor expansion of (* z y) in y
1.179 * [taylor]: Taking taylor expansion of z in y
1.179 * [taylor]: Taking taylor expansion of y in y
1.179 * [taylor]: Taking taylor expansion of a in y
1.179 * [taylor]: Taking taylor expansion of 1 in y
1.179 * [taylor]: Taking taylor expansion of 1 in a
1.179 * [taylor]: Taking taylor expansion of (- (/ t a) (/ z a)) in a
1.179 * [taylor]: Taking taylor expansion of (/ t a) in a
1.179 * [taylor]: Taking taylor expansion of t in a
1.179 * [taylor]: Taking taylor expansion of a in a
1.179 * [taylor]: Taking taylor expansion of (/ z a) in a
1.179 * [taylor]: Taking taylor expansion of z in a
1.179 * [taylor]: Taking taylor expansion of a in a
1.179 * [taylor]: Taking taylor expansion of (- t z) in t
1.179 * [taylor]: Taking taylor expansion of t in t
1.179 * [taylor]: Taking taylor expansion of z in t
1.179 * [taylor]: Taking taylor expansion of (neg z) in z
1.179 * [taylor]: Taking taylor expansion of z in z
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [taylor]: Taking taylor expansion of 0 in a
1.180 * [taylor]: Taking taylor expansion of 0 in a
1.180 * [taylor]: Taking taylor expansion of 0 in a
1.180 * [taylor]: Taking taylor expansion of 1 in t
1.180 * [taylor]: Taking taylor expansion of 1 in z
1.180 * [taylor]: Taking taylor expansion of 0 in t
1.180 * [taylor]: Taking taylor expansion of 0 in z
1.180 * [taylor]: Taking taylor expansion of 1 in z
1.181 * [approximate]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in (x y a t z) around 0
1.181 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in z
1.181 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.181 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.181 * [taylor]: Taking taylor expansion of a in z
1.181 * [taylor]: Taking taylor expansion of (* y t) in z
1.181 * [taylor]: Taking taylor expansion of y in z
1.181 * [taylor]: Taking taylor expansion of t in z
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.181 * [taylor]: Taking taylor expansion of x in z
1.181 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.181 * [taylor]: Taking taylor expansion of a in z
1.181 * [taylor]: Taking taylor expansion of (* z y) in z
1.181 * [taylor]: Taking taylor expansion of z in z
1.181 * [taylor]: Taking taylor expansion of y in z
1.181 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in t
1.181 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.181 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.181 * [taylor]: Taking taylor expansion of a in t
1.181 * [taylor]: Taking taylor expansion of (* y t) in t
1.181 * [taylor]: Taking taylor expansion of y in t
1.181 * [taylor]: Taking taylor expansion of t in t
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.181 * [taylor]: Taking taylor expansion of x in t
1.181 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.181 * [taylor]: Taking taylor expansion of a in t
1.181 * [taylor]: Taking taylor expansion of (* z y) in t
1.181 * [taylor]: Taking taylor expansion of z in t
1.181 * [taylor]: Taking taylor expansion of y in t
1.181 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in a
1.181 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.181 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.181 * [taylor]: Taking taylor expansion of (* y t) in a
1.181 * [taylor]: Taking taylor expansion of y in a
1.182 * [taylor]: Taking taylor expansion of t in a
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.182 * [taylor]: Taking taylor expansion of x in a
1.182 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.182 * [taylor]: Taking taylor expansion of a in a
1.182 * [taylor]: Taking taylor expansion of (* z y) in a
1.182 * [taylor]: Taking taylor expansion of z in a
1.182 * [taylor]: Taking taylor expansion of y in a
1.182 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in y
1.182 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.182 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.182 * [taylor]: Taking taylor expansion of a in y
1.182 * [taylor]: Taking taylor expansion of (* y t) in y
1.182 * [taylor]: Taking taylor expansion of y in y
1.182 * [taylor]: Taking taylor expansion of t in y
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.182 * [taylor]: Taking taylor expansion of x in y
1.182 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.182 * [taylor]: Taking taylor expansion of a in y
1.182 * [taylor]: Taking taylor expansion of (* z y) in y
1.182 * [taylor]: Taking taylor expansion of z in y
1.182 * [taylor]: Taking taylor expansion of y in y
1.182 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.182 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.182 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.182 * [taylor]: Taking taylor expansion of a in x
1.182 * [taylor]: Taking taylor expansion of (* y t) in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.182 * [taylor]: Taking taylor expansion of t in x
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.182 * [taylor]: Taking taylor expansion of a in x
1.182 * [taylor]: Taking taylor expansion of (* z y) in x
1.182 * [taylor]: Taking taylor expansion of z in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.182 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.182 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.182 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.182 * [taylor]: Taking taylor expansion of a in x
1.182 * [taylor]: Taking taylor expansion of (* y t) in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of t in x
1.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.183 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.183 * [taylor]: Taking taylor expansion of a in x
1.183 * [taylor]: Taking taylor expansion of (* z y) in x
1.183 * [taylor]: Taking taylor expansion of z in x
1.183 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of 1 in y
1.183 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
1.183 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.183 * [taylor]: Taking taylor expansion of a in y
1.183 * [taylor]: Taking taylor expansion of (* y t) in y
1.183 * [taylor]: Taking taylor expansion of y in y
1.183 * [taylor]: Taking taylor expansion of t in y
1.183 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.183 * [taylor]: Taking taylor expansion of a in y
1.183 * [taylor]: Taking taylor expansion of (* z y) in y
1.183 * [taylor]: Taking taylor expansion of z in y
1.183 * [taylor]: Taking taylor expansion of y in y
1.183 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a
1.183 * [taylor]: Taking taylor expansion of (/ a t) in a
1.183 * [taylor]: Taking taylor expansion of a in a
1.183 * [taylor]: Taking taylor expansion of t in a
1.183 * [taylor]: Taking taylor expansion of (/ a z) in a
1.183 * [taylor]: Taking taylor expansion of a in a
1.184 * [taylor]: Taking taylor expansion of z in a
1.184 * [taylor]: Taking taylor expansion of 1 in a
1.184 * [taylor]: Taking taylor expansion of 1 in t
1.184 * [taylor]: Taking taylor expansion of 0 in y
1.184 * [taylor]: Taking taylor expansion of 0 in a
1.184 * [taylor]: Taking taylor expansion of 0 in t
1.184 * [taylor]: Taking taylor expansion of 0 in a
1.184 * [taylor]: Taking taylor expansion of 0 in t
1.184 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.184 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.184 * [taylor]: Taking taylor expansion of t in t
1.184 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.184 * [taylor]: Taking taylor expansion of z in t
1.184 * [taylor]: Taking taylor expansion of 1 in z
1.184 * [taylor]: Taking taylor expansion of 0 in t
1.184 * [taylor]: Taking taylor expansion of 1 in z
1.185 * [taylor]: Taking taylor expansion of 0 in y
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [taylor]: Taking taylor expansion of 0 in t
1.186 * [taylor]: Taking taylor expansion of 0 in t
1.186 * [taylor]: Taking taylor expansion of 0 in t
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.187 * [approximate]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in (x y a t z) around 0
1.187 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in z
1.187 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.187 * [taylor]: Taking taylor expansion of a in z
1.187 * [taylor]: Taking taylor expansion of (* z y) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.187 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.187 * [taylor]: Taking taylor expansion of a in z
1.187 * [taylor]: Taking taylor expansion of (* y t) in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of t in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.187 * [taylor]: Taking taylor expansion of x in z
1.187 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in t
1.187 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.187 * [taylor]: Taking taylor expansion of a in t
1.187 * [taylor]: Taking taylor expansion of (* z y) in t
1.187 * [taylor]: Taking taylor expansion of z in t
1.187 * [taylor]: Taking taylor expansion of y in t
1.187 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.187 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.187 * [taylor]: Taking taylor expansion of a in t
1.187 * [taylor]: Taking taylor expansion of (* y t) in t
1.187 * [taylor]: Taking taylor expansion of y in t
1.187 * [taylor]: Taking taylor expansion of t in t
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.187 * [taylor]: Taking taylor expansion of x in t
1.187 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in a
1.187 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.187 * [taylor]: Taking taylor expansion of a in a
1.187 * [taylor]: Taking taylor expansion of (* z y) in a
1.187 * [taylor]: Taking taylor expansion of z in a
1.187 * [taylor]: Taking taylor expansion of y in a
1.187 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.187 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.187 * [taylor]: Taking taylor expansion of a in a
1.187 * [taylor]: Taking taylor expansion of (* y t) in a
1.187 * [taylor]: Taking taylor expansion of y in a
1.187 * [taylor]: Taking taylor expansion of t in a
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.188 * [taylor]: Taking taylor expansion of x in a
1.188 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in y
1.188 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.188 * [taylor]: Taking taylor expansion of a in y
1.188 * [taylor]: Taking taylor expansion of (* z y) in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.188 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.188 * [taylor]: Taking taylor expansion of a in y
1.188 * [taylor]: Taking taylor expansion of (* y t) in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of t in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.188 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.188 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.188 * [taylor]: Taking taylor expansion of a in x
1.188 * [taylor]: Taking taylor expansion of (* z y) in x
1.188 * [taylor]: Taking taylor expansion of z in x
1.188 * [taylor]: Taking taylor expansion of y in x
1.188 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.188 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.188 * [taylor]: Taking taylor expansion of a in x
1.188 * [taylor]: Taking taylor expansion of (* y t) in x
1.188 * [taylor]: Taking taylor expansion of y in x
1.188 * [taylor]: Taking taylor expansion of t in x
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.188 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.188 * [taylor]: Taking taylor expansion of a in x
1.188 * [taylor]: Taking taylor expansion of (* z y) in x
1.188 * [taylor]: Taking taylor expansion of z in x
1.188 * [taylor]: Taking taylor expansion of y in x
1.188 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.188 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.188 * [taylor]: Taking taylor expansion of a in x
1.188 * [taylor]: Taking taylor expansion of (* y t) in x
1.188 * [taylor]: Taking taylor expansion of y in x
1.188 * [taylor]: Taking taylor expansion of t in x
1.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of -1 in y
1.189 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
1.189 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.189 * [taylor]: Taking taylor expansion of a in y
1.189 * [taylor]: Taking taylor expansion of (* z y) in y
1.189 * [taylor]: Taking taylor expansion of z in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.189 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.189 * [taylor]: Taking taylor expansion of a in y
1.189 * [taylor]: Taking taylor expansion of (* y t) in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.189 * [taylor]: Taking taylor expansion of t in y
1.189 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a
1.189 * [taylor]: Taking taylor expansion of (/ a z) in a
1.189 * [taylor]: Taking taylor expansion of a in a
1.189 * [taylor]: Taking taylor expansion of z in a
1.189 * [taylor]: Taking taylor expansion of (/ a t) in a
1.189 * [taylor]: Taking taylor expansion of a in a
1.189 * [taylor]: Taking taylor expansion of t in a
1.189 * [taylor]: Taking taylor expansion of -1 in a
1.189 * [taylor]: Taking taylor expansion of -1 in t
1.190 * [taylor]: Taking taylor expansion of 0 in y
1.190 * [taylor]: Taking taylor expansion of 0 in a
1.190 * [taylor]: Taking taylor expansion of 0 in t
1.190 * [taylor]: Taking taylor expansion of 0 in a
1.190 * [taylor]: Taking taylor expansion of 0 in t
1.190 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.190 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.190 * [taylor]: Taking taylor expansion of z in t
1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.190 * [taylor]: Taking taylor expansion of t in t
1.190 * [taylor]: Taking taylor expansion of -1 in z
1.190 * [taylor]: Taking taylor expansion of 0 in t
1.190 * [taylor]: Taking taylor expansion of -1 in z
1.191 * [taylor]: Taking taylor expansion of 0 in y
1.191 * [taylor]: Taking taylor expansion of 0 in a
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in a
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in a
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in z
1.192 * [taylor]: Taking taylor expansion of 0 in z
1.192 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.192 * [taylor]: Taking taylor expansion of z in z
1.192 * [taylor]: Taking taylor expansion of 0 in z
1.192 * [taylor]: Taking taylor expansion of 0 in z
1.192 * * * [progress]: simplifying candidates
1.193 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 y a) (-.f64 t z))
  (+.f64 (-.f64 (log.f64 y) (log.f64 a)) (log.f64 (-.f64 t z)))
  (+.f64 (log.f64 (/.f64 y a)) (log.f64 (-.f64 t z)))
  (log.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (exp.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (*.f64 (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (-.f64 t z) (-.f64 t z)) (-.f64 t z)))
  (*.f64 (*.f64 (*.f64 (/.f64 y a) (/.f64 y a)) (/.f64 y a)) (*.f64 (*.f64 (-.f64 t z) (-.f64 t z)) (-.f64 t z)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z))) (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z))))
  (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (*.f64 (*.f64 (*.f64 (/.f64 y a) (-.f64 t z)) (*.f64 (/.f64 y a) (-.f64 t z))) (*.f64 (/.f64 y a) (-.f64 t z)))
  (sqrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (sqrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (*.f64 y (-.f64 (pow.f64 t 3) (pow.f64 z 3)))
  (*.f64 a (+.f64 (*.f64 t t) (+.f64 (*.f64 z z) (*.f64 t z))))
  (*.f64 y (-.f64 (*.f64 t t) (*.f64 z z)))
  (*.f64 a (+.f64 t z))
  (*.f64 (sqrt.f64 (/.f64 y a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (sqrt.f64 (/.f64 y a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (/.f64 y a) t)
  (*.f64 (/.f64 y a) (neg.f64 z))
  (*.f64 t (/.f64 y a))
  (*.f64 (neg.f64 z) (/.f64 y a))
  (*.f64 (/.f64 y a) (*.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z))))
  (*.f64 (/.f64 y a) (sqrt.f64 (-.f64 t z)))
  (*.f64 (/.f64 y a) 1)
  (*.f64 (/.f64 y a) (+.f64 (sqrt.f64 t) (sqrt.f64 z)))
  (*.f64 (/.f64 y a) 1)
  (*.f64 (cbrt.f64 (/.f64 y a)) (-.f64 t z))
  (*.f64 (sqrt.f64 (/.f64 y a)) (-.f64 t z))
  (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 (cbrt.f64 y) a) (-.f64 t z))
  (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 (sqrt.f64 y) a) (-.f64 t z))
  (*.f64 (/.f64 y (cbrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 y (sqrt.f64 a)) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (*.f64 (/.f64 1 a) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 (pow.f64 t 3) (pow.f64 z 3)))
  (*.f64 (/.f64 y a) (-.f64 (*.f64 t t) (*.f64 z z)))
  (*.f64 y (-.f64 t z))
  (*.f64 (exp.f64 x) (exp.f64 (*.f64 (/.f64 y a) (-.f64 t z))))
  (log.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (exp.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))) (cbrt.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))))
  (cbrt.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (*.f64 (*.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (sqrt.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (sqrt.f64 (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (/.f64 y a) (-.f64 t z)) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 (/.f64 y a) (-.f64 t z)) (*.f64 (/.f64 y a) (-.f64 t z))) (*.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 (/.f64 y a) (-.f64 t z)) (*.f64 (/.f64 y a) (-.f64 t z))))
  (-.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))
  (+.f64 x (*.f64 (/.f64 y a) t))
  (+.f64 x (*.f64 t (/.f64 y a)))
  (-.f64 (/.f64 (*.f64 t y) a) (/.f64 (*.f64 z y) a))
  (-.f64 (/.f64 (*.f64 t y) a) (/.f64 (*.f64 z y) a))
  (-.f64 (/.f64 (*.f64 t y) a) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
1.244 * * [simplify]: iteration  0 :  5013  enodes  (cost  866 )
1.248 * [simplify]: Simplified to:
   (*.f64 (/.f64 y a) (-.f64 t z))
  (log.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (log.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (log.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (exp.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (pow.f64 (*.f64 (/.f64 y a) (-.f64 t z)) 3)
  (pow.f64 (*.f64 (/.f64 y a) (-.f64 t z)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z))) (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z))))
  (cbrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (pow.f64 (*.f64 (/.f64 y a) (-.f64 t z)) 3)
  (sqrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (sqrt.f64 (*.f64 (/.f64 y a) (-.f64 t z)))
  (*.f64 y (-.f64 (pow.f64 t 3) (pow.f64 z 3)))
  (*.f64 a (+.f64 (*.f64 t t) (*.f64 z (+.f64 t z))))
  (*.f64 y (-.f64 (*.f64 t t) (*.f64 z z)))
  (*.f64 a (+.f64 t z))
  (*.f64 (sqrt.f64 (/.f64 y a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (sqrt.f64 (/.f64 y a)) (sqrt.f64 (-.f64 t z)))
  (*.f64 (sqrt.f64 (-.f64 t z)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 t z)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (/.f64 y a) t)
  (*.f64 (/.f64 y a) (neg.f64 z))
  (*.f64 (/.f64 y a) t)
  (*.f64 (/.f64 y a) (neg.f64 z))
  (*.f64 (/.f64 y a) (*.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z))))
  (*.f64 (/.f64 y a) (sqrt.f64 (-.f64 t z)))
  (/.f64 y a)
  (*.f64 (/.f64 y a) (+.f64 (sqrt.f64 t) (sqrt.f64 z)))
  (/.f64 y a)
  (*.f64 (-.f64 t z) (cbrt.f64 (/.f64 y a)))
  (*.f64 (-.f64 t z) (sqrt.f64 (/.f64 y a)))
  (*.f64 (-.f64 t z) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))
  (*.f64 (-.f64 t z) (/.f64 (cbrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 t z) (/.f64 (cbrt.f64 y) a))
  (*.f64 (-.f64 t z) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (-.f64 t z) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 t z) (/.f64 (sqrt.f64 y) a))
  (*.f64 (-.f64 t z) (/.f64 y (cbrt.f64 a)))
  (*.f64 (-.f64 t z) (/.f64 y (sqrt.f64 a)))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (/.f64 (-.f64 t z) a)
  (*.f64 (/.f64 y a) (-.f64 (pow.f64 t 3) (pow.f64 z 3)))
  (*.f64 (/.f64 y a) (-.f64 (*.f64 t t) (*.f64 z z)))
  (*.f64 y (-.f64 t z))
  (exp.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (log.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (exp.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x)) (cbrt.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x)))
  (cbrt.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (pow.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x) 3)
  (sqrt.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (sqrt.f64 (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))
  (+.f64 (pow.f64 (*.f64 (/.f64 y a) (-.f64 t z)) 3) (pow.f64 x 3))
  (+.f64 (*.f64 x x) (*.f64 (/.f64 y a) (*.f64 (-.f64 t z) (-.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x))))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 (/.f64 y a) (-.f64 t z)) (*.f64 (/.f64 y a) (-.f64 t z))))
  (-.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))
  (+.f64 (*.f64 (/.f64 y a) t) x)
  (+.f64 (*.f64 (/.f64 y a) t) x)
  (*.f64 (/.f64 y a) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x)
  (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x)
  (+.f64 (*.f64 (/.f64 y a) (-.f64 t z)) x)
1.249 * * * [progress]: adding candidates to table
1.276 * * [progress]: iteration 3 / 4
1.276 * * * [progress]: picking best candidate
1.289 * * * * [pick]: Picked  #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))>
1.289 * * * [progress]: localizing error
1.296 * * * [progress]: generating rewritten candidates
1.296 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.305 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
1.310 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.340 * * * [progress]: generating series expansions
1.340 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.341 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y a z t) around 0
1.341 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
1.341 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
1.341 * [taylor]: Taking taylor expansion of y in t
1.341 * [taylor]: Taking taylor expansion of (- z t) in t
1.341 * [taylor]: Taking taylor expansion of z in t
1.341 * [taylor]: Taking taylor expansion of t in t
1.341 * [taylor]: Taking taylor expansion of a in t
1.341 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
1.341 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
1.341 * [taylor]: Taking taylor expansion of y in z
1.341 * [taylor]: Taking taylor expansion of (- z t) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.341 * [taylor]: Taking taylor expansion of t in z
1.341 * [taylor]: Taking taylor expansion of a in z
1.341 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
1.341 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
1.341 * [taylor]: Taking taylor expansion of y in a
1.341 * [taylor]: Taking taylor expansion of (- z t) in a
1.341 * [taylor]: Taking taylor expansion of z in a
1.341 * [taylor]: Taking taylor expansion of t in a
1.341 * [taylor]: Taking taylor expansion of a in a
1.341 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
1.341 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
1.341 * [taylor]: Taking taylor expansion of y in y
1.341 * [taylor]: Taking taylor expansion of (- z t) in y
1.341 * [taylor]: Taking taylor expansion of z in y
1.341 * [taylor]: Taking taylor expansion of t in y
1.341 * [taylor]: Taking taylor expansion of a in y
1.341 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
1.341 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
1.341 * [taylor]: Taking taylor expansion of y in y
1.341 * [taylor]: Taking taylor expansion of (- z t) in y
1.341 * [taylor]: Taking taylor expansion of z in y
1.341 * [taylor]: Taking taylor expansion of t in y
1.342 * [taylor]: Taking taylor expansion of a in y
1.342 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a
1.342 * [taylor]: Taking taylor expansion of (- z t) in a
1.342 * [taylor]: Taking taylor expansion of z in a
1.342 * [taylor]: Taking taylor expansion of t in a
1.342 * [taylor]: Taking taylor expansion of a in a
1.342 * [taylor]: Taking taylor expansion of (- z t) in z
1.342 * [taylor]: Taking taylor expansion of z in z
1.342 * [taylor]: Taking taylor expansion of t in z
1.342 * [taylor]: Taking taylor expansion of (neg t) in t
1.342 * [taylor]: Taking taylor expansion of t in t
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in z
1.342 * [taylor]: Taking taylor expansion of 0 in t
1.342 * [taylor]: Taking taylor expansion of 1 in t
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a z t) around 0
1.343 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
1.343 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.343 * [taylor]: Taking taylor expansion of a in t
1.343 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.343 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.343 * [taylor]: Taking taylor expansion of z in t
1.343 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.343 * [taylor]: Taking taylor expansion of t in t
1.343 * [taylor]: Taking taylor expansion of y in t
1.343 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.343 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.343 * [taylor]: Taking taylor expansion of a in z
1.343 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.343 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.343 * [taylor]: Taking taylor expansion of z in z
1.343 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.344 * [taylor]: Taking taylor expansion of t in z
1.344 * [taylor]: Taking taylor expansion of y in z
1.344 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
1.344 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.344 * [taylor]: Taking taylor expansion of a in a
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.344 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.344 * [taylor]: Taking taylor expansion of z in a
1.344 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.344 * [taylor]: Taking taylor expansion of t in a
1.344 * [taylor]: Taking taylor expansion of y in a
1.344 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.344 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.344 * [taylor]: Taking taylor expansion of a in y
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.344 * [taylor]: Taking taylor expansion of z in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.344 * [taylor]: Taking taylor expansion of t in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.345 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.345 * [taylor]: Taking taylor expansion of a in y
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.345 * [taylor]: Taking taylor expansion of z in y
1.345 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.345 * [taylor]: Taking taylor expansion of t in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.345 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.345 * [taylor]: Taking taylor expansion of z in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.345 * [taylor]: Taking taylor expansion of t in a
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.346 * [taylor]: Taking taylor expansion of t in z
1.346 * [taylor]: Taking taylor expansion of 1 in t
1.346 * [taylor]: Taking taylor expansion of 0 in a
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.346 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.346 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of 0 in a
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in a
1.348 * [taylor]: Taking taylor expansion of 0 in z
1.348 * [taylor]: Taking taylor expansion of 0 in z
1.348 * [taylor]: Taking taylor expansion of 0 in z
1.348 * [taylor]: Taking taylor expansion of 0 in z
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.349 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y a z t) around 0
1.349 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
1.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.349 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.349 * [taylor]: Taking taylor expansion of t in t
1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.349 * [taylor]: Taking taylor expansion of z in t
1.349 * [taylor]: Taking taylor expansion of a in t
1.349 * [taylor]: Taking taylor expansion of y in t
1.349 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
1.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.349 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.349 * [taylor]: Taking taylor expansion of t in z
1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.349 * [taylor]: Taking taylor expansion of z in z
1.349 * [taylor]: Taking taylor expansion of a in z
1.349 * [taylor]: Taking taylor expansion of y in z
1.349 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
1.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.349 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.349 * [taylor]: Taking taylor expansion of t in a
1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.349 * [taylor]: Taking taylor expansion of z in a
1.349 * [taylor]: Taking taylor expansion of a in a
1.349 * [taylor]: Taking taylor expansion of y in a
1.350 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.350 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.350 * [taylor]: Taking taylor expansion of t in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.350 * [taylor]: Taking taylor expansion of z in y
1.350 * [taylor]: Taking taylor expansion of a in y
1.350 * [taylor]: Taking taylor expansion of y in y
1.350 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.350 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.350 * [taylor]: Taking taylor expansion of t in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.350 * [taylor]: Taking taylor expansion of z in y
1.350 * [taylor]: Taking taylor expansion of a in y
1.350 * [taylor]: Taking taylor expansion of y in y
1.351 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.351 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.351 * [taylor]: Taking taylor expansion of t in a
1.351 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.351 * [taylor]: Taking taylor expansion of z in a
1.351 * [taylor]: Taking taylor expansion of a in a
1.351 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.351 * [taylor]: Taking taylor expansion of t in z
1.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.351 * [taylor]: Taking taylor expansion of z in z
1.351 * [taylor]: Taking taylor expansion of -1 in t
1.351 * [taylor]: Taking taylor expansion of 0 in a
1.351 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.352 * [taylor]: Taking taylor expansion of t in t
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of 0 in t
1.353 * [taylor]: Taking taylor expansion of 0 in t
1.353 * [taylor]: Taking taylor expansion of 0 in t
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of 0 in t
1.354 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
1.354 * [approximate]: Taking taylor expansion of (/ a (- z t)) in (a z t) around 0
1.354 * [taylor]: Taking taylor expansion of (/ a (- z t)) in t
1.354 * [taylor]: Taking taylor expansion of a in t
1.354 * [taylor]: Taking taylor expansion of (- z t) in t
1.354 * [taylor]: Taking taylor expansion of z in t
1.354 * [taylor]: Taking taylor expansion of t in t
1.354 * [taylor]: Taking taylor expansion of (/ a (- z t)) in z
1.354 * [taylor]: Taking taylor expansion of a in z
1.354 * [taylor]: Taking taylor expansion of (- z t) in z
1.354 * [taylor]: Taking taylor expansion of z in z
1.354 * [taylor]: Taking taylor expansion of t in z
1.355 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a
1.355 * [taylor]: Taking taylor expansion of a in a
1.355 * [taylor]: Taking taylor expansion of (- z t) in a
1.355 * [taylor]: Taking taylor expansion of z in a
1.355 * [taylor]: Taking taylor expansion of t in a
1.355 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a
1.355 * [taylor]: Taking taylor expansion of a in a
1.355 * [taylor]: Taking taylor expansion of (- z t) in a
1.355 * [taylor]: Taking taylor expansion of z in a
1.355 * [taylor]: Taking taylor expansion of t in a
1.355 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z
1.355 * [taylor]: Taking taylor expansion of (- z t) in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.355 * [taylor]: Taking taylor expansion of t in z
1.355 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.355 * [taylor]: Taking taylor expansion of -1 in t
1.355 * [taylor]: Taking taylor expansion of t in t
1.355 * [taylor]: Taking taylor expansion of 0 in z
1.355 * [taylor]: Taking taylor expansion of 0 in t
1.355 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 2))) in t
1.355 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.355 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.355 * [taylor]: Taking taylor expansion of t in t
1.356 * [taylor]: Taking taylor expansion of 0 in z
1.356 * [taylor]: Taking taylor expansion of 0 in t
1.356 * [taylor]: Taking taylor expansion of 0 in t
1.356 * [approximate]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in (a z t) around 0
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in t
1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.356 * [taylor]: Taking taylor expansion of a in t
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.356 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.356 * [taylor]: Taking taylor expansion of z in t
1.356 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in z
1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.356 * [taylor]: Taking taylor expansion of a in z
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.356 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.356 * [taylor]: Taking taylor expansion of z in z
1.356 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.356 * [taylor]: Taking taylor expansion of t in z
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a
1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.356 * [taylor]: Taking taylor expansion of a in a
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.356 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.356 * [taylor]: Taking taylor expansion of z in a
1.356 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.356 * [taylor]: Taking taylor expansion of t in a
1.357 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a
1.357 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.357 * [taylor]: Taking taylor expansion of a in a
1.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.357 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.357 * [taylor]: Taking taylor expansion of z in a
1.357 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.357 * [taylor]: Taking taylor expansion of t in a
1.357 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z
1.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.357 * [taylor]: Taking taylor expansion of z in z
1.357 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.357 * [taylor]: Taking taylor expansion of t in z
1.357 * [taylor]: Taking taylor expansion of 1 in t
1.358 * [taylor]: Taking taylor expansion of 0 in z
1.358 * [taylor]: Taking taylor expansion of 0 in t
1.358 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.358 * [taylor]: Taking taylor expansion of t in t
1.359 * [taylor]: Taking taylor expansion of 0 in z
1.359 * [taylor]: Taking taylor expansion of 0 in t
1.359 * [taylor]: Taking taylor expansion of 0 in t
1.359 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in (a z t) around 0
1.359 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in t
1.359 * [taylor]: Taking taylor expansion of -1 in t
1.359 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.359 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.359 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.359 * [taylor]: Taking taylor expansion of t in t
1.359 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.359 * [taylor]: Taking taylor expansion of z in t
1.359 * [taylor]: Taking taylor expansion of a in t
1.359 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in z
1.359 * [taylor]: Taking taylor expansion of -1 in z
1.359 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.359 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.359 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.359 * [taylor]: Taking taylor expansion of t in z
1.359 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.359 * [taylor]: Taking taylor expansion of z in z
1.359 * [taylor]: Taking taylor expansion of a in z
1.359 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a
1.359 * [taylor]: Taking taylor expansion of -1 in a
1.359 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.359 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.359 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.359 * [taylor]: Taking taylor expansion of t in a
1.359 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.359 * [taylor]: Taking taylor expansion of z in a
1.359 * [taylor]: Taking taylor expansion of a in a
1.360 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a
1.360 * [taylor]: Taking taylor expansion of -1 in a
1.360 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.360 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.360 * [taylor]: Taking taylor expansion of t in a
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.360 * [taylor]: Taking taylor expansion of z in a
1.360 * [taylor]: Taking taylor expansion of a in a
1.360 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
1.360 * [taylor]: Taking taylor expansion of -1 in z
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.360 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.360 * [taylor]: Taking taylor expansion of t in z
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.360 * [taylor]: Taking taylor expansion of z in z
1.360 * [taylor]: Taking taylor expansion of 1 in t
1.361 * [taylor]: Taking taylor expansion of 0 in z
1.361 * [taylor]: Taking taylor expansion of 0 in t
1.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.361 * [taylor]: Taking taylor expansion of t in t
1.362 * [taylor]: Taking taylor expansion of 0 in z
1.362 * [taylor]: Taking taylor expansion of 0 in t
1.362 * [taylor]: Taking taylor expansion of 0 in t
1.362 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.362 * [approximate]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in (x y a z t) around 0
1.362 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in t
1.362 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in t
1.362 * [taylor]: Taking taylor expansion of x in t
1.362 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
1.362 * [taylor]: Taking taylor expansion of (* t y) in t
1.362 * [taylor]: Taking taylor expansion of t in t
1.362 * [taylor]: Taking taylor expansion of y in t
1.362 * [taylor]: Taking taylor expansion of a in t
1.362 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
1.362 * [taylor]: Taking taylor expansion of (* z y) in t
1.362 * [taylor]: Taking taylor expansion of z in t
1.362 * [taylor]: Taking taylor expansion of y in t
1.362 * [taylor]: Taking taylor expansion of a in t
1.362 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in z
1.362 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in z
1.362 * [taylor]: Taking taylor expansion of x in z
1.362 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
1.362 * [taylor]: Taking taylor expansion of (* t y) in z
1.362 * [taylor]: Taking taylor expansion of t in z
1.362 * [taylor]: Taking taylor expansion of y in z
1.362 * [taylor]: Taking taylor expansion of a in z
1.362 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
1.362 * [taylor]: Taking taylor expansion of (* z y) in z
1.362 * [taylor]: Taking taylor expansion of z in z
1.362 * [taylor]: Taking taylor expansion of y in z
1.362 * [taylor]: Taking taylor expansion of a in z
1.362 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in a
1.363 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in a
1.363 * [taylor]: Taking taylor expansion of x in a
1.363 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
1.363 * [taylor]: Taking taylor expansion of (* t y) in a
1.363 * [taylor]: Taking taylor expansion of t in a
1.363 * [taylor]: Taking taylor expansion of y in a
1.363 * [taylor]: Taking taylor expansion of a in a
1.363 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
1.363 * [taylor]: Taking taylor expansion of (* z y) in a
1.363 * [taylor]: Taking taylor expansion of z in a
1.363 * [taylor]: Taking taylor expansion of y in a
1.363 * [taylor]: Taking taylor expansion of a in a
1.363 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in y
1.363 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in y
1.363 * [taylor]: Taking taylor expansion of x in y
1.363 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.363 * [taylor]: Taking taylor expansion of (* t y) in y
1.363 * [taylor]: Taking taylor expansion of t in y
1.363 * [taylor]: Taking taylor expansion of y in y
1.363 * [taylor]: Taking taylor expansion of a in y
1.363 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.363 * [taylor]: Taking taylor expansion of (* z y) in y
1.363 * [taylor]: Taking taylor expansion of z in y
1.363 * [taylor]: Taking taylor expansion of y in y
1.363 * [taylor]: Taking taylor expansion of a in y
1.363 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.363 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.363 * [taylor]: Taking taylor expansion of x in x
1.363 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.363 * [taylor]: Taking taylor expansion of (* t y) in x
1.363 * [taylor]: Taking taylor expansion of t in x
1.363 * [taylor]: Taking taylor expansion of y in x
1.363 * [taylor]: Taking taylor expansion of a in x
1.363 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.363 * [taylor]: Taking taylor expansion of (* z y) in x
1.363 * [taylor]: Taking taylor expansion of z in x
1.363 * [taylor]: Taking taylor expansion of y in x
1.363 * [taylor]: Taking taylor expansion of a in x
1.363 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.363 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.363 * [taylor]: Taking taylor expansion of x in x
1.363 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.363 * [taylor]: Taking taylor expansion of (* t y) in x
1.363 * [taylor]: Taking taylor expansion of t in x
1.363 * [taylor]: Taking taylor expansion of y in x
1.363 * [taylor]: Taking taylor expansion of a in x
1.364 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.364 * [taylor]: Taking taylor expansion of (* z y) in x
1.364 * [taylor]: Taking taylor expansion of z in x
1.364 * [taylor]: Taking taylor expansion of y in x
1.364 * [taylor]: Taking taylor expansion of a in x
1.364 * [taylor]: Taking taylor expansion of (- (/ (* t y) a) (/ (* z y) a)) in y
1.364 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.364 * [taylor]: Taking taylor expansion of (* t y) in y
1.364 * [taylor]: Taking taylor expansion of t in y
1.364 * [taylor]: Taking taylor expansion of y in y
1.364 * [taylor]: Taking taylor expansion of a in y
1.364 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.364 * [taylor]: Taking taylor expansion of (* z y) in y
1.364 * [taylor]: Taking taylor expansion of z in y
1.364 * [taylor]: Taking taylor expansion of y in y
1.364 * [taylor]: Taking taylor expansion of a in y
1.364 * [taylor]: Taking taylor expansion of 1 in y
1.364 * [taylor]: Taking taylor expansion of 1 in a
1.365 * [taylor]: Taking taylor expansion of (- (/ t a) (/ z a)) in a
1.365 * [taylor]: Taking taylor expansion of (/ t a) in a
1.365 * [taylor]: Taking taylor expansion of t in a
1.365 * [taylor]: Taking taylor expansion of a in a
1.365 * [taylor]: Taking taylor expansion of (/ z a) in a
1.365 * [taylor]: Taking taylor expansion of z in a
1.365 * [taylor]: Taking taylor expansion of a in a
1.365 * [taylor]: Taking taylor expansion of (- t z) in z
1.365 * [taylor]: Taking taylor expansion of t in z
1.365 * [taylor]: Taking taylor expansion of z in z
1.365 * [taylor]: Taking taylor expansion of t in t
1.365 * [taylor]: Taking taylor expansion of 0 in y
1.365 * [taylor]: Taking taylor expansion of 0 in a
1.365 * [taylor]: Taking taylor expansion of 0 in a
1.365 * [taylor]: Taking taylor expansion of 0 in a
1.365 * [taylor]: Taking taylor expansion of 1 in z
1.365 * [taylor]: Taking taylor expansion of 1 in t
1.366 * [taylor]: Taking taylor expansion of 0 in z
1.366 * [taylor]: Taking taylor expansion of 0 in t
1.366 * [taylor]: Taking taylor expansion of -1 in t
1.366 * [approximate]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in (x y a z t) around 0
1.366 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in t
1.366 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.366 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.366 * [taylor]: Taking taylor expansion of a in t
1.366 * [taylor]: Taking taylor expansion of (* y t) in t
1.366 * [taylor]: Taking taylor expansion of y in t
1.366 * [taylor]: Taking taylor expansion of t in t
1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.366 * [taylor]: Taking taylor expansion of x in t
1.366 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.366 * [taylor]: Taking taylor expansion of a in t
1.366 * [taylor]: Taking taylor expansion of (* z y) in t
1.366 * [taylor]: Taking taylor expansion of z in t
1.366 * [taylor]: Taking taylor expansion of y in t
1.367 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in z
1.367 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.367 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.367 * [taylor]: Taking taylor expansion of a in z
1.367 * [taylor]: Taking taylor expansion of (* y t) in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.367 * [taylor]: Taking taylor expansion of t in z
1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.367 * [taylor]: Taking taylor expansion of x in z
1.367 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.367 * [taylor]: Taking taylor expansion of a in z
1.367 * [taylor]: Taking taylor expansion of (* z y) in z
1.367 * [taylor]: Taking taylor expansion of z in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.367 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in a
1.367 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.367 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.367 * [taylor]: Taking taylor expansion of a in a
1.367 * [taylor]: Taking taylor expansion of (* y t) in a
1.367 * [taylor]: Taking taylor expansion of y in a
1.367 * [taylor]: Taking taylor expansion of t in a
1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.367 * [taylor]: Taking taylor expansion of x in a
1.367 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.367 * [taylor]: Taking taylor expansion of a in a
1.367 * [taylor]: Taking taylor expansion of (* z y) in a
1.367 * [taylor]: Taking taylor expansion of z in a
1.367 * [taylor]: Taking taylor expansion of y in a
1.367 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in y
1.367 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.367 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.367 * [taylor]: Taking taylor expansion of a in y
1.367 * [taylor]: Taking taylor expansion of (* y t) in y
1.367 * [taylor]: Taking taylor expansion of y in y
1.367 * [taylor]: Taking taylor expansion of t in y
1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.367 * [taylor]: Taking taylor expansion of x in y
1.367 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.367 * [taylor]: Taking taylor expansion of a in y
1.367 * [taylor]: Taking taylor expansion of (* z y) in y
1.367 * [taylor]: Taking taylor expansion of z in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.368 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.368 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.368 * [taylor]: Taking taylor expansion of a in x
1.368 * [taylor]: Taking taylor expansion of (* y t) in x
1.368 * [taylor]: Taking taylor expansion of y in x
1.368 * [taylor]: Taking taylor expansion of t in x
1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.368 * [taylor]: Taking taylor expansion of x in x
1.368 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.368 * [taylor]: Taking taylor expansion of a in x
1.368 * [taylor]: Taking taylor expansion of (* z y) in x
1.368 * [taylor]: Taking taylor expansion of z in x
1.368 * [taylor]: Taking taylor expansion of y in x
1.368 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.368 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.368 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.368 * [taylor]: Taking taylor expansion of a in x
1.368 * [taylor]: Taking taylor expansion of (* y t) in x
1.368 * [taylor]: Taking taylor expansion of y in x
1.368 * [taylor]: Taking taylor expansion of t in x
1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.368 * [taylor]: Taking taylor expansion of x in x
1.368 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.368 * [taylor]: Taking taylor expansion of a in x
1.368 * [taylor]: Taking taylor expansion of (* z y) in x
1.368 * [taylor]: Taking taylor expansion of z in x
1.368 * [taylor]: Taking taylor expansion of y in x
1.368 * [taylor]: Taking taylor expansion of 1 in y
1.368 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
1.369 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.369 * [taylor]: Taking taylor expansion of a in y
1.369 * [taylor]: Taking taylor expansion of (* y t) in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [taylor]: Taking taylor expansion of t in y
1.369 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.369 * [taylor]: Taking taylor expansion of a in y
1.369 * [taylor]: Taking taylor expansion of (* z y) in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a
1.369 * [taylor]: Taking taylor expansion of (/ a t) in a
1.369 * [taylor]: Taking taylor expansion of a in a
1.369 * [taylor]: Taking taylor expansion of t in a
1.369 * [taylor]: Taking taylor expansion of (/ a z) in a
1.369 * [taylor]: Taking taylor expansion of a in a
1.369 * [taylor]: Taking taylor expansion of z in a
1.369 * [taylor]: Taking taylor expansion of 1 in a
1.369 * [taylor]: Taking taylor expansion of 1 in z
1.369 * [taylor]: Taking taylor expansion of 0 in y
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.370 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.370 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.370 * [taylor]: Taking taylor expansion of t in z
1.370 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.370 * [taylor]: Taking taylor expansion of z in z
1.370 * [taylor]: Taking taylor expansion of -1 in t
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.370 * [taylor]: Taking taylor expansion of 1 in t
1.370 * [taylor]: Taking taylor expansion of 0 in y
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in a
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in a
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in t
1.371 * [taylor]: Taking taylor expansion of 0 in t
1.371 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.371 * [taylor]: Taking taylor expansion of t in t
1.371 * [taylor]: Taking taylor expansion of 0 in t
1.371 * [taylor]: Taking taylor expansion of 0 in t
1.372 * [approximate]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in (x y a z t) around 0
1.372 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in t
1.372 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.372 * [taylor]: Taking taylor expansion of a in t
1.372 * [taylor]: Taking taylor expansion of (* z y) in t
1.372 * [taylor]: Taking taylor expansion of z in t
1.372 * [taylor]: Taking taylor expansion of y in t
1.372 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.372 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.372 * [taylor]: Taking taylor expansion of a in t
1.372 * [taylor]: Taking taylor expansion of (* y t) in t
1.372 * [taylor]: Taking taylor expansion of y in t
1.372 * [taylor]: Taking taylor expansion of t in t
1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.372 * [taylor]: Taking taylor expansion of x in t
1.372 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in z
1.372 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.372 * [taylor]: Taking taylor expansion of a in z
1.372 * [taylor]: Taking taylor expansion of (* z y) in z
1.372 * [taylor]: Taking taylor expansion of z in z
1.372 * [taylor]: Taking taylor expansion of y in z
1.372 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.373 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.373 * [taylor]: Taking taylor expansion of a in z
1.373 * [taylor]: Taking taylor expansion of (* y t) in z
1.373 * [taylor]: Taking taylor expansion of y in z
1.373 * [taylor]: Taking taylor expansion of t in z
1.373 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.373 * [taylor]: Taking taylor expansion of x in z
1.373 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in a
1.373 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.373 * [taylor]: Taking taylor expansion of a in a
1.373 * [taylor]: Taking taylor expansion of (* z y) in a
1.373 * [taylor]: Taking taylor expansion of z in a
1.373 * [taylor]: Taking taylor expansion of y in a
1.373 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.373 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.373 * [taylor]: Taking taylor expansion of a in a
1.373 * [taylor]: Taking taylor expansion of (* y t) in a
1.373 * [taylor]: Taking taylor expansion of y in a
1.373 * [taylor]: Taking taylor expansion of t in a
1.373 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.373 * [taylor]: Taking taylor expansion of x in a
1.373 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in y
1.373 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.373 * [taylor]: Taking taylor expansion of a in y
1.373 * [taylor]: Taking taylor expansion of (* z y) in y
1.373 * [taylor]: Taking taylor expansion of z in y
1.373 * [taylor]: Taking taylor expansion of y in y
1.373 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.373 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.373 * [taylor]: Taking taylor expansion of a in y
1.373 * [taylor]: Taking taylor expansion of (* y t) in y
1.373 * [taylor]: Taking taylor expansion of y in y
1.373 * [taylor]: Taking taylor expansion of t in y
1.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.373 * [taylor]: Taking taylor expansion of x in y
1.373 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.373 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.373 * [taylor]: Taking taylor expansion of a in x
1.373 * [taylor]: Taking taylor expansion of (* z y) in x
1.373 * [taylor]: Taking taylor expansion of z in x
1.373 * [taylor]: Taking taylor expansion of y in x
1.373 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.374 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.374 * [taylor]: Taking taylor expansion of a in x
1.374 * [taylor]: Taking taylor expansion of (* y t) in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.374 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.374 * [taylor]: Taking taylor expansion of a in x
1.374 * [taylor]: Taking taylor expansion of (* z y) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.374 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.374 * [taylor]: Taking taylor expansion of a in x
1.374 * [taylor]: Taking taylor expansion of (* y t) in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of -1 in y
1.374 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
1.374 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.374 * [taylor]: Taking taylor expansion of a in y
1.374 * [taylor]: Taking taylor expansion of (* z y) in y
1.374 * [taylor]: Taking taylor expansion of z in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.374 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.374 * [taylor]: Taking taylor expansion of a in y
1.374 * [taylor]: Taking taylor expansion of (* y t) in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.375 * [taylor]: Taking taylor expansion of t in y
1.375 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a
1.375 * [taylor]: Taking taylor expansion of (/ a z) in a
1.375 * [taylor]: Taking taylor expansion of a in a
1.375 * [taylor]: Taking taylor expansion of z in a
1.375 * [taylor]: Taking taylor expansion of (/ a t) in a
1.375 * [taylor]: Taking taylor expansion of a in a
1.375 * [taylor]: Taking taylor expansion of t in a
1.375 * [taylor]: Taking taylor expansion of -1 in a
1.375 * [taylor]: Taking taylor expansion of -1 in z
1.375 * [taylor]: Taking taylor expansion of 0 in y
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in z
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in z
1.376 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.376 * [taylor]: Taking taylor expansion of z in z
1.376 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.376 * [taylor]: Taking taylor expansion of t in z
1.376 * [taylor]: Taking taylor expansion of 1 in t
1.376 * [taylor]: Taking taylor expansion of 0 in z
1.376 * [taylor]: Taking taylor expansion of -1 in t
1.376 * [taylor]: Taking taylor expansion of 0 in y
1.376 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in a
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in a
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.377 * [taylor]: Taking taylor expansion of t in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.378 * * * [progress]: simplifying candidates
1.380 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 y) (-.f64 (log.f64 a) (log.f64 (-.f64 z t))))
  (-.f64 (log.f64 y) (log.f64 (/.f64 a (-.f64 z t))))
  (log.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (exp.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (*.f64 y y) y) (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))))
  (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (/.f64 a (-.f64 z t)) (/.f64 a (-.f64 z t))) (/.f64 a (-.f64 z t))))
  (*.f64 (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))) (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (*.f64 (*.f64 (/.f64 y (/.f64 a (-.f64 z t))) (/.f64 y (/.f64 a (-.f64 z t)))) (/.f64 y (/.f64 a (-.f64 z t))))
  (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (neg.f64 y)
  (neg.f64 (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (/.f64 a (cbrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (sqrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 a (sqrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1)
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) a)
  (/.f64 (cbrt.f64 y) (/.f64 1 (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 (cbrt.f64 y) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 (cbrt.f64 y) (+.f64 z t))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (/.f64 a (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 1 (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 a (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 1 1))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (/.f64 1 1))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (sqrt.f64 y) 1)
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (sqrt.f64 y) a)
  (/.f64 (sqrt.f64 y) (/.f64 1 (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 (sqrt.f64 y) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 (sqrt.f64 y) (+.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 y (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 y (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 1 (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 1 (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 a (cbrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 1 (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 a (sqrt.f64 (-.f64 z t))))
  (/.f64 1 (/.f64 1 1))
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 1 (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 1 (/.f64 1 1))
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 1 1)
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 1 a)
  (/.f64 y (/.f64 1 (-.f64 z t)))
  (/.f64 1 (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 y (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (/.f64 1 (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 y (+.f64 z t))
  (/.f64 1 (/.f64 a (-.f64 z t)))
  (/.f64 (/.f64 a (-.f64 z t)) y)
  (/.f64 y (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 y (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 y (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 (sqrt.f64 a) 1))
  (/.f64 y (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 (sqrt.f64 a) 1))
  (/.f64 y (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 1 (sqrt.f64 (-.f64 z t))))
  (/.f64 y (/.f64 1 1))
  (/.f64 y (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 y (/.f64 1 1))
  (/.f64 y 1)
  (/.f64 y a)
  (/.f64 y (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3))))
  (/.f64 y (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t))))
  (/.f64 (/.f64 a (-.f64 z t)) (cbrt.f64 y))
  (/.f64 (/.f64 a (-.f64 z t)) (sqrt.f64 y))
  (/.f64 (/.f64 a (-.f64 z t)) y)
  (/.f64 y a)
  (-.f64 (log.f64 a) (log.f64 (-.f64 z t)))
  (log.f64 (/.f64 a (-.f64 z t)))
  (exp.f64 (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (cbrt.f64 (/.f64 a (-.f64 z t)))
  (*.f64 (*.f64 (/.f64 a (-.f64 z t)) (/.f64 a (-.f64 z t))) (/.f64 a (-.f64 z t)))
  (sqrt.f64 (/.f64 a (-.f64 z t)))
  (sqrt.f64 (/.f64 a (-.f64 z t)))
  (neg.f64 a)
  (neg.f64 (-.f64 z t))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1)
  (/.f64 (cbrt.f64 a) (-.f64 z t))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1)
  (/.f64 (cbrt.f64 a) (-.f64 z t))
  (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 a) 1)
  (/.f64 (sqrt.f64 a) (-.f64 z t))
  (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 a) 1)
  (/.f64 (sqrt.f64 a) (-.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 a (cbrt.f64 (-.f64 z t)))
  (/.f64 1 (sqrt.f64 (-.f64 z t)))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  (/.f64 1 1)
  (/.f64 a (-.f64 z t))
  (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 1 1)
  (/.f64 a (-.f64 z t))
  (/.f64 1 (-.f64 z t))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  (/.f64 a 1)
  (/.f64 a (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 a 1)
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t)))
  (/.f64 (exp.f64 x) (exp.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (log.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (exp.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (*.f64 (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))) (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))))
  (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (*.f64 (*.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (sqrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (sqrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y (/.f64 a (-.f64 z t))) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (/.f64 y (/.f64 a (-.f64 z t))) (/.f64 y (/.f64 a (-.f64 z t)))) (*.f64 x (/.f64 y (/.f64 a (-.f64 z t))))))
  (neg.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (-.f64 (*.f64 x x) (*.f64 (/.f64 y (/.f64 a (-.f64 z t))) (/.f64 y (/.f64 a (-.f64 z t)))))
  (+.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (+.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t)))))
  (-.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t)))))
  (+.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))))
  (-.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))))
  (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  0
  0
  0
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
1.453 * * [simplify]: iteration  0 :  5001  enodes  (cost  3249 )
1.469 * [simplify]: Simplified to:
   (log.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (log.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (log.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (exp.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (pow.f64 (/.f64 y (/.f64 a (-.f64 z t))) 3)
  (pow.f64 (/.f64 y (/.f64 a (-.f64 z t))) 3)
  (*.f64 (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))) (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (cbrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (pow.f64 (/.f64 y (/.f64 a (-.f64 z t))) 3)
  (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t))))
  (neg.f64 y)
  (neg.f64 (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 a))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 a)))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 a))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 y) (/.f64 a (cbrt.f64 (-.f64 z t))))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 y) (/.f64 a (sqrt.f64 (-.f64 z t))))
  (*.f64 (cbrt.f64 y) (cbrt.f64 y))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (*.f64 (cbrt.f64 y) (cbrt.f64 y))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (*.f64 (cbrt.f64 y) (cbrt.f64 y))
  (/.f64 (cbrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) a)
  (*.f64 (-.f64 z t) (cbrt.f64 y))
  (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (/.f64 (cbrt.f64 y) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) a) (-.f64 (*.f64 z z) (*.f64 t t)))
  (/.f64 (cbrt.f64 y) (+.f64 z t))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 y) (sqrt.f64 a))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (/.f64 (sqrt.f64 y) (sqrt.f64 a))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 y))
  (/.f64 (sqrt.f64 y) (/.f64 a (cbrt.f64 (-.f64 z t))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 y))
  (/.f64 (sqrt.f64 y) (/.f64 a (sqrt.f64 (-.f64 z t))))
  (sqrt.f64 y)
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 y))
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (sqrt.f64 y)
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (sqrt.f64 y)
  (/.f64 (sqrt.f64 y) (/.f64 a (-.f64 z t)))
  (/.f64 (sqrt.f64 y) a)
  (*.f64 (-.f64 z t) (sqrt.f64 y))
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 (sqrt.f64 y) a))
  (/.f64 (sqrt.f64 y) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 (sqrt.f64 y) a))
  (/.f64 (sqrt.f64 y) (+.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 y (cbrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 y (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (/.f64 (cbrt.f64 a) (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a))
  (/.f64 y (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (/.f64 y (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 y (/.f64 (sqrt.f64 a) (-.f64 z t)))
  (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
  (/.f64 y (/.f64 a (cbrt.f64 (-.f64 z t))))
  (sqrt.f64 (-.f64 z t))
  (/.f64 y (/.f64 a (sqrt.f64 (-.f64 z t))))
  1
  (/.f64 y (/.f64 a (-.f64 z t)))
  (+.f64 (sqrt.f64 z) (sqrt.f64 t))
  (/.f64 y (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  1
  (/.f64 y (/.f64 a (-.f64 z t)))
  1
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 1 a)
  (*.f64 y (-.f64 z t))
  (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) a)
  (/.f64 y (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) a)
  (/.f64 y (+.f64 z t))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 y (-.f64 z t)))
  (/.f64 y (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t)))))
  (/.f64 y (sqrt.f64 (/.f64 a (-.f64 z t))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 y (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t)))))
  (/.f64 y (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t))))
  (/.f64 y (sqrt.f64 a))
  (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (sqrt.f64 a)))
  (/.f64 y (sqrt.f64 a))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  y
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  y
  y
  (/.f64 y a)
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y a))
  (*.f64 (/.f64 y (/.f64 a (-.f64 z t))) (+.f64 z t))
  (/.f64 a (*.f64 (-.f64 z t) (cbrt.f64 y)))
  (/.f64 a (*.f64 (-.f64 z t) (sqrt.f64 y)))
  (/.f64 a (*.f64 y (-.f64 z t)))
  (/.f64 y a)
  (log.f64 (/.f64 a (-.f64 z t)))
  (log.f64 (/.f64 a (-.f64 z t)))
  (exp.f64 (/.f64 a (-.f64 z t)))
  (pow.f64 (/.f64 a (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (/.f64 a (-.f64 z t))) (cbrt.f64 (/.f64 a (-.f64 z t))))
  (cbrt.f64 (/.f64 a (-.f64 z t)))
  (pow.f64 (/.f64 a (-.f64 z t)) 3)
  (sqrt.f64 (/.f64 a (-.f64 z t)))
  (sqrt.f64 (/.f64 a (-.f64 z t)))
  (neg.f64 a)
  (-.f64 t z)
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (*.f64 (cbrt.f64 a) (cbrt.f64 a))
  (/.f64 (cbrt.f64 a) (-.f64 z t))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 (cbrt.f64 a) (cbrt.f64 a))
  (/.f64 (cbrt.f64 a) (-.f64 z t))
  (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))
  (sqrt.f64 a)
  (/.f64 (sqrt.f64 a) (-.f64 z t))
  (/.f64 (sqrt.f64 a) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (sqrt.f64 a)
  (/.f64 (sqrt.f64 a) (-.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 a (cbrt.f64 (-.f64 z t)))
  (/.f64 1 (sqrt.f64 (-.f64 z t)))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  1
  (/.f64 a (-.f64 z t))
  (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  1
  (/.f64 a (-.f64 z t))
  (/.f64 1 (-.f64 z t))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  a
  (/.f64 a (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  a
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (/.f64 a (-.f64 (*.f64 z z) (*.f64 t t)))
  (exp.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (log.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (exp.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (*.f64 (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))) (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))))
  (cbrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (pow.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))) 3)
  (sqrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (sqrt.f64 (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))
  (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y (/.f64 a (-.f64 z t))) 3))
  (+.f64 (*.f64 x x) (*.f64 (-.f64 z t) (*.f64 (/.f64 y a) (+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x))))
  (*.f64 (/.f64 y a) (-.f64 t z))
  (-.f64 (*.f64 x x) (*.f64 (/.f64 y (/.f64 a (-.f64 z t))) (/.f64 y (/.f64 a (-.f64 z t)))))
  (+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
  (+.f64 (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))) (sqrt.f64 x))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y (/.f64 a (-.f64 z t)))))
  (+.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t)))) (sqrt.f64 x))
  (-.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 a (-.f64 z t)))))
  (+.f64 (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))) (sqrt.f64 x))
  (-.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 z t)))))
  (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 y (/.f64 a (-.f64 z t)))
  (/.f64 y (/.f64 a (-.f64 z t)))
  0
  0
  0
  (+.f64 x (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
  (+.f64 x (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
  (+.f64 x (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
1.470 * * * [progress]: adding candidates to table
1.541 * * [progress]: iteration 4 / 4
1.541 * * * [progress]: picking best candidate
1.552 * * * * [pick]: Picked  #<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))>
1.552 * * * [progress]: localizing error
1.559 * * * [progress]: generating rewritten candidates
1.559 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.571 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
1.577 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.583 * * * [progress]: generating series expansions
1.583 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.583 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0
1.583 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
1.583 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
1.583 * [taylor]: Taking taylor expansion of y in a
1.583 * [taylor]: Taking taylor expansion of (- z t) in a
1.583 * [taylor]: Taking taylor expansion of z in a
1.583 * [taylor]: Taking taylor expansion of t in a
1.583 * [taylor]: Taking taylor expansion of a in a
1.584 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
1.584 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
1.584 * [taylor]: Taking taylor expansion of y in t
1.584 * [taylor]: Taking taylor expansion of (- z t) in t
1.584 * [taylor]: Taking taylor expansion of z in t
1.584 * [taylor]: Taking taylor expansion of t in t
1.584 * [taylor]: Taking taylor expansion of a in t
1.584 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
1.584 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
1.584 * [taylor]: Taking taylor expansion of y in z
1.584 * [taylor]: Taking taylor expansion of (- z t) in z
1.584 * [taylor]: Taking taylor expansion of z in z
1.584 * [taylor]: Taking taylor expansion of t in z
1.584 * [taylor]: Taking taylor expansion of a in z
1.584 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
1.584 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
1.584 * [taylor]: Taking taylor expansion of y in y
1.584 * [taylor]: Taking taylor expansion of (- z t) in y
1.584 * [taylor]: Taking taylor expansion of z in y
1.584 * [taylor]: Taking taylor expansion of t in y
1.584 * [taylor]: Taking taylor expansion of a in y
1.584 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
1.584 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
1.584 * [taylor]: Taking taylor expansion of y in y
1.584 * [taylor]: Taking taylor expansion of (- z t) in y
1.584 * [taylor]: Taking taylor expansion of z in y
1.584 * [taylor]: Taking taylor expansion of t in y
1.584 * [taylor]: Taking taylor expansion of a in y
1.585 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
1.585 * [taylor]: Taking taylor expansion of (- z t) in z
1.585 * [taylor]: Taking taylor expansion of z in z
1.585 * [taylor]: Taking taylor expansion of t in z
1.585 * [taylor]: Taking taylor expansion of a in z
1.585 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
1.585 * [taylor]: Taking taylor expansion of -1 in t
1.585 * [taylor]: Taking taylor expansion of (/ t a) in t
1.585 * [taylor]: Taking taylor expansion of t in t
1.585 * [taylor]: Taking taylor expansion of a in t
1.585 * [taylor]: Taking taylor expansion of 0 in z
1.585 * [taylor]: Taking taylor expansion of 0 in t
1.585 * [taylor]: Taking taylor expansion of 0 in a
1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.585 * [taylor]: Taking taylor expansion of a in t
1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.585 * [taylor]: Taking taylor expansion of a in a
1.585 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.585 * [taylor]: Taking taylor expansion of -1 in a
1.585 * [taylor]: Taking taylor expansion of a in a
1.585 * [taylor]: Taking taylor expansion of 0 in z
1.585 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in z
1.586 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.586 * [taylor]: Taking taylor expansion of 0 in t
1.586 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in t
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0
1.587 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
1.587 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.587 * [taylor]: Taking taylor expansion of a in a
1.587 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.587 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.587 * [taylor]: Taking taylor expansion of z in a
1.587 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.587 * [taylor]: Taking taylor expansion of t in a
1.587 * [taylor]: Taking taylor expansion of y in a
1.588 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
1.588 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.588 * [taylor]: Taking taylor expansion of a in t
1.588 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.588 * [taylor]: Taking taylor expansion of z in t
1.588 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.588 * [taylor]: Taking taylor expansion of t in t
1.588 * [taylor]: Taking taylor expansion of y in t
1.588 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.588 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.588 * [taylor]: Taking taylor expansion of a in z
1.588 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.588 * [taylor]: Taking taylor expansion of z in z
1.588 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.588 * [taylor]: Taking taylor expansion of t in z
1.588 * [taylor]: Taking taylor expansion of y in z
1.588 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.588 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.588 * [taylor]: Taking taylor expansion of a in y
1.588 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.588 * [taylor]: Taking taylor expansion of z in y
1.588 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.588 * [taylor]: Taking taylor expansion of t in y
1.588 * [taylor]: Taking taylor expansion of y in y
1.589 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.589 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.589 * [taylor]: Taking taylor expansion of a in y
1.589 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.589 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.589 * [taylor]: Taking taylor expansion of z in y
1.589 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.589 * [taylor]: Taking taylor expansion of t in y
1.589 * [taylor]: Taking taylor expansion of y in y
1.589 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.589 * [taylor]: Taking taylor expansion of a in z
1.589 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.589 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.589 * [taylor]: Taking taylor expansion of z in z
1.589 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.589 * [taylor]: Taking taylor expansion of t in z
1.589 * [taylor]: Taking taylor expansion of a in t
1.589 * [taylor]: Taking taylor expansion of 0 in z
1.590 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.590 * [taylor]: Taking taylor expansion of (/ a t) in t
1.590 * [taylor]: Taking taylor expansion of a in t
1.590 * [taylor]: Taking taylor expansion of t in t
1.590 * [taylor]: Taking taylor expansion of (neg a) in a
1.590 * [taylor]: Taking taylor expansion of a in a
1.590 * [taylor]: Taking taylor expansion of a in a
1.590 * [taylor]: Taking taylor expansion of 0 in z
1.590 * [taylor]: Taking taylor expansion of 0 in t
1.590 * [taylor]: Taking taylor expansion of 0 in t
1.590 * [taylor]: Taking taylor expansion of 0 in a
1.590 * [taylor]: Taking taylor expansion of 0 in a
1.591 * [taylor]: Taking taylor expansion of 0 in z
1.591 * [taylor]: Taking taylor expansion of 0 in t
1.591 * [taylor]: Taking taylor expansion of 0 in t
1.591 * [taylor]: Taking taylor expansion of 0 in t
1.591 * [taylor]: Taking taylor expansion of 0 in a
1.591 * [taylor]: Taking taylor expansion of 0 in a
1.592 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0
1.592 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
1.592 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.592 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.592 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.592 * [taylor]: Taking taylor expansion of t in a
1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.592 * [taylor]: Taking taylor expansion of z in a
1.592 * [taylor]: Taking taylor expansion of a in a
1.592 * [taylor]: Taking taylor expansion of y in a
1.592 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
1.592 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.592 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.592 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.592 * [taylor]: Taking taylor expansion of t in t
1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.592 * [taylor]: Taking taylor expansion of z in t
1.592 * [taylor]: Taking taylor expansion of a in t
1.592 * [taylor]: Taking taylor expansion of y in t
1.592 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
1.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.593 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.593 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.593 * [taylor]: Taking taylor expansion of t in z
1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.593 * [taylor]: Taking taylor expansion of z in z
1.593 * [taylor]: Taking taylor expansion of a in z
1.593 * [taylor]: Taking taylor expansion of y in z
1.593 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.593 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.593 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.593 * [taylor]: Taking taylor expansion of t in y
1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.593 * [taylor]: Taking taylor expansion of z in y
1.593 * [taylor]: Taking taylor expansion of a in y
1.593 * [taylor]: Taking taylor expansion of y in y
1.593 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.593 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.593 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.593 * [taylor]: Taking taylor expansion of t in y
1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.593 * [taylor]: Taking taylor expansion of z in y
1.593 * [taylor]: Taking taylor expansion of a in y
1.593 * [taylor]: Taking taylor expansion of y in y
1.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.594 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.594 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.594 * [taylor]: Taking taylor expansion of t in z
1.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.594 * [taylor]: Taking taylor expansion of z in z
1.594 * [taylor]: Taking taylor expansion of a in z
1.594 * [taylor]: Taking taylor expansion of (* -1 a) in t
1.594 * [taylor]: Taking taylor expansion of -1 in t
1.594 * [taylor]: Taking taylor expansion of a in t
1.594 * [taylor]: Taking taylor expansion of 0 in z
1.594 * [taylor]: Taking taylor expansion of (/ a t) in t
1.594 * [taylor]: Taking taylor expansion of a in t
1.594 * [taylor]: Taking taylor expansion of t in t
1.594 * [taylor]: Taking taylor expansion of a in a
1.594 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.594 * [taylor]: Taking taylor expansion of -1 in a
1.594 * [taylor]: Taking taylor expansion of a in a
1.595 * [taylor]: Taking taylor expansion of 0 in z
1.595 * [taylor]: Taking taylor expansion of 0 in t
1.595 * [taylor]: Taking taylor expansion of 0 in t
1.595 * [taylor]: Taking taylor expansion of 0 in a
1.595 * [taylor]: Taking taylor expansion of 0 in a
1.595 * [taylor]: Taking taylor expansion of 0 in z
1.595 * [taylor]: Taking taylor expansion of 0 in t
1.596 * [taylor]: Taking taylor expansion of 0 in t
1.596 * [taylor]: Taking taylor expansion of 0 in t
1.596 * [taylor]: Taking taylor expansion of 0 in a
1.596 * [taylor]: Taking taylor expansion of 0 in a
1.596 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
1.596 * [approximate]: Taking taylor expansion of (/ (- z t) a) in (z t a) around 0
1.596 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a
1.596 * [taylor]: Taking taylor expansion of (- z t) in a
1.596 * [taylor]: Taking taylor expansion of z in a
1.596 * [taylor]: Taking taylor expansion of t in a
1.596 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of (/ (- z t) a) in t
1.596 * [taylor]: Taking taylor expansion of (- z t) in t
1.596 * [taylor]: Taking taylor expansion of z in t
1.596 * [taylor]: Taking taylor expansion of t in t
1.596 * [taylor]: Taking taylor expansion of a in t
1.597 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
1.597 * [taylor]: Taking taylor expansion of (- z t) in z
1.597 * [taylor]: Taking taylor expansion of z in z
1.597 * [taylor]: Taking taylor expansion of t in z
1.597 * [taylor]: Taking taylor expansion of a in z
1.597 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
1.597 * [taylor]: Taking taylor expansion of (- z t) in z
1.597 * [taylor]: Taking taylor expansion of z in z
1.597 * [taylor]: Taking taylor expansion of t in z
1.597 * [taylor]: Taking taylor expansion of a in z
1.597 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
1.597 * [taylor]: Taking taylor expansion of -1 in t
1.597 * [taylor]: Taking taylor expansion of (/ t a) in t
1.597 * [taylor]: Taking taylor expansion of t in t
1.597 * [taylor]: Taking taylor expansion of a in t
1.597 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.597 * [taylor]: Taking taylor expansion of a in t
1.597 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.597 * [taylor]: Taking taylor expansion of a in a
1.597 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.597 * [taylor]: Taking taylor expansion of -1 in a
1.597 * [taylor]: Taking taylor expansion of a in a
1.597 * [taylor]: Taking taylor expansion of 0 in t
1.597 * [taylor]: Taking taylor expansion of 0 in a
1.597 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in t
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [approximate]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in (z t a) around 0
1.598 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.598 * [taylor]: Taking taylor expansion of a in a
1.598 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.598 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.598 * [taylor]: Taking taylor expansion of z in a
1.598 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.599 * [taylor]: Taking taylor expansion of t in a
1.599 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.599 * [taylor]: Taking taylor expansion of a in t
1.599 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.599 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.599 * [taylor]: Taking taylor expansion of z in t
1.599 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.599 * [taylor]: Taking taylor expansion of t in t
1.599 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.599 * [taylor]: Taking taylor expansion of a in z
1.599 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.599 * [taylor]: Taking taylor expansion of z in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.599 * [taylor]: Taking taylor expansion of t in z
1.599 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.599 * [taylor]: Taking taylor expansion of a in z
1.599 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.599 * [taylor]: Taking taylor expansion of z in z
1.599 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.599 * [taylor]: Taking taylor expansion of t in z
1.599 * [taylor]: Taking taylor expansion of a in t
1.599 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.599 * [taylor]: Taking taylor expansion of (/ a t) in t
1.599 * [taylor]: Taking taylor expansion of a in t
1.599 * [taylor]: Taking taylor expansion of t in t
1.599 * [taylor]: Taking taylor expansion of (neg a) in a
1.599 * [taylor]: Taking taylor expansion of a in a
1.599 * [taylor]: Taking taylor expansion of a in a
1.600 * [taylor]: Taking taylor expansion of 0 in t
1.600 * [taylor]: Taking taylor expansion of 0 in a
1.600 * [taylor]: Taking taylor expansion of 0 in a
1.600 * [taylor]: Taking taylor expansion of 0 in t
1.600 * [taylor]: Taking taylor expansion of 0 in a
1.600 * [taylor]: Taking taylor expansion of 0 in a
1.600 * [taylor]: Taking taylor expansion of 0 in a
1.600 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in (z t a) around 0
1.600 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in a
1.600 * [taylor]: Taking taylor expansion of -1 in a
1.600 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.600 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.601 * [taylor]: Taking taylor expansion of t in a
1.601 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.601 * [taylor]: Taking taylor expansion of z in a
1.601 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in t
1.601 * [taylor]: Taking taylor expansion of -1 in t
1.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.601 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.601 * [taylor]: Taking taylor expansion of t in t
1.601 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.601 * [taylor]: Taking taylor expansion of z in t
1.601 * [taylor]: Taking taylor expansion of a in t
1.601 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z
1.601 * [taylor]: Taking taylor expansion of -1 in z
1.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.601 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.601 * [taylor]: Taking taylor expansion of t in z
1.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.601 * [taylor]: Taking taylor expansion of z in z
1.601 * [taylor]: Taking taylor expansion of a in z
1.601 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z
1.601 * [taylor]: Taking taylor expansion of -1 in z
1.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.601 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.601 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.601 * [taylor]: Taking taylor expansion of t in z
1.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.601 * [taylor]: Taking taylor expansion of z in z
1.601 * [taylor]: Taking taylor expansion of a in z
1.601 * [taylor]: Taking taylor expansion of a in t
1.601 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.601 * [taylor]: Taking taylor expansion of (/ a t) in t
1.601 * [taylor]: Taking taylor expansion of a in t
1.601 * [taylor]: Taking taylor expansion of t in t
1.602 * [taylor]: Taking taylor expansion of (neg a) in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of 0 in t
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [taylor]: Taking taylor expansion of 0 in t
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.603 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.603 * [approximate]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in (x y z t a) around 0
1.603 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in a
1.603 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in a
1.603 * [taylor]: Taking taylor expansion of x in a
1.603 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
1.603 * [taylor]: Taking taylor expansion of (* t y) in a
1.603 * [taylor]: Taking taylor expansion of t in a
1.603 * [taylor]: Taking taylor expansion of y in a
1.603 * [taylor]: Taking taylor expansion of a in a
1.603 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
1.603 * [taylor]: Taking taylor expansion of (* z y) in a
1.603 * [taylor]: Taking taylor expansion of z in a
1.603 * [taylor]: Taking taylor expansion of y in a
1.603 * [taylor]: Taking taylor expansion of a in a
1.603 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in t
1.603 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in t
1.603 * [taylor]: Taking taylor expansion of x in t
1.603 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
1.603 * [taylor]: Taking taylor expansion of (* t y) in t
1.603 * [taylor]: Taking taylor expansion of t in t
1.603 * [taylor]: Taking taylor expansion of y in t
1.603 * [taylor]: Taking taylor expansion of a in t
1.604 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
1.604 * [taylor]: Taking taylor expansion of (* z y) in t
1.604 * [taylor]: Taking taylor expansion of z in t
1.604 * [taylor]: Taking taylor expansion of y in t
1.604 * [taylor]: Taking taylor expansion of a in t
1.604 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in z
1.604 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in z
1.604 * [taylor]: Taking taylor expansion of x in z
1.604 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
1.604 * [taylor]: Taking taylor expansion of (* t y) in z
1.604 * [taylor]: Taking taylor expansion of t in z
1.604 * [taylor]: Taking taylor expansion of y in z
1.604 * [taylor]: Taking taylor expansion of a in z
1.604 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
1.604 * [taylor]: Taking taylor expansion of (* z y) in z
1.604 * [taylor]: Taking taylor expansion of z in z
1.604 * [taylor]: Taking taylor expansion of y in z
1.604 * [taylor]: Taking taylor expansion of a in z
1.604 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in y
1.604 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in y
1.604 * [taylor]: Taking taylor expansion of x in y
1.604 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.604 * [taylor]: Taking taylor expansion of (* t y) in y
1.604 * [taylor]: Taking taylor expansion of t in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.604 * [taylor]: Taking taylor expansion of a in y
1.604 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.604 * [taylor]: Taking taylor expansion of (* z y) in y
1.604 * [taylor]: Taking taylor expansion of z in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.604 * [taylor]: Taking taylor expansion of a in y
1.604 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.604 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.604 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.604 * [taylor]: Taking taylor expansion of (* t y) in x
1.604 * [taylor]: Taking taylor expansion of t in x
1.604 * [taylor]: Taking taylor expansion of y in x
1.604 * [taylor]: Taking taylor expansion of a in x
1.604 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.605 * [taylor]: Taking taylor expansion of (* z y) in x
1.605 * [taylor]: Taking taylor expansion of z in x
1.605 * [taylor]: Taking taylor expansion of y in x
1.605 * [taylor]: Taking taylor expansion of a in x
1.605 * [taylor]: Taking taylor expansion of (- (+ x (/ (* t y) a)) (/ (* z y) a)) in x
1.605 * [taylor]: Taking taylor expansion of (+ x (/ (* t y) a)) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
1.605 * [taylor]: Taking taylor expansion of (* t y) in x
1.605 * [taylor]: Taking taylor expansion of t in x
1.605 * [taylor]: Taking taylor expansion of y in x
1.605 * [taylor]: Taking taylor expansion of a in x
1.605 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
1.605 * [taylor]: Taking taylor expansion of (* z y) in x
1.605 * [taylor]: Taking taylor expansion of z in x
1.605 * [taylor]: Taking taylor expansion of y in x
1.605 * [taylor]: Taking taylor expansion of a in x
1.605 * [taylor]: Taking taylor expansion of (- (/ (* t y) a) (/ (* z y) a)) in y
1.605 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
1.605 * [taylor]: Taking taylor expansion of (* t y) in y
1.605 * [taylor]: Taking taylor expansion of t in y
1.605 * [taylor]: Taking taylor expansion of y in y
1.605 * [taylor]: Taking taylor expansion of a in y
1.605 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
1.605 * [taylor]: Taking taylor expansion of (* z y) in y
1.605 * [taylor]: Taking taylor expansion of z in y
1.605 * [taylor]: Taking taylor expansion of y in y
1.605 * [taylor]: Taking taylor expansion of a in y
1.606 * [taylor]: Taking taylor expansion of 1 in y
1.606 * [taylor]: Taking taylor expansion of 1 in z
1.606 * [taylor]: Taking taylor expansion of 1 in t
1.606 * [taylor]: Taking taylor expansion of 1 in a
1.606 * [taylor]: Taking taylor expansion of (- (/ t a) (/ z a)) in z
1.606 * [taylor]: Taking taylor expansion of (/ t a) in z
1.606 * [taylor]: Taking taylor expansion of t in z
1.606 * [taylor]: Taking taylor expansion of a in z
1.606 * [taylor]: Taking taylor expansion of (/ z a) in z
1.606 * [taylor]: Taking taylor expansion of z in z
1.606 * [taylor]: Taking taylor expansion of a in z
1.606 * [taylor]: Taking taylor expansion of (/ t a) in t
1.606 * [taylor]: Taking taylor expansion of t in t
1.606 * [taylor]: Taking taylor expansion of a in t
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in t
1.606 * [taylor]: Taking taylor expansion of 0 in a
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in t
1.607 * [taylor]: Taking taylor expansion of 0 in a
1.607 * [taylor]: Taking taylor expansion of 0 in z
1.607 * [taylor]: Taking taylor expansion of 0 in t
1.607 * [taylor]: Taking taylor expansion of 0 in a
1.607 * [taylor]: Taking taylor expansion of 0 in t
1.607 * [taylor]: Taking taylor expansion of 0 in a
1.607 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.607 * [taylor]: Taking taylor expansion of a in t
1.607 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.607 * [taylor]: Taking taylor expansion of a in a
1.607 * [taylor]: Taking taylor expansion of 0 in a
1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.607 * [taylor]: Taking taylor expansion of a in a
1.608 * [approximate]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in (x y z t a) around 0
1.608 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in a
1.608 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.608 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.608 * [taylor]: Taking taylor expansion of a in a
1.608 * [taylor]: Taking taylor expansion of (* y t) in a
1.608 * [taylor]: Taking taylor expansion of y in a
1.608 * [taylor]: Taking taylor expansion of t in a
1.608 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.608 * [taylor]: Taking taylor expansion of x in a
1.608 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.608 * [taylor]: Taking taylor expansion of a in a
1.608 * [taylor]: Taking taylor expansion of (* z y) in a
1.608 * [taylor]: Taking taylor expansion of z in a
1.608 * [taylor]: Taking taylor expansion of y in a
1.608 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in t
1.608 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.608 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.608 * [taylor]: Taking taylor expansion of a in t
1.608 * [taylor]: Taking taylor expansion of (* y t) in t
1.608 * [taylor]: Taking taylor expansion of y in t
1.608 * [taylor]: Taking taylor expansion of t in t
1.608 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.608 * [taylor]: Taking taylor expansion of x in t
1.608 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.608 * [taylor]: Taking taylor expansion of a in t
1.608 * [taylor]: Taking taylor expansion of (* z y) in t
1.608 * [taylor]: Taking taylor expansion of z in t
1.608 * [taylor]: Taking taylor expansion of y in t
1.608 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in z
1.608 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.608 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.608 * [taylor]: Taking taylor expansion of a in z
1.609 * [taylor]: Taking taylor expansion of (* y t) in z
1.609 * [taylor]: Taking taylor expansion of y in z
1.609 * [taylor]: Taking taylor expansion of t in z
1.609 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.609 * [taylor]: Taking taylor expansion of x in z
1.609 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.609 * [taylor]: Taking taylor expansion of a in z
1.609 * [taylor]: Taking taylor expansion of (* z y) in z
1.609 * [taylor]: Taking taylor expansion of z in z
1.609 * [taylor]: Taking taylor expansion of y in z
1.609 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in y
1.609 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.609 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.609 * [taylor]: Taking taylor expansion of a in y
1.609 * [taylor]: Taking taylor expansion of (* y t) in y
1.609 * [taylor]: Taking taylor expansion of y in y
1.609 * [taylor]: Taking taylor expansion of t in y
1.609 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.609 * [taylor]: Taking taylor expansion of x in y
1.609 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.609 * [taylor]: Taking taylor expansion of a in y
1.609 * [taylor]: Taking taylor expansion of (* z y) in y
1.609 * [taylor]: Taking taylor expansion of z in y
1.609 * [taylor]: Taking taylor expansion of y in y
1.609 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.609 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.609 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.609 * [taylor]: Taking taylor expansion of a in x
1.609 * [taylor]: Taking taylor expansion of (* y t) in x
1.609 * [taylor]: Taking taylor expansion of y in x
1.609 * [taylor]: Taking taylor expansion of t in x
1.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.609 * [taylor]: Taking taylor expansion of x in x
1.609 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.609 * [taylor]: Taking taylor expansion of a in x
1.609 * [taylor]: Taking taylor expansion of (* z y) in x
1.609 * [taylor]: Taking taylor expansion of z in x
1.609 * [taylor]: Taking taylor expansion of y in x
1.609 * [taylor]: Taking taylor expansion of (- (+ (/ a (* y t)) (/ 1 x)) (/ a (* z y))) in x
1.609 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.610 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.610 * [taylor]: Taking taylor expansion of a in x
1.610 * [taylor]: Taking taylor expansion of (* y t) in x
1.610 * [taylor]: Taking taylor expansion of y in x
1.610 * [taylor]: Taking taylor expansion of t in x
1.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.610 * [taylor]: Taking taylor expansion of x in x
1.610 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.610 * [taylor]: Taking taylor expansion of a in x
1.610 * [taylor]: Taking taylor expansion of (* z y) in x
1.610 * [taylor]: Taking taylor expansion of z in x
1.610 * [taylor]: Taking taylor expansion of y in x
1.610 * [taylor]: Taking taylor expansion of 1 in y
1.610 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
1.610 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.610 * [taylor]: Taking taylor expansion of a in y
1.610 * [taylor]: Taking taylor expansion of (* y t) in y
1.610 * [taylor]: Taking taylor expansion of y in y
1.610 * [taylor]: Taking taylor expansion of t in y
1.610 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.610 * [taylor]: Taking taylor expansion of a in y
1.610 * [taylor]: Taking taylor expansion of (* z y) in y
1.610 * [taylor]: Taking taylor expansion of z in y
1.610 * [taylor]: Taking taylor expansion of y in y
1.610 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z
1.610 * [taylor]: Taking taylor expansion of (/ a t) in z
1.610 * [taylor]: Taking taylor expansion of a in z
1.611 * [taylor]: Taking taylor expansion of t in z
1.611 * [taylor]: Taking taylor expansion of (/ a z) in z
1.611 * [taylor]: Taking taylor expansion of a in z
1.611 * [taylor]: Taking taylor expansion of z in z
1.611 * [taylor]: Taking taylor expansion of (neg a) in t
1.611 * [taylor]: Taking taylor expansion of a in t
1.611 * [taylor]: Taking taylor expansion of 1 in z
1.611 * [taylor]: Taking taylor expansion of 0 in y
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of (/ a t) in t
1.611 * [taylor]: Taking taylor expansion of a in t
1.611 * [taylor]: Taking taylor expansion of t in t
1.611 * [taylor]: Taking taylor expansion of a in a
1.612 * [taylor]: Taking taylor expansion of 1 in t
1.612 * [taylor]: Taking taylor expansion of (neg a) in a
1.612 * [taylor]: Taking taylor expansion of a in a
1.612 * [taylor]: Taking taylor expansion of 0 in y
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in t
1.612 * [taylor]: Taking taylor expansion of 0 in t
1.613 * [taylor]: Taking taylor expansion of 0 in t
1.613 * [taylor]: Taking taylor expansion of 0 in t
1.613 * [taylor]: Taking taylor expansion of 0 in a
1.613 * [taylor]: Taking taylor expansion of 1 in a
1.613 * [taylor]: Taking taylor expansion of 0 in a
1.613 * [approximate]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in (x y z t a) around 0
1.613 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in a
1.613 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
1.614 * [taylor]: Taking taylor expansion of a in a
1.614 * [taylor]: Taking taylor expansion of (* z y) in a
1.614 * [taylor]: Taking taylor expansion of z in a
1.614 * [taylor]: Taking taylor expansion of y in a
1.614 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in a
1.614 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
1.614 * [taylor]: Taking taylor expansion of a in a
1.614 * [taylor]: Taking taylor expansion of (* y t) in a
1.614 * [taylor]: Taking taylor expansion of y in a
1.614 * [taylor]: Taking taylor expansion of t in a
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.614 * [taylor]: Taking taylor expansion of x in a
1.614 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in t
1.614 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
1.614 * [taylor]: Taking taylor expansion of a in t
1.614 * [taylor]: Taking taylor expansion of (* z y) in t
1.614 * [taylor]: Taking taylor expansion of z in t
1.614 * [taylor]: Taking taylor expansion of y in t
1.614 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in t
1.614 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.614 * [taylor]: Taking taylor expansion of a in t
1.614 * [taylor]: Taking taylor expansion of (* y t) in t
1.614 * [taylor]: Taking taylor expansion of y in t
1.614 * [taylor]: Taking taylor expansion of t in t
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.614 * [taylor]: Taking taylor expansion of x in t
1.614 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in z
1.614 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
1.614 * [taylor]: Taking taylor expansion of a in z
1.614 * [taylor]: Taking taylor expansion of (* z y) in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of y in z
1.614 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in z
1.614 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
1.614 * [taylor]: Taking taylor expansion of a in z
1.614 * [taylor]: Taking taylor expansion of (* y t) in z
1.614 * [taylor]: Taking taylor expansion of y in z
1.614 * [taylor]: Taking taylor expansion of t in z
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.614 * [taylor]: Taking taylor expansion of x in z
1.614 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in y
1.615 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.615 * [taylor]: Taking taylor expansion of a in y
1.615 * [taylor]: Taking taylor expansion of (* z y) in y
1.615 * [taylor]: Taking taylor expansion of z in y
1.615 * [taylor]: Taking taylor expansion of y in y
1.615 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in y
1.615 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.615 * [taylor]: Taking taylor expansion of a in y
1.615 * [taylor]: Taking taylor expansion of (* y t) in y
1.615 * [taylor]: Taking taylor expansion of y in y
1.615 * [taylor]: Taking taylor expansion of t in y
1.615 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.615 * [taylor]: Taking taylor expansion of x in y
1.615 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.615 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.615 * [taylor]: Taking taylor expansion of a in x
1.615 * [taylor]: Taking taylor expansion of (* z y) in x
1.615 * [taylor]: Taking taylor expansion of z in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.615 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.615 * [taylor]: Taking taylor expansion of a in x
1.615 * [taylor]: Taking taylor expansion of (* y t) in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of t in x
1.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (+ (/ a (* y t)) (/ 1 x))) in x
1.615 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
1.615 * [taylor]: Taking taylor expansion of a in x
1.615 * [taylor]: Taking taylor expansion of (* z y) in x
1.615 * [taylor]: Taking taylor expansion of z in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of (+ (/ a (* y t)) (/ 1 x)) in x
1.615 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
1.615 * [taylor]: Taking taylor expansion of a in x
1.615 * [taylor]: Taking taylor expansion of (* y t) in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of t in x
1.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.616 * [taylor]: Taking taylor expansion of -1 in y
1.616 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
1.616 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
1.616 * [taylor]: Taking taylor expansion of a in y
1.616 * [taylor]: Taking taylor expansion of (* z y) in y
1.616 * [taylor]: Taking taylor expansion of z in y
1.616 * [taylor]: Taking taylor expansion of y in y
1.616 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
1.616 * [taylor]: Taking taylor expansion of a in y
1.616 * [taylor]: Taking taylor expansion of (* y t) in y
1.616 * [taylor]: Taking taylor expansion of y in y
1.616 * [taylor]: Taking taylor expansion of t in y
1.616 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z
1.616 * [taylor]: Taking taylor expansion of (/ a z) in z
1.616 * [taylor]: Taking taylor expansion of a in z
1.616 * [taylor]: Taking taylor expansion of z in z
1.616 * [taylor]: Taking taylor expansion of (/ a t) in z
1.616 * [taylor]: Taking taylor expansion of a in z
1.616 * [taylor]: Taking taylor expansion of t in z
1.616 * [taylor]: Taking taylor expansion of a in t
1.616 * [taylor]: Taking taylor expansion of -1 in z
1.617 * [taylor]: Taking taylor expansion of 0 in y
1.617 * [taylor]: Taking taylor expansion of 0 in z
1.617 * [taylor]: Taking taylor expansion of 0 in z
1.617 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.617 * [taylor]: Taking taylor expansion of (/ a t) in t
1.617 * [taylor]: Taking taylor expansion of a in t
1.617 * [taylor]: Taking taylor expansion of t in t
1.617 * [taylor]: Taking taylor expansion of (neg a) in a
1.617 * [taylor]: Taking taylor expansion of a in a
1.617 * [taylor]: Taking taylor expansion of -1 in t
1.617 * [taylor]: Taking taylor expansion of a in a
1.618 * [taylor]: Taking taylor expansion of 0 in y
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in a
1.618 * [taylor]: Taking taylor expansion of -1 in a
1.619 * [taylor]: Taking taylor expansion of 0 in a
1.619 * * * [progress]: simplifying candidates
1.620 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (/.f64 (-.f64 z t) a))
  (+.f64 (log.f64 y) (-.f64 (log.f64 (-.f64 z t)) (log.f64 a)))
  (+.f64 (log.f64 y) (log.f64 (/.f64 (-.f64 z t) a)))
  (log.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (exp.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (*.f64 (*.f64 (*.f64 y y) y) (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 a a) a)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (/.f64 (-.f64 z t) a) (/.f64 (-.f64 z t) a)) (/.f64 (-.f64 z t) a)))
  (*.f64 (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a))))
  (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (*.f64 (*.f64 (*.f64 y (/.f64 (-.f64 z t) a)) (*.f64 y (/.f64 (-.f64 z t) a))) (*.f64 y (/.f64 (-.f64 z t) a)))
  (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) a)) (cbrt.f64 (/.f64 (-.f64 z t) a))))
  (*.f64 y (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a)))
  (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) 1))
  (*.f64 y (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 1 (sqrt.f64 a)))
  (*.f64 y (/.f64 1 1))
  (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a)))
  (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1))
  (*.f64 y (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 1 (sqrt.f64 a)))
  (*.f64 y (/.f64 1 1))
  (*.f64 y 1)
  (*.f64 y (-.f64 z t))
  (*.f64 (cbrt.f64 y) (/.f64 (-.f64 z t) a))
  (*.f64 (sqrt.f64 y) (/.f64 (-.f64 z t) a))
  (*.f64 y (/.f64 (-.f64 z t) a))
  (*.f64 y (-.f64 z t))
  (-.f64 (log.f64 (-.f64 z t)) (log.f64 a))
  (log.f64 (/.f64 (-.f64 z t) a))
  (exp.f64 (/.f64 (-.f64 z t) a))
  (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 a a) a))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) a)) (cbrt.f64 (/.f64 (-.f64 z t) a)))
  (cbrt.f64 (/.f64 (-.f64 z t) a))
  (*.f64 (*.f64 (/.f64 (-.f64 z t) a) (/.f64 (-.f64 z t) a)) (/.f64 (-.f64 z t) a))
  (sqrt.f64 (/.f64 (-.f64 z t) a))
  (sqrt.f64 (/.f64 (-.f64 z t) a))
  (neg.f64 (-.f64 z t))
  (neg.f64 a)
  (/.f64 z a)
  (/.f64 t a)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1)
  (/.f64 (cbrt.f64 (-.f64 z t)) a)
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 z t)) 1)
  (/.f64 (sqrt.f64 (-.f64 z t)) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 1 1)
  (/.f64 (-.f64 z t) a)
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 a))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1)
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 1 1)
  (/.f64 (-.f64 z t) a)
  (/.f64 1 a)
  (/.f64 a (-.f64 z t))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 (-.f64 z t) 1)
  (/.f64 a (cbrt.f64 (-.f64 z t)))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  (/.f64 a (-.f64 z t))
  (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 a (-.f64 z t))
  (*.f64 a (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 a (+.f64 z t))
  (/.f64 (exp.f64 x) (exp.f64 (*.f64 y (/.f64 (-.f64 z t) a))))
  (log.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (exp.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (*.f64 (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))) (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))))
  (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (*.f64 (*.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (sqrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (sqrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) a)) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 y (/.f64 (-.f64 z t) a)) (*.f64 y (/.f64 (-.f64 z t) a))) (*.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))))
  (neg.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 y (/.f64 (-.f64 z t) a)) (*.f64 y (/.f64 (-.f64 z t) a))))
  (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 z a) (/.f64 t a))
  (-.f64 (/.f64 z a) (/.f64 t a))
  (-.f64 (/.f64 z a) (/.f64 t a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
  (-.f64 (+.f64 x (/.f64 (*.f64 t y) a)) (/.f64 (*.f64 z y) a))
1.699 * * [simplify]: iteration  0 :  5967  enodes  (cost  1351 )
1.707 * [simplify]: Simplified to:
   (*.f64 y (/.f64 (-.f64 z t) a))
  (log.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (log.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (log.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (exp.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (pow.f64 (*.f64 y (/.f64 (-.f64 z t) a)) 3)
  (pow.f64 (*.f64 y (/.f64 (-.f64 z t) a)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a))))
  (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (pow.f64 (*.f64 y (/.f64 (-.f64 z t) a)) 3)
  (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) a)) (cbrt.f64 (/.f64 (-.f64 z t) a))))
  (*.f64 y (sqrt.f64 (/.f64 (-.f64 z t) a)))
  (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a)))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (sqrt.f64 a))
  y
  (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a)))
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 y (sqrt.f64 a))
  y
  y
  (*.f64 y (-.f64 z t))
  (*.f64 (/.f64 (-.f64 z t) a) (cbrt.f64 y))
  (*.f64 (/.f64 (-.f64 z t) a) (sqrt.f64 y))
  (*.f64 y (/.f64 (-.f64 z t) a))
  (*.f64 y (-.f64 z t))
  (log.f64 (/.f64 (-.f64 z t) a))
  (log.f64 (/.f64 (-.f64 z t) a))
  (exp.f64 (/.f64 (-.f64 z t) a))
  (pow.f64 (/.f64 (-.f64 z t) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) a)) (cbrt.f64 (/.f64 (-.f64 z t) a)))
  (cbrt.f64 (/.f64 (-.f64 z t) a))
  (pow.f64 (/.f64 (-.f64 z t) a) 3)
  (sqrt.f64 (/.f64 (-.f64 z t) a))
  (sqrt.f64 (/.f64 (-.f64 z t) a))
  (-.f64 t z)
  (neg.f64 a)
  (/.f64 z a)
  (/.f64 t a)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 (-.f64 z t)) a)
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (sqrt.f64 (-.f64 z t))
  (/.f64 (sqrt.f64 (-.f64 z t)) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  1
  (/.f64 (-.f64 z t) a)
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 a))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (+.f64 (sqrt.f64 z) (sqrt.f64 t))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  1
  (/.f64 (-.f64 z t) a)
  (/.f64 1 a)
  (/.f64 a (-.f64 z t))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (-.f64 z t)
  (/.f64 a (cbrt.f64 (-.f64 z t)))
  (/.f64 a (sqrt.f64 (-.f64 z t)))
  (/.f64 a (-.f64 z t))
  (/.f64 a (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 a (-.f64 z t))
  (*.f64 a (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 a (+.f64 z t))
  (exp.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (log.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (exp.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (*.f64 (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))) (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))))
  (cbrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (pow.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))) 3)
  (sqrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (sqrt.f64 (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))
  (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) a)) 3))
  (+.f64 (*.f64 x x) (*.f64 y (*.f64 (/.f64 (-.f64 z t) a) (+.f64 (*.f64 y (/.f64 (-.f64 z t) a)) x))))
  (*.f64 y (/.f64 (-.f64 t z) a))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 y (/.f64 (-.f64 z t) a)) (*.f64 y (/.f64 (-.f64 z t) a))))
  (+.f64 (*.f64 y (/.f64 (-.f64 z t) a)) x)
  (*.f64 y (/.f64 (-.f64 z t) a))
  (*.f64 y (/.f64 (-.f64 z t) a))
  (*.f64 y (/.f64 (-.f64 z t) a))
  (/.f64 (-.f64 z t) a)
  (/.f64 (-.f64 z t) a)
  (/.f64 (-.f64 z t) a)
  (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
  (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
  (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
1.707 * * * [progress]: adding candidates to table
1.750 * [progress]: [Phase 3 of 3] Extracting.
1.750 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
1.751 * * * [regime-changes]: Trying 7 branch expressions: ((-.f64 z t) (*.f64 y (-.f64 z t)) a t z y x)
1.751 * * * * [regimes]: Trying to branch on (-.f64 z t) from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
1.804 * * * * [regimes]: Trying to branch on (-.f64 z t) from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))>)
1.854 * * * * [regimes]: Trying to branch on (*.f64 y (-.f64 z t)) from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
1.918 * * * * [regimes]: Trying to branch on (*.f64 y (-.f64 z t)) from (#<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))>)
1.957 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.023 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.076 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.128 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.181 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.234 * * * [regime]: Found split indices: #<option (#s(si 2 26) #s(si 1 219) #s(si 2 255))>
2.235 * [binary-search]: Only using regimes for bounds on (*.f64 y (-.f64 z t)) and (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.235 * [regimes]: Found splitpoints: (#s(sp 2 (*.f64 y (-.f64 z t)) -1.905150331859768e+199) #s(sp 1 (*.f64 y (-.f64 z t)) 2.8397273790295968e+178) #s(sp 2 (*.f64 y (-.f64 z t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (-.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (-.f64 x (/.f64 (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (sqrt.f64 y))) a)))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))>)
2.235 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 y (-.f64 z t)) -1.905150331859768e+199) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))) (if (<=.f64 (*.f64 y (-.f64 z t)) 2.8397273790295968e+178) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))))
2.241 * * [simplify]: iteration  0 :  180  enodes  (cost  55 )
2.241 * * [simplify]: iteration  1 :  180  enodes  (cost  55 )
2.241 * [simplify]: Simplified to:
   (if (or (<=.f64 (*.f64 y (-.f64 z t)) -1.905150331859768e+199) (not (<=.f64 (*.f64 y (-.f64 z t)) 2.8397273790295968e+178))) (-.f64 x (/.f64 y (/.f64 a (-.f64 z t)))) (-.f64 x (*.f64 (*.f64 y (-.f64 z t)) (/.f64 1 a))))
3.553 * [regime-testing]: End program error score: 0.5438269023384077
3.647 * [regime-testing]: Target error score: 0.6279167701794247