15.637 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.923 * * * [progress]: [2/2] Setting up program.
0.926 * [progress]: [Phase 2 of 3] Improving.
0.927 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
0.953 * * [simplify]: iteration  0 :  550  enodes  (cost  9 )
0.953 * * [simplify]: iteration  1 :  550  enodes  (cost  9 )
0.954 * [simplify]: Simplified to:
   (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
0.954 * * [progress]: iteration 1 / 4
0.954 * * * [progress]: picking best candidate
0.957 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>
0.957 * * * [progress]: localizing error
0.968 * * * [progress]: generating rewritten candidates
0.968 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.975 * * * [progress]: generating series expansions
0.975 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.975 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (x y z t a) around 0
0.975 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
0.975 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
0.975 * [taylor]: Taking taylor expansion of (* x y) in a
0.975 * [taylor]: Taking taylor expansion of x in a
0.975 * [taylor]: Taking taylor expansion of y in a
0.975 * [taylor]: Taking taylor expansion of (* t z) in a
0.975 * [taylor]: Taking taylor expansion of t in a
0.975 * [taylor]: Taking taylor expansion of z in a
0.975 * [taylor]: Taking taylor expansion of a in a
0.976 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
0.976 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.976 * [taylor]: Taking taylor expansion of (* x y) in t
0.976 * [taylor]: Taking taylor expansion of x in t
0.976 * [taylor]: Taking taylor expansion of y in t
0.976 * [taylor]: Taking taylor expansion of (* t z) in t
0.976 * [taylor]: Taking taylor expansion of t in t
0.976 * [taylor]: Taking taylor expansion of z in t
0.976 * [taylor]: Taking taylor expansion of a in t
0.976 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
0.976 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.976 * [taylor]: Taking taylor expansion of (* x y) in z
0.976 * [taylor]: Taking taylor expansion of x in z
0.976 * [taylor]: Taking taylor expansion of y in z
0.976 * [taylor]: Taking taylor expansion of (* t z) in z
0.976 * [taylor]: Taking taylor expansion of t in z
0.976 * [taylor]: Taking taylor expansion of z in z
0.976 * [taylor]: Taking taylor expansion of a in z
0.976 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
0.976 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.976 * [taylor]: Taking taylor expansion of (* x y) in y
0.976 * [taylor]: Taking taylor expansion of x in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.976 * [taylor]: Taking taylor expansion of (* t z) in y
0.976 * [taylor]: Taking taylor expansion of t in y
0.976 * [taylor]: Taking taylor expansion of z in y
0.976 * [taylor]: Taking taylor expansion of a in y
0.976 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.976 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.976 * [taylor]: Taking taylor expansion of (* x y) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of y in x
0.977 * [taylor]: Taking taylor expansion of (* t z) in x
0.977 * [taylor]: Taking taylor expansion of t in x
0.977 * [taylor]: Taking taylor expansion of z in x
0.977 * [taylor]: Taking taylor expansion of a in x
0.977 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
0.977 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.977 * [taylor]: Taking taylor expansion of (* x y) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of y in x
0.977 * [taylor]: Taking taylor expansion of (* t z) in x
0.977 * [taylor]: Taking taylor expansion of t in x
0.977 * [taylor]: Taking taylor expansion of z in x
0.977 * [taylor]: Taking taylor expansion of a in x
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in y
0.977 * [taylor]: Taking taylor expansion of -1 in y
0.977 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.977 * [taylor]: Taking taylor expansion of (* t z) in y
0.977 * [taylor]: Taking taylor expansion of t in y
0.977 * [taylor]: Taking taylor expansion of z in y
0.977 * [taylor]: Taking taylor expansion of a in y
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in z
0.977 * [taylor]: Taking taylor expansion of -1 in z
0.977 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.977 * [taylor]: Taking taylor expansion of (* t z) in z
0.977 * [taylor]: Taking taylor expansion of t in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.977 * [taylor]: Taking taylor expansion of a in z
0.978 * [taylor]: Taking taylor expansion of (/ y a) in y
0.978 * [taylor]: Taking taylor expansion of y in y
0.978 * [taylor]: Taking taylor expansion of a in y
0.978 * [taylor]: Taking taylor expansion of 0 in z
0.978 * [taylor]: Taking taylor expansion of 0 in t
0.978 * [taylor]: Taking taylor expansion of 0 in a
0.978 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
0.978 * [taylor]: Taking taylor expansion of -1 in t
0.978 * [taylor]: Taking taylor expansion of (/ t a) 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 0 in y
0.978 * [taylor]: Taking taylor expansion of 0 in z
0.978 * [taylor]: Taking taylor expansion of 0 in t
0.978 * [taylor]: Taking taylor expansion of 0 in a
0.978 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.978 * [taylor]: Taking taylor expansion of a in z
0.978 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.978 * [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 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 0 in t
0.979 * [taylor]: Taking taylor expansion of 0 in a
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 0 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 y
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 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 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 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 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 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t a) around 0
0.981 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.981 * [taylor]: Taking taylor expansion of a in a
0.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.981 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.981 * [taylor]: Taking taylor expansion of (* x y) in a
0.981 * [taylor]: Taking taylor expansion of x in a
0.981 * [taylor]: Taking taylor expansion of y in a
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.982 * [taylor]: Taking taylor expansion of (* t z) in a
0.982 * [taylor]: Taking taylor expansion of t in a
0.982 * [taylor]: Taking taylor expansion of z in a
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.982 * [taylor]: Taking taylor expansion of a in t
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.982 * [taylor]: Taking taylor expansion of (* x y) in t
0.982 * [taylor]: Taking taylor expansion of x in t
0.982 * [taylor]: Taking taylor expansion of y in t
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.982 * [taylor]: Taking taylor expansion of (* t z) in t
0.982 * [taylor]: Taking taylor expansion of t in t
0.982 * [taylor]: Taking taylor expansion of z in t
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.982 * [taylor]: Taking taylor expansion of a in z
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.982 * [taylor]: Taking taylor expansion of (* x y) in z
0.982 * [taylor]: Taking taylor expansion of x in z
0.982 * [taylor]: Taking taylor expansion of y in z
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.982 * [taylor]: Taking taylor expansion of (* t z) in z
0.982 * [taylor]: Taking taylor expansion of t in z
0.982 * [taylor]: Taking taylor expansion of z in z
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.982 * [taylor]: Taking taylor expansion of a in y
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.982 * [taylor]: Taking taylor expansion of (* x y) in y
0.982 * [taylor]: Taking taylor expansion of x in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.982 * [taylor]: Taking taylor expansion of (* t z) in y
0.982 * [taylor]: Taking taylor expansion of t in y
0.982 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.983 * [taylor]: Taking taylor expansion of a in x
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.983 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.983 * [taylor]: Taking taylor expansion of (* x y) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.983 * [taylor]: Taking taylor expansion of (* t z) in x
0.983 * [taylor]: Taking taylor expansion of t in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.983 * [taylor]: Taking taylor expansion of a in x
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.983 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.983 * [taylor]: Taking taylor expansion of (* x y) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.983 * [taylor]: Taking taylor expansion of (* t z) in x
0.983 * [taylor]: Taking taylor expansion of t in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of (/ a y) in y
0.983 * [taylor]: Taking taylor expansion of a in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of a in z
0.984 * [taylor]: Taking taylor expansion of (neg (/ a (* z t))) in y
0.984 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.984 * [taylor]: Taking taylor expansion of a in y
0.984 * [taylor]: Taking taylor expansion of (* z t) in y
0.984 * [taylor]: Taking taylor expansion of z in y
0.984 * [taylor]: Taking taylor expansion of t in y
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.984 * [taylor]: Taking taylor expansion of a in t
0.984 * [taylor]: Taking taylor expansion of 0 in y
0.984 * [taylor]: Taking taylor expansion of (neg (/ a (* z t))) in z
0.984 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.984 * [taylor]: Taking taylor expansion of a in z
0.984 * [taylor]: Taking taylor expansion of (* z t) in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of t 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.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 a in a
0.985 * [taylor]: Taking taylor expansion of 0 in y
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.986 * [taylor]: Taking taylor expansion of 0 in t
0.986 * [taylor]: Taking taylor expansion of 0 in t
0.986 * [taylor]: Taking taylor expansion of 0 in t
0.986 * [taylor]: Taking taylor expansion of 0 in t
0.986 * [taylor]: Taking taylor expansion of 0 in a
0.986 * [taylor]: Taking taylor expansion of 0 in a
0.986 * [taylor]: Taking taylor expansion of 0 in a
0.986 * [taylor]: Taking taylor expansion of 0 in a
0.986 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (x y z t a) around 0
0.986 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
0.986 * [taylor]: Taking taylor expansion of -1 in a
0.986 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
0.986 * [taylor]: Taking taylor expansion of a in a
0.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.986 * [taylor]: Taking taylor expansion of (* x y) in a
0.986 * [taylor]: Taking taylor expansion of x in a
0.986 * [taylor]: Taking taylor expansion of y in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.986 * [taylor]: Taking taylor expansion of (* t z) in a
0.986 * [taylor]: Taking taylor expansion of t in a
0.986 * [taylor]: Taking taylor expansion of z in a
0.986 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
0.986 * [taylor]: Taking taylor expansion of -1 in t
0.986 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
0.986 * [taylor]: Taking taylor expansion of a in t
0.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.986 * [taylor]: Taking taylor expansion of (* x y) in t
0.986 * [taylor]: Taking taylor expansion of x in t
0.986 * [taylor]: Taking taylor expansion of y in t
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.987 * [taylor]: Taking taylor expansion of (* t z) in t
0.987 * [taylor]: Taking taylor expansion of t in t
0.987 * [taylor]: Taking taylor expansion of z in t
0.987 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
0.987 * [taylor]: Taking taylor expansion of -1 in z
0.987 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
0.987 * [taylor]: Taking taylor expansion of a in z
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.987 * [taylor]: Taking taylor expansion of (* x y) in z
0.987 * [taylor]: Taking taylor expansion of x in z
0.987 * [taylor]: Taking taylor expansion of y in z
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.987 * [taylor]: Taking taylor expansion of (* t z) in z
0.987 * [taylor]: Taking taylor expansion of t in z
0.987 * [taylor]: Taking taylor expansion of z in z
0.987 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
0.987 * [taylor]: Taking taylor expansion of -1 in y
0.987 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
0.987 * [taylor]: Taking taylor expansion of a in y
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.987 * [taylor]: Taking taylor expansion of (* x y) in y
0.987 * [taylor]: Taking taylor expansion of x in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.987 * [taylor]: Taking taylor expansion of (* t z) in y
0.987 * [taylor]: Taking taylor expansion of t in y
0.987 * [taylor]: Taking taylor expansion of z in y
0.987 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.987 * [taylor]: Taking taylor expansion of -1 in x
0.987 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.987 * [taylor]: Taking taylor expansion of a in x
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.987 * [taylor]: Taking taylor expansion of (* x y) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.988 * [taylor]: Taking taylor expansion of (* t z) in x
0.988 * [taylor]: Taking taylor expansion of t in x
0.988 * [taylor]: Taking taylor expansion of z in x
0.988 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
0.988 * [taylor]: Taking taylor expansion of -1 in x
0.988 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
0.988 * [taylor]: Taking taylor expansion of a in x
0.988 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.988 * [taylor]: Taking taylor expansion of (* x y) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.988 * [taylor]: Taking taylor expansion of (* t z) in x
0.988 * [taylor]: Taking taylor expansion of t in x
0.988 * [taylor]: Taking taylor expansion of z in x
0.988 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
0.988 * [taylor]: Taking taylor expansion of -1 in y
0.988 * [taylor]: Taking taylor expansion of (/ a y) in y
0.988 * [taylor]: Taking taylor expansion of a in y
0.988 * [taylor]: Taking taylor expansion of y in y
0.988 * [taylor]: Taking taylor expansion of (* -1 a) in z
0.988 * [taylor]: Taking taylor expansion of -1 in z
0.988 * [taylor]: Taking taylor expansion of a in z
0.989 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.989 * [taylor]: Taking taylor expansion of a in y
0.989 * [taylor]: Taking taylor expansion of (* z t) in y
0.989 * [taylor]: Taking taylor expansion of z in y
0.989 * [taylor]: Taking taylor expansion of t in y
0.989 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.989 * [taylor]: Taking taylor expansion of -1 in t
0.989 * [taylor]: Taking taylor expansion of a in t
0.989 * [taylor]: Taking taylor expansion of 0 in y
0.989 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.989 * [taylor]: Taking taylor expansion of a in z
0.989 * [taylor]: Taking taylor expansion of (* z t) in z
0.989 * [taylor]: Taking taylor expansion of z in z
0.989 * [taylor]: Taking taylor expansion of t in z
0.989 * [taylor]: Taking taylor expansion of (/ a t) in t
0.989 * [taylor]: Taking taylor expansion of a in t
0.990 * [taylor]: Taking taylor expansion of t in t
0.990 * [taylor]: Taking taylor expansion of a 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 (* -1 a) in a
0.990 * [taylor]: Taking taylor expansion of -1 in a
0.990 * [taylor]: Taking taylor expansion of a in a
0.990 * [taylor]: Taking taylor expansion of 0 in y
0.990 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in z
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.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * * * [progress]: simplifying candidates
0.992 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (log.f64 a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (exp.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (*.f64 a a) a))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (neg.f64 a)
  (/.f64 (*.f64 x y) a)
  (/.f64 (*.f64 z t) a)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (sqrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) 1)
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) 1)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (/.f64 1 1)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 1 a)
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 a (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
  0
  0
1.028 * * [simplify]: iteration  0 :  5388  enodes  (cost  432 )
1.031 * [simplify]: Simplified to:
   (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (exp.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (-.f64 (*.f64 z t) (*.f64 x y))
  (neg.f64 a)
  (/.f64 (*.f64 x y) a)
  (/.f64 (*.f64 z t) a)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (sqrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 1 a)
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 a (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (+.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  0
  0
1.031 * * * [progress]: adding candidates to table
1.055 * * [progress]: iteration 2 / 4
1.055 * * * [progress]: picking best candidate
1.084 * * * * [pick]: Picked  #<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))>
1.084 * * * [progress]: localizing error
1.093 * * * [progress]: generating rewritten candidates
1.093 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.104 * * * [progress]: generating series expansions
1.104 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.104 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (x y z t a) around 0
1.104 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
1.104 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.104 * [taylor]: Taking taylor expansion of (* x y) in a
1.104 * [taylor]: Taking taylor expansion of x in a
1.104 * [taylor]: Taking taylor expansion of y in a
1.104 * [taylor]: Taking taylor expansion of (* t z) in a
1.104 * [taylor]: Taking taylor expansion of t in a
1.105 * [taylor]: Taking taylor expansion of z in a
1.105 * [taylor]: Taking taylor expansion of a in a
1.105 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
1.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.105 * [taylor]: Taking taylor expansion of (* x y) in t
1.105 * [taylor]: Taking taylor expansion of x in t
1.105 * [taylor]: Taking taylor expansion of y in t
1.105 * [taylor]: Taking taylor expansion of (* t z) in t
1.105 * [taylor]: Taking taylor expansion of t in t
1.105 * [taylor]: Taking taylor expansion of z in t
1.105 * [taylor]: Taking taylor expansion of a in t
1.105 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
1.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.105 * [taylor]: Taking taylor expansion of (* x y) in z
1.105 * [taylor]: Taking taylor expansion of x in z
1.105 * [taylor]: Taking taylor expansion of y in z
1.105 * [taylor]: Taking taylor expansion of (* t z) in z
1.105 * [taylor]: Taking taylor expansion of t in z
1.105 * [taylor]: Taking taylor expansion of z in z
1.105 * [taylor]: Taking taylor expansion of a in z
1.105 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
1.105 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.105 * [taylor]: Taking taylor expansion of (* x y) in y
1.105 * [taylor]: Taking taylor expansion of x in y
1.105 * [taylor]: Taking taylor expansion of y in y
1.106 * [taylor]: Taking taylor expansion of (* t z) in y
1.106 * [taylor]: Taking taylor expansion of t in y
1.106 * [taylor]: Taking taylor expansion of z in y
1.106 * [taylor]: Taking taylor expansion of a in y
1.106 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
1.106 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.106 * [taylor]: Taking taylor expansion of (* x y) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of y in x
1.106 * [taylor]: Taking taylor expansion of (* t z) in x
1.106 * [taylor]: Taking taylor expansion of t in x
1.106 * [taylor]: Taking taylor expansion of z in x
1.106 * [taylor]: Taking taylor expansion of a in x
1.106 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
1.106 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.106 * [taylor]: Taking taylor expansion of (* x y) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of y in x
1.106 * [taylor]: Taking taylor expansion of (* t z) in x
1.106 * [taylor]: Taking taylor expansion of t in x
1.107 * [taylor]: Taking taylor expansion of z in x
1.107 * [taylor]: Taking taylor expansion of a in x
1.107 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in y
1.107 * [taylor]: Taking taylor expansion of -1 in y
1.107 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
1.107 * [taylor]: Taking taylor expansion of (* t z) in y
1.107 * [taylor]: Taking taylor expansion of t in y
1.107 * [taylor]: Taking taylor expansion of z in y
1.107 * [taylor]: Taking taylor expansion of a in y
1.107 * [taylor]: Taking taylor expansion of (* -1 (/ (* t z) a)) in z
1.107 * [taylor]: Taking taylor expansion of -1 in z
1.107 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
1.107 * [taylor]: Taking taylor expansion of (* t z) in z
1.107 * [taylor]: Taking taylor expansion of t in z
1.107 * [taylor]: Taking taylor expansion of z in z
1.107 * [taylor]: Taking taylor expansion of a in z
1.108 * [taylor]: Taking taylor expansion of (/ y a) in y
1.108 * [taylor]: Taking taylor expansion of y in y
1.108 * [taylor]: Taking taylor expansion of a in y
1.108 * [taylor]: Taking taylor expansion of 0 in z
1.108 * [taylor]: Taking taylor expansion of 0 in t
1.108 * [taylor]: Taking taylor expansion of 0 in a
1.108 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
1.108 * [taylor]: Taking taylor expansion of -1 in t
1.108 * [taylor]: Taking taylor expansion of (/ t a) in t
1.108 * [taylor]: Taking taylor expansion of t in t
1.109 * [taylor]: Taking taylor expansion of a in t
1.109 * [taylor]: Taking taylor expansion of 0 in y
1.109 * [taylor]: Taking taylor expansion of 0 in z
1.109 * [taylor]: Taking taylor expansion of 0 in t
1.109 * [taylor]: Taking taylor expansion of 0 in a
1.109 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.109 * [taylor]: Taking taylor expansion of a in z
1.109 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.109 * [taylor]: Taking taylor expansion of a in t
1.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.109 * [taylor]: Taking taylor expansion of a in a
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in a
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in a
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in a
1.110 * [taylor]: Taking taylor expansion of 0 in a
1.110 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.110 * [taylor]: Taking taylor expansion of -1 in a
1.110 * [taylor]: Taking taylor expansion of a in a
1.111 * [taylor]: Taking taylor expansion of 0 in y
1.111 * [taylor]: Taking taylor expansion of 0 in z
1.111 * [taylor]: Taking taylor expansion of 0 in t
1.111 * [taylor]: Taking taylor expansion of 0 in a
1.111 * [taylor]: Taking taylor expansion of 0 in z
1.111 * [taylor]: Taking taylor expansion of 0 in t
1.111 * [taylor]: Taking taylor expansion of 0 in a
1.111 * [taylor]: Taking taylor expansion of 0 in z
1.111 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.112 * [taylor]: Taking taylor expansion of 0 in z
1.112 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.112 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.112 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.112 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.112 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in t
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in a
1.114 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t a) around 0
1.114 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.114 * [taylor]: Taking taylor expansion of a in a
1.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.114 * [taylor]: Taking taylor expansion of (* x y) in a
1.114 * [taylor]: Taking taylor expansion of x in a
1.114 * [taylor]: Taking taylor expansion of y in a
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.115 * [taylor]: Taking taylor expansion of (* t z) in a
1.115 * [taylor]: Taking taylor expansion of t in a
1.115 * [taylor]: Taking taylor expansion of z in a
1.115 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.115 * [taylor]: Taking taylor expansion of a in t
1.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.115 * [taylor]: Taking taylor expansion of (* x y) in t
1.115 * [taylor]: Taking taylor expansion of x in t
1.115 * [taylor]: Taking taylor expansion of y in t
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.115 * [taylor]: Taking taylor expansion of (* t z) in t
1.115 * [taylor]: Taking taylor expansion of t in t
1.115 * [taylor]: Taking taylor expansion of z in t
1.115 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.115 * [taylor]: Taking taylor expansion of a in z
1.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.115 * [taylor]: Taking taylor expansion of (* x y) in z
1.115 * [taylor]: Taking taylor expansion of x in z
1.115 * [taylor]: Taking taylor expansion of y in z
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.116 * [taylor]: Taking taylor expansion of (* t z) in z
1.116 * [taylor]: Taking taylor expansion of t in z
1.116 * [taylor]: Taking taylor expansion of z in z
1.116 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.116 * [taylor]: Taking taylor expansion of a in y
1.116 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.116 * [taylor]: Taking taylor expansion of (* x y) in y
1.116 * [taylor]: Taking taylor expansion of x in y
1.116 * [taylor]: Taking taylor expansion of y in y
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.116 * [taylor]: Taking taylor expansion of (* t z) in y
1.116 * [taylor]: Taking taylor expansion of t in y
1.116 * [taylor]: Taking taylor expansion of z in y
1.116 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.116 * [taylor]: Taking taylor expansion of a in x
1.116 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.116 * [taylor]: Taking taylor expansion of (* x y) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.116 * [taylor]: Taking taylor expansion of y in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.116 * [taylor]: Taking taylor expansion of (* t z) in x
1.117 * [taylor]: Taking taylor expansion of t in x
1.117 * [taylor]: Taking taylor expansion of z in x
1.117 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.117 * [taylor]: Taking taylor expansion of a in x
1.117 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.117 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.117 * [taylor]: Taking taylor expansion of (* x y) in x
1.117 * [taylor]: Taking taylor expansion of x in x
1.117 * [taylor]: Taking taylor expansion of y in x
1.117 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.117 * [taylor]: Taking taylor expansion of (* t z) in x
1.117 * [taylor]: Taking taylor expansion of t in x
1.117 * [taylor]: Taking taylor expansion of z in x
1.117 * [taylor]: Taking taylor expansion of (/ a y) in y
1.117 * [taylor]: Taking taylor expansion of a in y
1.117 * [taylor]: Taking taylor expansion of y in y
1.117 * [taylor]: Taking taylor expansion of a in z
1.118 * [taylor]: Taking taylor expansion of (neg (/ a (* z t))) in y
1.118 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
1.118 * [taylor]: Taking taylor expansion of a in y
1.118 * [taylor]: Taking taylor expansion of (* z t) in y
1.118 * [taylor]: Taking taylor expansion of z in y
1.118 * [taylor]: Taking taylor expansion of t in y
1.118 * [taylor]: Taking taylor expansion of 0 in z
1.118 * [taylor]: Taking taylor expansion of a in t
1.119 * [taylor]: Taking taylor expansion of 0 in y
1.119 * [taylor]: Taking taylor expansion of (neg (/ a (* z t))) in z
1.119 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.119 * [taylor]: Taking taylor expansion of a in z
1.119 * [taylor]: Taking taylor expansion of (* z t) in z
1.119 * [taylor]: Taking taylor expansion of z in z
1.119 * [taylor]: Taking taylor expansion of t in z
1.119 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.119 * [taylor]: Taking taylor expansion of (/ a t) in t
1.119 * [taylor]: Taking taylor expansion of a in t
1.119 * [taylor]: Taking taylor expansion of t in t
1.119 * [taylor]: Taking taylor expansion of (neg a) in a
1.120 * [taylor]: Taking taylor expansion of a in a
1.120 * [taylor]: Taking taylor expansion of 0 in z
1.120 * [taylor]: Taking taylor expansion of 0 in t
1.120 * [taylor]: Taking taylor expansion of 0 in t
1.120 * [taylor]: Taking taylor expansion of a in a
1.121 * [taylor]: Taking taylor expansion of 0 in y
1.121 * [taylor]: Taking taylor expansion of 0 in z
1.121 * [taylor]: Taking taylor expansion of 0 in z
1.121 * [taylor]: Taking taylor expansion of 0 in z
1.121 * [taylor]: Taking taylor expansion of 0 in t
1.121 * [taylor]: Taking taylor expansion of 0 in t
1.121 * [taylor]: Taking taylor expansion of 0 in t
1.122 * [taylor]: Taking taylor expansion of 0 in t
1.122 * [taylor]: Taking taylor expansion of 0 in a
1.122 * [taylor]: Taking taylor expansion of 0 in a
1.122 * [taylor]: Taking taylor expansion of 0 in a
1.122 * [taylor]: Taking taylor expansion of 0 in a
1.122 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (x y z t a) around 0
1.122 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.122 * [taylor]: Taking taylor expansion of -1 in a
1.122 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.122 * [taylor]: Taking taylor expansion of a in a
1.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.123 * [taylor]: Taking taylor expansion of (* x y) in a
1.123 * [taylor]: Taking taylor expansion of x in a
1.123 * [taylor]: Taking taylor expansion of y in a
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.123 * [taylor]: Taking taylor expansion of (* t z) in a
1.123 * [taylor]: Taking taylor expansion of t in a
1.123 * [taylor]: Taking taylor expansion of z in a
1.123 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.123 * [taylor]: Taking taylor expansion of -1 in t
1.123 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.123 * [taylor]: Taking taylor expansion of a in t
1.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.123 * [taylor]: Taking taylor expansion of (* x y) in t
1.123 * [taylor]: Taking taylor expansion of x in t
1.123 * [taylor]: Taking taylor expansion of y in t
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.123 * [taylor]: Taking taylor expansion of (* t z) in t
1.123 * [taylor]: Taking taylor expansion of t in t
1.123 * [taylor]: Taking taylor expansion of z in t
1.123 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.123 * [taylor]: Taking taylor expansion of -1 in z
1.123 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.123 * [taylor]: Taking taylor expansion of a in z
1.124 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.124 * [taylor]: Taking taylor expansion of (* x y) in z
1.124 * [taylor]: Taking taylor expansion of x in z
1.124 * [taylor]: Taking taylor expansion of y in z
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.124 * [taylor]: Taking taylor expansion of (* t z) in z
1.124 * [taylor]: Taking taylor expansion of t in z
1.124 * [taylor]: Taking taylor expansion of z in z
1.124 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.124 * [taylor]: Taking taylor expansion of -1 in y
1.124 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.124 * [taylor]: Taking taylor expansion of a in y
1.124 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.124 * [taylor]: Taking taylor expansion of (* x y) in y
1.124 * [taylor]: Taking taylor expansion of x in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.124 * [taylor]: Taking taylor expansion of (* t z) in y
1.124 * [taylor]: Taking taylor expansion of t in y
1.124 * [taylor]: Taking taylor expansion of z in y
1.124 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.125 * [taylor]: Taking taylor expansion of -1 in x
1.125 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.125 * [taylor]: Taking taylor expansion of a in x
1.125 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.125 * [taylor]: Taking taylor expansion of (* x y) in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of y in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.125 * [taylor]: Taking taylor expansion of (* t z) in x
1.125 * [taylor]: Taking taylor expansion of t in x
1.125 * [taylor]: Taking taylor expansion of z in x
1.125 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.125 * [taylor]: Taking taylor expansion of -1 in x
1.125 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.125 * [taylor]: Taking taylor expansion of a in x
1.125 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.125 * [taylor]: Taking taylor expansion of (* x y) in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of y in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.125 * [taylor]: Taking taylor expansion of (* t z) in x
1.125 * [taylor]: Taking taylor expansion of t in x
1.125 * [taylor]: Taking taylor expansion of z in x
1.126 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
1.126 * [taylor]: Taking taylor expansion of -1 in y
1.126 * [taylor]: Taking taylor expansion of (/ a y) in y
1.126 * [taylor]: Taking taylor expansion of a in y
1.126 * [taylor]: Taking taylor expansion of y in y
1.126 * [taylor]: Taking taylor expansion of (* -1 a) in z
1.126 * [taylor]: Taking taylor expansion of -1 in z
1.126 * [taylor]: Taking taylor expansion of a in z
1.127 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
1.127 * [taylor]: Taking taylor expansion of a in y
1.127 * [taylor]: Taking taylor expansion of (* z t) in y
1.127 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of t in y
1.127 * [taylor]: Taking taylor expansion of 0 in z
1.127 * [taylor]: Taking taylor expansion of (* -1 a) in t
1.127 * [taylor]: Taking taylor expansion of -1 in t
1.127 * [taylor]: Taking taylor expansion of a in t
1.128 * [taylor]: Taking taylor expansion of 0 in y
1.128 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.128 * [taylor]: Taking taylor expansion of a in z
1.128 * [taylor]: Taking taylor expansion of (* z t) in z
1.128 * [taylor]: Taking taylor expansion of z in z
1.128 * [taylor]: Taking taylor expansion of t in z
1.128 * [taylor]: Taking taylor expansion of (/ a t) in t
1.128 * [taylor]: Taking taylor expansion of a in t
1.128 * [taylor]: Taking taylor expansion of t in t
1.129 * [taylor]: Taking taylor expansion of a in a
1.129 * [taylor]: Taking taylor expansion of 0 in z
1.129 * [taylor]: Taking taylor expansion of 0 in t
1.129 * [taylor]: Taking taylor expansion of 0 in t
1.129 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.129 * [taylor]: Taking taylor expansion of -1 in a
1.129 * [taylor]: Taking taylor expansion of a in a
1.130 * [taylor]: Taking taylor expansion of 0 in y
1.130 * [taylor]: Taking taylor expansion of 0 in z
1.130 * [taylor]: Taking taylor expansion of 0 in z
1.131 * [taylor]: Taking taylor expansion of 0 in z
1.131 * [taylor]: Taking taylor expansion of 0 in t
1.131 * [taylor]: Taking taylor expansion of 0 in t
1.131 * [taylor]: Taking taylor expansion of 0 in t
1.131 * [taylor]: Taking taylor expansion of 0 in t
1.131 * [taylor]: Taking taylor expansion of 0 in a
1.131 * [taylor]: Taking taylor expansion of 0 in a
1.131 * [taylor]: Taking taylor expansion of 0 in a
1.131 * [taylor]: Taking taylor expansion of 0 in a
1.132 * * * [progress]: simplifying candidates
1.133 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
  (+.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (neg.f64 (log.f64 a)))
  (+.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 0 (log.f64 a)))
  (+.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (log.f64 1) (log.f64 a)))
  (+.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (log.f64 (/.f64 1 a)))
  (log.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (exp.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 a a) a)))
  (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (*.f64 (/.f64 1 a) (/.f64 1 a)) (/.f64 1 a)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))) (cbrt.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))))
  (cbrt.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (sqrt.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (sqrt.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))
  (*.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) 1)
  (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))) a)
  (*.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) 1)
  (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) a)
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (/.f64 1 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (/.f64 1 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 1) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 1) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (sqrt.f64 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 (/.f64 1 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 (/.f64 1 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (sqrt.f64 1) (sqrt.f64 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (sqrt.f64 1) 1))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (sqrt.f64 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 1))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 a))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 a))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (*.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (/.f64 1 a))
  (*.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (/.f64 1 a))
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
  0
  0
1.196 * * [simplify]: iteration  0 :  5235  enodes  (cost  507 )
1.200 * [simplify]: Simplified to:
   (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (exp.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (*.f64 a (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (+.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (/.f64 1 a)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (/.f64 1 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 (/.f64 1 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 (/.f64 1 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 a)))
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a)
  (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  0
  0
1.200 * * * [progress]: adding candidates to table
1.218 * * [progress]: iteration 3 / 4
1.218 * * * [progress]: picking best candidate
1.248 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))>
1.248 * * * [progress]: localizing error
1.256 * * * [progress]: generating rewritten candidates
1.256 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.262 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.276 * * * [progress]: generating series expansions
1.276 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.276 * [approximate]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in (a x y z t) around 0
1.276 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in t
1.276 * [taylor]: Taking taylor expansion of a in t
1.276 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.276 * [taylor]: Taking taylor expansion of (* x y) in t
1.276 * [taylor]: Taking taylor expansion of x in t
1.276 * [taylor]: Taking taylor expansion of y in t
1.276 * [taylor]: Taking taylor expansion of (* t z) in t
1.276 * [taylor]: Taking taylor expansion of t in t
1.276 * [taylor]: Taking taylor expansion of z in t
1.276 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in z
1.276 * [taylor]: Taking taylor expansion of a in z
1.276 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.276 * [taylor]: Taking taylor expansion of (* x y) in z
1.276 * [taylor]: Taking taylor expansion of x in z
1.276 * [taylor]: Taking taylor expansion of y in z
1.276 * [taylor]: Taking taylor expansion of (* t z) in z
1.276 * [taylor]: Taking taylor expansion of t in z
1.276 * [taylor]: Taking taylor expansion of z in z
1.277 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in y
1.277 * [taylor]: Taking taylor expansion of a in y
1.277 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.277 * [taylor]: Taking taylor expansion of (* x y) in y
1.277 * [taylor]: Taking taylor expansion of x in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [taylor]: Taking taylor expansion of (* t z) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in x
1.277 * [taylor]: Taking taylor expansion of a in x
1.277 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.277 * [taylor]: Taking taylor expansion of (* x y) in x
1.277 * [taylor]: Taking taylor expansion of x in x
1.277 * [taylor]: Taking taylor expansion of y in x
1.277 * [taylor]: Taking taylor expansion of (* t z) in x
1.277 * [taylor]: Taking taylor expansion of t in x
1.277 * [taylor]: Taking taylor expansion of z in x
1.277 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in a
1.277 * [taylor]: Taking taylor expansion of a in a
1.277 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.277 * [taylor]: Taking taylor expansion of (* x y) in a
1.277 * [taylor]: Taking taylor expansion of x in a
1.277 * [taylor]: Taking taylor expansion of y in a
1.277 * [taylor]: Taking taylor expansion of (* t z) in a
1.277 * [taylor]: Taking taylor expansion of t in a
1.277 * [taylor]: Taking taylor expansion of z in a
1.277 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in a
1.277 * [taylor]: Taking taylor expansion of a in a
1.277 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.277 * [taylor]: Taking taylor expansion of (* x y) in a
1.277 * [taylor]: Taking taylor expansion of x in a
1.277 * [taylor]: Taking taylor expansion of y in a
1.278 * [taylor]: Taking taylor expansion of (* t z) in a
1.278 * [taylor]: Taking taylor expansion of t in a
1.278 * [taylor]: Taking taylor expansion of z in a
1.278 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in x
1.278 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.278 * [taylor]: Taking taylor expansion of (* x y) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.278 * [taylor]: Taking taylor expansion of (* t z) in x
1.278 * [taylor]: Taking taylor expansion of t in x
1.278 * [taylor]: Taking taylor expansion of z in x
1.278 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in y
1.278 * [taylor]: Taking taylor expansion of -1 in y
1.278 * [taylor]: Taking taylor expansion of (* t z) in y
1.278 * [taylor]: Taking taylor expansion of t in y
1.278 * [taylor]: Taking taylor expansion of z in y
1.278 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
1.278 * [taylor]: Taking taylor expansion of -1 in z
1.278 * [taylor]: Taking taylor expansion of (* t z) in z
1.278 * [taylor]: Taking taylor expansion of t in z
1.278 * [taylor]: Taking taylor expansion of z in z
1.278 * [taylor]: Taking taylor expansion of 0 in t
1.279 * [taylor]: Taking taylor expansion of 0 in x
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [taylor]: Taking taylor expansion of 0 in z
1.279 * [taylor]: Taking taylor expansion of 0 in t
1.279 * [taylor]: Taking taylor expansion of (neg (/ y (* (pow t 2) (pow z 2)))) in y
1.279 * [taylor]: Taking taylor expansion of (/ y (* (pow t 2) (pow z 2))) in y
1.279 * [taylor]: Taking taylor expansion of y in y
1.279 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.279 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.279 * [taylor]: Taking taylor expansion of t in y
1.279 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.279 * [taylor]: Taking taylor expansion of z in y
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [taylor]: Taking taylor expansion of 0 in x
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [approximate]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.280 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.280 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.280 * [taylor]: Taking taylor expansion of a in t
1.280 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.280 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.280 * [taylor]: Taking taylor expansion of (* x y) in t
1.280 * [taylor]: Taking taylor expansion of x in t
1.280 * [taylor]: Taking taylor expansion of y in t
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.283 * [taylor]: Taking taylor expansion of (* t z) in t
1.283 * [taylor]: Taking taylor expansion of t in t
1.283 * [taylor]: Taking taylor expansion of z in t
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.283 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.283 * [taylor]: Taking taylor expansion of a in z
1.283 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.283 * [taylor]: Taking taylor expansion of (* x y) in z
1.283 * [taylor]: Taking taylor expansion of x in z
1.283 * [taylor]: Taking taylor expansion of y in z
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.283 * [taylor]: Taking taylor expansion of (* t z) in z
1.283 * [taylor]: Taking taylor expansion of t in z
1.283 * [taylor]: Taking taylor expansion of z in z
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.284 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.284 * [taylor]: Taking taylor expansion of a in y
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.284 * [taylor]: Taking taylor expansion of (* x y) in y
1.284 * [taylor]: Taking taylor expansion of x in y
1.284 * [taylor]: Taking taylor expansion of y in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.284 * [taylor]: Taking taylor expansion of (* t z) in y
1.284 * [taylor]: Taking taylor expansion of t in y
1.284 * [taylor]: Taking taylor expansion of z in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.284 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.284 * [taylor]: Taking taylor expansion of a in x
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.284 * [taylor]: Taking taylor expansion of (* x y) in x
1.284 * [taylor]: Taking taylor expansion of x in x
1.284 * [taylor]: Taking taylor expansion of y in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.284 * [taylor]: Taking taylor expansion of (* t z) in x
1.284 * [taylor]: Taking taylor expansion of t in x
1.284 * [taylor]: Taking taylor expansion of z in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.284 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.284 * [taylor]: Taking taylor expansion of a in a
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.284 * [taylor]: Taking taylor expansion of (* x y) in a
1.284 * [taylor]: Taking taylor expansion of x in a
1.284 * [taylor]: Taking taylor expansion of y in a
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.284 * [taylor]: Taking taylor expansion of (* t z) in a
1.284 * [taylor]: Taking taylor expansion of t in a
1.284 * [taylor]: Taking taylor expansion of z in a
1.285 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.285 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.285 * [taylor]: Taking taylor expansion of a in a
1.285 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.285 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.285 * [taylor]: Taking taylor expansion of (* x y) in a
1.285 * [taylor]: Taking taylor expansion of x in a
1.285 * [taylor]: Taking taylor expansion of y in a
1.285 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.285 * [taylor]: Taking taylor expansion of (* t z) in a
1.285 * [taylor]: Taking taylor expansion of t in a
1.285 * [taylor]: Taking taylor expansion of z in a
1.286 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.286 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.286 * [taylor]: Taking taylor expansion of (* x y) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.286 * [taylor]: Taking taylor expansion of (* t z) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of z in x
1.286 * [taylor]: Taking taylor expansion of y in y
1.286 * [taylor]: Taking taylor expansion of 1 in z
1.286 * [taylor]: Taking taylor expansion of 0 in t
1.287 * [taylor]: Taking taylor expansion of 0 in x
1.287 * [taylor]: Taking taylor expansion of 0 in y
1.287 * [taylor]: Taking taylor expansion of 0 in z
1.287 * [taylor]: Taking taylor expansion of 0 in t
1.287 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.287 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.287 * [taylor]: Taking taylor expansion of y in y
1.287 * [taylor]: Taking taylor expansion of (* t z) in y
1.287 * [taylor]: Taking taylor expansion of t in y
1.287 * [taylor]: Taking taylor expansion of z in y
1.287 * [taylor]: Taking taylor expansion of 0 in z
1.287 * [taylor]: Taking taylor expansion of 0 in t
1.287 * [taylor]: Taking taylor expansion of 0 in t
1.288 * [taylor]: Taking taylor expansion of 0 in x
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.288 * [taylor]: Taking taylor expansion of 0 in z
1.288 * [taylor]: Taking taylor expansion of 0 in t
1.288 * [approximate]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.288 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.288 * [taylor]: Taking taylor expansion of -1 in t
1.289 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.289 * [taylor]: Taking taylor expansion of a in t
1.289 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.289 * [taylor]: Taking taylor expansion of (* x y) in t
1.289 * [taylor]: Taking taylor expansion of x in t
1.289 * [taylor]: Taking taylor expansion of y in t
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.289 * [taylor]: Taking taylor expansion of (* t z) in t
1.289 * [taylor]: Taking taylor expansion of t in t
1.289 * [taylor]: Taking taylor expansion of z in t
1.289 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.289 * [taylor]: Taking taylor expansion of -1 in z
1.289 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.289 * [taylor]: Taking taylor expansion of a in z
1.289 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.289 * [taylor]: Taking taylor expansion of (* x y) in z
1.289 * [taylor]: Taking taylor expansion of x in z
1.289 * [taylor]: Taking taylor expansion of y in z
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.289 * [taylor]: Taking taylor expansion of (* t z) in z
1.289 * [taylor]: Taking taylor expansion of t in z
1.289 * [taylor]: Taking taylor expansion of z in z
1.289 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.289 * [taylor]: Taking taylor expansion of -1 in y
1.289 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.289 * [taylor]: Taking taylor expansion of a in y
1.289 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.289 * [taylor]: Taking taylor expansion of (* x y) in y
1.289 * [taylor]: Taking taylor expansion of x in y
1.290 * [taylor]: Taking taylor expansion of y in y
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.290 * [taylor]: Taking taylor expansion of (* t z) in y
1.290 * [taylor]: Taking taylor expansion of t in y
1.290 * [taylor]: Taking taylor expansion of z in y
1.290 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.290 * [taylor]: Taking taylor expansion of -1 in x
1.290 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.290 * [taylor]: Taking taylor expansion of a in x
1.290 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.290 * [taylor]: Taking taylor expansion of (* x y) in x
1.290 * [taylor]: Taking taylor expansion of x in x
1.290 * [taylor]: Taking taylor expansion of y in x
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.290 * [taylor]: Taking taylor expansion of (* t z) in x
1.290 * [taylor]: Taking taylor expansion of t in x
1.290 * [taylor]: Taking taylor expansion of z in x
1.290 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.290 * [taylor]: Taking taylor expansion of -1 in a
1.290 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.290 * [taylor]: Taking taylor expansion of a in a
1.290 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.290 * [taylor]: Taking taylor expansion of (* x y) in a
1.290 * [taylor]: Taking taylor expansion of x in a
1.290 * [taylor]: Taking taylor expansion of y in a
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.290 * [taylor]: Taking taylor expansion of (* t z) in a
1.290 * [taylor]: Taking taylor expansion of t in a
1.290 * [taylor]: Taking taylor expansion of z in a
1.291 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.291 * [taylor]: Taking taylor expansion of -1 in a
1.291 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.291 * [taylor]: Taking taylor expansion of a in a
1.291 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.291 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.291 * [taylor]: Taking taylor expansion of (* x y) in a
1.291 * [taylor]: Taking taylor expansion of x in a
1.291 * [taylor]: Taking taylor expansion of y in a
1.291 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.291 * [taylor]: Taking taylor expansion of (* t z) in a
1.291 * [taylor]: Taking taylor expansion of t in a
1.291 * [taylor]: Taking taylor expansion of z in a
1.292 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.292 * [taylor]: Taking taylor expansion of -1 in x
1.292 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.292 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.292 * [taylor]: Taking taylor expansion of (* x y) in x
1.292 * [taylor]: Taking taylor expansion of x in x
1.292 * [taylor]: Taking taylor expansion of y in x
1.292 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.292 * [taylor]: Taking taylor expansion of (* t z) in x
1.292 * [taylor]: Taking taylor expansion of t in x
1.292 * [taylor]: Taking taylor expansion of z in x
1.292 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.292 * [taylor]: Taking taylor expansion of -1 in y
1.292 * [taylor]: Taking taylor expansion of y in y
1.292 * [taylor]: Taking taylor expansion of -1 in z
1.292 * [taylor]: Taking taylor expansion of 0 in t
1.293 * [taylor]: Taking taylor expansion of 0 in x
1.293 * [taylor]: Taking taylor expansion of 0 in y
1.293 * [taylor]: Taking taylor expansion of 0 in z
1.293 * [taylor]: Taking taylor expansion of 0 in t
1.293 * [taylor]: Taking taylor expansion of (neg (/ (pow y 2) (* t z))) in y
1.293 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.293 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.293 * [taylor]: Taking taylor expansion of y in y
1.293 * [taylor]: Taking taylor expansion of (* t z) in y
1.293 * [taylor]: Taking taylor expansion of t in y
1.293 * [taylor]: Taking taylor expansion of z in y
1.293 * [taylor]: Taking taylor expansion of 0 in z
1.294 * [taylor]: Taking taylor expansion of 0 in t
1.294 * [taylor]: Taking taylor expansion of 0 in t
1.294 * [taylor]: Taking taylor expansion of 0 in x
1.294 * [taylor]: Taking taylor expansion of 0 in y
1.294 * [taylor]: Taking taylor expansion of 0 in z
1.294 * [taylor]: Taking taylor expansion of 0 in t
1.294 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.295 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (a x y z t) around 0
1.295 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
1.295 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.295 * [taylor]: Taking taylor expansion of (* x y) in t
1.295 * [taylor]: Taking taylor expansion of x in t
1.295 * [taylor]: Taking taylor expansion of y in t
1.295 * [taylor]: Taking taylor expansion of (* t z) in t
1.295 * [taylor]: Taking taylor expansion of t in t
1.295 * [taylor]: Taking taylor expansion of z in t
1.295 * [taylor]: Taking taylor expansion of a in t
1.295 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
1.295 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.295 * [taylor]: Taking taylor expansion of (* x y) in z
1.295 * [taylor]: Taking taylor expansion of x in z
1.295 * [taylor]: Taking taylor expansion of y in z
1.295 * [taylor]: Taking taylor expansion of (* t z) in z
1.295 * [taylor]: Taking taylor expansion of t in z
1.295 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of a in z
1.295 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
1.295 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.295 * [taylor]: Taking taylor expansion of (* x y) in y
1.295 * [taylor]: Taking taylor expansion of x in y
1.295 * [taylor]: Taking taylor expansion of y in y
1.295 * [taylor]: Taking taylor expansion of (* t z) in y
1.295 * [taylor]: Taking taylor expansion of t in y
1.295 * [taylor]: Taking taylor expansion of z in y
1.295 * [taylor]: Taking taylor expansion of a in y
1.295 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
1.295 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.295 * [taylor]: Taking taylor expansion of (* x y) in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.295 * [taylor]: Taking taylor expansion of y in x
1.295 * [taylor]: Taking taylor expansion of (* t z) in x
1.295 * [taylor]: Taking taylor expansion of t in x
1.295 * [taylor]: Taking taylor expansion of z in x
1.296 * [taylor]: Taking taylor expansion of a in x
1.296 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
1.296 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.296 * [taylor]: Taking taylor expansion of (* x y) in a
1.296 * [taylor]: Taking taylor expansion of x in a
1.296 * [taylor]: Taking taylor expansion of y in a
1.296 * [taylor]: Taking taylor expansion of (* t z) in a
1.296 * [taylor]: Taking taylor expansion of t in a
1.296 * [taylor]: Taking taylor expansion of z in a
1.296 * [taylor]: Taking taylor expansion of a in a
1.296 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
1.296 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.296 * [taylor]: Taking taylor expansion of (* x y) in a
1.296 * [taylor]: Taking taylor expansion of x in a
1.296 * [taylor]: Taking taylor expansion of y in a
1.296 * [taylor]: Taking taylor expansion of (* t z) in a
1.296 * [taylor]: Taking taylor expansion of t in a
1.296 * [taylor]: Taking taylor expansion of z in a
1.296 * [taylor]: Taking taylor expansion of a in a
1.296 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.296 * [taylor]: Taking taylor expansion of (* x y) in x
1.296 * [taylor]: Taking taylor expansion of x in x
1.296 * [taylor]: Taking taylor expansion of y in x
1.296 * [taylor]: Taking taylor expansion of (* t z) in x
1.296 * [taylor]: Taking taylor expansion of t in x
1.296 * [taylor]: Taking taylor expansion of z in x
1.296 * [taylor]: Taking taylor expansion of (neg (* t z)) in y
1.297 * [taylor]: Taking taylor expansion of (* t z) in y
1.297 * [taylor]: Taking taylor expansion of t in y
1.297 * [taylor]: Taking taylor expansion of z in y
1.297 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
1.297 * [taylor]: Taking taylor expansion of (* t z) in z
1.297 * [taylor]: Taking taylor expansion of t in z
1.297 * [taylor]: Taking taylor expansion of z in z
1.297 * [taylor]: Taking taylor expansion of 0 in t
1.297 * [taylor]: Taking taylor expansion of 0 in x
1.297 * [taylor]: Taking taylor expansion of 0 in y
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [taylor]: Taking taylor expansion of 0 in t
1.297 * [taylor]: Taking taylor expansion of y in y
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [taylor]: Taking taylor expansion of 0 in t
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [taylor]: Taking taylor expansion of 0 in t
1.297 * [taylor]: Taking taylor expansion of (neg t) in t
1.297 * [taylor]: Taking taylor expansion of t in t
1.297 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (a x y z t) around 0
1.298 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.298 * [taylor]: Taking taylor expansion of a in t
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.298 * [taylor]: Taking taylor expansion of (* x y) in t
1.298 * [taylor]: Taking taylor expansion of x in t
1.298 * [taylor]: Taking taylor expansion of y in t
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.298 * [taylor]: Taking taylor expansion of (* t z) in t
1.298 * [taylor]: Taking taylor expansion of t in t
1.298 * [taylor]: Taking taylor expansion of z in t
1.298 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.298 * [taylor]: Taking taylor expansion of a in z
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.298 * [taylor]: Taking taylor expansion of (* x y) in z
1.298 * [taylor]: Taking taylor expansion of x in z
1.298 * [taylor]: Taking taylor expansion of y in z
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.298 * [taylor]: Taking taylor expansion of (* t z) in z
1.298 * [taylor]: Taking taylor expansion of t in z
1.298 * [taylor]: Taking taylor expansion of z in z
1.298 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.298 * [taylor]: Taking taylor expansion of a in y
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.298 * [taylor]: Taking taylor expansion of (* x y) in y
1.298 * [taylor]: Taking taylor expansion of x in y
1.298 * [taylor]: Taking taylor expansion of y in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.298 * [taylor]: Taking taylor expansion of (* t z) in y
1.298 * [taylor]: Taking taylor expansion of t in y
1.298 * [taylor]: Taking taylor expansion of z in y
1.298 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.298 * [taylor]: Taking taylor expansion of a in x
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.298 * [taylor]: Taking taylor expansion of (* x y) in x
1.298 * [taylor]: Taking taylor expansion of x in x
1.298 * [taylor]: Taking taylor expansion of y in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.299 * [taylor]: Taking taylor expansion of (* t z) in x
1.299 * [taylor]: Taking taylor expansion of t in x
1.299 * [taylor]: Taking taylor expansion of z in x
1.299 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.299 * [taylor]: Taking taylor expansion of a in a
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.299 * [taylor]: Taking taylor expansion of (* x y) in a
1.299 * [taylor]: Taking taylor expansion of x in a
1.299 * [taylor]: Taking taylor expansion of y in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.299 * [taylor]: Taking taylor expansion of (* t z) in a
1.299 * [taylor]: Taking taylor expansion of t in a
1.299 * [taylor]: Taking taylor expansion of z in a
1.299 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.299 * [taylor]: Taking taylor expansion of a in a
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.299 * [taylor]: Taking taylor expansion of (* x y) in a
1.299 * [taylor]: Taking taylor expansion of x in a
1.299 * [taylor]: Taking taylor expansion of y in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.299 * [taylor]: Taking taylor expansion of (* t z) in a
1.299 * [taylor]: Taking taylor expansion of t in a
1.299 * [taylor]: Taking taylor expansion of z in a
1.299 * [taylor]: Taking taylor expansion of 0 in x
1.300 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.300 * [taylor]: Taking taylor expansion of (* x y) in x
1.300 * [taylor]: Taking taylor expansion of x in x
1.300 * [taylor]: Taking taylor expansion of y in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.300 * [taylor]: Taking taylor expansion of (* t z) in x
1.300 * [taylor]: Taking taylor expansion of t in x
1.300 * [taylor]: Taking taylor expansion of z in x
1.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.300 * [taylor]: Taking taylor expansion of y in y
1.300 * [taylor]: Taking taylor expansion of 1 in z
1.300 * [taylor]: Taking taylor expansion of 0 in y
1.300 * [taylor]: Taking taylor expansion of 0 in x
1.301 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.301 * [taylor]: Taking taylor expansion of (* t z) in y
1.301 * [taylor]: Taking taylor expansion of t in y
1.301 * [taylor]: Taking taylor expansion of z in y
1.301 * [taylor]: Taking taylor expansion of 0 in y
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [taylor]: Taking taylor expansion of 1 in t
1.301 * [taylor]: Taking taylor expansion of 0 in x
1.301 * [taylor]: Taking taylor expansion of 0 in y
1.302 * [taylor]: Taking taylor expansion of 0 in y
1.302 * [taylor]: Taking taylor expansion of 0 in y
1.302 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.302 * [taylor]: Taking taylor expansion of (* t z) in z
1.302 * [taylor]: Taking taylor expansion of t in z
1.302 * [taylor]: Taking taylor expansion of z in z
1.302 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.302 * [taylor]: Taking taylor expansion of t in t
1.302 * [taylor]: Taking taylor expansion of 0 in z
1.302 * [taylor]: Taking taylor expansion of 0 in z
1.302 * [taylor]: Taking taylor expansion of 0 in z
1.302 * [taylor]: Taking taylor expansion of 0 in t
1.302 * [taylor]: Taking taylor expansion of 0 in t
1.302 * [taylor]: Taking taylor expansion of 0 in t
1.303 * [taylor]: Taking taylor expansion of 0 in x
1.303 * [taylor]: Taking taylor expansion of 0 in y
1.303 * [taylor]: Taking taylor expansion of 0 in y
1.303 * [taylor]: Taking taylor expansion of 0 in y
1.303 * [taylor]: Taking taylor expansion of 0 in y
1.303 * [taylor]: Taking taylor expansion of 0 in z
1.303 * [taylor]: Taking taylor expansion of 0 in z
1.303 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.305 * [taylor]: Taking taylor expansion of 0 in x
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.307 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.308 * [taylor]: Taking taylor expansion of -1 in t
1.308 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.308 * [taylor]: Taking taylor expansion of a in t
1.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.308 * [taylor]: Taking taylor expansion of (* x y) in t
1.308 * [taylor]: Taking taylor expansion of x in t
1.308 * [taylor]: Taking taylor expansion of y in t
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.308 * [taylor]: Taking taylor expansion of (* t z) in t
1.308 * [taylor]: Taking taylor expansion of t in t
1.308 * [taylor]: Taking taylor expansion of z in t
1.308 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.308 * [taylor]: Taking taylor expansion of -1 in z
1.308 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.308 * [taylor]: Taking taylor expansion of a in z
1.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.308 * [taylor]: Taking taylor expansion of (* x y) in z
1.308 * [taylor]: Taking taylor expansion of x in z
1.308 * [taylor]: Taking taylor expansion of y in z
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.308 * [taylor]: Taking taylor expansion of (* t z) in z
1.308 * [taylor]: Taking taylor expansion of t in z
1.308 * [taylor]: Taking taylor expansion of z in z
1.308 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.308 * [taylor]: Taking taylor expansion of -1 in y
1.308 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.308 * [taylor]: Taking taylor expansion of a in y
1.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.308 * [taylor]: Taking taylor expansion of (* x y) in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of y in y
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.308 * [taylor]: Taking taylor expansion of (* t z) in y
1.308 * [taylor]: Taking taylor expansion of t in y
1.308 * [taylor]: Taking taylor expansion of z in y
1.308 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.308 * [taylor]: Taking taylor expansion of -1 in x
1.308 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.309 * [taylor]: Taking taylor expansion of a in x
1.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.309 * [taylor]: Taking taylor expansion of (* x y) in x
1.309 * [taylor]: Taking taylor expansion of x in x
1.309 * [taylor]: Taking taylor expansion of y in x
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.309 * [taylor]: Taking taylor expansion of (* t z) in x
1.309 * [taylor]: Taking taylor expansion of t in x
1.309 * [taylor]: Taking taylor expansion of z in x
1.309 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.309 * [taylor]: Taking taylor expansion of -1 in a
1.309 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.309 * [taylor]: Taking taylor expansion of a in a
1.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.309 * [taylor]: Taking taylor expansion of (* x y) in a
1.309 * [taylor]: Taking taylor expansion of x in a
1.309 * [taylor]: Taking taylor expansion of y in a
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.309 * [taylor]: Taking taylor expansion of (* t z) in a
1.309 * [taylor]: Taking taylor expansion of t in a
1.309 * [taylor]: Taking taylor expansion of z in a
1.309 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.309 * [taylor]: Taking taylor expansion of -1 in a
1.309 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.309 * [taylor]: Taking taylor expansion of a in a
1.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.309 * [taylor]: Taking taylor expansion of (* x y) in a
1.309 * [taylor]: Taking taylor expansion of x in a
1.309 * [taylor]: Taking taylor expansion of y in a
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.309 * [taylor]: Taking taylor expansion of (* t z) in a
1.309 * [taylor]: Taking taylor expansion of t in a
1.309 * [taylor]: Taking taylor expansion of z in a
1.310 * [taylor]: Taking taylor expansion of 0 in x
1.310 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in x
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.310 * [taylor]: Taking taylor expansion of (* t z) in x
1.310 * [taylor]: Taking taylor expansion of t in x
1.310 * [taylor]: Taking taylor expansion of z in x
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.310 * [taylor]: Taking taylor expansion of (* x y) in x
1.310 * [taylor]: Taking taylor expansion of x in x
1.310 * [taylor]: Taking taylor expansion of y in x
1.310 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.310 * [taylor]: Taking taylor expansion of -1 in z
1.310 * [taylor]: Taking taylor expansion of 0 in y
1.311 * [taylor]: Taking taylor expansion of 0 in x
1.311 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.311 * [taylor]: Taking taylor expansion of (* t z) in y
1.311 * [taylor]: Taking taylor expansion of t in y
1.311 * [taylor]: Taking taylor expansion of z in y
1.311 * [taylor]: Taking taylor expansion of 0 in y
1.311 * [taylor]: Taking taylor expansion of 0 in z
1.311 * [taylor]: Taking taylor expansion of 0 in z
1.311 * [taylor]: Taking taylor expansion of -1 in t
1.312 * [taylor]: Taking taylor expansion of 0 in x
1.312 * [taylor]: Taking taylor expansion of 0 in y
1.312 * [taylor]: Taking taylor expansion of 0 in y
1.312 * [taylor]: Taking taylor expansion of 0 in y
1.312 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.312 * [taylor]: Taking taylor expansion of (* t z) in z
1.312 * [taylor]: Taking taylor expansion of t in z
1.312 * [taylor]: Taking taylor expansion of z in z
1.312 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.312 * [taylor]: Taking taylor expansion of t in t
1.312 * [taylor]: Taking taylor expansion of 0 in z
1.313 * [taylor]: Taking taylor expansion of 0 in z
1.313 * [taylor]: Taking taylor expansion of 0 in z
1.313 * [taylor]: Taking taylor expansion of 0 in t
1.313 * [taylor]: Taking taylor expansion of 0 in t
1.313 * [taylor]: Taking taylor expansion of 0 in t
1.313 * [taylor]: Taking taylor expansion of 0 in x
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 0 in x
1.316 * [taylor]: Taking taylor expansion of 0 in y
1.316 * [taylor]: Taking taylor expansion of 0 in y
1.316 * [taylor]: Taking taylor expansion of 0 in y
1.316 * [taylor]: Taking taylor expansion of 0 in y
1.316 * [taylor]: Taking taylor expansion of 0 in y
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.317 * [taylor]: Taking taylor expansion of 0 in z
1.317 * [taylor]: Taking taylor expansion of 0 in z
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.318 * * * [progress]: simplifying candidates
1.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 a) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (*.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 a)
  (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1)
  (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) 1)
  (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 1)
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a 1)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))))
  (neg.f64 1)
  (neg.f64 (-.f64 (log.f64 a) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (neg.f64 (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (-.f64 0 (-.f64 (log.f64 a) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (-.f64 0 (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (-.f64 (log.f64 1) (-.f64 (log.f64 a) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (-.f64 (log.f64 1) (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (log.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (exp.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (cbrt.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (cbrt.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (*.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (sqrt.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (sqrt.f64 (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (neg.f64 1)
  (neg.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 1))
  (/.f64 (cbrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a)
  (/.f64 (cbrt.f64 1) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (sqrt.f64 1) (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 1 1))
  (/.f64 (sqrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) a)
  (/.f64 (sqrt.f64 1) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (sqrt.f64 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 1 (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 1 (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 1 1))
  (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 1)
  (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 a)
  (/.f64 1 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))))
  (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 1)
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 1 (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (/.f64 1 1))
  (/.f64 1 1)
  (/.f64 1 a)
  (/.f64 1 (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 1 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))))
  (/.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 1))
  (/.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 1))
  (/.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 1)
  (/.f64 1 a)
  0
  0
  0
  0
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
1.355 * * [simplify]: iteration  0 :  5061  enodes  (cost  1964 )
1.362 * [simplify]: Simplified to:
   (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 3)
  (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 3)
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 a)
  (-.f64 (*.f64 z t) (*.f64 x y))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 a) (cbrt.f64 a))
  (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 a)
  (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  1
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  a
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))))
  -1
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (exp.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  -1
  (/.f64 (neg.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 a))
  (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 (cbrt.f64 1) (/.f64 a (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 (cbrt.f64 1) (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a)
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1))
  (*.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (+.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 1 a)
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a)
  (/.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (+.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 a))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 1 a)
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a)
  (/.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (+.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 a) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 a))
  (/.f64 1 (sqrt.f64 a))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  1
  1
  (/.f64 1 a)
  (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a)
  (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 a (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1)))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 a)
  0
  0
  0
  0
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
1.363 * * * [progress]: adding candidates to table
1.408 * * [progress]: iteration 4 / 4
1.408 * * * [progress]: picking best candidate
1.438 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))>
1.438 * * * [progress]: localizing error
1.450 * * * [progress]: generating rewritten candidates
1.450 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.460 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.470 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
1.480 * * * [progress]: generating series expansions
1.480 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.480 * [approximate]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in (a x y z t) around 0
1.480 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in t
1.480 * [taylor]: Taking taylor expansion of a in t
1.480 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.480 * [taylor]: Taking taylor expansion of (* x y) in t
1.480 * [taylor]: Taking taylor expansion of x in t
1.480 * [taylor]: Taking taylor expansion of y in t
1.480 * [taylor]: Taking taylor expansion of (* t z) in t
1.480 * [taylor]: Taking taylor expansion of t in t
1.480 * [taylor]: Taking taylor expansion of z in t
1.480 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in z
1.480 * [taylor]: Taking taylor expansion of a in z
1.480 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.480 * [taylor]: Taking taylor expansion of (* x y) in z
1.480 * [taylor]: Taking taylor expansion of x in z
1.480 * [taylor]: Taking taylor expansion of y in z
1.480 * [taylor]: Taking taylor expansion of (* t z) in z
1.480 * [taylor]: Taking taylor expansion of t in z
1.480 * [taylor]: Taking taylor expansion of z in z
1.481 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in y
1.481 * [taylor]: Taking taylor expansion of a in y
1.481 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.481 * [taylor]: Taking taylor expansion of (* x y) in y
1.481 * [taylor]: Taking taylor expansion of x in y
1.481 * [taylor]: Taking taylor expansion of y in y
1.481 * [taylor]: Taking taylor expansion of (* t z) in y
1.481 * [taylor]: Taking taylor expansion of t in y
1.481 * [taylor]: Taking taylor expansion of z in y
1.481 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in x
1.481 * [taylor]: Taking taylor expansion of a in x
1.481 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.481 * [taylor]: Taking taylor expansion of (* x y) in x
1.481 * [taylor]: Taking taylor expansion of x in x
1.481 * [taylor]: Taking taylor expansion of y in x
1.481 * [taylor]: Taking taylor expansion of (* t z) in x
1.481 * [taylor]: Taking taylor expansion of t in x
1.481 * [taylor]: Taking taylor expansion of z in x
1.481 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in a
1.481 * [taylor]: Taking taylor expansion of a in a
1.481 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.481 * [taylor]: Taking taylor expansion of (* x y) in a
1.481 * [taylor]: Taking taylor expansion of x in a
1.481 * [taylor]: Taking taylor expansion of y in a
1.481 * [taylor]: Taking taylor expansion of (* t z) in a
1.481 * [taylor]: Taking taylor expansion of t in a
1.481 * [taylor]: Taking taylor expansion of z in a
1.481 * [taylor]: Taking taylor expansion of (/ a (- (* x y) (* t z))) in a
1.481 * [taylor]: Taking taylor expansion of a in a
1.481 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.481 * [taylor]: Taking taylor expansion of (* x y) in a
1.481 * [taylor]: Taking taylor expansion of x in a
1.481 * [taylor]: Taking taylor expansion of y in a
1.482 * [taylor]: Taking taylor expansion of (* t z) in a
1.482 * [taylor]: Taking taylor expansion of t in a
1.482 * [taylor]: Taking taylor expansion of z in a
1.482 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in x
1.482 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.482 * [taylor]: Taking taylor expansion of (* x y) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of y in x
1.482 * [taylor]: Taking taylor expansion of (* t z) in x
1.482 * [taylor]: Taking taylor expansion of t in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.482 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in y
1.482 * [taylor]: Taking taylor expansion of -1 in y
1.482 * [taylor]: Taking taylor expansion of (* t z) in y
1.482 * [taylor]: Taking taylor expansion of t in y
1.482 * [taylor]: Taking taylor expansion of z in y
1.482 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
1.482 * [taylor]: Taking taylor expansion of -1 in z
1.482 * [taylor]: Taking taylor expansion of (* t z) in z
1.482 * [taylor]: Taking taylor expansion of t in z
1.482 * [taylor]: Taking taylor expansion of z in z
1.482 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in x
1.483 * [taylor]: Taking taylor expansion of 0 in y
1.483 * [taylor]: Taking taylor expansion of 0 in z
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of (neg (/ y (* (pow t 2) (pow z 2)))) in y
1.483 * [taylor]: Taking taylor expansion of (/ y (* (pow t 2) (pow z 2))) in y
1.483 * [taylor]: Taking taylor expansion of y in y
1.483 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.483 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.483 * [taylor]: Taking taylor expansion of t in y
1.483 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.483 * [taylor]: Taking taylor expansion of z in y
1.484 * [taylor]: Taking taylor expansion of 0 in z
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [taylor]: Taking taylor expansion of 0 in x
1.484 * [taylor]: Taking taylor expansion of 0 in y
1.484 * [taylor]: Taking taylor expansion of 0 in z
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [approximate]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.484 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.484 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.484 * [taylor]: Taking taylor expansion of a in t
1.484 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.484 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.484 * [taylor]: Taking taylor expansion of (* x y) in t
1.484 * [taylor]: Taking taylor expansion of x in t
1.484 * [taylor]: Taking taylor expansion of y in t
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.485 * [taylor]: Taking taylor expansion of (* t z) in t
1.485 * [taylor]: Taking taylor expansion of t in t
1.485 * [taylor]: Taking taylor expansion of z in t
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.485 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.485 * [taylor]: Taking taylor expansion of a in z
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.485 * [taylor]: Taking taylor expansion of (* x y) in z
1.485 * [taylor]: Taking taylor expansion of x in z
1.485 * [taylor]: Taking taylor expansion of y in z
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.485 * [taylor]: Taking taylor expansion of (* t z) in z
1.485 * [taylor]: Taking taylor expansion of t in z
1.485 * [taylor]: Taking taylor expansion of z in z
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.485 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.485 * [taylor]: Taking taylor expansion of a in y
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.485 * [taylor]: Taking taylor expansion of (* x y) in y
1.485 * [taylor]: Taking taylor expansion of x in y
1.485 * [taylor]: Taking taylor expansion of y in y
1.485 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.485 * [taylor]: Taking taylor expansion of (* t z) in y
1.485 * [taylor]: Taking taylor expansion of t in y
1.485 * [taylor]: Taking taylor expansion of z in y
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.486 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.486 * [taylor]: Taking taylor expansion of a in x
1.486 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.486 * [taylor]: Taking taylor expansion of (* x y) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.486 * [taylor]: Taking taylor expansion of y in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.486 * [taylor]: Taking taylor expansion of (* t z) in x
1.486 * [taylor]: Taking taylor expansion of t in x
1.486 * [taylor]: Taking taylor expansion of z in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.486 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.486 * [taylor]: Taking taylor expansion of a in a
1.486 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.486 * [taylor]: Taking taylor expansion of (* x y) in a
1.486 * [taylor]: Taking taylor expansion of x in a
1.486 * [taylor]: Taking taylor expansion of y in a
1.486 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.486 * [taylor]: Taking taylor expansion of (* t z) in a
1.486 * [taylor]: Taking taylor expansion of t in a
1.486 * [taylor]: Taking taylor expansion of z in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.487 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.487 * [taylor]: Taking taylor expansion of a in a
1.487 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.487 * [taylor]: Taking taylor expansion of (* x y) in a
1.487 * [taylor]: Taking taylor expansion of x in a
1.487 * [taylor]: Taking taylor expansion of y in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.487 * [taylor]: Taking taylor expansion of (* t z) in a
1.487 * [taylor]: Taking taylor expansion of t in a
1.487 * [taylor]: Taking taylor expansion of z in a
1.488 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.488 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.488 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.488 * [taylor]: Taking taylor expansion of (* x y) in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of y in x
1.488 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.488 * [taylor]: Taking taylor expansion of (* t z) in x
1.488 * [taylor]: Taking taylor expansion of t in x
1.488 * [taylor]: Taking taylor expansion of z in x
1.488 * [taylor]: Taking taylor expansion of y in y
1.488 * [taylor]: Taking taylor expansion of 1 in z
1.488 * [taylor]: Taking taylor expansion of 0 in t
1.488 * [taylor]: Taking taylor expansion of 0 in x
1.488 * [taylor]: Taking taylor expansion of 0 in y
1.488 * [taylor]: Taking taylor expansion of 0 in z
1.489 * [taylor]: Taking taylor expansion of 0 in t
1.489 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.489 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.489 * [taylor]: Taking taylor expansion of (* t z) in y
1.489 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of z in y
1.489 * [taylor]: Taking taylor expansion of 0 in z
1.489 * [taylor]: Taking taylor expansion of 0 in t
1.489 * [taylor]: Taking taylor expansion of 0 in t
1.490 * [taylor]: Taking taylor expansion of 0 in x
1.490 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [taylor]: Taking taylor expansion of 0 in z
1.490 * [taylor]: Taking taylor expansion of 0 in t
1.490 * [approximate]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.490 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.490 * [taylor]: Taking taylor expansion of -1 in t
1.490 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.490 * [taylor]: Taking taylor expansion of a in t
1.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.490 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.490 * [taylor]: Taking taylor expansion of (* x y) in t
1.490 * [taylor]: Taking taylor expansion of x in t
1.490 * [taylor]: Taking taylor expansion of y in t
1.490 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.490 * [taylor]: Taking taylor expansion of (* t z) in t
1.490 * [taylor]: Taking taylor expansion of t in t
1.490 * [taylor]: Taking taylor expansion of z in t
1.491 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.491 * [taylor]: Taking taylor expansion of -1 in z
1.491 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.491 * [taylor]: Taking taylor expansion of a in z
1.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.491 * [taylor]: Taking taylor expansion of (* x y) in z
1.491 * [taylor]: Taking taylor expansion of x in z
1.491 * [taylor]: Taking taylor expansion of y in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.491 * [taylor]: Taking taylor expansion of (* t z) in z
1.491 * [taylor]: Taking taylor expansion of t in z
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.491 * [taylor]: Taking taylor expansion of -1 in y
1.491 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.491 * [taylor]: Taking taylor expansion of a in y
1.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.491 * [taylor]: Taking taylor expansion of (* x y) in y
1.491 * [taylor]: Taking taylor expansion of x in y
1.491 * [taylor]: Taking taylor expansion of y in y
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.491 * [taylor]: Taking taylor expansion of (* t z) in y
1.491 * [taylor]: Taking taylor expansion of t in y
1.491 * [taylor]: Taking taylor expansion of z in y
1.491 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.491 * [taylor]: Taking taylor expansion of -1 in x
1.491 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.491 * [taylor]: Taking taylor expansion of a in x
1.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.492 * [taylor]: Taking taylor expansion of (* x y) in x
1.492 * [taylor]: Taking taylor expansion of x in x
1.492 * [taylor]: Taking taylor expansion of y in x
1.492 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.492 * [taylor]: Taking taylor expansion of (* t z) in x
1.492 * [taylor]: Taking taylor expansion of t in x
1.492 * [taylor]: Taking taylor expansion of z in x
1.492 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.492 * [taylor]: Taking taylor expansion of -1 in a
1.492 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.492 * [taylor]: Taking taylor expansion of a in a
1.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.492 * [taylor]: Taking taylor expansion of (* x y) in a
1.492 * [taylor]: Taking taylor expansion of x in a
1.492 * [taylor]: Taking taylor expansion of y in a
1.492 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.492 * [taylor]: Taking taylor expansion of (* t z) in a
1.492 * [taylor]: Taking taylor expansion of t in a
1.492 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (/ -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.493 * [taylor]: Taking taylor expansion of -1 in a
1.493 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.493 * [taylor]: Taking taylor expansion of a in a
1.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.493 * [taylor]: Taking taylor expansion of (* x y) in a
1.493 * [taylor]: Taking taylor expansion of x in a
1.493 * [taylor]: Taking taylor expansion of y in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.493 * [taylor]: Taking taylor expansion of (* t z) in a
1.493 * [taylor]: Taking taylor expansion of t in a
1.493 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.493 * [taylor]: Taking taylor expansion of -1 in x
1.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.494 * [taylor]: Taking taylor expansion of (* x y) in x
1.494 * [taylor]: Taking taylor expansion of x in x
1.494 * [taylor]: Taking taylor expansion of y in x
1.494 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.494 * [taylor]: Taking taylor expansion of (* t z) in x
1.494 * [taylor]: Taking taylor expansion of t in x
1.494 * [taylor]: Taking taylor expansion of z in x
1.494 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.494 * [taylor]: Taking taylor expansion of -1 in y
1.494 * [taylor]: Taking taylor expansion of y in y
1.494 * [taylor]: Taking taylor expansion of -1 in z
1.494 * [taylor]: Taking taylor expansion of 0 in t
1.494 * [taylor]: Taking taylor expansion of 0 in x
1.494 * [taylor]: Taking taylor expansion of 0 in y
1.495 * [taylor]: Taking taylor expansion of 0 in z
1.495 * [taylor]: Taking taylor expansion of 0 in t
1.495 * [taylor]: Taking taylor expansion of (neg (/ (pow y 2) (* t z))) in y
1.495 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.495 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.495 * [taylor]: Taking taylor expansion of y in y
1.495 * [taylor]: Taking taylor expansion of (* t z) in y
1.495 * [taylor]: Taking taylor expansion of t in y
1.495 * [taylor]: Taking taylor expansion of z in y
1.495 * [taylor]: Taking taylor expansion of 0 in z
1.495 * [taylor]: Taking taylor expansion of 0 in t
1.495 * [taylor]: Taking taylor expansion of 0 in t
1.496 * [taylor]: Taking taylor expansion of 0 in x
1.496 * [taylor]: Taking taylor expansion of 0 in y
1.496 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [taylor]: Taking taylor expansion of 0 in t
1.496 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.496 * [approximate]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in (a x y z t) around 0
1.496 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in t
1.496 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.496 * [taylor]: Taking taylor expansion of (* x y) in t
1.496 * [taylor]: Taking taylor expansion of x in t
1.496 * [taylor]: Taking taylor expansion of y in t
1.496 * [taylor]: Taking taylor expansion of (* t z) in t
1.496 * [taylor]: Taking taylor expansion of t in t
1.496 * [taylor]: Taking taylor expansion of z in t
1.496 * [taylor]: Taking taylor expansion of a in t
1.496 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in z
1.497 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.497 * [taylor]: Taking taylor expansion of (* x y) in z
1.497 * [taylor]: Taking taylor expansion of x in z
1.497 * [taylor]: Taking taylor expansion of y in z
1.497 * [taylor]: Taking taylor expansion of (* t z) in z
1.497 * [taylor]: Taking taylor expansion of t in z
1.497 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of a in z
1.497 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in y
1.497 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.497 * [taylor]: Taking taylor expansion of (* x y) in y
1.497 * [taylor]: Taking taylor expansion of x in y
1.497 * [taylor]: Taking taylor expansion of y in y
1.497 * [taylor]: Taking taylor expansion of (* t z) in y
1.497 * [taylor]: Taking taylor expansion of t in y
1.497 * [taylor]: Taking taylor expansion of z in y
1.497 * [taylor]: Taking taylor expansion of a in y
1.497 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in x
1.497 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.497 * [taylor]: Taking taylor expansion of (* x y) in x
1.497 * [taylor]: Taking taylor expansion of x in x
1.497 * [taylor]: Taking taylor expansion of y in x
1.497 * [taylor]: Taking taylor expansion of (* t z) in x
1.497 * [taylor]: Taking taylor expansion of t in x
1.497 * [taylor]: Taking taylor expansion of z in x
1.497 * [taylor]: Taking taylor expansion of a in x
1.497 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
1.497 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.497 * [taylor]: Taking taylor expansion of (* x y) in a
1.497 * [taylor]: Taking taylor expansion of x in a
1.497 * [taylor]: Taking taylor expansion of y in a
1.497 * [taylor]: Taking taylor expansion of (* t z) in a
1.497 * [taylor]: Taking taylor expansion of t in a
1.497 * [taylor]: Taking taylor expansion of z in a
1.497 * [taylor]: Taking taylor expansion of a in a
1.498 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* t z)) a) in a
1.498 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in a
1.498 * [taylor]: Taking taylor expansion of (* x y) in a
1.498 * [taylor]: Taking taylor expansion of x in a
1.498 * [taylor]: Taking taylor expansion of y in a
1.498 * [taylor]: Taking taylor expansion of (* t z) in a
1.498 * [taylor]: Taking taylor expansion of t in a
1.498 * [taylor]: Taking taylor expansion of z in a
1.498 * [taylor]: Taking taylor expansion of a in a
1.498 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.498 * [taylor]: Taking taylor expansion of (* x y) in x
1.498 * [taylor]: Taking taylor expansion of x in x
1.498 * [taylor]: Taking taylor expansion of y in x
1.498 * [taylor]: Taking taylor expansion of (* t z) in x
1.498 * [taylor]: Taking taylor expansion of t in x
1.498 * [taylor]: Taking taylor expansion of z in x
1.498 * [taylor]: Taking taylor expansion of (neg (* t z)) in y
1.498 * [taylor]: Taking taylor expansion of (* t z) in y
1.498 * [taylor]: Taking taylor expansion of t in y
1.498 * [taylor]: Taking taylor expansion of z in y
1.498 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
1.498 * [taylor]: Taking taylor expansion of (* t z) in z
1.498 * [taylor]: Taking taylor expansion of t in z
1.498 * [taylor]: Taking taylor expansion of z in z
1.498 * [taylor]: Taking taylor expansion of 0 in t
1.499 * [taylor]: Taking taylor expansion of 0 in x
1.499 * [taylor]: Taking taylor expansion of 0 in y
1.499 * [taylor]: Taking taylor expansion of 0 in z
1.499 * [taylor]: Taking taylor expansion of 0 in t
1.499 * [taylor]: Taking taylor expansion of y in y
1.499 * [taylor]: Taking taylor expansion of 0 in z
1.499 * [taylor]: Taking taylor expansion of 0 in t
1.499 * [taylor]: Taking taylor expansion of 0 in z
1.499 * [taylor]: Taking taylor expansion of 0 in t
1.499 * [taylor]: Taking taylor expansion of (neg t) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [approximate]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in (a x y z t) around 0
1.499 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.499 * [taylor]: Taking taylor expansion of a in t
1.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.499 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.499 * [taylor]: Taking taylor expansion of (* x y) in t
1.499 * [taylor]: Taking taylor expansion of x in t
1.499 * [taylor]: Taking taylor expansion of y in t
1.499 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.499 * [taylor]: Taking taylor expansion of (* t z) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of z in t
1.499 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.499 * [taylor]: Taking taylor expansion of a in z
1.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.500 * [taylor]: Taking taylor expansion of (* x y) in z
1.500 * [taylor]: Taking taylor expansion of x in z
1.500 * [taylor]: Taking taylor expansion of y in z
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.500 * [taylor]: Taking taylor expansion of (* t z) in z
1.500 * [taylor]: Taking taylor expansion of t in z
1.500 * [taylor]: Taking taylor expansion of z in z
1.500 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.500 * [taylor]: Taking taylor expansion of a in y
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.500 * [taylor]: Taking taylor expansion of (* x y) in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.500 * [taylor]: Taking taylor expansion of (* t z) in y
1.500 * [taylor]: Taking taylor expansion of t in y
1.500 * [taylor]: Taking taylor expansion of z in y
1.500 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.500 * [taylor]: Taking taylor expansion of a in x
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.500 * [taylor]: Taking taylor expansion of (* x y) in x
1.500 * [taylor]: Taking taylor expansion of x in x
1.500 * [taylor]: Taking taylor expansion of y in x
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.500 * [taylor]: Taking taylor expansion of (* t z) in x
1.500 * [taylor]: Taking taylor expansion of t in x
1.500 * [taylor]: Taking taylor expansion of z in x
1.500 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.500 * [taylor]: Taking taylor expansion of a in a
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.500 * [taylor]: Taking taylor expansion of (* x y) in a
1.500 * [taylor]: Taking taylor expansion of x in a
1.500 * [taylor]: Taking taylor expansion of y in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.500 * [taylor]: Taking taylor expansion of (* t z) in a
1.500 * [taylor]: Taking taylor expansion of t in a
1.501 * [taylor]: Taking taylor expansion of z in a
1.501 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.501 * [taylor]: Taking taylor expansion of a in a
1.501 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.501 * [taylor]: Taking taylor expansion of (* x y) in a
1.501 * [taylor]: Taking taylor expansion of x in a
1.501 * [taylor]: Taking taylor expansion of y in a
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.501 * [taylor]: Taking taylor expansion of (* t z) in a
1.501 * [taylor]: Taking taylor expansion of t in a
1.501 * [taylor]: Taking taylor expansion of z in a
1.501 * [taylor]: Taking taylor expansion of 0 in x
1.501 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.501 * [taylor]: Taking taylor expansion of (* x y) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of y in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.502 * [taylor]: Taking taylor expansion of (* t z) in x
1.502 * [taylor]: Taking taylor expansion of t in x
1.502 * [taylor]: Taking taylor expansion of z in x
1.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [taylor]: Taking taylor expansion of 1 in z
1.502 * [taylor]: Taking taylor expansion of 0 in y
1.502 * [taylor]: Taking taylor expansion of 0 in x
1.502 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
1.502 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.502 * [taylor]: Taking taylor expansion of (* t z) in y
1.502 * [taylor]: Taking taylor expansion of t in y
1.502 * [taylor]: Taking taylor expansion of z in y
1.502 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in z
1.503 * [taylor]: Taking taylor expansion of 0 in z
1.503 * [taylor]: Taking taylor expansion of 1 in t
1.503 * [taylor]: Taking taylor expansion of 0 in x
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
1.503 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.503 * [taylor]: Taking taylor expansion of (* t z) in z
1.503 * [taylor]: Taking taylor expansion of t in z
1.503 * [taylor]: Taking taylor expansion of z in z
1.504 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.504 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.504 * [taylor]: Taking taylor expansion of t in t
1.504 * [taylor]: Taking taylor expansion of 0 in z
1.504 * [taylor]: Taking taylor expansion of 0 in z
1.504 * [taylor]: Taking taylor expansion of 0 in z
1.504 * [taylor]: Taking taylor expansion of 0 in t
1.504 * [taylor]: Taking taylor expansion of 0 in t
1.504 * [taylor]: Taking taylor expansion of 0 in t
1.505 * [taylor]: Taking taylor expansion of 0 in x
1.505 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.506 * [taylor]: Taking taylor expansion of 0 in t
1.507 * [taylor]: Taking taylor expansion of 0 in x
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.508 * [taylor]: Taking taylor expansion of 0 in z
1.508 * [taylor]: Taking taylor expansion of 0 in z
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.508 * [taylor]: Taking taylor expansion of 0 in t
1.509 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in (a x y z t) around 0
1.509 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in t
1.509 * [taylor]: Taking taylor expansion of -1 in t
1.509 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.509 * [taylor]: Taking taylor expansion of a in t
1.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.509 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.509 * [taylor]: Taking taylor expansion of (* x y) in t
1.509 * [taylor]: Taking taylor expansion of x in t
1.509 * [taylor]: Taking taylor expansion of y in t
1.509 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.509 * [taylor]: Taking taylor expansion of (* t z) in t
1.509 * [taylor]: Taking taylor expansion of t in t
1.509 * [taylor]: Taking taylor expansion of z in t
1.509 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in z
1.509 * [taylor]: Taking taylor expansion of -1 in z
1.509 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.509 * [taylor]: Taking taylor expansion of a in z
1.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.509 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.509 * [taylor]: Taking taylor expansion of (* x y) in z
1.509 * [taylor]: Taking taylor expansion of x in z
1.509 * [taylor]: Taking taylor expansion of y in z
1.509 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.509 * [taylor]: Taking taylor expansion of (* t z) in z
1.509 * [taylor]: Taking taylor expansion of t in z
1.509 * [taylor]: Taking taylor expansion of z in z
1.509 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in y
1.510 * [taylor]: Taking taylor expansion of -1 in y
1.510 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.510 * [taylor]: Taking taylor expansion of a in y
1.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.510 * [taylor]: Taking taylor expansion of (* x y) in y
1.510 * [taylor]: Taking taylor expansion of x in y
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.510 * [taylor]: Taking taylor expansion of (* t z) in y
1.510 * [taylor]: Taking taylor expansion of t in y
1.510 * [taylor]: Taking taylor expansion of z in y
1.510 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in x
1.510 * [taylor]: Taking taylor expansion of -1 in x
1.510 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.510 * [taylor]: Taking taylor expansion of a in x
1.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.510 * [taylor]: Taking taylor expansion of (* x y) in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.510 * [taylor]: Taking taylor expansion of y in x
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.510 * [taylor]: Taking taylor expansion of (* t z) in x
1.510 * [taylor]: Taking taylor expansion of t in x
1.510 * [taylor]: Taking taylor expansion of z in x
1.510 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.510 * [taylor]: Taking taylor expansion of -1 in a
1.510 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.510 * [taylor]: Taking taylor expansion of a in a
1.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.510 * [taylor]: Taking taylor expansion of (* x y) in a
1.510 * [taylor]: Taking taylor expansion of x in a
1.510 * [taylor]: Taking taylor expansion of y in a
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.510 * [taylor]: Taking taylor expansion of (* t z) in a
1.510 * [taylor]: Taking taylor expansion of t in a
1.510 * [taylor]: Taking taylor expansion of z in a
1.510 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 (* x y)) (/ 1 (* t z))))) in a
1.510 * [taylor]: Taking taylor expansion of -1 in a
1.510 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (/ 1 (* t z)))) in a
1.510 * [taylor]: Taking taylor expansion of a in a
1.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in a
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.511 * [taylor]: Taking taylor expansion of (* x y) in a
1.511 * [taylor]: Taking taylor expansion of x in a
1.511 * [taylor]: Taking taylor expansion of y in a
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.511 * [taylor]: Taking taylor expansion of (* t z) in a
1.511 * [taylor]: Taking taylor expansion of t in a
1.511 * [taylor]: Taking taylor expansion of z in a
1.511 * [taylor]: Taking taylor expansion of 0 in x
1.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in x
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.511 * [taylor]: Taking taylor expansion of (* t z) in x
1.511 * [taylor]: Taking taylor expansion of t in x
1.511 * [taylor]: Taking taylor expansion of z in x
1.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.512 * [taylor]: Taking taylor expansion of (* x y) in x
1.512 * [taylor]: Taking taylor expansion of x in x
1.512 * [taylor]: Taking taylor expansion of y in x
1.512 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.512 * [taylor]: Taking taylor expansion of y in y
1.512 * [taylor]: Taking taylor expansion of -1 in z
1.512 * [taylor]: Taking taylor expansion of 0 in y
1.512 * [taylor]: Taking taylor expansion of 0 in x
1.512 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.512 * [taylor]: Taking taylor expansion of (* t z) in y
1.512 * [taylor]: Taking taylor expansion of t in y
1.512 * [taylor]: Taking taylor expansion of z in y
1.513 * [taylor]: Taking taylor expansion of 0 in y
1.513 * [taylor]: Taking taylor expansion of 0 in z
1.513 * [taylor]: Taking taylor expansion of 0 in z
1.513 * [taylor]: Taking taylor expansion of -1 in t
1.513 * [taylor]: Taking taylor expansion of 0 in x
1.513 * [taylor]: Taking taylor expansion of 0 in y
1.514 * [taylor]: Taking taylor expansion of 0 in y
1.514 * [taylor]: Taking taylor expansion of 0 in y
1.514 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.514 * [taylor]: Taking taylor expansion of (* t z) in z
1.514 * [taylor]: Taking taylor expansion of t in z
1.514 * [taylor]: Taking taylor expansion of z in z
1.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.514 * [taylor]: Taking taylor expansion of t in t
1.514 * [taylor]: Taking taylor expansion of 0 in z
1.514 * [taylor]: Taking taylor expansion of 0 in z
1.514 * [taylor]: Taking taylor expansion of 0 in z
1.514 * [taylor]: Taking taylor expansion of 0 in t
1.514 * [taylor]: Taking taylor expansion of 0 in t
1.514 * [taylor]: Taking taylor expansion of 0 in t
1.515 * [taylor]: Taking taylor expansion of 0 in x
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.516 * [taylor]: Taking taylor expansion of 0 in z
1.516 * [taylor]: Taking taylor expansion of 0 in z
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.516 * [taylor]: Taking taylor expansion of 0 in t
1.517 * [taylor]: Taking taylor expansion of 0 in x
1.517 * [taylor]: Taking taylor expansion of 0 in y
1.517 * [taylor]: Taking taylor expansion of 0 in y
1.517 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.518 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
1.519 * [approximate]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in (x y z t) around 0
1.519 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in t
1.519 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
1.519 * [taylor]: Taking taylor expansion of (* x y) in t
1.519 * [taylor]: Taking taylor expansion of x in t
1.519 * [taylor]: Taking taylor expansion of y in t
1.519 * [taylor]: Taking taylor expansion of (* t z) in t
1.519 * [taylor]: Taking taylor expansion of t in t
1.519 * [taylor]: Taking taylor expansion of z in t
1.520 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in z
1.520 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
1.520 * [taylor]: Taking taylor expansion of (* x y) in z
1.520 * [taylor]: Taking taylor expansion of x in z
1.520 * [taylor]: Taking taylor expansion of y in z
1.520 * [taylor]: Taking taylor expansion of (* t z) in z
1.520 * [taylor]: Taking taylor expansion of t in z
1.520 * [taylor]: Taking taylor expansion of z in z
1.520 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in y
1.520 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
1.520 * [taylor]: Taking taylor expansion of (* x y) in y
1.520 * [taylor]: Taking taylor expansion of x in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.520 * [taylor]: Taking taylor expansion of (* t z) in y
1.520 * [taylor]: Taking taylor expansion of t in y
1.520 * [taylor]: Taking taylor expansion of z in y
1.520 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in x
1.520 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.520 * [taylor]: Taking taylor expansion of (* x y) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.520 * [taylor]: Taking taylor expansion of y in x
1.520 * [taylor]: Taking taylor expansion of (* t z) in x
1.520 * [taylor]: Taking taylor expansion of t in x
1.520 * [taylor]: Taking taylor expansion of z in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 (- (* x y) (* t z))) in x
1.520 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
1.520 * [taylor]: Taking taylor expansion of (* x y) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.520 * [taylor]: Taking taylor expansion of y in x
1.520 * [taylor]: Taking taylor expansion of (* t z) in x
1.520 * [taylor]: Taking taylor expansion of t in x
1.520 * [taylor]: Taking taylor expansion of z in x
1.521 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in y
1.521 * [taylor]: Taking taylor expansion of -1 in y
1.521 * [taylor]: Taking taylor expansion of (* t z) in y
1.521 * [taylor]: Taking taylor expansion of t in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.521 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
1.521 * [taylor]: Taking taylor expansion of -1 in z
1.521 * [taylor]: Taking taylor expansion of (* t z) in z
1.521 * [taylor]: Taking taylor expansion of t in z
1.521 * [taylor]: Taking taylor expansion of z in z
1.521 * [taylor]: Taking taylor expansion of 0 in t
1.521 * [taylor]: Taking taylor expansion of (neg (/ y (* (pow t 2) (pow z 2)))) in y
1.521 * [taylor]: Taking taylor expansion of (/ y (* (pow t 2) (pow z 2))) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.521 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.521 * [taylor]: Taking taylor expansion of t in y
1.521 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.522 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [taylor]: Taking taylor expansion of (neg (/ (pow y 2) (* (pow t 3) (pow z 3)))) in y
1.522 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow t 3) (pow z 3))) in y
1.522 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.522 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.522 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.522 * [taylor]: Taking taylor expansion of t in y
1.522 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.523 * [taylor]: Taking taylor expansion of z in y
1.523 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 2) (pow z 2)))) in z
1.523 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.523 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.523 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.523 * [taylor]: Taking taylor expansion of t in z
1.523 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.523 * [taylor]: Taking taylor expansion of z in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t) around 0
1.524 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.524 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.524 * [taylor]: Taking taylor expansion of (* x y) in t
1.524 * [taylor]: Taking taylor expansion of x in t
1.524 * [taylor]: Taking taylor expansion of y in t
1.524 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.524 * [taylor]: Taking taylor expansion of (* t z) in t
1.524 * [taylor]: Taking taylor expansion of t in t
1.524 * [taylor]: Taking taylor expansion of z in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.525 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.525 * [taylor]: Taking taylor expansion of (* x y) in z
1.525 * [taylor]: Taking taylor expansion of x in z
1.525 * [taylor]: Taking taylor expansion of y in z
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.525 * [taylor]: Taking taylor expansion of (* t z) in z
1.525 * [taylor]: Taking taylor expansion of t in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.525 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.525 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.525 * [taylor]: Taking taylor expansion of (* x y) in y
1.525 * [taylor]: Taking taylor expansion of x in y
1.525 * [taylor]: Taking taylor expansion of y in y
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.525 * [taylor]: Taking taylor expansion of (* t z) in y
1.525 * [taylor]: Taking taylor expansion of t in y
1.525 * [taylor]: Taking taylor expansion of z in y
1.525 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.525 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.525 * [taylor]: Taking taylor expansion of (* x y) in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.525 * [taylor]: Taking taylor expansion of y in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.525 * [taylor]: Taking taylor expansion of (* t z) in x
1.525 * [taylor]: Taking taylor expansion of t in x
1.525 * [taylor]: Taking taylor expansion of z in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.526 * [taylor]: Taking taylor expansion of (* x y) in x
1.526 * [taylor]: Taking taylor expansion of x in x
1.526 * [taylor]: Taking taylor expansion of y in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.526 * [taylor]: Taking taylor expansion of (* t z) in x
1.526 * [taylor]: Taking taylor expansion of t in x
1.526 * [taylor]: Taking taylor expansion of z in x
1.526 * [taylor]: Taking taylor expansion of y in y
1.526 * [taylor]: Taking taylor expansion of 1 in z
1.526 * [taylor]: Taking taylor expansion of 0 in t
1.526 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.526 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.526 * [taylor]: Taking taylor expansion of y in y
1.526 * [taylor]: Taking taylor expansion of (* t z) in y
1.526 * [taylor]: Taking taylor expansion of t in y
1.526 * [taylor]: Taking taylor expansion of z in y
1.526 * [taylor]: Taking taylor expansion of 0 in z
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [taylor]: Taking taylor expansion of (/ (pow y 3) (* (pow t 2) (pow z 2))) in y
1.527 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.527 * [taylor]: Taking taylor expansion of y in y
1.527 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.527 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.527 * [taylor]: Taking taylor expansion of t in y
1.527 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.527 * [taylor]: Taking taylor expansion of z in y
1.527 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.528 * [taylor]: Taking taylor expansion of (* t z) in z
1.528 * [taylor]: Taking taylor expansion of t in z
1.528 * [taylor]: Taking taylor expansion of z in z
1.528 * [taylor]: Taking taylor expansion of 0 in t
1.528 * [taylor]: Taking taylor expansion of 0 in z
1.528 * [taylor]: Taking taylor expansion of 0 in t
1.528 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in (x y z t) around 0
1.528 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in t
1.528 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.528 * [taylor]: Taking taylor expansion of (* x y) in t
1.528 * [taylor]: Taking taylor expansion of x in t
1.528 * [taylor]: Taking taylor expansion of y in t
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.528 * [taylor]: Taking taylor expansion of (* t z) in t
1.528 * [taylor]: Taking taylor expansion of t in t
1.528 * [taylor]: Taking taylor expansion of z in t
1.528 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in z
1.528 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.529 * [taylor]: Taking taylor expansion of (* x y) in z
1.529 * [taylor]: Taking taylor expansion of x in z
1.529 * [taylor]: Taking taylor expansion of y in z
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.529 * [taylor]: Taking taylor expansion of (* t z) in z
1.529 * [taylor]: Taking taylor expansion of t in z
1.529 * [taylor]: Taking taylor expansion of z in z
1.529 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in y
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.529 * [taylor]: Taking taylor expansion of (* x y) in y
1.529 * [taylor]: Taking taylor expansion of x in y
1.529 * [taylor]: Taking taylor expansion of y in y
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.529 * [taylor]: Taking taylor expansion of (* t z) in y
1.529 * [taylor]: Taking taylor expansion of t in y
1.529 * [taylor]: Taking taylor expansion of z in y
1.529 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.529 * [taylor]: Taking taylor expansion of (* x y) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of y in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.529 * [taylor]: Taking taylor expansion of (* t z) in x
1.529 * [taylor]: Taking taylor expansion of t in x
1.529 * [taylor]: Taking taylor expansion of z in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* x y)) (/ 1 (* t z)))) in x
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.529 * [taylor]: Taking taylor expansion of (* x y) in x
1.530 * [taylor]: Taking taylor expansion of x in x
1.530 * [taylor]: Taking taylor expansion of y in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.530 * [taylor]: Taking taylor expansion of (* t z) in x
1.530 * [taylor]: Taking taylor expansion of t in x
1.530 * [taylor]: Taking taylor expansion of z in x
1.530 * [taylor]: Taking taylor expansion of y in y
1.530 * [taylor]: Taking taylor expansion of 1 in z
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* t z)) in y
1.530 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.530 * [taylor]: Taking taylor expansion of y in y
1.530 * [taylor]: Taking taylor expansion of (* t z) in y
1.530 * [taylor]: Taking taylor expansion of t in y
1.530 * [taylor]: Taking taylor expansion of z in y
1.530 * [taylor]: Taking taylor expansion of 0 in z
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.530 * [taylor]: Taking taylor expansion of 0 in t
1.531 * [taylor]: Taking taylor expansion of (/ (pow y 3) (* (pow t 2) (pow z 2))) in y
1.531 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.531 * [taylor]: Taking taylor expansion of y in y
1.531 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.531 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.531 * [taylor]: Taking taylor expansion of t in y
1.531 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.531 * [taylor]: Taking taylor expansion of z in y
1.531 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.531 * [taylor]: Taking taylor expansion of (* t z) in z
1.531 * [taylor]: Taking taylor expansion of t in z
1.531 * [taylor]: Taking taylor expansion of z in z
1.532 * [taylor]: Taking taylor expansion of 0 in t
1.532 * [taylor]: Taking taylor expansion of 0 in z
1.532 * [taylor]: Taking taylor expansion of 0 in t
1.532 * * * [progress]: simplifying candidates
1.536 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (+.f64 (log.f64 a) (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (+.f64 (log.f64 a) (-.f64 0 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (+.f64 (log.f64 a) (-.f64 (log.f64 1) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (+.f64 (log.f64 a) (log.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (log.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (exp.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (*.f64 (*.f64 a a) a) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (cbrt.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (cbrt.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (*.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))) (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (sqrt.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (sqrt.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (*.f64 (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1))
  (*.f64 a (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (/.f64 (sqrt.f64 1) 1))
  (*.f64 a (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (/.f64 1 1))
  (*.f64 a 1)
  (*.f64 a 1)
  (*.f64 a (/.f64 1 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (*.f64 a (/.f64 1 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))))
  (*.f64 (cbrt.f64 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (sqrt.f64 a) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 a 1)
  (neg.f64 1)
  (neg.f64 1)
  (neg.f64 (+.f64 (log.f64 a) (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (neg.f64 (+.f64 (log.f64 a) (-.f64 0 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (neg.f64 (+.f64 (log.f64 a) (-.f64 (log.f64 1) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (neg.f64 (+.f64 (log.f64 a) (log.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (neg.f64 (log.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 0 (+.f64 (log.f64 a) (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 0 (+.f64 (log.f64 a) (-.f64 0 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 0 (+.f64 (log.f64 a) (-.f64 (log.f64 1) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 0 (+.f64 (log.f64 a) (log.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 0 (log.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 a) (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 a) (-.f64 0 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 a) (-.f64 (log.f64 1) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 a) (log.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (-.f64 (log.f64 1) (log.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (log.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (exp.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 a a) a) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))) (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))) (cbrt.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))))
  (cbrt.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 (*.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (sqrt.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (sqrt.f64 (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (neg.f64 1)
  (neg.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a)
  (/.f64 (cbrt.f64 1) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) a)
  (/.f64 (sqrt.f64 1) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 a)
  (/.f64 1 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) 1)
  (/.f64 1 a)
  (/.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 1))
  (/.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (sqrt.f64 1))
  (/.f64 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) 1)
  (/.f64 1 a)
  (/.f64 1 (*.f64 a 1))
  (neg.f64 1)
  (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (-.f64 0 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (-.f64 (log.f64 1) (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (*.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 1)
  (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 1) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 1)
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 1)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 1))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
  (/.f64 1 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 1 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))))
  0
  0
  0
  0
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
  (-.f64 (/.f64 (*.f64 x y) a) (/.f64 (*.f64 t z) a))
  0
  0
  0
1.580 * * [simplify]: iteration  0 :  5464  enodes  (cost  1244 )
1.585 * [simplify]: Simplified to:
   (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 3)
  (pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 3)
  (*.f64 (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) 3)
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 a (*.f64 (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))))
  (*.f64 a (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (*.f64 a (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  a
  (/.f64 a (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 a (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  a
  a
  a
  (/.f64 a (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))))
  (/.f64 (cbrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  a
  -1
  -1
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (log.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (exp.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))
  -1
  (/.f64 a (-.f64 (*.f64 z t) (*.f64 x y)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) a)
  (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1))
  (/.f64 1 a)
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 1 a)
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 a)
  (/.f64 a (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1)))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 a)
  (/.f64 1 a)
  -1
  (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (neg.f64 (log.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (pow.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 3))
  (*.f64 (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (pow.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 3))
  (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
  -1
  (-.f64 (*.f64 z t) (*.f64 x y))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  1
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  1
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
  1
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 1))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (/.f64 1 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 1 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))))
  0
  0
  0
  0
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
  0
  0
  0
1.586 * * * [progress]: adding candidates to table
1.620 * [progress]: [Phase 3 of 3] Extracting.
1.620 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
1.624 * * * [regime-changes]: Trying 9 branch expressions: ((*.f64 z t) (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) a t z y x)
1.624 * * * * [regimes]: Trying to branch on (*.f64 z t) from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
1.704 * * * * [regimes]: Trying to branch on (*.f64 x y) from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
1.781 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 x y) (*.f64 z t)) from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
1.861 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
1.940 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
2.020 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
2.098 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
2.178 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
2.257 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a)))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t))) (*.f64 a (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) a) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 a)) (sqrt.f64 a)))> #<alt (λ (x y z t a) (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))))> #<alt (λ (x y z t a) (/.f64 (/.f64 1 (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)) (sqrt.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))))> #<alt (λ (x y z t a) (*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) a)))> #<alt (λ (x y z t a) (/.f64 1 (*.f64 (/.f64 a (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))> #<alt (λ (x y z t a) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a))>)
2.337 * * * [regime]: Found split indices: #<option (#s(si 13 255))>
2.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
2.339 * * [simplify]: iteration  0 :  37  enodes  (cost  9 )
2.339 * * [simplify]: iteration  1 :  37  enodes  (cost  9 )
2.339 * [simplify]: Simplified to:
   (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
4.514 * [regime-testing]: End program error score: 7.402364293032999
4.609 * [regime-testing]: Target error score: 6.151696059083154